aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific
Commit message (Expand)AuthorAgeFilesLines
* Improved verific command (added support for some operators)Clifford Wolf2014-03-101-2/+160
* Improvements in verific commandClifford Wolf2014-03-101-59/+39
* Added "verific" commandClifford Wolf2014-03-092-0/+489