summaryrefslogtreecommitdiff
path: root/frontends/verific
Commit message (Expand)AuthorAge
* Improved verific command (added support for some operators)Clifford Wolf2014-03-10
* Improvements in verific commandClifford Wolf2014-03-10
* Added "verific" commandClifford Wolf2014-03-09