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.024Jan2221201817161512987643220Dec19181615141312109826Nov252422211817158124Oct2320191815141211109527Sep25242320174331Aug3015Jul29Jun25May201917Mar1619Feb719Jan16Dec1454130Nov282731Oct30282019119229Sep2524Jul87121Jun20173227May26221817141127Apr2322212017151413129876432130Mar242321171211109543228Feb272624212017231Jan30291613818Nov25Oct24Abstract "cast" operator for bounded quantificationfailure instructions on finite_setUpdate to lp2 syntaxWIP lp2WIP pass to lp2SimplificationsAxiomatise recursive definitionsMerge branch 'overloading_resolution'Updating documentationUpdating unit testsEnabling more theoriesDo not compile PVS for testsDisambiguate names using resolutions and indexUsing info from PVS to resolve overloadingRemove some redundancySimplify context definitions and handlingRemove set-workdir, use dynamic scopeRenamingSetting stream optionally (default to stdout)Use optional arguments for signature updateComment macro, with-formals macroFix printerUsing macros to wrap abstractions and products printingWrapping head of application, let in testReversing theory formals after they have been processedMerge branch 'translation'Use thunks for "lazy" printingUnique binding printing functionMerge branch 'test_tr'Test promotion and updated test fileFix formula declarationUnit tests on translatorFixed test makefileMerge branch 'translation'Some curationTypecheck QuotientKernelPropertiesUncurried equalityMore theories typechecked, more detaillsTYPE FROM theory parameters handled as normal typesTranslate name judgement as assertions