yosys/backends/smv
Henner Zeller 3aa4484a3c Consistent use of 'override' for virtual methods in derived classes.
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)
2018-07-20 23:51:06 -07:00
..
Makefile.inc Added "write_smv" skeleton 2015-06-15 00:46:27 +02:00
smv.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
test_cells.sh Added SMV back-end 'test_cells.sh' script 2015-08-12 12:56:20 +02:00