summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* made escape function more vhdl friendlyJens Heuschkel2016-11-211-2/+2
* 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
|\
| * Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-174-189/+163
| |\
| * | Drastically reduced the number of atomic steps for verificationStefan Radomski2016-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
| |/ |/|
* | prittyprinterJens Heuschkel2016-11-161-1/+1
* | Merge branch 'master' of github.com:tklab-tud/uscxmlJens Heuschkel2016-11-1610-1548/+1995
|\ \ | |/
| * Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-164-1380/+1471
| |\
| * | Impreoved PROMELA transformationStefan Radomski2016-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
| |/ |/|
* | 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
|\ \ | |/
| * 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
* | towards working vhdl againjuehv2016-11-151-1/+1
|/
* 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
* Properly fix uriparser builds on 64bit MSVCStefan Radomski2016-08-021-1/+1
* Fixed 64bit MSVC buildsStefan Radomski2016-08-021-2/+5
* Fixed some MSVC errorsStefan Radomski2016-08-024-3/+4
* Deactivated ANSI C datamodel - we will go for picocStefan Radomski2016-08-021-1/+1
* Added to appveyorStefan Radomski2016-08-017-11/+44
* forgot to include malloc headerStefan Radomski2016-07-111-0/+1
* Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-07-112-27/+17
|\
| * restore vhdl transformationjuehv2016-06-272-27/+17
* | Reactivated REST bridge for debuggerStefan Radomski2016-07-1110-31/+2539
generated by cgit v0.12 at 2024-09-17 21:51:32 (GMT)