summaryrefslogtreecommitdiffstats
path: root/test/ctest/scripts
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-161-2/+2
* Worked on PROMELA transformationStefan Radomski2016-10-251-3/+3
* Refactored for public headers and started documentationStefan Radomski2016-05-191-5/+5
* Corrected gitignore and travis configStefan Radomski2016-05-123-0/+170