Commits · a9bcad62c89b35e7e2367ab78016f62e381f980b · general / stups / tla2bAST · GitLab

Snippets Groups Projects

Mar 05, 2021
- Update Gradle wrapper to version 6.8.3 · a9bcad62
  dgelessus authored 4 years ago
  
  a9bcad62
- Revert workaround changes to build.gradle · 52b5edde
  dgelessus authored 4 years ago
  
  52b5edde
- use ProB’s IF-THEN-ELSE rather than lambda construction · ba887390
  Michael Leuschel authored 4 years ago
  
  ba887390
- update to Java 1.8 and latest B parser and remove Jacoco · 8031aff5
  Michael Leuschel authored 4 years ago
  
  8031aff5
Feb 28, 2020
- add a few more variations of keywords · 12a5b568
  Michael Leuschel authored 5 years ago
  12a5b568
- also accept TypeOK as invariant name · c0b1394d
  Michael Leuschel authored 5 years ago
  
  c0b1394d
- set version to 1.1.4-SNAPSHOT · cf041cf1
  Michael Leuschel authored 5 years ago
  
  cf041cf1
- 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