Commits · dedd731014522bc965c443357a4bf137ca63891e · general / stups / tla2bAST · GitLab

Snippets Groups Projects

Apr 26, 2023
- Simplify AbstractParseModuleTest to use only one directory · dedd7310
  dgelessus authored 2 years ago
  dedd7310
- Remove unused ignoreList from AbstractParseModuleTest · 80cefb99
  dgelessus authored 2 years ago
  
  80cefb99
Dec 12, 2016
- adapt to new parser version · 15ecfd4c
  hansen authored 8 years ago
  
  15ecfd4c
Oct 03, 2015
- added a new cli parser · 586669cb
  hansen authored 9 years ago
  
  586669cb
May 16, 2014
- added missing files · 41b4f1f5
  hansen authored 11 years ago
  
  41b4f1f5
May 09, 2014
- Refactored the specanalyser · 0a4f120c
  hansen authored 11 years ago
  
  0a4f120c
Apr 30, 2014
- Supporting constant recursive functions (all kinds) · 37f493e8
  hansen authored 11 years ago
  
  37f493e8
Apr 29, 2014
- Handling variables shadowing conflict caused by B definition macros. · ecba51ed
  hansen authored 11 years ago
  
  ecba51ed
Apr 23, 2014
- Collecting all B definitions to make the recursive machine loader happy · 0435989f
  hansen authored 11 years ago
  
  0435989f
- Refactoring · 6b112333
  hansen authored 11 years ago
  
  6b112333
Apr 16, 2014
- PrettyPrinter for the B AST · 08352094
  hansen authored 11 years ago
  
  08352094