Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • ci/triggers
  • failed-dec_agree
  • greatest_fix
  • master default protected
  • ralf/coq-8.7
5 results
Created with Raphaël 2.2.025Jan1519Dec8Nov130Sep191813Jul22Jun8422Feb1615318Dec1329Nov28221911329Oct191810728Sep272222Aug543231Jul1017Mar10Jan322Dec1614131216Nov1413872125Oct2420191713121110654129Sep282722201916151312119876530Aug292827update Makefilemastermasterarchive repositorytry to fix CIupdate Makefile and CI configadd BSD licenseremove no-longer-needed Makefile hackerytest Coq 8.8.2, and test only thatbump Iriswrite URLs the way opam writes themuse Docker image matching CI branchupdate CI for opam 2Merge branch 'new_atomic' into 'master'port to new atomic triplesbump Iris to masternightly builds: use latest std++; test Coq 8.7.2 (instead of 8.7.1)port to gen_proofmodeupdate CI and Makefile.gitignoreBump Iris, fix build.treat schedules like triggersupdate CIstop overwriting make uninstalltest agains Coq 8.7.1update Irisupdate READMEnote that these triples do not match the paperupdate READMEbump Irisdrop validation from CI, it does not work reliably enoughMerge branch 'ralf/saved_pred' into 'master'port to savedPredfix build with latest Irisssreflect 1.6.4try to work around yet another opam sillinesstest against released Coq 8.7; update CIupdate IrisCI: rename REV parameter to IRIS_REV for iris.dev buildsCI: rename jobs for consistencybuild-iris.dev: let trigger determine Iris revisionbump Iris