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.02Jan20Dec19181615141312109826Nov252422211817158124Oct2320191815141211109527Sep25242320174331Aug3015Jul29Jun25May201917Mar1619Feb719Jan16Dec1454130Nov282731Oct30282019119229Sep2524Jul87121Jun20173227May26221817141127Apr2322212017151413129876432130Mar242321171211109543228Feb272624212017231Jan30291613818Nov25Oct24Grouping 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 quantifierRestructuring tests of pipeline, using dunePsnj: specify path to lambdapi config file (or config dir)Simpler ci, lock filetests organisationOne binary onlytranspiling quantifiersLighter qfono why3 callUse lambdapi packages in qfoadd autosolve to pipelineFilter to add proof scriptsChanging name of statically defined modulesdo not check for formattingformattingTests for pipeline