aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/verific.cc
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-091-0/+488