summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform
Commit message (Expand)AuthorAgeFilesLines
* update testbench for better automatic testingJens Heuschkel2016-11-221-11/+45
* Merge branch 'master' of github.com:tklab-tud/uscxmlJens Heuschkel2016-11-212-402/+685
|\
| * Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-212-122/+54
| |\
| * | Reduced state space for PROMELA transformationStefan Radomski2016-11-212-402/+685
* | | implement some small todoJens Heuschkel2016-11-212-168/+194
| |/ |/|
* | ups sorry :(Jens Heuschkel2016-11-211-10/+10
* | 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-172-188/+161
| |\
| * | Drastically reduced the number of atomic steps for verificationStefan Radomski2016-11-171-4/+20
* | | fix some todos in vhdlJens Heuschkel2016-11-172-122/+54
| |/ |/|
* | prittyprinterJens Heuschkel2016-11-161-1/+1
* | Merge branch 'master' of github.com:tklab-tud/uscxmlJens Heuschkel2016-11-165-1459/+1804
|\ \ | |/
| * Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-161-1380/+1407
| |\
| * | Impreoved PROMELA transformationStefan Radomski2016-11-165-1459/+1804
* | | towards a running VHDL state machine (test144 works yey)Jens Heuschkel2016-11-162-188/+161
| |/ |/|
* | quick fix vhdl code to compile (but not work) againjuehv2016-11-151-1380/+1407
|/
* Worked on PROMELA transformationStefan Radomski2016-10-2510-1296/+5075
* restore vhdl transformationjuehv2016-06-271-16/+6
* AddendumStefan Radomski2016-06-161-1/+1
* Fixed issue86 and some more bug fixesStefan Radomski2016-06-161-1/+1
* addendum to issue84 fix for swigStefan Radomski2016-06-131-1/+1
* Reactivated VHDL transformationStefan Radomski2016-06-132-1319/+1309
* Refactored for public headers and started documentationStefan Radomski2016-05-194-32/+33
* Builds cleanly for VS2015Stefan Radomski2016-05-131-1/+1
* Conditionalized V8 on version and used C++11 list initializersStefan Radomski2016-05-121-26/+19
* Major Refactoring v2.0Stefan Radomski2016-05-1222-10134/+637
* Fixed issue 64 and beautified code againStefan Radomski2016-04-284-1419/+1419
* Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-04-221-80/+377
|\
| * add 2 tmp vhdl write scriptsjuehv2016-04-051-2/+1
| * mergejuehv2016-04-051-0/+2
| |\
| | * fix some S*juehv2016-03-311-15/+33
| * | updatejuehv2016-04-051-22/+52
| |/
| * add todosjuehv2016-03-311-4/+5
| * fix event reset bugjuehv2016-03-171-6/+30
| * more vhdl -- passing test 144 :)juehv2016-03-161-62/+303
* | Minor bug-fixes and issue62 preparedStefan Radomski2016-04-221-4/+6
|/
* More work on VHDL Executable ContentStefan Radomski2016-03-082-37/+78
* add not working codejuehv2016-03-081-11/+51
* fix interface linesjuehv2016-03-071-21/+22
* start event generator implementationjuehv2016-03-072-36/+141
* Some more preparations for current V8 APIStefan Radomski2016-03-071-1/+1
* Some more VHDL transformation workStefan Radomski2016-03-031-25/+42
* update namesjuehv2016-03-031-26/+9
* cleanup codejuehv2016-03-032-263/+168
* add basic event handling and auto stallingjuehv2016-03-022-11/+41
* add basic spontaneous signal generationjuehv2016-03-012-5/+61
* clean up signals, add states to interfacejuehv2016-03-011-915/+925
* More work on VHDLStefan Radomski2016-02-293-195/+330
* Even more VHDL transformationStefan Radomski2016-02-242-236/+236
* Some more refactoring and VHDL transformationStefan Radomski2016-02-248-152/+394
generated by cgit v0.12 at 2024-11-20 13:20:11 (GMT)