summaryrefslogtreecommitdiffstats
path: root/README.md
Commit message (Expand)AuthorAgeFilesLines
* Some tidying up of ANSI-C transformationStefan Radomski2016-02-111-9/+12
* Some polishing for generated ANSI C machinesStefan Radomski2016-02-081-13/+7
* Missed a link in the readmeStefan Radomski2016-02-061-1/+1
* Fixes bugs and memory leaks with generated C state-chartsStefan Radomski2016-02-061-2/+2
* Invokers with generated CStefan Radomski2016-02-041-2/+2
* Added list of publicationsStefan Radomski2016-01-291-8/+6
* Prepared the C transformation as a VHDL base classStefan Radomski2016-01-291-1/+1
* Some code beautificationsStefan Radomski2016-01-261-3/+3
* Reverted a erroneous bugfixStefan Radomski2016-01-201-6/+8
* Some typographic fixesStefan Radomski2016-01-201-4/+13
* Updated some documentationStefan Radomski2016-01-201-253/+52
* done.event bug and prolog testsStefan Radomski2015-07-081-0/+32
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-011-0/+11
* Fixed file:// handling bug on windowsStefan Radomski2014-11-151-3/+9
* More work on PROMELA transformationStefan Radomski2014-11-121-17/+18
* Retain ioProcs and invokers object in V8 and moved ctests from contrib to testsStefan Radomski2014-08-281-18/+1
* Updated documentationStefan Radomski2014-08-271-8/+2
* Fixed the embedding examplesStefan Radomski2014-08-261-1/+1
* Reactiveted new CMake policies and some more documentationStefan Radomski2014-08-211-2/+7
* Updated documentationStefan Radomski2014-08-201-1/+65
* Builds for Raspberry andStefan Radomski2014-08-131-1/+1
* Updated docs and fixed a bug related to setDataModel in the language bindingsStefan Radomski2014-08-041-4/+32
* More work on lua datamodelStefan Radomski2014-07-231-4/+7
* Appr. 15% performance boost by avoiding dynamic_cast in DOMStefan Radomski2014-07-071-4/+4
* Updated docsStefan Radomski2014-07-061-2/+3
* Updated docs once moreStefan Radomski2014-07-041-5/+2
* Corrected docsStefan Radomski2014-07-041-6/+6
* Polished iOS builds and docsStefan Radomski2014-07-041-10/+39
* Stop registering a custom exception handlerStefan Radomski2014-07-041-0/+9
* Removed w3c ecma tests from xpath and vice versaStefan Radomski2014-07-031-12/+0
* Got ready for cmake3 and some minor fixesStefan Radomski2014-07-031-1/+18
* Major header movementStefan Radomski2014-06-271-32/+13
* Trying to trigger travis-ciStefan Radomski2014-06-251-0/+4
* Introduced interpreter.step()Stefan Radomski2014-05-151-0/+13
* More work on promela DMStefan Radomski2014-04-101-1/+4
* Integrated debugger into browser (use -d command line parameter)Stefan Radomski2014-03-111-6/+0
* Actually uploaded deps and inluded travis badgeStefan Radomski2014-01-311-0/+2
* Builds on windows againStefan Radomski2013-11-161-0/+2
* AcknowledgmentsStefan Radomski2013-10-311-1/+1
* Added acknowledgementsStefan Radomski2013-10-301-0/+4
* Fixed RADME.md layoutStefan Radomski2013-10-301-56/+56
* Process application/xml in http requests and try to fix layout of README.mdStefan Radomski2013-10-301-18/+18
* Fixed x-www-form-urlencoded post parsingStefan Radomski2013-10-081-1/+0
* Pass more ECMAScript W3C testsStefan Radomski2013-10-081-6/+1
* Added instant messaging invokerStefan Radomski2013-09-231-2/+2
* Optional 2nd argument for TypedArray.subarray and more testsStefan Radomski2013-09-021-0/+2
* Updated W3C tests and bug-fixesStefan Radomski2013-08-251-10/+89
* Updated READMEStefan Radomski2013-06-231-4/+4
* New version with XHTML invokerStefan Radomski2013-06-201-2/+3
* More work on Prolog datamodelStefan Radomski2013-05-011-4/+4