7 Commits

Author	SHA1	Message	Date
Miodrag Milanovic	a689342207	Remove trailing whitespaces	2026-06-23 07:24:59 +02:00
Miodrag Milanovic	3ac58b3ac1	Fixed line endings	2026-06-23 07:17:22 +02:00
Miodrag Milanovic	f362e1db0e	Remove executable flag from .v files	2026-06-23 07:12:43 +02:00
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