Commits · e6f9d043a432b24c384112d6566cd2958eb8a245 · general / stups / tla2bAST

Apr 25, 2023
- Re-enable commented out asserts in tests · e6f9d043
  dgelessus authored 2 years ago
  e6f9d043
- Reduce throws declarations of TestUtil methods · 72c4f8ba
  dgelessus authored 2 years ago
  
  72c4f8ba
- Replace custom Ast2String with ASTProlog from B parser · 6f191f28
  dgelessus authored 2 years ago
  6f191f28
- Remove all prints from tests · 56e8787d
  dgelessus authored 2 years ago
  
  56e8787d
- Update dependencies · e1daea14
  dgelessus authored 2 years ago
  e1daea14
Feb 15, 2023
- copy VISB_SVG_ DEFINITIONS over to B translation · 3aae0bb6
  Michael Leuschel authored 2 years ago
  3aae0bb6
Feb 13, 2023
- add test · 50c7f125
  Michael Leuschel authored 2 years ago
  50c7f125
- fix issue 293 involving evaluation of CHOOSE expressions · 3d4225dd
  Michael Leuschel authored 2 years ago
  3d4225dd
Jan 27, 2023
- add ASSERT_LTL and VISB_JSON_FILE to used def finder · 8aa435aa
  Michael Leuschel authored 2 years ago
  8aa435aa
Jun 27, 2022
- support for GAME_ DEFINITIONS · 6231d36a
  Michael Leuschel authored 2 years ago
  6231d36a
Jun 26, 2022
- keep VISB_JSON_FILE and ASSERT_LTL/ASSERT_CTL defs · 8dc55564
  Michael Leuschel authored 2 years ago
  8dc55564
Feb 03, 2022
- add debugging feedback · dc122b68
  Michael Leuschel authored 3 years ago
  dc122b68
Feb 02, 2022
- Replace NodeIdAssignment with INodeIds in TlaTypePrinter · 24a15cb6
  dgelessus authored 3 years ago
  24a15cb6
- add stub for -verbose flag · 371e1e9b
  Michael Leuschel authored 3 years ago
  371e1e9b
Mar 23, 2021
- fix new UNCHANGED treatment also for tuples · 42f4b4b0
  Michael Leuschel authored 4 years ago
  42f4b4b0
- Remove unchanged variables (on top level) from ANY · 34ef7e22
  devp21781 authored 4 years ago
  
  34ef7e22
Mar 19, 2021
- detect a few more ProB DEFINITIONS · ab98bb1b
  Michael Leuschel authored 4 years ago
  
  ab98bb1b
- add comments and debug prints · 7ebb3951
  Michael Leuschel authored 4 years ago
  
  7ebb3951
Mar 11, 2021
- allow to use FALSE and TRUE for TLA actions · 9c3acead
  Michael Leuschel authored 4 years ago
  
  9c3acead
Mar 05, 2021
- use ProB’s IF-THEN-ELSE rather than lambda construction · ba887390
  Michael Leuschel authored 4 years ago
  
  ba887390
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
- 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
Jan 16, 2020
- Convert line endings from CRLF to LF · 9f4866f4
  dgelessus authored 5 years ago
  9f4866f4
- Replace uses of deprecated Apache Commons CLI classes · 42a2f3b2
  dgelessus authored 5 years ago
  
  42a2f3b2
- 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
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
- add empty ELSIF list when constructing IF-THEN-ELSE · b9b04eac
  Michael Leuschel authored 6 years ago
  
  b9b04eac
Aug 31, 2018
- 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

Admin message