| .. |
|
ArraySlicePredicate.cpp
|
Add std:: qualifier to move() calls
|
2022-08-30 11:12:15 +02:00 |
|
ArraySlicePredicate.h
|
|
|
|
BMC.cpp
|
Allow running Eldarica from the command line
|
2022-11-22 21:16:45 +01:00 |
|
BMC.h
|
Allow running Eldarica from the command line
|
2022-11-22 21:16:45 +01:00 |
|
CHC.cpp
|
Fix internal error when the abstract-nondet SMTChecker natspec annotation is used with a wrong option multiple times for the same function
|
2022-11-28 16:59:35 +01:00 |
|
CHC.h
|
Allow running Eldarica from the command line
|
2022-11-22 21:16:45 +01:00 |
|
EncodingContext.cpp
|
Add std:: qualifier to move() calls
|
2022-08-30 11:12:15 +02:00 |
|
EncodingContext.h
|
Add std:: qualifier to move() calls
|
2022-08-30 11:12:15 +02:00 |
|
ExpressionFormatter.cpp
|
|
|
|
ExpressionFormatter.h
|
|
|
|
Invariants.cpp
|
Add std:: qualifier to move() calls
|
2022-08-30 11:12:15 +02:00 |
|
Invariants.h
|
|
|
|
ModelChecker.cpp
|
Allow running Eldarica from the command line
|
2022-11-22 21:16:45 +01:00 |
|
ModelChecker.h
|
Allow running Eldarica from the command line
|
2022-11-22 21:16:45 +01:00 |
|
ModelCheckerSettings.cpp
|
Add errorCode list to invariants report
|
2021-10-26 11:30:30 +02:00 |
|
ModelCheckerSettings.h
|
Allow running Eldarica from the command line
|
2022-11-22 21:16:45 +01:00 |
|
Predicate.cpp
|
Add std:: qualifier to move() calls
|
2022-08-30 11:12:15 +02:00 |
|
Predicate.h
|
|
|
|
PredicateInstance.cpp
|
|
|
|
PredicateInstance.h
|
|
|
|
PredicateSort.cpp
|
|
|
|
PredicateSort.h
|
|
|
|
SMTEncoder.cpp
|
Consistent terminology for attached/bound functions
|
2022-12-07 19:31:41 +01:00 |
|
SMTEncoder.h
|
Consistent terminology for attached/bound functions
|
2022-12-07 19:31:41 +01:00 |
|
SSAVariable.cpp
|
|
|
|
SSAVariable.h
|
|
|
|
SymbolicState.cpp
|
Add std:: qualifier to move() calls
|
2022-08-30 11:12:15 +02:00 |
|
SymbolicState.h
|
|
|
|
SymbolicTypes.cpp
|
Fix internal error when using user defined value types as mapping indices or struct members.
|
2022-11-29 13:04:01 +01:00 |
|
SymbolicTypes.h
|
|
|
|
SymbolicVariables.cpp
|
Add std:: qualifier to move() calls
|
2022-08-30 11:12:15 +02:00 |
|
SymbolicVariables.h
|
|
|
|
VariableUsage.cpp
|
|
|
|
VariableUsage.h
|
|
|
