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.014Dec1312109826Nov252422211817158124Oct2320191815141211109527Sep25242320174331Aug3015Jul29Jun25May201917Mar1619Feb719Jan16Dec1454130Nov282731Oct30282019119229Sep2524Jul87121Jun20173227May26221817141127Apr2322212017151413129876432130Mar242321171211109543228Feb272624212017231Jan30291613818Nov25Oct24Update 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 pipelineOpen specification needed to scope axiomsFixed qfo: open depconnectivesAdded -e option to qfoDocumentationSpecification parameter removedError management, specification fileQFO more robustalmost working pipelineremoving a qualification in qfofixed temp file generationsimplified examplenormalise and doc of qfoadd pipelinebugfixformattingFix tests, run test in ciMakefile for qfomoved lpvs to proofs/qfoa filter