Commits · cpachecker-0.9 · SoSy-Lab / Software / CPAchecker · GitLab

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