Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Commits · cpachecker-0.9
cpachecker
Browse files
May 14, 2010
add special properties so that Subclipse recognizes our branches & tags
· f57dd695
pwendler
authored
May 14, 2010
View commits for tag cpachecker-0.9
cpachecker-0.9
f57dd695
Dec 31, 2009
Traditional Sylvester Tag. Happy New Year!
· de36e698
dbeyer
authored
Dec 31, 2009
de36e698
Dec 30, 2009
improve error handling during creation of CPAConfiguration and LogManager (do...
· 04756534
pwendler
authored
Dec 30, 2009
04756534
Dec 27, 2009
fix small bug in MathsatSymbolicFormulaManager, this lets CPAchecker finally...
· 6e553e08
pwendler
authored
Dec 27, 2009
6e553e08
Dec 23, 2009
HowTo Restructured.
· 775587ec
dbeyer
authored
Dec 23, 2009
775587ec
Dec 22, 2009
small change in SymbPredAbsRefiner eliminating an unchecked cast when wrong...
· b0b2ea84
pwendler
authored
Dec 22, 2009
b0b2ea84
improve logging a little bit in symbpredabstraction
· 143f1bb8
pwendler
authored
Dec 22, 2009
143f1bb8
making indices of counterexample trace a lot clearer
· 955c17c4
pwendler
authored
Dec 22, 2009
955c17c4
Dec 21, 2009
nicer error messages on some occasions in PointerAnalysisTransferRelation
· 567604e4
pwendler
authored
Dec 21, 2009
567604e4
ignore fields and enums more thoroughly in PointerAnalysisCPA
· 0fbffba1
pwendler
authored
Dec 21, 2009
0fbffba1
Dec 20, 2009
simplifying mathsat_all_sat callback related code
· 26dff088
pwendler
authored
Dec 20, 2009
26dff088
use non-mathsat-specific methods in more places
· a0fb5cde
pwendler
authored
Dec 20, 2009
a0fb5cde
use more modern Collection types in a few places
· 3740130c
pwendler
authored
Dec 20, 2009
3740130c
move buildPredList from BDDMathsatAbstractFormulaManager to CommonFormulaManager
· c716c423
pwendler
authored
Dec 20, 2009
c716c423
Dec 19, 2009
separate mathsat-specific and non-mathsat-specific code into different classes
· b3566b1f
pwendler
authored
Dec 19, 2009
b3566b1f
add new method makeIfThenElse to SymbolicFormulaManager
· 2becb35d
pwendler
authored
Dec 19, 2009
2becb35d
add new method makeEquivalence to SymbolicFormulaManager
· 1368d6be
pwendler
authored
Dec 19, 2009
1368d6be
separate BDDMathsatAbstractFormulaManager from the AbstractFormulaManager (it...
· 20b82721
pwendler
authored
Dec 19, 2009
20b82721
Licenses and ReadMe-Entries for Libraries CUP and JFlex
· 5fb6c767
rhein
authored
Dec 19, 2009
5fb6c767
ObserverAutomatonAnalysis with one simple test
· bf052f4e
rhein
authored
Dec 19, 2009
bf052f4e
Dec 18, 2009
remove unnecessary indirection BDDAbstractFormula <-> int <->...
· 080f0b60
pwendler
authored
Dec 18, 2009
080f0b60
remove BDD specific knowledge from everything but the symbpredabstraction.bdd package
· df773701
pwendler
authored
Dec 18, 2009
df773701
change a lot of places from using BDD specific code to using non-specific...
· 31975cfb
pwendler
authored
Dec 18, 2009
31975cfb
Small change to log formatting to improve both human and machine readability.
· 362f63f3
endler
authored
Dec 18, 2009
362f63f3
introducing a BDDAbstractFormulaManager, hiding some details about the BDDs
· bec52a43
pwendler
authored
Dec 18, 2009
bec52a43
simplify UpdateablePredicateMap a little bit
· fc929bb6
pwendler
authored
Dec 18, 2009
fc929bb6
Dec 17, 2009
fix SymbPredAbsAbstractElement equals() and hashcode()
· f541e356
pwendler
authored
Dec 17, 2009
f541e356
fixing detection for the "not enough predicates" case during refinement (this...
· 13ddfe86
pwendler
authored
Dec 17, 2009
13ddfe86
check if main function is there
· 2d9bdef5
pwendler
authored
Dec 17, 2009
2d9bdef5
improved logging when building counterexample and refining
· 9f08de4e
pwendler
authored
Dec 17, 2009
9f08de4e
Dec 16, 2009
removing forgotten CEGAR log calls
· f87abe4c
pwendler
authored
Dec 16, 2009
f87abe4c
improving CEGAR logging
· af4fa1ec
pwendler
authored
Dec 16, 2009
af4fa1ec
improving ARTPrecision and CompositePrecision
· 9d9204e3
pwendler
authored
Dec 16, 2009
9d9204e3
better debug output for refinement
· be157335
pwendler
authored
Dec 16, 2009
be157335
remove some dependencies on Mathsat-specific types
· 66a4ad4b
pwendler
authored
Dec 16, 2009
66a4ad4b
Dec 15, 2009
Fixed two minor issues with TypesTransferRelation.
· 43296dfe
endler
authored
Dec 15, 2009
43296dfe
Dec 11, 2009
variable-sized LBE
· 5b0ca312
pwendler
authored
Dec 11, 2009
5b0ca312
more thorough check in SymbPredAbsCPA partial order
· 8ef0ea5e
pwendler
authored
Dec 11, 2009
8ef0ea5e
Findbugs in uninitvars.
· 9c93da6f
endler
authored
Dec 11, 2009
9c93da6f
Added possibility of excluding levels from being logged to console of file.
· b84862a0
endler
authored
Dec 11, 2009
b84862a0
Loading