Commits · fa9d337005653941f31c05558fa0bf540c4e089a · Descartes Research / dml-examples · GitLab

Snippets Groups Projects

Feb 05, 2019
- renamed models for casestudy · fa9d3370
  Simon authored 6 years ago
  
  fa9d3370
Dec 08, 2018
- a · 1a2b2c86
  Simon authored 6 years ago
  
  1a2b2c86
Dec 03, 2018
- system update · 8b32da2b
  Simon authored 6 years ago
  
  8b32da2b
Dec 02, 2018
- first analysis draft · f8cdf20d
  Simon authored 6 years ago
  
  f8cdf20d
Nov 22, 2018
- initial · 43eee9b8
  Simon authored 6 years ago
  
  43eee9b8
Apr 25, 2018
- Merge remote-tracking branch 'origin/master' into PetSupplyStore · 12ba2217
  Simon authored 6 years ago
  
  Conflicts: dml-examples/VideoStore/DML-Model/usecase1/videostore.repository
  12ba2217
- new version of petsupplystore tool paper model · 91e9a094
  Simon authored 6 years ago
  
  91e9a094
- updated videostore · d0ab6f6a
  Simon authored 6 years ago
  
  d0ab6f6a
Apr 06, 2018
- models · e0fe0f2a
  Simon authored 6 years ago
  
  e0fe0f2a
- fixed integer in videostore · 491c1764
  Johannes Grohmann authored 6 years ago
  
  491c1764
Mar 21, 2018
- added automatically learned scenario to Videostore usecase 1 · 29e9ff1d
  Simon authored 7 years ago
  
  29e9ff1d
Mar 05, 2018
- cleaned up video store use case 2 and added static analysis · 419eb782
  Simon authored 7 years ago
  
  419eb782
Jan 15, 2018
- reworked queries and made external call names DQL conform · cb8ad5a7
  Simon authored 7 years ago
  
  cb8ad5a7
Jan 12, 2018
- first draft · 04ac70b7
  Simon authored 7 years ago
  
  04ac70b7
Dec 22, 2017
- updated usecase1 model · 91404f56
  Simon authored 7 years ago
  
  91404f56
Nov 30, 2017
- Fixed Utilization calculation for SimQPN · 1bac1dce
  Simon authored 7 years ago
  
  1bac1dce
Nov 27, 2017
- added Boundsanalysis queries · 2a9fa1b4
  Simon authored 7 years ago
  
  2a9fa1b4
Nov 24, 2017
- rework III SPECjEnterprise2010 now useable again · b69675ab
  Simon authored 7 years ago
  
  b69675ab
Nov 21, 2017
- merge? · 856b6c76
  Simon authored 7 years ago
  
  856b6c76
- rework Part I · dc848caa
  Simon authored 7 years ago
  
  dc848caa
- fixed unresolved proxies in SPECjEnterprise2010 · 5af91b81
  Simon authored 7 years ago
  
  5af91b81
- fixed more minor stuff · dd198f52
  Simon authored 7 years ago
  
  dd198f52
- fixed min model · e4bfa919
  Simon authored 7 years ago
  
  e4bfa919
Oct 27, 2017
- second use case of videostore · e9a3256d
  Simon authored 7 years ago
  
  e9a3256d
Sep 21, 2017
- minor · f5665547
  Simon authored 7 years ago
  
  f5665547
Sep 12, 2017
- Merge branch 'master' of https://gitlab2.informatik.uni-wuerzburg.de/descartes/dml-examples.git · 6eb1c835
  Simon authored 7 years ago
  
  6eb1c835
- Update README · a620e3ff
  Johannes Grohmann authored 7 years ago
  
  a620e3ff
Sep 06, 2017
- update to reflect mm changes · 9892f0ea
  Simon authored 7 years ago
  
  9892f0ea
Aug 31, 2017
- added readmes · 012307e7
  Simon authored 7 years ago
  
  012307e7
- mediastore final · e478a3e4
  Simon authored 7 years ago
  
  e478a3e4
- .gitignore v2 · 9b78212e
  Simon authored 7 years ago
  
  9b78212e
- split into 2 projects + .gitignore · 6f8a2af5
  Simon authored 7 years ago
  
  6f8a2af5
- removed second project · e74df187
  Simon authored 7 years ago
  
  e74df187
- minor · d1316546
  Simon authored 7 years ago
  
  d1316546
- added videostore · f5419778
  Simon authored 7 years ago
  
  f5419778
Jul 25, 2017
- Moved BlueYonder and SpecjAppserver to work in progress · 036ba17d
  Simon authored 7 years ago
  
  036ba17d
- updated SaaS queries/.properties · 1036da65
  Simon authored 7 years ago
  
  1036da65
- removed copy of hello world project · 43494472
  Simon authored 7 years ago
  
  43494472
- fixed MediaStore queries · 4740a997
  Simon authored 7 years ago
  
  4740a997
- merged simon_MA · 8066d412
  Simon authored 7 years ago
  
  8066d412