| .. |
|
cec.c
|
Removed unused files from the project.
|
2012-07-25 12:42:25 -07:00 |
|
cec.h
|
Adding switch to stop scorr if refinement is too slow.
|
2022-04-24 08:53:57 -07:00 |
|
cecCec.c
|
Experiments with word-level data structures.
|
2022-03-06 00:09:35 -08:00 |
|
cecChoice.c
|
Upgrading choice computation.
|
2021-07-31 15:34:46 -07:00 |
|
cecClass.c
|
Making &cec use precomputed simulation info.
|
2020-08-12 19:32:42 -07:00 |
|
cecCore.c
|
Adding solver type in &sat.
|
2020-12-16 22:04:06 -08:00 |
|
cecCorr.c
|
Removing equivalence classes when they are not properly refined.
|
2022-04-27 20:54:04 -07:00 |
|
cecInt.h
|
Adding solver type in &sat.
|
2020-12-16 22:04:06 -08:00 |
|
cecIso.c
|
Silencing some of the gcc warnings.
|
2012-02-17 00:06:39 -08:00 |
|
cecMan.c
|
Adding switch &cec -w to print SAT solver stats.
|
2020-09-06 23:15:21 -07:00 |
|
cecPat.c
|
Enabling circuit solver in &fraig.
|
2014-08-12 18:54:43 -07:00 |
|
cecSat.c
|
Cleanup of SAT sweeping code.
|
2019-06-30 14:07:14 +03:00 |
|
cecSatG.c
|
Profiling quantification and other changes.
|
2017-11-06 22:08:54 -08:00 |
|
cecSatG2.c
|
Various changes.
|
2021-10-06 17:14:57 -07:00 |
|
cecSatG3.c
|
Adding new switch to &cec.
|
2022-05-20 12:53:12 -07:00 |
|
cecSeq.c
|
Adding switch &w -n to modify the comment section of the AIGER file written.
|
2018-11-21 13:12:01 -08:00 |
|
cecSim.c
|
Several changes for standard mapping.
|
2021-04-28 00:11:02 -07:00 |
|
cecSimBack.c
|
Experiments with simulation.
|
2017-02-14 20:26:43 -08:00 |
|
cecSolve.c
|
Adding switch to replace proved outputs by const0.
|
2020-12-16 00:06:31 -08:00 |
|
cecSolveG.c
|
Move CI to GitHub Actions.
|
2022-01-22 18:34:43 +02:00 |
|
cecSplit.c
|
Compilation problem with pow().
|
2018-02-19 09:07:44 -08:00 |
|
cecSweep.c
|
Experiments with SAT sweeping.
|
2020-11-09 13:24:07 -08:00 |
|
cecSynth.c
|
Adding switch &w -n to modify the comment section of the AIGER file written.
|
2018-11-21 13:12:01 -08:00 |
|
module.make
|
Experiments with SAT sweeping.
|
2022-04-24 09:29:52 -07:00 |
4f7bf91003