summaryrefslogtreecommitdiffstats
path: root/README.md
Commit message (Expand)AuthorAgeFilesLines
* SSL support on Win32Stefan Radomski2017-06-011-1/+19
* Missing pthread dependency on linuxStefan Radomski2017-02-081-4/+6
* Oh how I despise MSVCStefan Radomski2016-12-091-0/+4
* Added to appveyorStefan Radomski2016-08-011-1/+1
* Github Markdown AnchorsStefan Radomski2016-05-191-13/+13
* Dire bug in uscxml-browser, smaller fixes and documentationStefan Radomski2016-05-191-26/+46
* Made C++11 requirement more explicitStefan Radomski2016-05-121-1/+2
* Display build status on front-page againStefan Radomski2016-05-121-0/+2
* lower required cmake version for travis build slavesStefan Radomski2016-05-121-1/+1
* Major Refactoring v2.0Stefan Radomski2016-05-121-115/+25
* 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