Commits · 1.0.5 · general / stups / tla2bAST

Aug 18, 2015
- release · 24b03f78
  Jens Bendisposto authored 9 years ago
  
  View commit 24b03f78 2 tags
  
  24b03f78
- deployment · f6daf266
  Jens Bendisposto authored 9 years ago
  
  f6daf266
- Update build.gradle · 1cecb9c5
  Jens Bendisposto authored 9 years ago
  
  1cecb9c5
- fixed copy and paste error · 87352f4a
  Jens Bendisposto authored 9 years ago
  
  87352f4a
- Update and rename README to README.md · 7f6e599b
  Jens Bendisposto authored 9 years ago
  
  7f6e599b
- Create .travis.yml · d72d5e8c
  Jens Bendisposto authored 9 years ago
  
  d72d5e8c
- switch to new repos · 2bb2c139
  Jens Bendisposto authored 9 years ago
  
  2bb2c139
Jul 30, 2015
- Adapted the translator to the new parser version · bd261f38
  hansene authored 9 years ago
  
  bd261f38
Apr 17, 2015
- fixed bug translating let statements · e7870dde
  hansen authored 9 years ago
  
  e7870dde
- code refactoring · 68ef3e40
  hansen authored 9 years ago
  
  68ef3e40
- adapted the expression translator · c4567f40
  hansen authored 9 years ago
  
  c4567f40
Feb 12, 2015
- Merge branch 'master' of github.com:hhu-stups/tla2bAST · 97b7cd59
  hansen authored 10 years ago
  
  97b7cd59
- update · 8332e01b
  hansen authored 10 years ago
  
  8332e01b
Dec 10, 2014
- close stream to .prob file · 5127dfc5
  Sebastian Krings authored 10 years ago
  
  5127dfc5
Nov 21, 2014
- added a static test method · 6dc3d9ec
  hansen authored 10 years ago
  
  6dc3d9ec
Nov 11, 2014
- updated gradle file · e418d4b7
  hansen authored 10 years ago
  
  e418d4b7
- updated exception handler · 9d0ac87a
  hansen authored 10 years ago
  
  9d0ac87a
Aug 22, 2014
- Update build.gradle · 372986ec
  bendisposto authored 10 years ago
  
  372986ec
Jun 28, 2014
- Removed unnecessary console output · 795bfb72
  hansen authored 10 years ago
  
  795bfb72
- TLC makes sure that the module file is correct in regard to case sensitivity.... · 221c10ec
  hansen authored 10 years ago
  
  TLC makes sure that the module file is correct in regard to case sensitivity. Probcli converts the file name to lower case. Now the translator provides the canonical name of the file to TLC.
  221c10ec
Jun 24, 2014
- operators without parameters have a fixed type · 2c156257
  hansen authored 10 years ago
  
  2c156257
Jun 18, 2014
- Some modifications in the type checker · 0d19e402
  hansen authored 10 years ago
  
  0d19e402
- Fixed some bugs handling tuples · 812da092
  hansen authored 10 years ago
  
  812da092
Jun 11, 2014
- @ node in nested except statements · 0c22b221
  hansen authored 10 years ago
  
  0c22b221
- nested except statements · 0b0c0b84
  hansen authored 10 years ago
  
  0b0c0b84
May 28, 2014
- Fixed bug in "find guards" algorithm · 4f84c123
  hansen authored 10 years ago
  
  4f84c123
May 16, 2014
- added missing files · 41b4f1f5
  hansen authored 10 years ago
  
  41b4f1f5
- Accessing a field of a tuple via a function call is now supported (e.g <<1, TRUE, "str">>[2]) · b8ebd76e
  hansen authored 10 years ago
  
  b8ebd76e
May 15, 2014
- Distinction between abstract constants and constants to enable a simple back translation · 501a06ce
  hansen authored 10 years ago
  
  501a06ce
May 14, 2014
- Fixed instance bug · 4a6abbe3
  hansen authored 10 years ago
  
  4a6abbe3
May 13, 2014
- updated type printer · 7e5fb36d
  hansen authored 10 years ago
  
  7e5fb36d
- Refactoring · 1080f053
  hansen authored 10 years ago
  
  1080f053
May 12, 2014
- adding the TLA type to the prolog AST. · 70f8ec54
  hansen authored 10 years ago
  
  70f8ec54
- Creating .prob file. · d3601515
  hansen authored 10 years ago
  
  d3601515
- Handling extensible records. · 73375ccc
  hansen authored 10 years ago
  
  73375ccc
May 10, 2014
- Fixed the translation of the SubSeq operator. · 630439d1
  hansen authored 10 years ago
  
  630439d1
- Fixed bug in typechecker · 5d4d87b1
  hansen authored 10 years ago
  
  5d4d87b1
- Handling nested quantifications inside of recursive functions. · ee86fcc0
  hansen authored 10 years ago
  
  ee86fcc0
- Resolving generated names of MC.tla files · 9658b395
  hansen authored 10 years ago
  
  9658b395
May 09, 2014
- Translating an expression associated to module · a8418bab
  hansen authored 10 years ago
  
  a8418bab