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.025Jan242221201817161512987643220Dec19181615141312109826Nov252422211817158124Oct2320191815141211109527Sep25242320174331Aug3015Jul29Jun25May201917Mar1619Feb719Jan16Dec1454130Nov282731Oct30282019119229Sep2524Jul87121Jun20173227May26221817141127Apr2322212017151413129876432130Mar242321171211109543228Feb272624212017231Jan30291613818Nov25Oct24more mergeMerge with master and updated lambdapiFull erasure of castsLogging overhaul, groupingAbstract "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 QuotientKernelProperties