Commits · master · general / stups / tla2bAST

Mar 20, 2025
- add (disabled) test for operations with the same name being called · c80fac8c
  Miles Vella authored 1 month ago
  
  c80fac8c
- add idea files to gitignore · d8d0c553
  Miles Vella authored 1 month ago
  
  d8d0c553
Feb 28, 2025
- Bump version number to 1.4.2-SNAPSHOT · 8efbe521
  dgelessus authored 2 months ago
  
  8efbe521
- Release version 1.4.1 · 2fbcb3cb
  dgelessus authored 2 months ago
  
  View commits for tag 1.4.1 1.4.1
  
  2fbcb3cb
- Adjust processResources project.version use to avoid deprecation warning · 5a2c7066
  dgelessus authored 2 months ago
  
  5a2c7066
- Update shadow plugin to version 8.3.6 · ca762a98
  dgelessus authored 2 months ago
  
  ca762a98
- Switch to release version 2.15.0 of parser · 70ee522f
  dgelessus authored 2 months ago
  
  70ee522f
- Replace uses of deprecated Gradle assignment syntax · b4ec3edb
  dgelessus authored 2 months ago
  
  b4ec3edb
- Update Gradle wrapper to version 8.13 · 6a688531
  dgelessus authored 2 months ago
  
  6a688531
Feb 26, 2025
- Update to new parser snapshot version 2.15.0-SNAPSHOT · aa1b0c5f
  dgelessus authored 2 months ago
  
  aa1b0c5f
Jan 15, 2025
- add function test for first tuple · a7459310
  Jan Gruteser authored 3 months ago
  
  a7459310
- refactor BAstCreator again · 676184da
  Jan Gruteser authored 3 months ago
  676184da
- refactor operation handling · 94e06eff
  Jan Gruteser authored 3 months ago
  
  94e06eff
- remove IType interface · 19c9592d
  Jan Gruteser authored 3 months ago
  
  19c9592d
- avoid hard-coded access of type tool object · 9e525feb
  Jan Gruteser authored 3 months ago
  
  9e525feb
Jan 14, 2025
- simplifications in types · 58ce9546
  Jan Gruteser authored 3 months ago
  
  58ce9546
- set parser version to 2.13.6-SNAPSHOT · 9281a54d
  Jan Gruteser authored 3 months ago
  
  9281a54d
- test nested boolean · 9796cb6e
  Jan Gruteser authored 3 months ago
  
  9796cb6e
Jan 13, 2025
- add missing cases and test for neg · f9cf4ade
  Jan Gruteser authored 3 months ago
  
  f9cf4ade
- also ignore Naturals test · 1ff8b090
  Jan Gruteser authored 3 months ago
  
  1ff8b090
- add ignored test for nested Real definitions · 16150aa7
  Jan Gruteser authored 3 months ago
  
  16150aa7
- add ignored test for set product · e45b760b
  Jan Gruteser authored 3 months ago
  
  e45b760b
- minor simplifications · ab0dd38b
  Jan Gruteser authored 3 months ago
  
  ab0dd38b
Jan 04, 2025
- refactor AST generation of (B) built-in predicates/expressions · 9939815f
  Jan Gruteser authored 4 months ago
  9939815f
- replace some direct ToolObject accesses with getType · 64730c30
  Jan Gruteser authored 4 months ago
  
  64730c30
- reorder methods · 160deda7
  Jan Gruteser authored 4 months ago
  
  160deda7
- simplifications in BAstCreator · 68b6d32c
  Jan Gruteser authored 4 months ago
  
  68b6d32c
Jan 03, 2025
- add helper method for integer nodes · 5808e551
  Jan Gruteser authored 4 months ago
  
  5808e551
- adapt translation of SubSeq · 08736cf6
  Jan Gruteser authored 4 months ago
  
  08736cf6
- simplify SetSummation · 6f14b439
  Jan Gruteser authored 4 months ago
  
  6f14b439
- support SetProduct · 15e1412c
  Jan Gruteser authored 4 months ago
  15e1412c
- minor simplifications · 6ad55775
  Jan Gruteser authored 4 months ago
  
  6ad55775
- add method for isBBuiltInOp check · 7ce92491
  Jan Gruteser authored 4 months ago
  
  7ce92491
- minor simplifications · 9af8cc0a
  Jan Gruteser authored 4 months ago
  
  9af8cc0a
- minor simplifications · 74f25b39
  Jan Gruteser authored 4 months ago
  
  74f25b39
Jan 02, 2025
- add some ActionTests and TODOs · 5c34eeb1
  Jan Gruteser authored 4 months ago
  
  5c34eeb1
- fix brace · 3ecc17d4
  Jan Gruteser authored 4 months ago
  
  3ecc17d4
- minor formatting TypeChecker · 563c9698
  Jan Gruteser authored 4 months ago
  
  563c9698
- replace unifications and setType in evalBoundedVariables · d6782d89
  Jan Gruteser authored 4 months ago
  
  d6782d89
- replace unifications and setType in evalExcept · 3fc05d8a
  Jan Gruteser authored 4 months ago
  
  3fc05d8a

Admin message