Commits · master · Kristof / uppaal-code

May 18, 2017
- - Changed up some Yggdrasil „Test Code“ · bcacd465
  Kristof authored 8 years ago
  bcacd465
May 16, 2017
- - Formatting Changes (in v11) · ddb4253f
  Kristof authored 8 years ago
  ddb4253f
May 14, 2017
- - Meta variables etc. · b05dce02
  Kristof authored 8 years ago
  
  b05dce02
May 11, 2017
- - Fiddled around on version 10 · 667395de
  Kristof authored 8 years ago
  667395de
May 10, 2017
- - Annotations regarding optimization options · 0da76e09
  Kristof authored 8 years ago
  
  0da76e09
- - Radically simplified the system — to not much avail regarding query times · 898adc09
  Kristof authored 8 years ago
  
  898adc09
May 09, 2017
- - Re-sorted declarations (possible under Windows) · b3b41793
  Kristof authored 8 years ago
  b3b41793
- - Worked out several new versions · 58f85cf5
  Kristof authored 8 years ago
  
  58f85cf5
Mar 22, 2017
- - Last work on Windows Machine · 9dd1f2d3
  Kristof authored 8 years ago
  
  9dd1f2d3
Aug 04, 2016
- - Added some minor query descriptions · dceab197
  Kristof authored 8 years ago
  
  dceab197
Aug 03, 2016
- - More embellishments for presentation · 814934e0
  Kristof authored 8 years ago
  
  814934e0
Aug 02, 2016
- - Automata embellishments for presentation · c9acb8f8
  Kristof authored 8 years ago
  
  c9acb8f8
Jul 29, 2016
- - Added treatment of disclosure delay · bb6fbfb9
  Kristof authored 8 years ago
  
  bb6fbfb9
Jul 28, 2016
- - Last minute at work: cleaned up set of queries so that now all are relevant,... · 18be6b09
  Kristof authored 8 years ago
  18be6b09
- - Lots of cleanup · 4caedefd
  Kristof authored 8 years ago
  4caedefd
Jul 27, 2016
- - Success on re-introducing the attack: Error was in interval increments in Server Clock · e59efa6e
  Kristof authored 8 years ago
  e59efa6e
Jul 26, 2016
- - Attempt to solve via multiple broadcast synchronization "channels". Creates... · 35ead2cc
  Kristof Teichel authored 8 years ago
  35ead2cc
- - Last-minute modifications at work · 933ff88d
  Kristof authored 8 years ago
  
  933ff88d
- - New version 7: lots of simplification, but attack cannot be shown anymore... · 13a0f263
  Kristof authored 8 years ago
  13a0f263
Jul 25, 2016
- - Eliminated dynamically determined broadcast_delay (now fixed to 2, which is... · 5891de98
  Kristof authored 8 years ago
  5891de98
Jul 12, 2016
- - More broadcast optimization (still getting it to work with absolute time... · 8be898e6
  Kristof authored 8 years ago
  8be898e6
Jul 11, 2016
- - Efficiency changes and queries regarding considerations about "stop_clock"... · 88cec48c
  Kristof authored 8 years ago
  88cec48c
Jul 05, 2016
- - Introduced model of client clock as diff from server clock · c33f25ab
  Kristof authored 8 years ago
  c33f25ab
Jun 23, 2016
- - More sophisticated broadcast · 521a0768
  Kristof Teichel authored 9 years ago
  521a0768
Jun 22, 2016
- - More optimization and command-line utility · dbb36322
  Kristof authored 9 years ago
  
  dbb36322
Jun 21, 2016
- - Optimization for state space · ee821f24
  unknown authored 9 years ago
  ee821f24
Jun 17, 2016
- - Additional batch and query files · f4592a01
  Kristof authored 9 years ago
  
  f4592a01
Jun 16, 2016
- - Slight modifications in Automata · 2e26a4dc
  Kristof authored 9 years ago
  2e26a4dc
Jun 10, 2016
- - Added query for bradcast precision evaluation · 211a4889
  Kristof authored 9 years ago
  211a4889
Jun 09, 2016
- - Added broadcast clock adjustment · 589a4de0
  Kristof authored 9 years ago
  
  589a4de0
May 25, 2016
- - Broadcast exchange included (so far without clock adjustment) · 086ebcfb
  Kristof authored 9 years ago
  
  086ebcfb
May 20, 2016
- - More work towards broadcast analysis · e6c6636d
  Kristof Teichel authored 9 years ago
  
  e6c6636d
- - Added diagnostic finishability query · ffe601b9
  Kristof authored 9 years ago
  
  ffe601b9
May 11, 2016
- - Small embellishments to the source code format · f72643fc
  unknown authored 9 years ago
  
  f72643fc
May 10, 2016
- - Unsaved progress intended for previous commit · 9c14b14f
  unknown authored 9 years ago
  
  9c14b14f
- - Further work towards broadcast: · 3be47d98
  unknown authored 9 years ago
  3be47d98
May 09, 2016
- - More work towards broadcast analysis (CAUTION: incomplete, current version has syntax errors) · 8fa07b10
  unknown authored 9 years ago
  
  8fa07b10
Apr 29, 2016
- - Started server broadcast module · 4104ba6c
  Kristof authored 9 years ago
  
  4104ba6c
Apr 28, 2016
- - V4 (getting ready for broadcast) · e28ac7af
  Kristof authored 9 years ago
  
  e28ac7af
Feb 29, 2016
- QUERIES: · 195c240b
  Kristof authored 9 years ago
  195c240b