History / Investigating slow verification performance

Revisions

Axiom profiler bitbucket -> github

mschlaipfer committed Sep 1, 2020

6b65299
Added a paragraph on handling timeouts

mschlaipfer committed Jul 18, 2019

b2cac3b
Better link to FAQ

mschlaipfer committed Jul 1, 2019

cc3114c
Added FAQ, made AxiomProfiler paper more prominent

mschlaipfer committed Jun 26, 2019

883c50d
Created wiki page on AxiomProfiler use with Dafny

mschlaipfer committed Jun 26, 2019

0036a4d