Commits · release/1.1.1 · general / stups / tla2bAST

Jan 23, 2019
- bump version to 1.1.1 · e2529dbd
  dohan authored 6 years ago
  
  e2529dbd
- Merge branch 'master' into develop · 1473e9f1
  dohan authored 6 years ago
  
  1473e9f1
- add empty ELSIF list when constructing IF-THEN-ELSE · b9b04eac
  Michael Leuschel authored 6 years ago
  
  b9b04eac
- Update parser versions · 63de0f31
  David Schneider authored 6 years ago
  
  Unverified
  
  63de0f31
Aug 31, 2018
- set sudo=true in .travis.yml · 2168475e
  dohan authored 6 years ago
  
  2168475e
- bump version number to 1.1.1-SNAPSHOT · e9320f3e
  dohan authored 6 years ago
  
  e9320f3e
- Merge branch 'release/1.1.0' · 48506892
  dohan authored 6 years ago
  
  View commits for tag 1.1.0 1.1.0
  
  48506892
- Merge tag '1.1.0' into develop · abd0edde
  dohan authored 6 years ago
  abd0edde
- bump version number to 1.1.0 · 368169a0
  dohan authored 6 years ago
  
  368169a0
- bump commons-cli version · c8d46b19
  dohan authored 6 years ago
  
  c8d46b19
- bump parser version to 2.9.12 · cb290fcc
  dohan authored 6 years ago
  
  cb290fcc
- translate SCOPE and scope_ definitions · b884c32b
  dohan authored 6 years ago
  
  b884c32b
- translate SCOPE_ definitions · 9c82b06b
  dohan authored 6 years ago
  
  9c82b06b
- translate HEURISTIC_FUNCTION definition · 60bc50ac
  dohan authored 6 years ago
  
  60bc50ac
Aug 27, 2018
- typecheck visualisation definitions · c938b183
  dohan authored 6 years ago
  
  c938b183
- test copying of visualisation definitions (CUSTOM_GRAPH_EDGES, etc.) · a77d713f
  dohan authored 6 years ago
  
  a77d713f
Aug 24, 2018
- find unchanged variables in nested tuples · 3a766df1
  dohan authored 6 years ago
  
  3a766df1
- rename method argument · 904a513b
  dohan authored 6 years ago
  
  904a513b
- remove print of strack trace · b4272d71
  dohan authored 6 years ago
  
  b4272d71
- translate definitions starting with ANIMATION_ or CUSTOM_GRAPH_ · a339e63b
  dohan authored 6 years ago
  
  a339e63b
Oct 19, 2017
- fix detection of used definitions · 31aa961d
  dohan authored 7 years ago
  
  31aa961d
Oct 18, 2017
- delete generated files · c21bc40c
  dohan authored 7 years ago
  
  c21bc40c
- add test to ensure that the GOAL definition is translated · 23990b6b
  dohan authored 7 years ago
  
  23990b6b
- translate certain TLA definitions although they are not used in the specification (e.g. GOAL) · a8b04ad0
  dohan authored 7 years ago
  
  a8b04ad0
Jul 20, 2017
- bump version number · b8a08a1b
  dohan authored 7 years ago
  
  b8a08a1b
- Merge branch 'release/1.0.9' into develop · ca1e4226
  dohan authored 7 years ago
  
  ca1e4226
- Merge branch 'release/1.0.9' · 2d6c6b27
  dohan authored 7 years ago
  
  View commits for tag 1.0.9 1.0.9
  
  2d6c6b27
- bump version number · 8bd19523
  dohan authored 7 years ago
  
  8bd19523
- adapt to new parser · 0fc0a1f6
  dohan authored 7 years ago
  
  0fc0a1f6
Dec 12, 2016
- adapt to new parser version · 15ecfd4c
  hansen authored 8 years ago
  
  15ecfd4c
Jun 29, 2016
- removed ftp upload · 9ba46146
  dohan authored 8 years ago
  
  9ba46146
- Post travis build info to slack · 411d34a3
  David Schneider authored 8 years ago
  
  411d34a3
Mar 08, 2016
- Improved error message · 9c520836
  hansen authored 9 years ago
  
  9c520836
Feb 24, 2016
- Version bump · ecf703eb
  Jens Bendisposto authored 9 years ago
  
  ecf703eb
- fixed dependency (required by central) · 1d8e57af
  Jens Bendisposto authored 9 years ago
  
  View commits for tag 1.0.8 1.0.8
  
  1d8e57af
- 1.0.8 Release · f5cda1df
  Jens Bendisposto authored 9 years ago
  
  f5cda1df
Feb 04, 2016
- Update build.gradle · 6fdc401d
  Jens Bendisposto authored 9 years ago
  
  6fdc401d
- Update build.gradle · f3ed0d9f
  Jens Bendisposto authored 9 years ago
  
  f3ed0d9f
Feb 03, 2016
- Update build.gradle · 1eba93bd
  Jens Bendisposto authored 9 years ago
  1eba93bd
- Update build.gradle · 4f8d9a51
  Jens Bendisposto authored 9 years ago
  
  4f8d9a51