Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • abstraction
  • ci/debug
  • ci/gen_proofmode
  • ci/iris-dev-performance
  • ci/janno/reduction_no_check
  • ci/joe/compact_ipm
  • ci/joe/compact_ipm_remaining
  • ci/joe/compact_ipm_simple
  • ci/places
  • ci/pm_red
  • ci/ralf/const-rf
  • ci/ralf/exact_vm
  • ci/ralf/lia-experiment
  • ci/ralf/sections
  • ci/ralf/weak_mem
  • ci/robbert/faster_iDestruct
  • ci/robbert/faster_iDestruct2
  • ci/robbert/faster_iFresh
  • ci/robbert/faster_iFresh_joe
  • ci/robbert/iprop_structures
  • RBrlx-POPL20-artifact
  • popl18
  • popl18-aec
23 results
Created with Raphaël 2.2.020Jan19812Oct116Sep126Aug6230Jul221510854229Jun252319161410987653229May2726252423222118171513108729Apr2322987642131Mar302523222119181716131211975427Feb262518151312117419Jan18131117Dec131093222Nov21128731Oct2221109875425Sep2320191817151413116543231Aug302928272625231613129643131Jul302926252423221711928Jun26201813111065429May262524191716151413122129Apr262524314Mar127642128Feb2726222120151211754131Jan3024231587219Dec141021Nov161514874129Oct252420198765430Sep2120191813107653225Aug24222019829Jul2823222019135430Jun292827update READMEsimplesimpledelete unused filesremove old TODOsminor renamingclean up tagset namesrename -> tagsetrename Hactive -> Hgstkrename -> sbsetcontainsactiveUR -> gstacksURrename ghost grantingrename -> gstackmore consistent namingremove meaningless prefixesrename -> stack_normalizedump immutable raw pointersrenaming forget/shareadd missing SharedRW ruledrop unnecessary lemmasadd some missing SharedRW lemmascleanup stbor_ghostfix importsflip substack directionsubstack instead of logstacksplit ghost theoryremove weird subset requirementget rid of unused state interp paramadd more abstract logicsimplificationsmerge upstream and make it compile againadd more abstract logicmaster sharedrw2master sharedrw2get rid of retag_kindfractured borrows: factor token trading into separate lemmasrename top-level connectivesPair up locations and tagsMerge branch 'master' into sharedrw2Bump Iris + get rid of iAlways.update dependenciesremove now-unnecessary extra qualificationbump Irisstrengthen lifetime logic: make lft_userN disjoint from lftN so it remains available during atomic accessors