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.09Dec826Nov252422211817158124Oct2320191815141211109527Sep25242320174331Aug3015Jul29Jun25May201917Mar1619Feb719Jan16Dec1454130Nov282731Oct30282019119229Sep2524Jul87121Jun20173227May26221817141127Apr2322212017151413129876432130Mar242321171211109543228Feb272624212017231Jan30291613818Nov25Oct24add 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 filtersimplificationsUse symbol mappings for more flexibilityimporting logical connectivestouched encodingsSimpler encoding fileoption to print pvs-cert termsadd dune projectadded pairs and projections to cert termswrapping body of quantifiersrenamed moduleuppercase variablestranslating logical connectiveshandle exception cannot translateopam filetesting