Commits · ef303b5fc55e4803a555c86b8d16477679772d6b · Software / Shunting

Nov 04, 2016
- Build a custom box for showing smv code · ef303b5f
  Thorsten Wißmann authored 8 years ago
  
  ef303b5f
- Remove old smv output warning · ff0d2da2
  Thorsten Wißmann authored 8 years ago
  
  ff0d2da2
- Don't make header clickable in local mode · 6dcb1f45
  Thorsten Wißmann authored 8 years ago
  
  6dcb1f45
Nov 03, 2016
- Make rail examples freely rotatable · 8deb1632
  Thorsten Wißmann authored 8 years ago
  
  8deb1632
Oct 27, 2016
- More HTML lazy in Main · dfea71ff
  Thorsten Wißmann authored 8 years ago
  
  dfea71ff
- Use Svg.Lazy for all static elements · 2c1b5401
  Thorsten Wißmann authored 8 years ago
  
  2c1b5401
- Only move cars if needed · 49448280
  Thorsten Wißmann authored 8 years ago
  
  49448280
- Cache rendering results as much as possible · 651999e0
  Thorsten Wißmann authored 8 years ago
  
  651999e0
- Show bumpers at the root · 1d7cab43
  Thorsten Wißmann authored 8 years ago
  
  1d7cab43
- Move layoutRailTreeAt helper out of layoutRailTree · f795a7e6
  Thorsten Wißmann authored 8 years ago
  
  f795a7e6
Oct 26, 2016
- More access keys · 430aa744
  Thorsten Wißmann authored 8 years ago
  
  430aa744
- Move NuSMV call to the end of the smv spec · d318a711
  Thorsten Wißmann authored 8 years ago
  
  d318a711
- Add button to clear the trace input field · 8c6d5ec0
  Thorsten Wißmann authored 8 years ago
  
  8c6d5ec0
- Ignore irrelevant smv trace lines · 4c2b1ef0
  Thorsten Wißmann authored 8 years ago
  
  4c2b1ef0
- Fix background of track labels for solved puzzles · ac5c1a0b
  Thorsten Wißmann authored 8 years ago
  
  ac5c1a0b
- Show track identifiers in SMV mode · 1feb2c14
  Thorsten Wißmann authored 8 years ago
  
  1feb2c14
Oct 25, 2016
- Bugfix in upwards aligned ShuntAccess · 83f97fee
  Thorsten Wißmann authored 8 years ago
  
  83f97fee
- Clean up SMV Output · 10b85cab
  Thorsten Wißmann authored 8 years ago
  
  10b85cab
- SMV Output: More comments · ecfdd870
  Thorsten Wißmann authored 8 years ago
  
  ecfdd870
- SMV Output: Fix train query · 9ad1f1a7
  Thorsten Wißmann authored 8 years ago
  
  9ad1f1a7
- SMV Output: Nicely comment LTLSPECs · 112c0a03
  Thorsten Wißmann authored 8 years ago
  
  112c0a03
- Fix typo in example query · 02e3a404
  Thorsten Wißmann authored 8 years ago
  
  02e3a404
- Improve rail tree printing · 87d6be70
  Thorsten Wißmann authored 8 years ago
  
  87d6be70
- Support viewing utf-8 text · 4e5462aa
  Thorsten Wißmann authored 8 years ago
  
  4e5462aa
- SMV Output: Print rail tree topology · 316b057f
  Thorsten Wißmann authored 8 years ago
  
  316b057f
Oct 24, 2016
- SMV Output: First draft for query compilation · e3b51cff
  Thorsten Wißmann authored 8 years ago
  
  e3b51cff
Oct 20, 2016
- Finish ShuntAccess · f442d7e8
  Thorsten Wißmann authored 8 years ago
  
  f442d7e8
- Explicitly implement foldl and foldr · d52fac89
  Thorsten Wißmann authored 8 years ago
  d52fac89
Oct 19, 2016
- SMV Output : Use ShuntAccess in next() function · 2d1f7081
  Thorsten Wißmann authored 8 years ago
  
  2d1f7081
Oct 07, 2016
- SMV Output: Add some comments · 1bdff8e8
  Thorsten Wißmann authored 8 years ago
  
  1bdff8e8
- Add framework for comments · bbea3d3e
  Thorsten Wißmann authored 8 years ago
  
  bbea3d3e
- SMV Output: Prepare more general shunt access · 719ae1cd
  Thorsten Wißmann authored 8 years ago
  
  719ae1cd
Oct 05, 2016
- SMV Output: One of the four cases · c4c589ee
  Thorsten Wißmann authored 8 years ago
  
  c4c589ee
- SMV Output in progress · 7fe082f7
  Thorsten Wißmann authored 8 years ago
  
  7fe082f7
- SMV Output: A first condition for movements · 7d34c7cf
  Thorsten Wißmann authored 8 years ago
  
  7d34c7cf
- SMV Output: Tiny step towards next cases · c21bb887
  Thorsten Wißmann authored 8 years ago
  
  c21bb887
Oct 04, 2016
- Add printing of an SMV ast · 1e52e956
  Thorsten Wißmann authored 8 years ago
  
  1e52e956
- SMV Output: nice header · 87d5a6ea
  Thorsten Wißmann authored 8 years ago
  
  87d5a6ea
- SMV Output: Generate move values correctly · 5792050e
  Thorsten Wißmann authored 8 years ago
  
  5792050e
- Some first NuSmvOutput · d9fdb490
  Thorsten Wißmann authored 8 years ago
  
  d9fdb490