Commits · da615fa7a7c9edc0671c995e53fee74216f4919d · general / stups / tlc4b

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
- updated result print · 9af0b656
  hansen authored 10 years ago
  
  9af0b656
Jan 13, 2015
- added command line switch (assertion check) · 26006bdf
  hansen authored 10 years ago
  
  26006bdf
Jan 09, 2015
- Implemented 'partial invariant evaluation' · 674f5e9a
  hansen authored 10 years ago
  
  674f5e9a
Dec 12, 2014
- fixed bug in trace printer · 3f21e26b
  hansen authored 10 years ago
  
  3f21e26b
Nov 24, 2014
- removed tla2bAst from compile path · c17aaecb
  hansen authored 10 years ago
  
  c17aaecb
- Fixed bug in the detection of the used modules procedure · b84c29f4
  hansen authored 10 years ago
  
  b84c29f4
Nov 21, 2014
- Corrected max_int test · 23d117e1
  hansen authored 10 years ago
  
  23d117e1
- corrected test case · a3b476d7
  hansen authored 10 years ago
  
  a3b476d7
- adjusted min and max int configuration · 59b97013
  hansen authored 10 years ago
  
  59b97013
- removed old dependencies · 48161865
  hansen authored 10 years ago
  
  48161865
- fixed precedence Bug · 615a6961
  hansen authored 10 years ago
  
  615a6961
Nov 10, 2014
- parse LTL formulas only when it is necessary · e140d6fa
  hansen authored 10 years ago
  
  e140d6fa
- Fixed typo · e155d2ea
  hansen authored 10 years ago
  
  e155d2ea
- Improved LTL error messages · 532afd78
  hansen authored 10 years ago
  
  532afd78
Nov 07, 2014
- Fixed type restriction bug · 033c0b03
  hansen authored 10 years ago
  
  033c0b03
- Fixed bug: 'can not find config file' · 2a4bbd9d
  hansen authored 10 years ago
  
  2a4bbd9d
Nov 06, 2014
- refactored file handling · b9012aff
  hansen authored 10 years ago
  
  b9012aff
- ignore files · 9f77865c
  hansen authored 10 years ago
  
  9f77865c
- fixed gradle file · 60ec135a
  hansen authored 10 years ago
  
  60ec135a
Sep 24, 2014
- Merge branch 'master' of github.com:hhu-stups/tlc4b · 4283ebd3
  Sebastian Krings authored 10 years ago
  
  4283ebd3
- update gradle syntax · d15e5a23
  Sebastian Krings authored 10 years ago
  
  d15e5a23
Aug 25, 2014
- Bump parser version · 2bac91bd
  Sebastian Krings authored 10 years ago
  
  2bac91bd
Jul 04, 2014
- Throwing a NotSupported exception if TLC has to enumerate an infinite set. · b515c230
  hansen authored 10 years ago
  
  b515c230
- Fixed a precedence bug · 1baba5f1
  hansen authored 10 years ago
  
  1baba5f1
Jun 28, 2014
- Added TODO list · 5cedb91e
  hansen authored 10 years ago
  
  5cedb91e
- Detecting WD errors related to functions calls. · 333f78df
  hansen authored 10 years ago
  
  333f78df
Jun 25, 2014
- Fixed a bug translating LET IN statements · d7f630a0
  hansen authored 10 years ago
  
  d7f630a0
May 31, 2014
- Added predicate for constant setup to trace file · 8c8485b7
  hansen authored 11 years ago
  
  8c8485b7
May 27, 2014
- Fixed a bug in the TracePrinter · 78ab86c8
  hansen authored 11 years ago
  
  78ab86c8
May 22, 2014
- Do not clone nodes, because the clones do not contain all required information (type etc.) · f907e152
  hansen authored 11 years ago
  
  f907e152
May 02, 2014
- Added precedence to cartesian product node (stem from Event-B) · b3bd895a
  hansen authored 11 years ago
  
  b3bd895a
- Changed precedence of the cartesian product operator. · 100b216c
  hansen authored 11 years ago
  
  100b216c
Apr 30, 2014
- Supporting ABSTRACT_CONSTANTS clause · c81fa748
  hansen authored 11 years ago
  
  c81fa748
Apr 14, 2014
- external definitions files are now supported · 468a4d4c
  hansen authored 11 years ago
  
  468a4d4c
Apr 01, 2014
- added renamer to trace printer · a4f6b584
  hansen authored 11 years ago
  
  a4f6b584
- fixed constants setup in trace file · fc2af107
  hansen authored 11 years ago
  
  fc2af107
Mar 31, 2014
- refactoring · 159dcd05
  hansen authored 11 years ago
  
  159dcd05