Commits · 651999e043f80653154053824ca699748c82c88a · Software / Shunting

27 Oct, 2016 3 commits
- Cache rendering results as much as possible · 651999e0
  Thorsten Wißmann authored Oct 27, 2016
  
  651999e0
- Show bumpers at the root · 1d7cab43
  Thorsten Wißmann authored Oct 27, 2016
  
  1d7cab43
- Move layoutRailTreeAt helper out of layoutRailTree · f795a7e6
  Thorsten Wißmann authored Oct 27, 2016
  
  f795a7e6
26 Oct, 2016 6 commits
- More access keys · 430aa744
  Thorsten Wißmann authored Oct 26, 2016
  
  430aa744
- Move NuSMV call to the end of the smv spec · d318a711
  Thorsten Wißmann authored Oct 26, 2016
  
  d318a711
- Add button to clear the trace input field · 8c6d5ec0
  Thorsten Wißmann authored Oct 26, 2016
  
  8c6d5ec0
- Ignore irrelevant smv trace lines · 4c2b1ef0
  Thorsten Wißmann authored Oct 26, 2016
  
  4c2b1ef0
- Fix background of track labels for solved puzzles · ac5c1a0b
  Thorsten Wißmann authored Oct 26, 2016
  
  ac5c1a0b
- Show track identifiers in SMV mode · 1feb2c14
  Thorsten Wißmann authored Oct 26, 2016
  
  1feb2c14
25 Oct, 2016 9 commits
- Bugfix in upwards aligned ShuntAccess · 83f97fee
  Thorsten Wißmann authored Oct 25, 2016
  
  83f97fee
- Clean up SMV Output · 10b85cab
  Thorsten Wißmann authored Oct 25, 2016
  
  10b85cab
- SMV Output: More comments · ecfdd870
  Thorsten Wißmann authored Oct 25, 2016
  
  ecfdd870
- SMV Output: Fix train query · 9ad1f1a7
  Thorsten Wißmann authored Oct 25, 2016
  
  9ad1f1a7
- SMV Output: Nicely comment LTLSPECs · 112c0a03
  Thorsten Wißmann authored Oct 25, 2016
  
  112c0a03
- Fix typo in example query · 02e3a404
  Thorsten Wißmann authored Oct 25, 2016
  
  02e3a404
- Improve rail tree printing · 87d6be70
  Thorsten Wißmann authored Oct 25, 2016
  
  87d6be70
- Support viewing utf-8 text · 4e5462aa
  Thorsten Wißmann authored Oct 25, 2016
  
  4e5462aa
- SMV Output: Print rail tree topology · 316b057f
  Thorsten Wißmann authored Oct 25, 2016
  
  316b057f
24 Oct, 2016 1 commit
- SMV Output: First draft for query compilation · e3b51cff
  Thorsten Wißmann authored Oct 24, 2016
  
  e3b51cff
20 Oct, 2016 2 commits
- Finish ShuntAccess · f442d7e8
  Thorsten Wißmann authored Oct 20, 2016
  
  f442d7e8
- Explicitly implement foldl and foldr · d52fac89
  Thorsten Wißmann authored Oct 20, 2016
```
This fixes an incorrect behaviour of toList.
```
  d52fac89
19 Oct, 2016 1 commit
- SMV Output : Use ShuntAccess in next() function · 2d1f7081
  Thorsten Wißmann authored Oct 19, 2016
  
  2d1f7081
07 Oct, 2016 3 commits
- SMV Output: Add some comments · 1bdff8e8
  Thorsten Wißmann authored Oct 07, 2016
  
  1bdff8e8
- Add framework for comments · bbea3d3e
  Thorsten Wißmann authored Oct 07, 2016
  
  bbea3d3e
- SMV Output: Prepare more general shunt access · 719ae1cd
  Thorsten Wißmann authored Oct 07, 2016
  
  719ae1cd
05 Oct, 2016 4 commits
- SMV Output: One of the four cases · c4c589ee
  Thorsten Wißmann authored Oct 05, 2016
  
  c4c589ee
- SMV Output in progress · 7fe082f7
  Thorsten Wißmann authored Oct 05, 2016
  
  7fe082f7
- SMV Output: A first condition for movements · 7d34c7cf
  Thorsten Wißmann authored Oct 05, 2016
  
  7d34c7cf
- SMV Output: Tiny step towards next cases · c21bb887
  Thorsten Wißmann authored Oct 05, 2016
  
  c21bb887
04 Oct, 2016 5 commits
- Add printing of an SMV ast · 1e52e956
  Thorsten Wißmann authored Oct 04, 2016
  
  1e52e956
- SMV Output: nice header · 87d5a6ea
  Thorsten Wißmann authored Oct 04, 2016
  
  87d5a6ea
- SMV Output: Generate move values correctly · 5792050e
  Thorsten Wißmann authored Oct 04, 2016
  
  5792050e
- Some first NuSmvOutput · d9fdb490
  Thorsten Wißmann authored Oct 04, 2016
  
  d9fdb490
- Add framework for downloading and showing smv spec · 58ff446c
  Thorsten Wißmann authored Oct 04, 2016
  
  58ff446c
13 Sep, 2016 6 commits
- Make first problem a bit more interesting · fe4d92a5
  Thorsten Wißmann authored Sep 13, 2016
  
  fe4d92a5
- Indicite that all puzzles are solved · 1cd1dfed
  Thorsten Wißmann authored Sep 13, 2016
  
  1cd1dfed
- Add a button to switch to the next puzzle. · fccb05a0
  Thorsten Wißmann authored Sep 13, 2016
  
  fccb05a0
- Start with a simple puzzle · 503775fe
  Thorsten Wißmann authored Sep 13, 2016
  
  503775fe
- Lanugage configurable for navigation panel · 41314e24
  Thorsten Wißmann authored Sep 13, 2016
  
  41314e24
- Add Multilanguage support · 7bee0885
  Thorsten Wißmann authored Sep 13, 2016
  
  7bee0885