aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/sim.cc
Commit message (Collapse)AuthorAgeFilesLines
* Error out if no top module given before 'sim'Eddie Hung2019-06-051-0/+5
|
* Fixed minor typo in "sim" help messageacw12512018-09-121-1/+1
|
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
| | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)
* Rename "singleton" pass to "uniquify"Clifford Wolf2017-08-201-1/+1
|
* Add "sim -zinit -rstlen"Clifford Wolf2017-08-181-1/+53
|
* Add "sim" support for memoriesClifford Wolf2017-08-181-2/+136
|
* Add support for assert/assume/cover to "sim" commandClifford Wolf2017-08-181-4/+47
|
* Add writeback mode to "sim" commandClifford Wolf2017-08-171-0/+44
|
* Improve "sim" commandClifford Wolf2017-08-171-54/+272
|
* Add "sim" command skeletonClifford Wolf2017-08-161-0/+371