Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • adequacy
  • ci/new_data_races_example
  • compute_done_diverge
  • concurrency
  • coq-is-broken-beyond-repair
  • itree
  • itree_beh
  • master default protected
  • msammler/omega_thread_id
  • popl22-artifact
  • popl22-submission
  • rocq-9.0
  • stacked_borrows
  • tree-borrows-fixed-dealloc
  • tree-borrows-trees-equal
15 results
Created with Raphaël 2.2.031Mar1918171411107Feb31Jan292515Nov141312830Oct242320211Sep525Aug23221910987625Jul2422875432125Jun242221201918126530May27201716151110642127Apr26252417742130Mar2725242221201817161514118754129Feb28272422211918151198765231Jan2916Dec1514131075430Nov28262220161514139763231Oct30292827262524181615141312111098765432130Sep2928272625242322Merge branch 'ci/lennard/bump-iris' into 'master'mastermasterbump irisupdate READMEadd example 14 Coq fileclarify notationwork on readmeadd explanation of coq to paper correspondencelink to TB readmeMerge branch 'ci/tree-borrows' into 'master'more readmeadd comment about nstepsremove "Print Assumptions" thingsadd TB one-linerrestore SB READMEopen your eyes; your double-blindness is curedhuge TB cleanupMerge remote-tracking branch 'origin/master' into ci/tree-borrowstrees_equal/trees_equal.v goes poofCleanup read_read_reorder and give it a READMEFirst wave of extra documentation & cleanupupdate dependenciesForward compatibility fixes for https://gitlab.mpi-sws.org/iris/stdpp/-/merge_requests/555compatibility with rocq (aka Coq) 9.0rocq-9.0rocq-9.0allow 9.0-compatible coq-equationsupdate dependenciesalso allow 'dev' version of coq-equationstypomore stuff on example 14make the supervisor happy by adding random hints to the readmetalk about what is, not what will beequivalence_def instead of refinement_defreadme tweakswhoops example 1 is a different filemore readme workremove potentially double-blind linkRemove outdated FIXME and other commented out codeApply suggestionfix compile derpimplement MR feedbackadd insert read example