Commits · master · general / stups / tla2bAST

Jan 13, 2025
- add missing cases and test for neg · f9cf4ade
  Jan Gruteser authored 5 months ago
  
  f9cf4ade
Jan 03, 2025
- minor simplifications · 6ad55775
  Jan Gruteser authored 5 months ago
  
  6ad55775
- add method for isBBuiltInOp check · 7ce92491
  Jan Gruteser authored 5 months ago
  
  7ce92491
Dec 23, 2024
- fix map creation · ee1b879b
  Jan Gruteser authored 5 months ago
  
  ee1b879b
- minor changes · 9b50ecf3
  Jan Gruteser authored 5 months ago
  
  9b50ecf3
Oct 28, 2024
- minor formatting · e1453006
  Jan Gruteser authored 7 months ago
  
  e1453006
Apr 28, 2024
- apply IntelliJ reformat code to fix many indents · 4ca233ba
  Jan Gruteser authored 1 year ago
  
  4ca233ba
- further code cleanup · f495b228
  Jan Gruteser authored 1 year ago
  
  f495b228
Apr 25, 2023
- Remove redundant casts · ecb506e1
  dgelessus authored 2 years ago
  
  ecb506e1
Apr 23, 2014
- Refactoring · 6b112333
  hansen authored 11 years ago
  
  6b112333