Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-07-23 15:00:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
7,211 Commits 8 Branches 131 Tags
62799450031c54ca0a9a5e7f170d62dd63e8e00f
Commit Graph
5 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent ImbimboandAkim Demaille dcb6c972a2 cex: add tests 
* tests/counterexample.at: New.
 2020-05-22 07:52:27 +02:00
Vincent ImbimboandAkim Demaille af0441cfd2 cex: bind counterexample generation 
* src/complain.h, src/complain.c: Add support for -Wcounterexample.
* src/conflicts.c (report_counterexamples): New.
(rule_conflicts_print): Use it when -Wcounterexample is given.
* src/getargs.h, src/getargs.c: Add support for --trace=cex.
* src/main.c (main): Init and deinit counterexample generation.
 2020-05-22 07:52:27 +02:00
Vincent ImbimboandAkim Demaille bbb63b1ca9 cex: introduce counterexample search 
* src/counterexample.h, src/counterexample.c: New.
 2020-05-22 07:52:27 +02:00
Vincent ImbimboandAkim Demaille ac54d19eba cex: introduce the parse simulator 
* src/derivation.h, src/derivation.c,
* src/parse-simulation.h, src/parse-simulation.c: New.
 2020-05-22 07:52:27 +02:00
Vincent ImbimboandAkim Demaille 5807dd9279 cex: add support for state-item pair graph generation 
* src/lssi.h, src/lssi.c, src/state-item.h, src/state-item.c: New.
 2020-05-22 07:52:27 +02:00