summaryrefslogtreecommitdiffstats
path: root/.gitignore
Commit message (Collapse)AuthorAgeFilesLines
* Corrected gitignore and travis configStefan Radomski2016-05-121-7/+0
|
* update gitignorejuehv2016-03-081-0/+2
|
* VHDL transformationStefan Radomski2016-01-261-1/+1
|
* optimized queue length calculations for promela transformationStefan Radomski2014-10-211-0/+2
|
* More polishing for bindings C# and JavaStefan Radomski2014-07-011-0/+4
|
* Fixed building on MacOSX 10.9 MavericksStefan Radomski2013-10-251-2/+1
|
* Fixed a typoStefan Radomski2013-08-251-1/+2
|
* Renamed event.type to eventType to avoid clash with send.type and invoker.typeStefan Radomski2013-08-131-0/+3
|
* Fixed setting intial configStefan Radomski2013-07-231-0/+2
|
* Removed iOS project againStefan Radomski2013-07-221-0/+2
|
* Various bug-fixes for W3C test conformance and stack traces with exceptions ↵Stefan Radomski2013-03-311-0/+1
| | | | and segfaults
* Started to fix Windows compilation issuesStefan Radomski2013-01-121-0/+2
|
* Fixed build and removed binariesStefan Radomski2012-11-201-1/+3
|
* Committing local version againStefan Radomski2012-11-071-0/+6
|
* Fixed done.state eventsStefan Radomski2012-09-161-0/+3
|
* Initial uploadStefan Radomski2012-09-081-0/+2
Still somewhat quirky to build but fairly feature complete