Commits · 133eaad50d2a868774e1d7f0114c01ea49a0f0c6 · general / stups / tla2bAST

May 05, 2014
- added missing class · 133eaad5
  hansen authored 11 years ago
  
  133eaad5
- refactoring · 7b82ee8f
  hansen authored 11 years ago
  
  7b82ee8f
Apr 30, 2014
- multiple recursive functions · bc4cf703
  hansen authored 11 years ago
  
  bc4cf703
- 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
- update · 5670faac
  hansen authored 11 years ago
  
  5670faac
Apr 23, 2014
- increment version number · ba612ca5
  hansen authored 11 years ago
  
  ba612ca5
- increment version number · eeb41ea9
  hansen authored 11 years ago
  
  eeb41ea9
- increment version number · 39ccad97
  hansen authored 11 years ago
  
  39ccad97
- Collecting all B definitions to make the recursive machine loader happy · 0435989f
  hansen authored 11 years ago
  
  0435989f
- Merge branch 'master' of git@github.com:hhu-stups/tla2bAST.git · cfd77a28
  hansen authored 11 years ago
  cfd77a28
- fixed resolving error · b11afbd0
  hansen authored 11 years ago
  
  b11afbd0
- added simple resolver · 29096bec
  hansen authored 11 years ago
  
  29096bec
- incremented version number · 947233fe
  hansen authored 11 years ago
  
  947233fe
- Refactoring · 6b112333
  hansen authored 11 years ago
  
  6b112333
Apr 16, 2014
- PrettyPrinter for the B AST · 08352094
  hansen authored 11 years ago
  
  08352094
Mar 31, 2014
- Fixed bug in AST creator · 4465de7b
  hansen authored 11 years ago
  
  4465de7b
- initial commit · ad7f9eb4
  hansen authored 11 years ago
  
  ad7f9eb4
Mar 27, 2014
- first commit · 00d3a343
  hansen authored 11 years ago
  
  00d3a343