Skip to content
Snippets Groups Projects
Select Git revision
  • amin/logrel
  • atomic-flip
  • ci/amin/lazy_coin
  • ci/perf
  • ci/robbert/kill_locked_value_lambdas
  • coercive-subtyping
  • hai/auth_frac
  • iris-bump
  • master default protected
  • ralf/iris-bump
10 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.021Oct19151387532130Sep2915327Aug23Jul22211716151110830Jun22191816126328May26241813130Apr292318151087643218Mar16131123Feb191511213Jan13Dec21Nov14131276231Oct2219Sep29Aug141313Jul111098543128Jun26242019181312111065431May2826252420Apr15829Mar281465428Feb222120191531Jan28251513121121Dec2019111098Nov131Oct232276530Sep191813Jul6428Jun2322212014128420May10930Apr2423921Mar722Feb161513325Jan231220Dec1817151413729Nov282219181411330Oct2928191810728Sep272222Aug31Jul17Mar10Jan322Dec14131216Nov1413872125Oct2420191713121110654129Sep282722201916151312119876530Aug292827Bump Iris.CI commentupdate dependenciesupdate dependencies'gen_heap' name makes no sense here any more, rename to 'heap'update dependenciesupdate build systemBump Iris.Bump Iris (iPreProp).Remove unused lemma.Bump Iris.update dependenciesMerge branch 'ralf/rm-logreal-heaplang' into 'master'remove logreal/heaplang in favor of POPL20 tutorialupdate dependenciesupdate dependenciesupdate dependencies; fix for auth changeupdate CI configfix outdated opam repo URLfix outdated URLs in opam filefix outdated Iris URLupdate dependencies; fix for agree_op renamealso test Coq master (as we are moving towards them testing this)deny warningsupdate dependenciesupdate warning settings, and fix warningsMerge branch 'patch-1' into 'master'Fix dead link in README.mdfix and test building with Coq 8.12fix some warnings that show up with Coq 8.12Bump Iris (iIntros ?).Bump Iris (iExists ?).Merge branch 'cg-bag' into 'master'Minor tweaks to bag exampleAdd bag and tweak lockupdate MakefileBump Iris.update dependenciesremove unused dec_agree importupdate dependencies