Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.04Jan3220Dec19181615141312109826Nov252422211817158124Oct2320191815141211109527Sep25242320174331Aug3015Jul29Jun25May201917Mar1619Feb719Jan16Dec1454130Nov282731Oct30282019119229Sep2524Jul87121Jun20173227May26221817141127Apr2322212017151413129876432130Mar242321171211109543228Feb272624212017231Jan30291613818Nov25Oct24Uncurried equalityMore theories typechecked, more detaillsTYPE FROM theory parameters handled as normal typesTranslate name judgement as assertionsMerge branch 'thyselect'Update simple makefileRemoving theories too long to typecheckupdated psnj lockMove theories to new formatAdd thyselect tool to psnjMerge branch 'pvs_patches'Remove 'specs' directorySimplifying directory structuregrouping PVS patchesignore asciidoc generated filesGrouping PVS patchesMerge branch 'locking'Using locked lambdapi, ocaml 4.11.1Merge branch 'devel'documentation of proof generationprint position when check failsUse why3 with quantifiersDocumentation and simplification of pipeRenamingQfo has been replaced by DkMetaInstall provers in ciAdd "standard" exampleLibrary for testingUsing result rather than exception in qfoformattingMerged pipeline into toolboxUsing ezjsonmRemoved split commandHandling theories with several proofsUpdate jsplit, create jgroup commandSplit brought to the personoj toolOpening encoding in resulting fileremove test section of makefiledune install sectionAdded test with existential quantifier