summaryrefslogtreecommitdiffstats
path: root/test/ctest
Commit message (Expand)AuthorAgeFilesLines
* Refactored Java into bindings and generatedStefan Radomski2016-11-283-0/+169
* remove unnessesary vcd generationjuehv2016-11-231-2/+2
* fix ghdl command bug in ctestJens Heuschkel2016-11-231-1/+1
* update ctest for ghdlJens Heuschkel2016-11-231-94/+120
* Impreoved PROMELA transformationStefan Radomski2016-11-162-57/+57
* Worked on PROMELA transformationStefan Radomski2016-10-251-3/+3
* Fixed issue86 and some more bug fixesStefan Radomski2016-06-161-0/+2
* Refactored for public headers and started documentationStefan Radomski2016-05-191-5/+5
* Corrected gitignore and travis configStefan Radomski2016-05-123-0/+170
* Major Refactoring v2.0Stefan Radomski2016-05-121-191/+191
* Some refactoring for improved compile timesStefan Radomski2016-02-231-0/+9
* Fixes bugs and memory leaks with generated C state-chartsStefan Radomski2016-02-061-60/+17
* Invokers with generated CStefan Radomski2016-02-041-1/+1
* Preliminary support for SCXML invocations in generated C machinesStefan Radomski2016-02-041-37/+37
* Working on C transformationStefan Radomski2016-01-151-62/+86
* Fixed compilation for gcc on Linux againStefan Radomski2016-01-081-0/+37
* Prepared ChartToC transformationStefan Radomski2016-01-061-0/+38
* All changes up to my dissertationStefan Radomski2015-12-041-104/+166
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-261-0/+9
* Renamed URI to URLStefan Radomski2014-12-141-4/+4
* More complete xinclude implementation and testsStefan Radomski2014-12-071-17/+19
* Support for xincludeStefan Radomski2014-12-051-2/+0
* Support for initial attribute with nested scxml invokersStefan Radomski2014-12-051-11/+4
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-011-49/+21
* More work on PROMELA transformationStefan Radomski2014-11-121-1/+2
* Passing all tests but xpath and luaStefan Radomski2014-10-121-0/+2
* Major work on PROMELA datamodelStefan Radomski2014-10-121-12/+133
* Retain ioProcs and invokers object in V8 and moved ctests from contrib to testsStefan Radomski2014-08-2811-0/+517