Commits · 2d6c6b275bff22d3618ea302f0532c45c1aebd65 · general / stups / tla2bAST

Jul 20, 2017
- Merge branch 'release/1.0.9' · 2d6c6b27
  dohan authored 7 years ago
  
  View commits for tag 1.0.9 1.0.9
  
  2d6c6b27
- bump version number · 8bd19523
  dohan authored 7 years ago
  
  8bd19523
- adapt to new parser · 0fc0a1f6
  dohan authored 7 years ago
  
  0fc0a1f6
Dec 12, 2016
- adapt to new parser version · 15ecfd4c
  hansen authored 8 years ago
  
  15ecfd4c
Jun 29, 2016
- removed ftp upload · 9ba46146
  dohan authored 8 years ago
  
  9ba46146
- Post travis build info to slack · 411d34a3
  David Schneider authored 8 years ago
  
  411d34a3
Mar 08, 2016
- Improved error message · 9c520836
  hansen authored 9 years ago
  
  9c520836
Feb 24, 2016
- Version bump · ecf703eb
  Jens Bendisposto authored 9 years ago
  
  ecf703eb
- fixed dependency (required by central) · 1d8e57af
  Jens Bendisposto authored 9 years ago
  
  View commits for tag 1.0.8 1.0.8
  
  1d8e57af
- 1.0.8 Release · f5cda1df
  Jens Bendisposto authored 9 years ago
  
  f5cda1df
Feb 04, 2016
- Update build.gradle · 6fdc401d
  Jens Bendisposto authored 9 years ago
  
  6fdc401d
- Update build.gradle · f3ed0d9f
  Jens Bendisposto authored 9 years ago
  
  f3ed0d9f
Feb 03, 2016
- Update build.gradle · 1eba93bd
  Jens Bendisposto authored 9 years ago
  1eba93bd
- Update build.gradle · 4f8d9a51
  Jens Bendisposto authored 9 years ago
  
  4f8d9a51
Dec 17, 2015
- translating all necessary TLA+ definitions · a96a70b0
  hansen authored 9 years ago
  
  a96a70b0
Dec 11, 2015
- fixed bug · 4cd409ae
  hansen authored 9 years ago
  
  4cd409ae
Dec 10, 2015
- removed unchanged variable from ANY substitutions · 509f0a91
  hansen authored 9 years ago
  
  509f0a91
Dec 09, 2015
- improved pretty printer · d0834119
  hansen authored 9 years ago
  
  d0834119
Dec 03, 2015
- bump parser version · 145c4ee3
  Sebastian Krings authored 9 years ago
  
  145c4ee3
Oct 03, 2015
- update build.gradle · 19d463c3
  hansen authored 9 years ago
  
  19d463c3
- fixed javadoc errors · c8a1349a
  hansen authored 9 years ago
  
  c8a1349a
- update build.grade · 8af715e2
  hansen authored 9 years ago
  
  8af715e2
- added a new cli parser · 586669cb
  hansen authored 9 years ago
  
  586669cb
Sep 20, 2015
- Added source code positions · e9745e3f
  hansen authored 9 years ago
  
  e9745e3f
Sep 17, 2015
- update build.gradle · b0691a58
  hansen authored 9 years ago
  
  b0691a58
- Adapted the translation of the modulo operator · 699b0fcd
  hansen authored 9 years ago
  
  699b0fcd
Sep 16, 2015
- Division and IfThenElse are translated to newly created B AST nodes · e13611ad
  hansen authored 9 years ago
  
  e13611ad
Sep 03, 2015
- Fixed url in build.gradle · f3b13020
  Lukas Ladenberger authored 9 years ago
  
  f3b13020
Aug 19, 2015
- Update build.gradle · 33371ba6
  Jens Bendisposto authored 9 years ago
  
  33371ba6
- Merge commit '9f76c5cd ' · 0aad1e91
  hansen authored 9 years ago
  0aad1e91
- add gitignore · 3111abda
  hansen authored 9 years ago
  
  3111abda
- update gradle file · d126d3c4
  hansen authored 9 years ago
  
  d126d3c4
- dev version bump · 9f76c5cd
  Jens Bendisposto authored 9 years ago
  
  9f76c5cd
- 1.0.7 release build · 78ae44cd
  Jens Bendisposto authored 9 years ago
  
  View commits for tag 1.0.7 1.0.7
  
  78ae44cd
Aug 18, 2015
- Update .travis.yml · 3c48199b
  Jens Bendisposto authored 9 years ago
  
  3c48199b
- Update build.gradle · 3dccd3e0
  Jens Bendisposto authored 9 years ago
  
  3dccd3e0
- Merge branch 'master' of github.com:hhu-stups/tla2bAST · fd719ce1
  Jens Bendisposto authored 9 years ago
  fd719ce1
- reverse · a9fb82be
  Jens Bendisposto authored 9 years ago
  
  a9fb82be
- fixed License and upload to nightly site · 9536007c
  Jens Bendisposto authored 9 years ago
  
  9536007c
- Update .travis.yml · eae16b0c
  Jens Bendisposto authored 9 years ago
  
  eae16b0c