Skip to content

A
abc
Switch branch/tag
Find file
Normal viewHistoryPermalink
module.make 503 Bytes
Newer Older
User-controlable SAT sweeper and other small changes.
a27a7bc8
 
Alan Mishchenko committed
1 
SRC +=    src/sat/bmc/bmcBmc.c \
Isolating BMC code into a separate package.
be7a4e42
 
Alan Mishchenko committed
2 3 
    src/sat/bmc/bmcBmc2.c \
    src/sat/bmc/bmcBmc3.c \
Updates for the new BMC engine.
e9d04664
 
Alan Mishchenko committed
4 
    src/sat/bmc/bmcBmcAnd.c \
Experiments with recent ideas.
c86a13f0
 
Alan Mishchenko committed
5 
    src/sat/bmc/bmcBmci.c \
Isolating BMC code into a separate package.
be7a4e42
 
Alan Mishchenko committed
6 
    src/sat/bmc/bmcCexCut.c \
Counter-example depth minimization.
28e065b0
 
Alan Mishchenko committed
7 
    src/sat/bmc/bmcCexDepth.c \
Isolating BMC code into a separate package.
be7a4e42
 
Alan Mishchenko committed
8 
    src/sat/bmc/bmcCexMin1.c \
Counter-example analysis and optimization.
66126598
 
Alan Mishchenko committed
9 
    src/sat/bmc/bmcCexMin2.c \
New unrolling manager.
e1a5556e
 
Alan Mishchenko committed
10 
    src/sat/bmc/bmcCexTools.c \
Experiments with delay fault testing.
b541201d
 
Alan Mishchenko committed
11 
    src/sat/bmc/bmcFault.c \
Specialized induction check.
f620a857
 
Alan Mishchenko committed
12 
    src/sat/bmc/bmcICheck.c \
Experiments with recent ideas.
c86a13f0
 
Alan Mishchenko committed
13 
    src/sat/bmc/bmcInse.c \
SAT solver with dynamic CNF loading.
da60781c
 
Alan Mishchenko committed
14 
    src/sat/bmc/bmcLoad.c \
Experiments with recent ideas.
c86a13f0
 
Alan Mishchenko committed
15 
    src/sat/bmc/bmcMaxi.c \
Multi-output property solver.
47afd0f4
 
Alan Mishchenko committed
16 
    src/sat/bmc/bmcMulti.c \
New unrolling manager.
e1a5556e
 
Alan Mishchenko committed
17 
    src/sat/bmc/bmcUnroll.c