Commits · ad4ee0dbe44fa0822a94d940eab6351555dd1f25 · Descartes Research / DNI-Meta-Model · GitLab

Snippets Groups Projects

Jan 23, 2017
- Merge branch 'qpme-trans' into dev · ad4ee0db
  vikin91 authored 8 years ago
  
  View commits for tag DISS-ABGABE DISS-ABGABE
  
  ad4ee0db
- Merge branch 'dev' of https://se3.informatik.uni-wuerzburg.de/descartes/dni into dev · 4a5c123d
  vikin91 authored 8 years ago
  
  4a5c123d
- Merge branch 'OmnetTrans' into dev · 5e8e4ba7
  vikin91 authored 8 years ago
  
  5e8e4ba7
- fix conflict · 5c901bcb
  vikin91 authored 8 years ago
  
  View commits for tag QPME-TR-MAX-ABGABE QPME-TR-MAX-ABGABE
  
  5c901bcb
- Merge branch 'qpme-trans-lb' of... · 33b97ef4
  vikin91 authored 8 years ago
  
  Merge branch 'qpme-trans-lb' of https://se3.informatik.uni-wuerzburg.de/descartes/dni into qpme-trans-lb
  33b97ef4
Jan 16, 2017
- refactor · 41346321
  Maximilian Kiesner authored 8 years ago
  
  41346321
- runnable version · 225540a3
  Maximilian Kiesner authored 8 years ago
  
  225540a3
Sep 20, 2016
- Merge branch 'simutools2016' into 'dev' · 27563c23
  Piotr authored 8 years ago
  
  correcting simutools2016 results See merge request !4
  27563c23
Sep 11, 2016
- newest stage · 36386fe2
  Maximilian Kiesner authored 8 years ago
  
  36386fe2
Sep 08, 2016
- Basic Transformation without settings · 6eb35889
  Nikolai Reed authored 8 years ago
  
  6eb35889
- remove old simutools pre block · 3c2c9a29
  Maximilian Kiesner authored 8 years ago
  
  3c2c9a29
- current state · b897aef7
  Maximilian Kiesner authored 8 years ago
  
  b897aef7
Sep 05, 2016
- Merge branch 'dev' of https://se3.informatik.uni-wuerzburg.de/descartes/dni into dev · 253b609c
  vikin91 authored 8 years ago
  
  253b609c
- Merge branch 'qpme-trans' into dev · 862e7930
  vikin91 authored 8 years ago
  
  862e7930
- leftovers from a meetingin in xtend standalone · 61f1476b
  vikin91 authored 8 years ago
  
  View commits for tag QPME-TR-NO-LB-MAX QPME-TR-NO-LB-MAX
  
  61f1476b
Aug 31, 2016
- newest stage · f650a729
  Maximilian Kiesner authored 8 years ago
  
  f650a729
Aug 25, 2016
- newest state · cb3731fd
  Maximilian Kiesner authored 8 years ago
  
  cb3731fd
Aug 11, 2016
- Saving current statSaving current statee · 19633946
  Maximilian Kiesner authored 8 years ago
  
  19633946
Jul 29, 2016
- Merge branch 'qpme-trans' of https://se3.informatik.uni-wuerzburg.de/descartes/dni into qpme-trans · e225e9cc
  vikin91 authored 8 years ago
  
  e225e9cc
Jul 28, 2016
- adapt eol script for standalone. remove simutools-specifi code from dni-qon transformation · 24992d60
  vikin91 authored 8 years ago
  
  24992d60
- Merge branch 'qpme-trans' of https://se3.informatik.uni-wuerzburg.de/descartes/dni into qpme-trans · eb4650ed
  Maximilian Kiesner authored 8 years ago
  
  eb4650ed
- add custom result parser · 2425123c
  Maximilian Kiesner authored 8 years ago
  
  2425123c
- adapt standalone project to Maximilians scenario 1A · f71e5e6d
  vikin91 authored 8 years ago
  
  f71e5e6d
- add scenario1A_01.model · ee1b497c
  Maximilian Kiesner authored 8 years ago
  
  ee1b497c
- auto gen files · ad8ff277
  Maximilian Kiesner authored 8 years ago
  
  ad8ff277
- Various changes for validation scenarios · 93b04e83
  Maximilian Kiesner authored 8 years ago
  
  93b04e83
- correcting simutools2016 results · 6de09034
  vikin91 authored 8 years ago
  
  View commits for tag simutools2016 simutools2016
  
  6de09034
Jul 20, 2016
- Merge branch 'qpme-trans' of https://se3.informatik.uni-wuerzburg.de/descartes/dni into qpme-trans · fcd4f0f1
  vikin91 authored 8 years ago
  
  fcd4f0f1
- Add scenarios #0B · 4d98533e
  Maximilian Kiesner authored 8 years ago
  
  4d98533e
- change model · c5e533c2
  Maximilian Kiesner authored 8 years ago
  
  c5e533c2
- Fix switching delays; refactoring; extend scenario0A.model · d039b9d4
  Maximilian Kiesner authored 8 years ago
  
  d039b9d4
Jul 19, 2016
- implement firingweights for sdn switching · be844f0b
  Maximilian Kiesner authored 8 years ago
  
  be844f0b
Jul 15, 2016
- Refactor · afeab701
  Maximilian Kiesner authored 8 years ago
  
  afeab701
- Refactor · dd5a5769
  Maximilian Kiesner authored 8 years ago
  
  dd5a5769
Jul 14, 2016
- Improve model checking; Introduce auto-name · e1e6ef09
  Maximilian Kiesner authored 8 years ago
  
  e1e6ef09
- Bug fixes · 63e72172
  Maximilian Kiesner authored 8 years ago
  
  63e72172
- Improve model checking · 62d4bea4
  Maximilian Kiesner authored 8 years ago
  
  62d4bea4
- Various changes: Refine VM transformation; Add model checking; Bug fixes · 4f2144bd
  Maximilian Kiesner authored 8 years ago
  
  4f2144bd
Jul 07, 2016
- Merge remote-tracking branch 'origin/mm-changes-diss' into qpme-trans · bfc2141a
  Maximilian Kiesner authored 8 years ago
  
  bfc2141a
- add updated plugin file · f7fbb772
  Maximilian Kiesner authored 8 years ago
  
  f7fbb772