Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
  • iris-3.1.0
2 results
Created with Raphaël 2.2.019Jan9Dec511Nov10Oct30Sep29161514113228Aug27619Jun29May16Mar14131219Feb18713Jan21Nov1712711Jul24Jun181124May124Mar21Feb20181312128Jan248Jandeprecate the popl18 tutorialmastermasterdrop support for Coq 8.10bump Iris for wp_finish changesupdate build systemREADME: fix typoupdate dependencies; heap-lang is a separate package nowupdate dependenciesno CI on forksupdate CI configfix and clean up READMEfix builddepend on nightly Iris and fix buildMerge branch 'macos-gawk' into 'master'Document installing gawk on macOSupdate the Coq versions we test againstalso deny warnings on the 8.10 buildfix install root warningdeny warningstest Coq 8.11.2 instead of 8.11.0still silence deprecation warnings for nowno need to allow any warningsMerge branch 'ralf/auto-ex' into 'master'update to more automatic solution syntaxgit diff is going to be more helpful here I thinkgitignore lia cacheprint more on exercise check failureMerge branch 'ralf/gen-exercises' into 'master'forgot to add Makefile.coq.localexpand READMEextend READMEauto-generate exercises from solutionsdepend on stable Iris for nowupdate dependenciesupdate MakefileBump Iris (numbers).update MakefileUse right version of Iris...Bump Iris (Z_scope).Bump Iris (⊢ changes).Merge branch 'robbert/license' into 'master'