luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-08-22 06:07:26 +02:00
Code Issues Packages Projects Releases Wiki Activity
13,593 Commits 140 Branches 70 Tags
emil/small-astnode
Commit Graph
4 Commits
Author SHA1 Message Date
Alberto Gonzalez c26a8d1ee0 glift: Use qbfsat -O2 instead of manually calling abc. 2020-07-01 19:51:47 +00:00
Alberto Gonzalez bc207d5426 glift: Change command names to better represent their functions. 2020-07-01 19:51:46 +00:00
Alberto Gonzalez ddfb9f08e2 glift: Add -create-imprecise command, rename other commands, and re-work the help text. 2020-07-01 19:51:46 +00:00
Alberto Gonzalez ca3844d44e glift: Add examples, including a number of benchmarks used in some academic works. 2020-07-01 19:51:46 +00:00