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.01Feb31Jan3024231587219Dec141021Nov161514874129Oct252420198765430Sep2120191813107653225Aug24222019829Jul282322201913530Jun2928272625242322212019181714119876432131May302928272625242320161514119127Apr26242319181711109324Mar222112954128Feb232221201615149329Jan23221018Dec13728Nov241411843230Oct2928262119181211109765428Sep272625212019729Aug28242221191716108432131Jul19171611107643220Jun18May171615131294229Apr282726252422201918141311730Mar28272423bump gpfsl + fix CI jobsfix repo link in README againfix repo links in READMEfix repo linksbump gpfslfix for coq masterMerge branch 'ci/weak_mem' of https://gitlab.mpi-sws.org/FP/LambdaRust-coq into ci/weak_membump Iris and update Makefilebump gpfslbump Iris, update Makefilestop running coqchk; bump IrisMerge branch 'instance-nobody-open-proof' into 'master'Make trivial instances explicitbump Iristry to fix std++try to fix std++bump gpfslfix merge fc96e6a8 and READMEbump Irisno validation, it's too slowupdate Makefile and CI configupdate Makefile and CI configbump gpfslbump gpfslbump gpfslMerge branch 'master' into ci/weak_memMerge branch 'master' into ci/weak_memchange name in READMEbump gpfslMerge branch 'ci/weak_mem' of gitlab.mpi-sws.org:FP/LambdaRust-coq into ci/weak_memUpdate Readme and development wrt. technical appendix.Bump Iris.remove no-longer-needed Makefile hackeryremove no-longer-needed Makefile hackeryuse 8.8.0 as default Coq version; test against Coq master with coqchkbump gpfslBump Iris.update README descriptionMerge combined rules + bump gpfslbump Iris