summaryrefslogtreecommitdiff
path: root/src/FunsAnalysis.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add comments in FunsAnalysisSon Ho2022-05-061-2/+8
|
* Start implementing divergence, can_fail, statefullness analysesSon Ho2022-05-041-0/+111