Commits · 72c4f8babae64b82e73a029874aaab17e374e2ce · general / stups / tla2bAST

Apr 25, 2023
- 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
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
Mar 23, 2021
- Remove unchanged variables (on top level) from ANY · 34ef7e22
  devp21781 authored 4 years ago
  
  34ef7e22
Mar 05, 2021
- use ProB’s IF-THEN-ELSE rather than lambda construction · ba887390
  Michael Leuschel authored 4 years ago
  
  ba887390
Jan 16, 2020
- Convert line endings from CRLF to LF · 9f4866f4
  dgelessus authored 5 years ago
  9f4866f4
Jan 13, 2020
- Fix Javadoc problems · cbef025f
  dgelessus authored 5 years ago
  cbef025f
- Copy ExtendedDFAdapter from bparser · 6970b130
  dgelessus authored 5 years ago
  6970b130
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
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
Dec 12, 2016
- adapt to new parser version · 15ecfd4c
  hansen authored 8 years ago
  
  15ecfd4c
Dec 11, 2015
- fixed bug · 4cd409ae
  hansen authored 9 years ago
  
  4cd409ae
Dec 10, 2015
- removed unchanged variable from ANY substitutions · 509f0a91
  hansen authored 9 years ago
  
  509f0a91
Dec 09, 2015
- improved pretty printer · d0834119
  hansen authored 9 years ago
  
  d0834119
Oct 03, 2015
- update build.gradle · 19d463c3
  hansen authored 9 years ago
  
  19d463c3
- fixed javadoc errors · c8a1349a
  hansen authored 9 years ago
  
  c8a1349a
- added a new cli parser · 586669cb
  hansen authored 9 years ago
  
  586669cb
Sep 17, 2015
- Adapted the translation of the modulo operator · 699b0fcd
  hansen authored 9 years ago
  
  699b0fcd
Sep 16, 2015
- Division and IfThenElse are translated to newly created B AST nodes · e13611ad
  hansen authored 9 years ago
  
  e13611ad
Jul 30, 2015
- Adapted the translator to the new parser version · bd261f38
  hansene authored 9 years ago
  
  bd261f38
Apr 17, 2015
- fixed bug translating let statements · e7870dde
  hansen authored 10 years ago
  
  e7870dde
- code refactoring · 68ef3e40
  hansen authored 10 years ago
  
  68ef3e40
- adapted the expression translator · c4567f40
  hansen authored 10 years ago
  
  c4567f40
Feb 12, 2015
- update · 8332e01b
  hansen authored 10 years ago
  
  8332e01b
Jun 24, 2014
- operators without parameters have a fixed type · 2c156257
  hansen authored 10 years ago
  
  2c156257
Jun 18, 2014
- Fixed some bugs handling tuples · 812da092
  hansen authored 10 years ago
  
  812da092
Jun 11, 2014
- @ node in nested except statements · 0c22b221
  hansen authored 11 years ago
  
  0c22b221
- nested except statements · 0b0c0b84
  hansen authored 11 years ago
  
  0b0c0b84
May 28, 2014
- Fixed bug in "find guards" algorithm · 4f84c123
  hansen authored 11 years ago
  
  4f84c123
May 16, 2014
- added missing files · 41b4f1f5
  hansen authored 11 years ago
  
  41b4f1f5
- Accessing a field of a tuple via a function call is now supported (e.g <<1, TRUE, "str">>[2]) · b8ebd76e
  hansen authored 11 years ago
  
  b8ebd76e
May 15, 2014
- Distinction between abstract constants and constants to enable a simple back translation · 501a06ce
  hansen authored 11 years ago
  
  501a06ce
May 13, 2014
- Refactoring · 1080f053
  hansen authored 11 years ago
  
  1080f053
May 12, 2014
- Handling extensible records. · 73375ccc
  hansen authored 11 years ago
  
  73375ccc
May 10, 2014
- Fixed the translation of the SubSeq operator. · 630439d1
  hansen authored 11 years ago
  
  630439d1
- Resolving generated names of MC.tla files · 9658b395
  hansen authored 11 years ago
  
  9658b395