Commits · ac82bf639e532ec65f8f251fd142d984dd530729 · general / stups / tla2bAST

Nov 12, 2024
- Release version 1.4.0 · ac82bf63
  dgelessus authored 7 months ago
  
  View commits for tag 1.4.0 1.4.0
  
  ac82bf63
- Add application plugin to allow gradle run · a6de60fb
  dgelessus authored 7 months ago
  
  a6de60fb
- Update shadow plugin to version 8.3.5 · 0b679b88
  dgelessus authored 7 months ago
  
  0b679b88
- Declare Main-Class for regular jar again, not just shadowJar · e7da43f4
  dgelessus authored 7 months ago
  e7da43f4
- Remove explicit targetCompatibility (defaults to sourceCompatibility) · ec3327ed
  dgelessus authored 7 months ago
  
  ec3327ed
Nov 08, 2024
- Update to release version 2.13.5 of parsers · 2cd1aaad
  dgelessus authored 7 months ago
  
  2cd1aaad
Oct 30, 2024
- simplify file creation in Translator · 26fe2558
  Jan Gruteser authored 7 months ago
  
  26fe2558
Oct 29, 2024
- simplify Translator · 2e7d2fca
  Jan Gruteser authored 7 months ago
  
  2e7d2fca
- add TlaUtils · b000185c
  Jan Gruteser authored 7 months ago
  
  b000185c
- move getDefsMap to TlaUtils · d3e4fd91
  Jan Gruteser authored 7 months ago
  
  d3e4fd91
- minor simplifications in TLATypes · bd10bf5b
  Jan Gruteser authored 7 months ago
  
  bd10bf5b
Oct 28, 2024
- Update to release version 1.1.0 of our tlatools · 0a920dfc
  dgelessus authored 7 months ago
  
  0a920dfc
- minor formatting · e1453006
  Jan Gruteser authored 7 months ago
  
  e1453006
- weaken some types · 836fd7a4
  Jan Gruteser authored 7 months ago
  
  836fd7a4
- remove unused fields in PrimedVariablesFinder · cfe01405
  Jan Gruteser authored 7 months ago
  
  cfe01405
- minor simplification in TupleType · 01917b5b
  Jan Gruteser authored 7 months ago
  
  01917b5b
- improve readability of some expression creations · f5ddaf11
  Jan Gruteser authored 7 months ago
  
  f5ddaf11
Oct 25, 2024
- some simplifications in BAstCreator · b4dacadb
  Jan Gruteser authored 7 months ago
  
  b4dacadb
- Fix some indents · 3b4647de
  dgelessus authored 7 months ago
  
  3b4647de
- Update for simplified AST for record field identifiers · 6633e58d
  dgelessus authored 7 months ago
  
  6633e58d
- Use standard separatorChar constant instead of the one from tlatools · 1953744e
  dgelessus authored 7 months ago
  
  1953744e
- collect all included module files and add them to the RML · e057f562
  Jan Gruteser authored 7 months ago
  e057f562
- minor simplification · 67de394a
  Jan Gruteser authored 7 months ago
  
  67de394a
- fix position infos for operation identifiers · 9301c02f
  Jan Gruteser authored 7 months ago
  
  9301c02f
- fix order · d217d448
  Jan Gruteser authored 7 months ago
  
  d217d448
- simplify and improve position printing · c7e7adb4
  Jan Gruteser authored 7 months ago
  c7e7adb4
- prepare for correct file positions · 7e3b2e8c
  Jan Gruteser authored 7 months ago
  
  7e3b2e8c
Oct 24, 2024
- fix comment · a664b203
  Jan Gruteser authored 7 months ago
  
  a664b203
- add comment · e7c79d3b
  Jan Gruteser authored 7 months ago
  
  e7c79d3b
- delete unused Indentation class · be2f1e81
  Jan Gruteser authored 7 months ago
  
  be2f1e81
- delete unused Priorities · 1c8843a6
  Jan Gruteser authored 7 months ago
  
  1c8843a6
- minor formatting · 859941e2
  Jan Gruteser authored 7 months ago
  
  859941e2
- delete unused ModuleErrorException and TLA2BIOException · 01dd1d5c
  Jan Gruteser authored 7 months ago
  
  01dd1d5c
- update dependencies · 7a83ee22
  Jan Gruteser authored 7 months ago
  
  7a83ee22
- adapt test for NamedInstanceCounterReal · d7958a24
  Jan Gruteser authored 7 months ago
  
  d7958a24
- enable test · 0235f216
  Jan Gruteser authored 7 months ago
  
  0235f216
- simplify TestTypeChecker · 4f388a88
  Jan Gruteser authored 7 months ago
  
  4f388a88
Oct 14, 2024
- some simplifications and restructuring · f8da3be6
  Jan Gruteser authored 8 months ago
  f8da3be6
Sep 30, 2024
- Update Gradle wrapper to version 8.10.2 · 3b0db0f3
  dgelessus authored 8 months ago
  
  3b0db0f3
- Re-add old method names as deprecated to improve backwards compatibility · e82d15c0
  dgelessus authored 8 months ago
  e82d15c0