mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-12-04 02:56:45 +00:00
Code Activity
14545 commits 130 branches 62 tags 57 MiB
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