Commits · release/1.1.3 · general / stups / tla2bAST

Feb 28, 2020
- set version to 1.1.3 · 51d8d46c
  Michael Leuschel authored 5 years ago
  
  View commits for tag 1.1.3 1.1.3
  
  51d8d46c
- throw exception when no Init found · 3a236f55
  Michael Leuschel authored 5 years ago
  
  3a236f55
- also allow TypeInv as invariant definition · 05ebcc88
  Michael Leuschel authored 5 years ago
  
  05ebcc88
- allow a few more variations of Init, Spec and Next · 00cf8d22
  Michael Leuschel authored 5 years ago
  
  00cf8d22
- increase parser version · 8980d4c2
  Michael Leuschel authored 5 years ago
  
  8980d4c2
Jan 20, 2020
- Re-add some .gitignore entries that were needed after all · 116cd985
  dgelessus authored 5 years ago
  
  116cd985
Jan 16, 2020
- Convert line endings from CRLF to LF · 9f4866f4
  dgelessus authored 5 years ago
  9f4866f4
- Remove unneeded tla2b Gradle task · 0cf16b3a
  dgelessus authored 5 years ago
  0cf16b3a
- Replace uses of deprecated Apache Commons CLI classes · 42a2f3b2
  dgelessus authored 5 years ago
  
  42a2f3b2
- Make createJar task not depend on tests · 14254334
  dgelessus authored 5 years ago
  
  14254334
- Remove Slack notification configuration from .travis.yml · cf2a0d5f
  dgelessus authored 5 years ago
  cf2a0d5f
- Remove sudo: true from .travis.yml · 2db9b18f
  dgelessus authored 5 years ago
  2db9b18f
- Update .travis.yml to use the Gradle wrapper · fbfa3038
  dgelessus authored 5 years ago
  
  fbfa3038
- Update jacoco to version 0.8.5 · 630272d5
  dgelessus authored 5 years ago
  
  630272d5
- Re-enable jacoco plugin · 3315d73a
  dgelessus authored 5 years ago
  
  3315d73a
- Change PrologPrinter to write parser Git hash instead of build time · 964102ed
  dgelessus authored 5 years ago
  964102ed
Jan 13, 2020
- Add missing exception to catch block in Translator · 4cdec64b
  dgelessus authored 5 years ago
  
  4cdec64b
- Fix Javadoc problems · cbef025f
  dgelessus authored 5 years ago
  cbef025f
- Copy ExtendedDFAdapter from bparser · 6970b130
  dgelessus authored 5 years ago
  6970b130
- Remove use of deprecated Gradle findbugs plugin · 81fa19a9
  dgelessus authored 5 years ago
  
  81fa19a9
- 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