5 Commits

Author	SHA1	Message	Date
Krystine Sherwin	1248af1e02	Tests: Prefer single quotes for regex ... Replaces double quotes on problematic regex strings (mostly ones that have escape sequences that are easier to preserve in single quotes). Necessitates also changing single quotes to `.`, i.e match any. For some (mostly ones that only have a single escaped character, or were using `\.` to match a literal fullstop) keep the double quotes and fix the regex instead.	2025-10-06 14:22:33 +13: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