Krystine Sherwin 1a0b5d8ea7 write_btor: Include $assert and $assume cells in -ywmap output

2025-10-09 14:50:36 +02:00

..

aiger

Remove .c_str() calls from log()/log_error()

2025-09-11 20:59:37 +00:00

aiger2

aiger2: Only fail for reachable undirected bufnorm helper cells

2025-09-29 08:21:28 +02:00

blif

Remove .c_str() calls from log()/log_error()

2025-09-11 20:59:37 +00:00

btor

write_btor: Include $assert and $assume cells in -ywmap output

2025-10-09 14:50:36 +02:00

cxxrtl

Remove .c_str() from log_cmd_error() and log_file_error() parameters

2025-09-16 22:59:08 +00:00

edif

Remove unnecessary .c_str() in EDIF_ macros

2025-09-16 23:14:11 +00:00

firrtl

Remove .c_str() calls from parameters to log_warning()/log_warning_noprefix()

2025-09-16 23:02:16 +00:00

functional

Update backends to avoid bits()

2025-09-16 03:17:23 +00:00

intersynth

Remove .c_str() calls from log()/log_error()

2025-09-11 20:59:37 +00:00

jny

Remove .c_str() calls from log()/log_error()

2025-09-11 20:59:37 +00:00

json

Remove .c_str() calls from log()/log_error()

2025-09-11 20:59:37 +00:00

rtlil

write_rtlil: add -sort to match old behavior

2025-09-16 15:47:16 +02:00

simplec

Update backends to avoid bits()

2025-09-16 03:17:23 +00:00

smt2

Update backends to avoid bits()

2025-09-16 03:17:23 +00:00

smv

Remove .c_str() calls from log()/log_error()

2025-09-11 20:59:37 +00:00

spice

Remove .c_str() calls from log()/log_error()

2025-09-11 20:59:37 +00:00

table

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

verilog

verilog: Bufnorm cell backend and frontend support

2025-09-17 14:01:09 +02:00