Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | VHDL transformation | Stefan Radomski | 2016-01-26 | 1 | -1/+1 |
| | |||||
* | optimized queue length calculations for promela transformation | Stefan Radomski | 2014-10-21 | 1 | -0/+2 |
| | |||||
* | More polishing for bindings C# and Java | Stefan Radomski | 2014-07-01 | 1 | -0/+4 |
| | |||||
* | Fixed building on MacOSX 10.9 Mavericks | Stefan Radomski | 2013-10-25 | 1 | -2/+1 |
| | |||||
* | Fixed a typo | Stefan Radomski | 2013-08-25 | 1 | -1/+2 |
| | |||||
* | Renamed event.type to eventType to avoid clash with send.type and invoker.type | Stefan Radomski | 2013-08-13 | 1 | -0/+3 |
| | |||||
* | Fixed setting intial config | Stefan Radomski | 2013-07-23 | 1 | -0/+2 |
| | |||||
* | Removed iOS project again | Stefan Radomski | 2013-07-22 | 1 | -0/+2 |
| | |||||
* | Various bug-fixes for W3C test conformance and stack traces with exceptions ↵ | Stefan Radomski | 2013-03-31 | 1 | -0/+1 |
| | | | | and segfaults | ||||
* | Started to fix Windows compilation issues | Stefan Radomski | 2013-01-12 | 1 | -0/+2 |
| | |||||
* | Fixed build and removed binaries | Stefan Radomski | 2012-11-20 | 1 | -1/+3 |
| | |||||
* | Committing local version again | Stefan Radomski | 2012-11-07 | 1 | -0/+6 |
| | |||||
* | Fixed done.state events | Stefan Radomski | 2012-09-16 | 1 | -0/+3 |
| | |||||
* | Initial upload | Stefan Radomski | 2012-09-08 | 1 | -0/+2 |
Still somewhat quirky to build but fairly feature complete |