Skip to content
Snippets Groups Projects
Select Git revision
  • ci/janno/reduction_no_check
  • ci/places
  • ci/pm_red
  • ci/ralf/const-rf
  • ci/ralf/lia-experiment
  • ci/ralf/old-timing-data
  • ci/ralf/sections
  • ci/robbert/faster_iDestruct2
  • ci/robbert/iprop_structures
  • ci/robbert/merge_sbi
  • ci/robbert/merge_sbi_new
  • ci/robbert/merge_sbi_new_weak
  • ci/robbert/merge_sbi_weak
  • ci/robbert/naive_solver
  • ci/weak_mem
  • contractiveness
  • coqbug/match
  • fast_string
  • ghostcell
  • gpirlea/pinning
  • RBrlx-POPL20-artifact
  • popl18
  • popl18-aec
23 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.010Jul98763230Jun191229May2422158724Apr23874231Mar302120181613121193226Feb25242119181715141312117419Jan18131117Dec131093222Nov21128731Oct2221109875425Sep2320191817151413116543231Aug302928272625231613129643131Jul302926252423221711928Jun26201813111065429May2625241615141312229Apr2524314Mar127642128Feb2726222120151211754131Jan3024231587219Dec141021Nov161514874129Oct252420198765430Sep2120191813107653225Aug24222019829Jul282322201913530Jun2928272625242322212019181714119876432131May302928272625update benchmarks dataremove benchmark data that may contain stale resultsmissing a punctuation in READMEupdate READMEupdate benchmarks resultsedit README and anon Cargo.tomladd cons, just to make sure it typechecksAdd x8 test for arc rwlock.Remove potential destructor runs from benchmark.Add 8x for RwLock.Simplify Arc<RwLock> destructor.Fix benchmark names.Add Arc<RwLock>Annotations for Ralf.Fix drop for real.Fix drop for Arc list.Avoid stack overflow on drop for Arc.explain why we expose κ' in bor_acc_strongbump IrisUpdate Ghostcell benchmarks.simplify GhostToken statesupdate dependencies; fix for step_fupd notation changerename ghostset -> ghosttoken; ghostcell_st -> ghosttoken_stmake read- and wirte-state invariant a bit more consistentadd some commentsupdate dependencies; fix for step_fupd notation changeGhostSet -> GhostTokenupdate dependenciestest against Coq 8.11.2test against Coq 8.11.2 and 8.12 betanightly build against 8.12 betaupdate dependenciesupdate dependencies and Makefile, import numbersupdate dependencies; import numbers where needed and update Makefileupdate dependenciesBump !bump Irisshow that bor_shorten can be derivedBump Iris (sbi removal).Bump Iris (sbi removal).