Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.029Mar262210Feb97528Jan20remove read_volatilemastermasterremove assertion that the paper does not explainreorder to match paperrustfmtrevert to a fixed version of the originalrename periodic -> eq to be more consistentdfs without the extra edges (for the comparison in the paper)rustfmt: limit line width to fit the paperrustfmtmatch the code from the paper exactlysplit out the version of eq from the paper as its own filedfs working paperMerge branch 'master' of gitlab.henriktjader.com:pln/plcopendfsconfigure rustfmt with paper-friendly rulesfix off-by-1 bug in time to reach errorpaper versionwipwipall proofs now worksexample wipwhy3works againexample updatedexample updatedexample updatedconsistency check wipmore examplesplcopen + klee