Commits · f5cda1df1d75e8557d895e765381585a0e232ab7 · general / stups / tla2bAST

Feb 24, 2016
- 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 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
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
- 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 build.gradle · 3dccd3e0
  Jens Bendisposto authored 9 years ago
  
  3dccd3e0
- fixed License and upload to nightly site · 9536007c
  Jens Bendisposto authored 9 years ago
  
  9536007c
- version bump · b20786fd
  Jens Bendisposto authored 9 years ago
  
  b20786fd
- 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
- 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
Nov 11, 2014
- updated gradle file · e418d4b7
  hansen authored 10 years ago
  
  e418d4b7
Aug 22, 2014
- Update build.gradle · 372986ec
  bendisposto authored 10 years ago
  
  372986ec
May 13, 2014
- Refactoring · 1080f053
  hansen authored 11 years ago
  
  1080f053
May 08, 2014
- refactored "used definitions" class · 4e9b701f
  hansen authored 11 years ago
  
  4e9b701f
Apr 29, 2014
- update · 5670faac
  hansen authored 11 years ago
  
  5670faac
Apr 23, 2014
- increment version number · ba612ca5
  hansen authored 11 years ago
  
  ba612ca5
- increment version number · 39ccad97
  hansen authored 11 years ago
  
  39ccad97
- fixed resolving error · b11afbd0
  hansen authored 11 years ago
  
  b11afbd0
- incremented version number · 947233fe
  hansen authored 11 years ago
  
  947233fe
Apr 16, 2014
- PrettyPrinter for the B AST · 08352094
  hansen authored 11 years ago
  
  08352094
Mar 31, 2014
- initial commit · ad7f9eb4
  hansen authored 11 years ago
  
  ad7f9eb4