github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-13 00:52:28 +00:00
Code Issues Releases Wiki Activity
Files
8ce4f8790ecf33f7df19e0fb54a749abe026831d
YosysHQ.yosys/passes
History
clairexen b1707407a0 Merge pull request #2138 from boqwxp/qbfsat-oflag 
qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC
2020-07-01 16:35:27 +02:00
..
cmds
Add new builtin FF types
2020-06-23 15:40:02 +02:00
equiv
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
fsm
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
hierarchy
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
memory
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
opt
Merge pull request #2168 from whitequark/assert-unused-exprs
2020-06-25 18:21:51 +02:00
pmgen
Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused).
2020-06-19 15:48:58 +00:00
proc
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
sat
Merge pull request #2138 from boqwxp/qbfsat-oflag
2020-07-01 16:35:27 +02:00
techmap
techmap: don't drop attributes on replaced cells.
2020-06-29 23:14:13 +00:00
tests
Merge pull request #2201 from YosysHQ/fix_test_cell_ilang
2020-06-30 17:11:13 +02:00