summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* update ctest for ghdlJens Heuschkel2016-11-231-94/+120
* Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-235-197/+252
|\
| * update testbench for better automatic testingJens Heuschkel2016-11-221-11/+45
| * improved excapeMacro to produce vhdl supported namesJens Heuschkel2016-11-222-17/+12
| * Merge branch 'master' of github.com:tklab-tud/uscxmlJens Heuschkel2016-11-212-402/+685
| |\
| * | implement some small todoJens Heuschkel2016-11-213-169/+195
| * | made escape function more vhdl friendlyJens Heuschkel2016-11-211-2/+2
* | | Checking for GHDL versionStefan Radomski2016-11-231-0/+13
| |/ |/|
* | Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-219-123/+91
|\ \ | |/
| * ups sorry :(Jens Heuschkel2016-11-211-10/+10
| * change function name according to convention; fix && problemJens Heuschkel2016-11-212-3/+4
| * Merge branch 'master' of github.com:tklab-tud/uscxmlJens Heuschkel2016-11-171-4/+20
| |\
| * | fix some todos in vhdlJens Heuschkel2016-11-177-123/+62
| * | fix silly error -.-Jens Heuschkel2016-11-171-7/+7
| * | Add convenient macro escape functionJens Heuschkel2016-11-172-0/+28
* | | Reduced state space for PROMELA transformationStefan Radomski2016-11-212-402/+685
| |/ |/|
* | Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-174-189/+163
|\ \ | |/
| * prittyprinterJens Heuschkel2016-11-161-1/+1
| * Merge branch 'master' of github.com:tklab-tud/uscxmlJens Heuschkel2016-11-1610-1548/+1995
| |\
| * | towards a running VHDL state machine (test144 works yey)Jens Heuschkel2016-11-163-189/+162
| * | add gitignore for manual_test resultsJens Heuschkel2016-11-161-0/+1
* | | Drastically reduced the number of atomic steps for verificationStefan Radomski2016-11-171-4/+20
| |/ |/|
* | Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-164-1380/+1471
|\ \ | |/
| * add manual test script for vhdl code (based on ghdl)juehv2016-11-152-0/+62
| * quick fix vhdl code to compile (but not work) againjuehv2016-11-151-1380/+1407
| * fix cmake filejuehv2016-11-151-0/+2
| * mergejuehv2016-11-15293-2318/+21116
| |\
| * | towards working vhdl againjuehv2016-11-151-1/+1
* | | Impreoved PROMELA transformationStefan Radomski2016-11-1610-1548/+1995
| |/ |/|
* | Still trying to fix that darned travisStefan Radomski2016-10-261-3/+3
* | Still trying to fic travis CI ...Stefan Radomski2016-10-261-3/+3
* | Still trying to fix travis ...Stefan Radomski2016-10-261-2/+5
* | Trying to force clang 3.5 with travis CIStefan Radomski2016-10-261-1/+1
* | Still trying to fix travis CIStefan Radomski2016-10-262-3/+2
* | Finally fixing travis CI?Stefan Radomski2016-10-261-0/+2
* | Still trying to fix travis ciStefan Radomski2016-10-261-4/+5
* | Fix gcc4.8 support in travis ciStefan Radomski2016-10-261-3/+2
* | Still trying to fix build issuesStefan Radomski2016-10-251-1/+1
* | Trying to fix the build on all platformsStefan Radomski2016-10-252-3/+7
* | Fixing build errorsStefan Radomski2016-10-251-2/+2
* | Worked on PROMELA transformationStefan Radomski2016-10-25292-2314/+21104
|/
* Restored support for cmake 2.8.12Stefan Radomski2016-08-263-6/+6
* Support for LUA language bindingsStefan Radomski2016-08-234-0/+195
* Progress on the apache-commons wrapperStefan Radomski2016-08-2230-13836/+502
* Changed Monitor signature to take Interpreter facadeStefan Radomski2016-08-0413-157/+180
* Fixed issue 88Stefan Radomski2016-08-042-20/+27
* Fixed parts of issue 88Stefan Radomski2016-08-035-3/+89
* Allow custom EventQueue implementations via ActionLanguageStefan Radomski2016-08-032-0/+7
* Trying to get travis to build for MacOSXStefan Radomski2016-08-031-2/+0
* Have travis build for MacOSX as wellStefan Radomski2016-08-031-2/+11
generated by cgit v0.12 at 2024-08-22 20:13:31 (GMT)