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.08Dec26Nov252422211817158124Oct2320191815141211109527Sep25242320174331Aug3015Jul29Jun25May201917Mar1619Feb719Jan16Dec1454130Nov282731Oct30282019119229Sep2524Jul87121Jun20173227May26221817141127Apr2322212017151413129876432130Mar242321171211109543228Feb272624212017231Jan30291613818Nov25Oct24almost 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 filetestingtranslation to tptpformatting, testsdocumentationInitsome notes, pair' constantarchive lp and lposcleaning equalitiesnew equalitydune makefile, pipeline directorypreserving order in chainpropsno pvs qualificationUse ocaml setup, more opamremoving useless file