Sebastian Kuzminsky 7e6426a67d user-facing spelling fixes ...

"speciefied" -> "specified"
"unkown" -> "unknown"

2016-02-28 15:14:01 -07:00

..

blif

Added "write_blif -cname" mode

2016-01-06 14:32:28 +01:00

btor

Added "int ceil_log2(int)" function

2016-02-13 16:52:16 +01:00

edif

Fixed trailing whitespaces

2015-07-02 11:14:30 +02:00

ilang

Fixed trailing whitespaces

2015-07-02 11:14:30 +02:00

intersynth

Fixed trailing whitespaces

2015-07-02 11:14:30 +02:00

json

user-facing spelling fixes

2016-02-28 15:14:01 -07:00

smt2

Added yosys-smtbmc -S

2015-12-20 09:58:54 +01:00

smv

Import more std:: stuff into Yosys namespace

2015-10-25 19:30:49 +01:00

spice

Fixed trailing whitespaces

2015-07-02 11:14:30 +02:00

verilog

Bugfixes in writing of memories as Verilog

2015-09-25 13:49:26 +02:00