Clifford Wolf 18f9477e95 Added verification of SAT model to "eval -vloghammer_report" command

2013-11-09 11:38:17 +01:00

..

bitpattern.h

initial import

2013-01-05 11:13:26 +01:00

calc.cc

More undef-propagation related fixes

2013-11-08 11:40:36 +01:00

celltypes.h

Added $_SR_[PN][PN]_, $_DFFSR_[PN][PN][PN]_, $_DLATCH_[PN]_

2013-10-18 12:13:34 +02:00

consteval.h

Fixed handling of undef values in MUX select input in ConstEval

2013-11-06 17:33:20 +01:00

driver.cc

Write yosys version to output files

2013-11-03 21:41:39 +01:00

log.cc

initial import

2013-01-05 11:13:26 +01:00

log.h

Added log_assert() api

2013-05-24 14:38:36 +02:00

register.cc

Added "clean -purge" and ";;;" support

2013-08-11 13:59:14 +02:00

register.h

Write yosys version to output files

2013-11-03 21:41:39 +01:00

rtlil.cc

Renamed extend_un0() to extend_u0() and use it in genrtlil

2013-11-07 18:17:10 +01:00

rtlil.h

Renamed extend_un0() to extend_u0() and use it in genrtlil

2013-11-07 18:17:10 +01:00

satgen.h

Added verification of SAT model to "eval -vloghammer_report" command

2013-11-09 11:38:17 +01:00

sigtools.h

Some fixes to improve determinism

2013-08-09 12:42:32 +02:00