summaryrefslogtreecommitdiffstats
path: root/.gitignore
Commit message (Expand)AuthorAgeFilesLines
* Moved java bindingStefan Radomski2016-11-281-1/+0
* Fixed dozens of memory leaksStefan Radomski2016-06-131-0/+2
* 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 a...Stefan Radomski2013-03-311-0/+1
* 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