summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fixed issue86 and some more bug fixesStefan Radomski2016-06-1621-47/+178