Commits · master · Per Lindgren / plcopen

Mar 29, 2019
- remove read_volatile · 378ad1c8
  Nils Fitinghoff authored 6 years ago
  
  378ad1c8
- remove assertion that the paper does not explain · 2135bc5d
  Nils Fitinghoff authored 6 years ago
  
  2135bc5d
- reorder to match paper · 3362a9e5
  Nils Fitinghoff authored 6 years ago
  
  3362a9e5
- rustfmt · 1197c0bb
  Nils Fitinghoff authored 6 years ago
  
  1197c0bb
- revert to a fixed version of the original · 296a8323
  Nils Fitinghoff authored 6 years ago
  296a8323
- rename periodic -> eq to be more consistent · 15e661d9
  Nils Fitinghoff authored 6 years ago
  
  15e661d9
- dfs without the extra edges (for the comparison in the paper) · 58e3a2f0
  Nils Fitinghoff authored 6 years ago
  
  58e3a2f0
- rustfmt: limit line width to fit the paper · 1f3199bd
  Nils Fitinghoff authored 6 years ago
  
  1f3199bd
- rustfmt · 16491601
  Nils Fitinghoff authored 6 years ago
  
  16491601
- match the code from the paper exactly · 799276ea
  Nils Fitinghoff authored 6 years ago
  
  799276ea
- split out the version of eq from the paper as its own file · 44dc07b2
  Nils Fitinghoff authored 6 years ago
  
  44dc07b2
- dfs working paper · 216574ba
  Per authored 6 years ago
  
  216574ba
Mar 26, 2019
- Merge branch 'master' of gitlab.henriktjader.com:pln/plcopen · 6b988f19
  Per authored 6 years ago
  
  6b988f19
- dfs · 7d0c573d
  Per authored 6 years ago
  
  7d0c573d
Mar 22, 2019
- configure rustfmt with paper-friendly rules · 4979981e
  Nils Fitinghoff authored 6 years ago
  
  4979981e
- fix off-by-1 bug in time to reach error · c977cfde
  Nils Fitinghoff authored 6 years ago
  c977cfde
Feb 10, 2019
- paper version · 6a08958a
  Per Lindgren authored 6 years ago
  
  6a08958a
- wip · 76092a42
  Per Lindgren authored 6 years ago
  
  76092a42
Feb 09, 2019
- wip · 9f5798d1
  Per Lindgren authored 6 years ago
  
  9f5798d1
Feb 07, 2019
- all proofs now works · a5985794
  Per Lindgren authored 6 years ago
  
  a5985794
- example wip · c0a8adae
  Per authored 6 years ago
  
  c0a8adae
- why3 · dc75f851
  Per authored 6 years ago
  
  dc75f851
Feb 05, 2019
- works again · 5bcbbb78
  Per Lindgren authored 6 years ago
  
  5bcbbb78
- example updated · 6015a731
  Per authored 6 years ago
  
  6015a731
- example updated · a510b93e
  Per authored 6 years ago
  
  a510b93e
- example updated · 12e3a48f
  Per authored 6 years ago
  
  12e3a48f
Jan 28, 2019
- consistency check wip · 06ee3034
  Per authored 6 years ago
  
  06ee3034
- more examples · 3eb26610
  Per Lindgren authored 6 years ago
  
  3eb26610
Jan 19, 2019
- plcopen + klee · c861be9e
  Per Lindgren authored 6 years ago
  
  c861be9e