Commits · master · Stefan Jaax / peregrine · GitLab

11.08., 9:00 - 11:00: Due to updates GitLab will be unavailable for some minutes between 09:00 and 11:00.

25 Jun, 2020 3 commits
- Reorder alphabetically · d962249f
  Stefan Jaax authored Jun 25, 2020
  
  d962249f
- Add verification to Philipp's contributions · c56efaf0
  Stefan Jaax authored Jun 25, 2020
  
  c56efaf0
- Add authors file · e81869ca
  Stefan Jaax authored Jun 25, 2020
  
  e81869ca
27 May, 2020 2 commits
- Update README · 59c407ec
  Stefan Jaax authored May 27, 2020
```
- Add Martin Helfrich as contributor
- Change requirements: Python 2.* -> Python 3.*
```
  59c407ec
- Resolve merge conflict · 98f32e74
  Stefan Jaax authored May 27, 2020
  
  98f32e74
13 May, 2020 7 commits
- Fix: double counter example display · 76ee1e05
  Stefan Jaax authored May 13, 2020
  
  76ee1e05
- Remove microcode and flock_random so they are not shown in list of protocols · cd1aadc9
  Philipp Meyer authored May 13, 2020
  
  cd1aadc9
- Merge branch 'atva-2020' of gitlab.lrz.de:ga97cer/peregrine into atva-2020 · fc83082b
  Stefan Jaax authored May 13, 2020
  
  fc83082b
- Fix minor bug · da19ba27
  Stefan Jaax authored May 13, 2020
  
  da19ba27
- Merge branch 'atva-2020' of gitlab.lrz.de:ga97cer/peregrine into atva-2020 · 46062889
  Philipp Meyer authored May 13, 2020
  
  46062889
- limit TextField size · 0ef55a0e
  Martin Helfrich authored May 13, 2020
  
  0ef55a0e
- Add documentation for stage graphs · 4f2de4b5
  Stefan Jaax authored May 13, 2020
  
  4f2de4b5
12 May, 2020 7 commits
- Fix broken zoom to stage · e51c195c
  Philipp Meyer authored May 12, 2020
  
  e51c195c
- removed flock (random variant) & modified description for threshold_improved.py · bbf7e2ba
  Martin Helfrich authored May 12, 2020
  
  bbf7e2ba
- automaticpresburger.py: bugfix + renamed + allowing default Peregrine predicates · 50113308
  Martin Helfrich authored May 12, 2020
  
  50113308
- fix TextField inputs & automaticpresburger.py · 0768988a
  Martin Helfrich authored May 12, 2020
  
  0768988a
- Dynamically compute nesting factor for better layout with many nested stages · d9d38839
  Philipp Meyer authored May 12, 2020
  
  d9d38839
- Use Majority Voting protocol names as in paper · 71c8775b
  Philipp Meyer authored May 12, 2020
  
  71c8775b
- Fix AutomaticPresburger with newer Python version · ecf1dcd8
  Philipp Meyer authored May 12, 2020
  
  ecf1dcd8
09 May, 2020 7 commits
- Tweak · 91b1410d
  Philipp Meyer authored May 09, 2020
  
  91b1410d
- Show counterexample sequence from beginning initially · a3564bb9
  Philipp Meyer authored May 09, 2020
  
  a3564bb9
- Make speed splider controlled · 35f31c0f
  Stefan Jaax authored May 09, 2020
  
  35f31c0f
- Fix layout of transition inspector · ca02a862
  Stefan Jaax authored May 09, 2020
  
  ca02a862
- Fix positioning in spatial simulator · 7da41e8c
  Stefan Jaax authored May 09, 2020
  
  7da41e8c
- Resolve merge conflict · b7c521cb
  Stefan Jaax authored May 09, 2020
  
  b7c521cb
- Fix bug: play states do not synchronize between fullscreen/non fullscreen · f1f11a60
  Stefan Jaax authored May 09, 2020
  
  f1f11a60
08 May, 2020 14 commits
- Remove implication from syntax in frontend · abc94088
  Philipp Meyer authored May 08, 2020
  
  abc94088
- Don't separate leaders in population display for stage graph view · 0d3fbb66
  Philipp Meyer authored May 08, 2020
  
  0d3fbb66
- Fix warnings · 616f858c
  Philipp Meyer authored May 08, 2020
  
  616f858c
- Merge branch 'atva-2020' of gitlab.lrz.de:ga97cer/peregrine into atva-2020 · 66df1204
  Philipp Meyer authored May 08, 2020
  
  66df1204
- Show tooltips on disabled buttons · 32abe9c7
  Philipp Meyer authored May 08, 2020
  
  32abe9c7
- Merge branch 'atva-2020' of gitlab.lrz.de:ga97cer/peregrine into atva-2020 · 1b71f62b
  Stefan Jaax authored May 08, 2020
  
  1b71f62b
- Set delay a bit higher in speed slider · 6163c525
  Stefan Jaax authored May 08, 2020
  
  6163c525
- Further layout tweak · 95cc5a53
  Philipp Meyer authored May 08, 2020
  
  95cc5a53
- Add population display to fullscreen view · 51409245
  Stefan Jaax authored May 08, 2020
  
  51409245
- Exit fullscreen dialog when pressing Esc · 94c72541
  Stefan Jaax authored May 08, 2020
  
  94c72541
- Fix missing reset button in simulation view · abc2bee7
  Stefan Jaax authored May 08, 2020
  
  abc2bee7
- Fix width of slider to maxWidth=580px · 3597f017
  Stefan Jaax authored May 08, 2020
  
  3597f017
- Fix slow transition when population is reinitialized · 701374ae
  Stefan Jaax authored May 08, 2020
  
  701374ae
- Resolve merge conflict · 5b54bef2
  Stefan Jaax authored May 08, 2020
  
  5b54bef2