mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 11:42:30 +00:00
Code Activity
yosys/examples/smtbmc/glift
History
Exact
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
..
alu2.v glift: Add examples, including a number of benchmarks used in some academic works. 2020-07-01 19:51:46 +00:00
alu2.ys glift: Use qbfsat -O2 instead of manually calling abc. 2020-07-01 19:51:47 +00:00
alu4.v glift: Add examples, including a number of benchmarks used in some academic works. 2020-07-01 19:51:46 +00:00
alu4.ys glift: Use qbfsat -O2 instead of manually calling abc. 2020-07-01 19:51:47 +00:00
C880.v glift: Add examples, including a number of benchmarks used in some academic works. 2020-07-01 19:51:46 +00:00
C880.ys glift: Use qbfsat -O2 instead of manually calling abc. 2020-07-01 19:51:47 +00:00
C7552.v glift: Add examples, including a number of benchmarks used in some academic works. 2020-07-01 19:51:46 +00:00
C7552.ys glift: Use qbfsat -O2 instead of manually calling abc. 2020-07-01 19:51:47 +00:00
mux2.ys Tests: Prefer single quotes for regex 2025-10-06 14:22:33 +13:00
t481.v glift: Add examples, including a number of benchmarks used in some academic works. 2020-07-01 19:51:46 +00:00
t481.ys glift: Use qbfsat -O2 instead of manually calling abc. 2020-07-01 19:51:47 +00:00
too_large.v glift: Add examples, including a number of benchmarks used in some academic works. 2020-07-01 19:51:46 +00:00
too_large.ys glift: Use qbfsat -O2 instead of manually calling abc. 2020-07-01 19:51:47 +00:00
ttt2.v glift: Add examples, including a number of benchmarks used in some academic works. 2020-07-01 19:51:46 +00:00
ttt2.ys glift: Use qbfsat -O2 instead of manually calling abc. 2020-07-01 19:51:47 +00:00
x1.v glift: Add examples, including a number of benchmarks used in some academic works. 2020-07-01 19:51:46 +00:00
x1.ys glift: Use qbfsat -O2 instead of manually calling abc. 2020-07-01 19:51:47 +00:00