yosys/backends/smt2
whitequark efa278e232 Fix typographical and grammatical errors and inconsistencies.
The initial list of hits was generated with the codespell command
below, and each hit was evaluated and fixed manually while taking
context into consideration.

    DIRS="kernel/ frontends/ backends/ passes/ techlibs/"
    DIRS="${DIRS} libs/ezsat/ libs/subcircuit"
    codespell $DIRS -S *.o -L upto,iff,thru,synopsys,uint

More hits were found by looking through comments and strings manually.
2019-01-02 13:12:17 +00:00
..
.gitignore Various fixes and improvements in "write_smt2 -bv" 2014-12-25 20:28:34 +01:00
Makefile.inc Use `realpath` 2018-08-06 06:51:07 +00:00
example.v Added smtbmc.py 2015-10-13 17:17:23 +02:00
example.ys Added smtbmc.py 2015-10-13 17:17:23 +02:00
smt2.cc Add support for signed $shift/$shiftx in smt2 back-end 2018-11-01 11:40:58 +01:00
smtbmc.py Fix typographical and grammatical errors and inconsistencies. 2019-01-02 13:12:17 +00:00
smtio.py Merge pull request #693 from YosysHQ/rlimit 2018-11-07 20:16:40 +01:00
test_cells.sh Various fixes and improvements in "write_smt2 -bv" 2014-12-25 20:28:34 +01:00