Commit graph

11 commits

Author SHA1 Message Date
Clifford Wolf
0cac95ea94 Added "check -initdrv" 2017-01-04 18:12:41 +01:00
Clifford Wolf
0bc95f1e04 Added "yosys -D" feature 2016-04-21 23:28:37 +02:00
Clifford Wolf
84bf862f7c Spell check (by Larry Doolittle) 2015-08-14 10:56:05 +02:00
Clifford Wolf
4d0ba9b3b2 Fixed "check" command for inout ports 2015-07-27 09:54:58 +02:00
Clifford Wolf
6c84341f22 Fixed trailing whitespaces 2015-07-02 11:14:30 +02:00
Clifford Wolf
c4f383e452 Fixed "check -assert" 2015-02-22 16:29:44 +01:00
Clifford Wolf
d361d313e1 Added "check -assert" doc 2015-02-22 13:02:48 +01:00
Clifford Wolf
e8307cefd9 Added "check -assert" 2015-02-22 13:00:41 +01:00
Clifford Wolf
40f021e136 Added "check -noinit" 2015-02-15 12:58:12 +01:00
Clifford Wolf
a0a0594d1e hotfix in "check" command 2015-02-13 14:40:49 +01:00
Clifford Wolf
04cb947d6a Added "check" command 2015-02-13 14:34:51 +01:00