Commits · b0a7d1c4dd2fb32e71702dff0ddeb9290032409c · stgroup / ttc18

Jun 12, 2018
- Enable sand-boxed benchmark runs. · b0a7d1c4
  René Schöne authored 6 years ago
  
  b0a7d1c4
Apr 16, 2018
- Update README.md (use HTTPS url to clone, stress verification of... · 143c6816
  René Schöne authored 7 years ago
  143c6816
Apr 12, 2018
- Reorder scenarios. · 64ab6170
  René Schöne authored 7 years ago
  
  64ab6170
- Fixed small printing error. · de161cad
  René Schöne authored 7 years ago
  
  de161cad
- Removed DrAST and its dependencies. · 3084a267
  René Schöne authored 7 years ago
  
  3084a267
Apr 06, 2018
- Merge branch 'master' of git-st.inf.tu-dresden.de:stgroup/ttc18 · e5c7301c
  Johannes Mey authored 7 years ago
  
  e5c7301c
Apr 05, 2018
- Added complete list of attributes for reference. · 134d1a5d
  René Schöne authored 7 years ago
  
  134d1a5d
- refactoring of attributes · 1d286f40
  Johannes Mey authored 7 years ago
  
  1d286f40
- update gradle wrapper · 764205a4
  Johannes Mey authored 7 years ago
  
  764205a4
- Updated README to reflect necessary installation of GLPK. · 211d511a
  René Schöne authored 7 years ago
  
  211d511a
- Cleanup. · 5e9a4c87
  René Schöne authored 7 years ago
  
  5e9a4c87
Apr 04, 2018
- add gitignore · f3f2bcfd
  Johannes Mey authored 7 years ago
  
  f3f2bcfd
- added gradle wrapper jar · c0cd1eb7
  Johannes Mey authored 7 years ago
  
  c0cd1eb7
- Initial commit · 710fca1a
  René Schöne authored 7 years ago
  
  710fca1a