Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • core
  • master default protected
  • new_master
  • step-index-class
4 results
Created with Raphaël 2.2.018Jan16Dec27Nov2119185428Oct11Sep10914Apr8Dec28Nov2422Jul1413129753130Jun2928272625242120191817161514131211109765432131May3029282625242321201916151312987642130Apr292726252423178729Mar26222019171615141376543128Feb27262524232221201816137653130Jan29282726252423221918171514131110225Dec22212019181514131210876330Nov292827262220161211986131Oct292726252422211918131175curry the first functionmastermastertweaks in the logical relationadditional examplesderive some more rulesbump the version numbers in the installation instructionsadd some meta theory on finite step-indexed simulationsinstantiate fib memoizationderive more adequacy resultsuse tokens instead of authadd reentrant exampleadd an example instanceadd derived rules for terminationtweakadd additional derived laws of the program logicMerge branch 'bump_to_mac_arm_version' into 'master'Update Makefilemove opam fileUpdate MakefileUpdate .gitlab-ci.ymlUpdate .gitlab-ci.ymlUpdate .gitlab-ci.ymlUpdate .gitlab-ci.ymlbump coq version to one that runs on apple arm chipsfinish making step-index a typeclasscore step-index…core step-index-classadd type class to bifix the remainder of the algebra folderindex as type classupdate files to match stdppupdate files to new versionoutdated files from another versionremove examples and instancesremove old options file in algebranew versions of the step-indexing filesadd iris preludeupdate coq project and opamupdate licensegstep ruleUpdate README.mduse non-timing runneradd CI back in