Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixed typo | Stefan Radomski | 2017-07-05 | 1 | -2/+2 |
* | Cleaned up | Stefan Radomski | 2017-07-05 | 1 | -1/+1 |
* | Added benchmarks to README | Stefan Radomski | 2017-07-05 | 1 | -0/+33 |
* | SSL support on Win32 | Stefan Radomski | 2017-06-01 | 1 | -1/+19 |
* | Missing pthread dependency on linux | Stefan Radomski | 2017-02-08 | 1 | -4/+6 |
* | Oh how I despise MSVC | Stefan Radomski | 2016-12-09 | 1 | -0/+4 |
* | Added to appveyor | Stefan Radomski | 2016-08-01 | 1 | -1/+1 |
* | Github Markdown Anchors | Stefan Radomski | 2016-05-19 | 1 | -13/+13 |
* | Dire bug in uscxml-browser, smaller fixes and documentation | Stefan Radomski | 2016-05-19 | 1 | -26/+46 |
* | Made C++11 requirement more explicit | Stefan Radomski | 2016-05-12 | 1 | -1/+2 |
* | Display build status on front-page again | Stefan Radomski | 2016-05-12 | 1 | -0/+2 |
* | lower required cmake version for travis build slaves | Stefan Radomski | 2016-05-12 | 1 | -1/+1 |
* | Major Refactoring v2.0 | Stefan Radomski | 2016-05-12 | 1 | -115/+25 |
* | Some tidying up of ANSI-C transformation | Stefan Radomski | 2016-02-11 | 1 | -9/+12 |
* | Some polishing for generated ANSI C machines | Stefan Radomski | 2016-02-08 | 1 | -13/+7 |
* | Missed a link in the readme | Stefan Radomski | 2016-02-06 | 1 | -1/+1 |
* | Fixes bugs and memory leaks with generated C state-charts | Stefan Radomski | 2016-02-06 | 1 | -2/+2 |
* | Invokers with generated C | Stefan Radomski | 2016-02-04 | 1 | -2/+2 |
* | Added list of publications | Stefan Radomski | 2016-01-29 | 1 | -8/+6 |
* | Prepared the C transformation as a VHDL base class | Stefan Radomski | 2016-01-29 | 1 | -1/+1 |
* | Some code beautifications | Stefan Radomski | 2016-01-26 | 1 | -3/+3 |
* | Reverted a erroneous bugfix | Stefan Radomski | 2016-01-20 | 1 | -6/+8 |
* | Some typographic fixes | Stefan Radomski | 2016-01-20 | 1 | -4/+13 |
* | Updated some documentation | Stefan Radomski | 2016-01-20 | 1 | -253/+52 |
* | done.event bug and prolog tests | Stefan Radomski | 2015-07-08 | 1 | -0/+32 |
* | Nested invokers and delayed events for PROMELA model checking | Stefan Radomski | 2014-12-01 | 1 | -0/+11 |
* | Fixed file:// handling bug on windows | Stefan Radomski | 2014-11-15 | 1 | -3/+9 |
* | More work on PROMELA transformation | Stefan Radomski | 2014-11-12 | 1 | -17/+18 |
* | Retain ioProcs and invokers object in V8 and moved ctests from contrib to tests | Stefan Radomski | 2014-08-28 | 1 | -18/+1 |
* | Updated documentation | Stefan Radomski | 2014-08-27 | 1 | -8/+2 |
* | Fixed the embedding examples | Stefan Radomski | 2014-08-26 | 1 | -1/+1 |
* | Reactiveted new CMake policies and some more documentation | Stefan Radomski | 2014-08-21 | 1 | -2/+7 |
* | Updated documentation | Stefan Radomski | 2014-08-20 | 1 | -1/+65 |
* | Builds for Raspberry and | Stefan Radomski | 2014-08-13 | 1 | -1/+1 |
* | Updated docs and fixed a bug related to setDataModel in the language bindings | Stefan Radomski | 2014-08-04 | 1 | -4/+32 |
* | More work on lua datamodel | Stefan Radomski | 2014-07-23 | 1 | -4/+7 |
* | Appr. 15% performance boost by avoiding dynamic_cast in DOM | Stefan Radomski | 2014-07-07 | 1 | -4/+4 |
* | Updated docs | Stefan Radomski | 2014-07-06 | 1 | -2/+3 |
* | Updated docs once more | Stefan Radomski | 2014-07-04 | 1 | -5/+2 |
* | Corrected docs | Stefan Radomski | 2014-07-04 | 1 | -6/+6 |
* | Polished iOS builds and docs | Stefan Radomski | 2014-07-04 | 1 | -10/+39 |
* | Stop registering a custom exception handler | Stefan Radomski | 2014-07-04 | 1 | -0/+9 |
* | Removed w3c ecma tests from xpath and vice versa | Stefan Radomski | 2014-07-03 | 1 | -12/+0 |
* | Got ready for cmake3 and some minor fixes | Stefan Radomski | 2014-07-03 | 1 | -1/+18 |
* | Major header movement | Stefan Radomski | 2014-06-27 | 1 | -32/+13 |
* | Trying to trigger travis-ci | Stefan Radomski | 2014-06-25 | 1 | -0/+4 |
* | Introduced interpreter.step() | Stefan Radomski | 2014-05-15 | 1 | -0/+13 |
* | More work on promela DM | Stefan Radomski | 2014-04-10 | 1 | -1/+4 |
* | Integrated debugger into browser (use -d command line parameter) | Stefan Radomski | 2014-03-11 | 1 | -6/+0 |
* | Actually uploaded deps and inluded travis badge | Stefan Radomski | 2014-01-31 | 1 | -0/+2 |