Skip to content
Snippets Groups Projects
Select Git revision
  • channel_closure_spec
  • close_spec
  • concur2020
  • cpp21
  • cpp21_deprecated
  • iris-update
  • jesper
  • jonas/coexponentials
  • jonas/liter
  • jonas/log_atom_2
  • jonas/lty_helper_lemmas
  • jonas/pizza
  • jonas/ring_leader_election
  • later_strip
  • lmcs
  • master default protected
  • mini_actris1
  • miniactris-init
  • mixed_choice
  • mixed_choice_list
20 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.09Dec8765Nov2Oct31Aug30262528Jul272029Jun17161454328May19330Apr2025Mar1219Feb1726Jan251116Dec1495227Nov25242317131211428Oct272625211210530Sep292322211716151410874326Aug25212015728Jul24222120152130Jun29195429May28262418131087654130Apr292524232221181716151413642131Mar2726252416131221Feb1727Nov25242118171615137231Oct25231918171413121110123Sep1722Aug2111Jul109876543130Jun28272625211817121131May29987230Apr2927262523update makefile and irisBumped opam Iris versionBumped stdppdo nightly builds with Coq 8.14.dev for nowworkwork on ltypeupdate dependencies; fix for f_equiv becoming a bit weakercontinue work on interp_sendstart work on iLType_interp_sendfix iLType_own_auth_updateStart work on appWork on quantifier introduction and eliminationadd local typesSet up local typesupdate dependenciesBump Iris.Bump Iris.Added "Global" instance locality to resolve future Coq warningsturns out this is warning-freeswitch CI to Coq 8.13update dependenciesexplicit coercion > type ascriptionNitsjonas/literjonas/literAdded liter function, and proved specs for br and del sort clientsAdded scope of unscoped hint modes to address deprecation warningupdate dependenciesadjust to new job naming schemeprepare for Iris WP changeupdate dependenciesupdate dependenciessupport build-testing against forksdont run CI on forksRevert "coq.dev is not stable enough for regular CI"coq.dev is not stable enough for regular CIBump std++ (multisets).Better spec for lock example, and polishjonas/pizzajonas/pizzaAdded pizza examples from the thesis by Jonas Kastberg HinrichsenBump std++.Tweak shady proof.Revert "test Coq beta branch (since master is broken)"