summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
| |
* | More work on ANSI C datamodelStefan Radomski2016-07-11250-8/+22035
| |
* | Updated xerces-c dependencyStefan Radomski2016-07-111-4/+4
|/
* Added C89 testsStefan Radomski2016-06-231-0/+1
|
* First signs of a C89 datamodelStefan Radomski2016-06-238-0/+965
|
* Smaller bug-fixes and refactoringsStefan Radomski2016-06-2314-227/+355
|
* Started to port Debugger and issue 87Stefan Radomski2016-06-1831-179/+4917
|
* Forgot to reset a fileStefan Radomski2016-06-161-3/+3
|
* AddendumStefan Radomski2016-06-161-1/+1
|
generated by cgit v0.12 at 2024-08-24 22:43:34 (GMT)