yosys

mirror of https://github.com/YosysHQ/yosys.git

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