Commits · 64730c30ac0dca00b9c409cf184db8b614e8536c · general / stups / tla2bAST

Jan 04, 2025
- replace some direct ToolObject accesses with getType · 64730c30
  Jan Gruteser authored 5 months ago
  
  64730c30
- reorder methods · 160deda7
  Jan Gruteser authored 5 months ago
  
  160deda7
- simplifications in BAstCreator · 68b6d32c
  Jan Gruteser authored 5 months ago
  
  68b6d32c
Jan 03, 2025
- add helper method for integer nodes · 5808e551
  Jan Gruteser authored 5 months ago
  
  5808e551
- adapt translation of SubSeq · 08736cf6
  Jan Gruteser authored 5 months ago
  
  08736cf6
- simplify SetSummation · 6f14b439
  Jan Gruteser authored 5 months ago
  
  6f14b439
- support SetProduct · 15e1412c
  Jan Gruteser authored 5 months ago
  15e1412c
- minor simplifications · 6ad55775
  Jan Gruteser authored 5 months ago
  
  6ad55775
- add method for isBBuiltInOp check · 7ce92491
  Jan Gruteser authored 5 months ago
  
  7ce92491
- minor simplifications · 9af8cc0a
  Jan Gruteser authored 5 months ago
  
  9af8cc0a
- minor simplifications · 74f25b39
  Jan Gruteser authored 5 months ago
  
  74f25b39
Jan 02, 2025
- add some ActionTests and TODOs · 5c34eeb1
  Jan Gruteser authored 5 months ago
  
  5c34eeb1
- fix brace · 3ecc17d4
  Jan Gruteser authored 5 months ago
  
  3ecc17d4
- minor formatting TypeChecker · 563c9698
  Jan Gruteser authored 5 months ago
  
  563c9698
- replace unifications and setType in evalBoundedVariables · d6782d89
  Jan Gruteser authored 5 months ago
  
  d6782d89
- replace unifications and setType in evalExcept · 3fc05d8a
  Jan Gruteser authored 5 months ago
  
  3fc05d8a
- replace unifications and setType in evalBuiltInKind · a459e590
  Jan Gruteser authored 5 months ago
  
  a459e590
- replace unifications and setType in visitOpApplNode · 5df8f15b
  Jan Gruteser authored 5 months ago
  
  5df8f15b
- replace setType calls by setTypeAndFollowers · c96c767f
  Jan Gruteser authored 5 months ago
  c96c767f
- fix missing import · 07fd0df4
  Jan Gruteser authored 5 months ago
  
  07fd0df4
- replace unifications in visitExprNode · d47a5481
  Jan Gruteser authored 5 months ago
  
  d47a5481
- replace all duplicated unification try-catches in evaltBBuiltIns · 8cd2aa1b
  Jan Gruteser authored 5 months ago
  
  8cd2aa1b
- add utility methods in TypeChecker · 69b2c47a
  Jan Gruteser authored 5 months ago
  69b2c47a
- add another instance test · d42053e9
  Jan Gruteser authored 5 months ago
  
  d42053e9
- delete AbstractSymbol · 553a90ba
  Jan Gruteser authored 5 months ago
  553a90ba
- minor layouting · a3dd3335
  Jan Gruteser authored 5 months ago
  
  a3dd3335
- add comments and make name of the dummy module clearer · c1e63cd5
  Jan Gruteser authored 5 months ago
  
  c1e63cd5
- add tests for expression translation with definitions · 5c198f7b
  Jan Gruteser authored 5 months ago
  
  5c198f7b
- refactor and improve ExpressionTranslator · db90d21e
  Jan Gruteser authored 5 months ago
  db90d21e
- add Infinity definition from Reals module · d62656ca
  Jan Gruteser authored 5 months ago
  
  d62656ca
- minor simplifications in type classes · 6a13701e
  Jan Gruteser authored 5 months ago
  
  6a13701e
- make UsedExternalFunctions local in BAstCreator · a72d95b0
  Jan Gruteser authored 5 months ago
  
  a72d95b0
- use one util method for declaration map · 674247d7
  Jan Gruteser authored 5 months ago
  
  674247d7
Dec 30, 2024
- move creation of helper classes to constructor of BAstCreator · b26ab680
  Jan Gruteser authored 5 months ago
  
  b26ab680
- minor simplifications in Typechecker · fcc1c05a
  Jan Gruteser authored 5 months ago
  
  fcc1c05a
- add two tests · 346b1111
  Jan Gruteser authored 5 months ago
  346b1111
- minor changes and comments in SpecAnalyser · d43d54a0
  Jan Gruteser authored 5 months ago
  
  d43d54a0
- add pretty-print test for real division · 8c8f4ae7
  Jan Gruteser authored 5 months ago
  
  8c8f4ae7
- minor cleanup in OperationsFinder · 38110b54
  Jan Gruteser authored 5 months ago
  
  38110b54
- remove unneeded implements · 8b165835
  Jan Gruteser authored 5 months ago
  
  8b165835