ice40: Adapt the relut process passes to the new $lut <=> SB_LUT4 port map
[yosys.git] / passes / cmds / check.cc
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu...
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in...
2017-01-05 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2017-01-04 Clifford WolfAdded "check -initdrv"
2016-07-08 Clifford WolfMerge branch 'yosys-0.5-vtr' of https://github.com...
2016-04-23 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2016-04-21 Clifford WolfAdded "yosys -D" feature
2015-08-14 Clifford WolfSpell check (by Larry Doolittle)
2015-07-27 Clifford WolfFixed "check" command for inout ports
2015-07-02 Clifford WolfFixed trailing whitespaces
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol...
2015-02-22 Clifford WolfFixed "check -assert"
2015-02-22 Clifford WolfAdded "check -assert" doc
2015-02-22 Clifford WolfAdded "check -assert"
2015-02-15 Clifford WolfAdded "check -noinit"
2015-02-13 Clifford Wolfhotfix in "check" command
2015-02-13 Clifford WolfAdded "check" command