Jannis Harder ed0e14820e sat: Add -set-def-formal option to force defined $any* outputs

2022-11-28 14:50:52 +01:00

..

binding.cc

…

binding.h

…

bitpattern.h

…

calc.cc

Consistent $mux undef handling

2022-10-24 12:03:01 +02:00

cellaigs.cc

…

cellaigs.h

…

celledges.cc

…

celledges.h

…

celltypes.h

Consistent $mux undef handling

2022-10-24 12:03:01 +02:00

consteval.h

Remove set but unused variable

2022-05-27 12:37:03 +02:00

constids.inc

formalff: Set new replaced_by_gclk attribute on removed dff's clks

2022-08-16 13:37:30 +02:00

cost.h

…

driver.cc

Add TCL interactive shell mode

2022-11-25 16:18:02 +01:00

ff.cc

Add the $anyinit cell and the formalff pass

2022-08-16 13:37:30 +02:00

ff.h

Add the $anyinit cell and the formalff pass

2022-08-16 13:37:30 +02:00

ffinit.h

…

ffmerge.cc

…

ffmerge.h

…

fstdata.cc

fstdata: Update past_data before end_time callback

2022-11-07 12:32:23 +01:00

fstdata.h

…

hashlib.h

kernel: hashlib: cleaned up message about table size in cases where sizeof(int) == 4, (closes #3440)

2022-08-25 11:08:51 -04:00

log.cc

Add YOSYS_ABORT_ON_LOG_ERROR environment variable for debugging.

2022-10-07 15:02:33 +02:00

log.h

Add missing log_dump_val_worker forward declarations

2022-10-30 18:57:50 +01:00

macc.h

…

mem.cc

Add missing memory width assert preventing division by zero (#3546)

2022-11-09 10:34:25 +01:00

mem.h

…

modtools.h

…

qcsat.cc

…

qcsat.h

…

register.cc

Rst docs conversion (#3496)

2022-11-15 12:55:22 +01:00

register.h

…

rtlil.cc

Add the $anyinit cell and the formalff pass

2022-08-16 13:37:30 +02:00

rtlil.h

Consistent $mux undef handling

2022-10-24 12:03:01 +02:00

satgen.cc

sat: Add -set-def-formal option to force defined $any* outputs

2022-11-28 14:50:52 +01:00

satgen.h

sat: Add -set-def-formal option to force defined $any* outputs

2022-11-28 14:50:52 +01:00

sigtools.h

…

timinginfo.h

…

utils.h

…

yosys.cc

Add TCL interactive shell mode

2022-11-25 16:18:02 +01:00

yosys.h

Assorted microoptimization speedups in core data structures.

2022-07-27 17:05:30 +02:00