Commits · 543949ec4a82069047c666dd812cae2f55be15fc · general / stups / tlc4b

Aug 19, 2015
- Update build.gradle · 543949ec
  Jens Bendisposto authored 9 years ago
  
  View commits for tag 1.0.0 1.0.0
  
  543949ec
Aug 18, 2015
- Merge branch 'master' of github.com:hhu-stups/tlc4b · eb6c7131
  Jens Bendisposto authored 9 years ago
  eb6c7131
- jar location · ce62b426
  Jens Bendisposto authored 9 years ago
  
  ce62b426
- Update build.gradle · b4c1e093
  Jens Bendisposto authored 9 years ago
  
  b4c1e093
- Update build.gradle · 129299db
  Jens Bendisposto authored 9 years ago
  
  129299db
- Update build.gradle · 3ca838e3
  Jens Bendisposto authored 9 years ago
  
  3ca838e3
- version of tla2bast · 26924952
  Jens Bendisposto authored 9 years ago
  
  26924952
- deployment · f7f97294
  Jens Bendisposto authored 9 years ago
  
  f7f97294
Aug 17, 2015
- Rename travis.yml to .travis.yml · 5edb0bd2
  Jens Bendisposto authored 9 years ago
  
  5edb0bd2
- Update README.md · 9b55a79d
  Jens Bendisposto authored 9 years ago
  
  9b55a79d
- Create travis.yml · ea263347
  Jens Bendisposto authored 9 years ago
  
  ea263347
- Update build.gradle · cccfe865
  Jens Bendisposto authored 9 years ago
  
  cccfe865
Aug 11, 2015
- Refactoring · 58c45730
  hansen authored 9 years ago
  
  58c45730
Jul 30, 2015
- minor changes · 576832fc
  hansen authored 9 years ago
  
  576832fc
- Adapted the translator to the new parser version · 8a5f7159
  hansene authored 9 years ago
  
  8a5f7159
- Fixed bug in the sees eliminator · 4c220c08
  hansene authored 9 years ago
  
  4c220c08
- Added an additional check to the AST transformer in order to prevent a unsound translation · e4ea822a
  hansene authored 9 years ago
  
  e4ea822a
Jul 29, 2015
- set comprehension optimizer + tests · ff163113
  hansene authored 9 years ago
  
  ff163113
Jul 28, 2015
- Added support of the SEES clause + improved set comprehension translation · aec264e5
  hansene authored 9 years ago
  
  aec264e5
Jul 24, 2015
- Added external function STRING_APPEND · bd597862
  hansene authored 9 years ago
  
  bd597862
- Recognise B assertions error in the output of TLC · e8d519e6
  hansene authored 9 years ago
  
  e8d519e6
Jul 22, 2015
- added support for external functions · 77b5bf3d
  hansen authored 9 years ago
  
  77b5bf3d
Jul 18, 2015
- refactoring based on findbugs guidelines · d39a355c
  hansen authored 9 years ago
  
  d39a355c
- disable findbugs by default · 91e0979f
  hansen authored 9 years ago
  
  91e0979f
Jul 17, 2015
- Fixed unhandled LTL parse error exception · 61971375
  hansen authored 9 years ago
  
  61971375
- changed readme · c493dac9
  hansen authored 9 years ago
  
  c493dac9
- removed unused imports · 94f5cf8a
  hansen authored 9 years ago
  
  94f5cf8a
- Refactoring · b450e1a5
  hansen authored 9 years ago
  
  b450e1a5
Jun 02, 2015
- updated gradle file · 926f3d5a
  hansen authored 9 years ago
  
  926f3d5a
Jun 01, 2015
- print coverage statistics · 2604e204
  hansen authored 9 years ago
  
  2604e204
May 21, 2015
- updated gradle file · fe813a97
  hansen authored 9 years ago
  
  fe813a97
May 19, 2015
- optimized deterministic check · ee531881
  hansen authored 9 years ago
  
  ee531881
- shortened the translation of the deadlock operator · 62a0cd45
  hansen authored 9 years ago
  
  62a0cd45
- added deadlock operator · 7050476a
  hansen authored 9 years ago
  
  7050476a
May 18, 2015
- fixed minor bug · 6f01e052
  hansen authored 9 years ago
  
  6f01e052
- added support for the deterministic operator (LTL operator) · dd2cb7fa
  hansen authored 9 years ago
  
  dd2cb7fa
May 12, 2015
- adapted code to the new TLC interface · 20fbf7e2
  hansen authored 10 years ago
  
  20fbf7e2
Mar 16, 2015
- updated parser version · da615fa7
  hansen authored 10 years ago
  
  da615fa7
Feb 03, 2015
- added symmetry reduction · ebcb1e4d
  hansen authored 10 years ago
  
  ebcb1e4d
- added options to result print · bf1fce95
  hansen authored 10 years ago
  
  bf1fce95

Admin message