mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 13:29:12 +00:00
Code Activity
yosys/backends/smt2
History
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
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
Makefile.inc Use realpath 2018-08-06 06:51:07 +00: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