Commits · c973a29b513bbade9a930a527054a6077cea04e7 · general / stups / tla2bAST

Jan 13, 2020
- Add Gradle wrapper and settings.gradle · c973a29b
  dgelessus authored 5 years ago
  
  c973a29b
- Clean up .gitignore · 20f521b8
  dgelessus authored 5 years ago
  
  20f521b8
- Fix indentation in build.gradle · 2d185fc1
  dgelessus authored 5 years ago
  
  2d185fc1
- Add .editorconfig · 330e42d0
  dgelessus authored 5 years ago
  
  330e42d0
- Bump version to 1.1.3-SNAPSHOT · 270c14a2
  dgelessus authored 5 years ago
  
  270c14a2
- set version to 1.1.2 · a9481a47
  Michael Leuschel authored 5 years ago
  a9481a47
- Merge remote-tracking branch 'origin/develop' · ac72ee7b
  Michael Leuschel authored 5 years ago
  
  ac72ee7b
- remove Jacoco from build · 184416da
  Michael Leuschel authored 5 years ago
  
  184416da
Sep 25, 2019
- also support Invariant and Invariants as default · 5c16d48e
  Michael Leuschel authored 5 years ago
  5c16d48e
- fix typo in message · 6fe9c8b7
  Michael Leuschel authored 5 years ago
  
  6fe9c8b7
Sep 20, 2019
- remove usless method · 174ba7a3
  Michael Leuschel authored 5 years ago
  
  174ba7a3
- support tuple definitions in UNCHANGED · 5baad82b
  Michael Leuschel authored 5 years ago
  5baad82b
- start supporting tuple definitions in UNCHANGED · 5c1854a6
  Michael Leuschel authored 5 years ago
  5c1854a6
Jan 23, 2019
- bump version to 1.1.2-SNAPSHOT · 27108b32
  dohan authored 6 years ago
  
  27108b32
- Merge branch 'release/1.1.1' · 3ed421cc
  dohan authored 6 years ago
  
  View commits for tag 1.1.1 1.1.1
  
  3ed421cc
- Merge tag '1.1.1' into develop · 50e82d25
  dohan authored 6 years ago
  50e82d25
- 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
  
  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