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.019May181716151413129876229Apr2825212053131Mar302928151411Feb22Jan1117Dec98430Nov2423181298529Oct261110743128Sep272624211716131110876131Aug30282625630Jul29282726232018169876432130Jun2928272625242322212018161514121110985432131May3025242322191774130Apr29282726242221201916151413129875231Mar292524232220more reduction rulesdraft of source reductionType shimmyingnitwrite and other lemmas for targetcouple more heap rulesMerge branch 'itree' of https://gitlab.mpi-sws.org/iris/simuliris into itreeupdate heap with gmap mappingupd equationsnitsupdate coqprojectupdate readme for vellvm/itree dependencyupdate vellvmremove itree submodulesmall cleanupremove unused filescall_ans_wf conditionasymmetric reduction focusingstart sketching out attrib call examplesupdate coq projectremove playgroundupdate notesremove simulangremove stacked borrowsnitalloc lemmaupdate primitive law for loadsilence a not-yet-fixable warningbump Coq to 8.15update dependenciesgeneral alloc heap lemmaFix bug in location for heapalloc singletonbump Iris a bit morebump Iris a bitProgress on heap reprchange pointsto to state_lookup in argmemonly_evspecUpdate spec using pre-existing attr syntaxWrite out more basic rules for new heapwip more structural rules for heap