Commits · f3ed0d9fef9c5c0b8ff4dce73b4257ead58b35a0 · general / stups / tla2bAST

Feb 04, 2016
- 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
- version bump · b20786fd
  Jens Bendisposto authored 9 years ago
  
  b20786fd
- Merge branch 'master' of github.com:hhu-stups/tla2bAST · 87860019
  Jens Bendisposto authored 9 years ago
  87860019
- missing tasks · 00bdb299
  Jens Bendisposto authored 9 years ago
  
  00bdb299
- fixed maven deployment · 88591599
  Jens Bendisposto authored 9 years ago
  
  88591599
- fixed maven deployment · efd3b40a
  Jens Bendisposto authored 9 years ago
  
  efd3b40a
- version bump · 4a6ab62d
  Jens Bendisposto authored 9 years ago
  
  4a6ab62d
- 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

Admin message