luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-08-31 18:24:48 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
0da65d498b9f18ce0c09eedc19f16db2390e6dcb
yosys/backends/aiger
T
History
Eddie Hung 3be7784d0e xaiger: remove some unnecessary operations ... 
... since they can not be triggered by (* keep *) anymore
(but could still be triggered by (* abc9_scc *) !?!)
2020-03-06 10:51:47 -08:00
..
aiger.cc
write_aiger: make more robust
2020-01-06 10:18:59 -08:00
Makefile.inc
Add write_xaiger
2019-02-11 15:18:42 -08:00
xaiger.cc
xaiger: remove some unnecessary operations ...
2020-03-06 10:51:47 -08:00