sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
2211 Commits
2 Branches
0 Tags
187 MiB
 
 
 
 
Tree: 15b97057dd
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '15b97057dd'
${ noResults }
tempest/src/logic
dehnert 15b97057dd
silenced some warnings within boost (new clang version) and fixed an unused variable issue 		10 years ago
..
AtomicExpressionFormula.cpp Some work on cli. 10 years ago
AtomicExpressionFormula.h Some work on cli. 10 years ago
AtomicLabelFormula.cpp Some work on cli. 10 years ago
AtomicLabelFormula.h Some work on cli. 10 years ago
BinaryBooleanStateFormula.cpp Fixed a lot of tests, improved some things here and there. 10 years ago
BinaryBooleanStateFormula.h Fixed a lot of tests, improved some things here and there. 10 years ago
BinaryPathFormula.cpp more work on new reward models 10 years ago
BinaryPathFormula.h performance tests now compile again. also fixed some warnings 10 years ago
BinaryStateFormula.cpp more work on new reward models 10 years ago
BinaryStateFormula.h performance tests now compile again. also fixed some warnings 10 years ago
BooleanLiteralFormula.cpp MDP model checker works again. 10 years ago
BooleanLiteralFormula.h MDP model checker works again. 10 years ago
BoundInfo.h only one optimization direction enum -- towards integration of termination criterions on the model checker 10 years ago
BoundedUntilFormula.cpp Finalized hybrid DTMC model checker. It now passes its tests. 10 years ago
BoundedUntilFormula.h Finalized hybrid DTMC model checker. It now passes its tests. 10 years ago
ComparisonType.cpp Removed many superfluous includes, added some source files -- towards faster compilation 10 years ago
ComparisonType.h logic::comparisontype operations 10 years ago
ConditionalPathFormula.cpp Adapted first model checker to the new properties. 10 years ago
ConditionalPathFormula.h Adapted first model checker to the new properties. 10 years ago
CumulativeRewardFormula.cpp Started working on reward properties for CTMCs. 10 years ago
CumulativeRewardFormula.h Started working on reward properties for CTMCs. 10 years ago
EventuallyFormula.cpp Adapted first model checker to the new properties. 10 years ago
EventuallyFormula.h Adapted first model checker to the new properties. 10 years ago
ExpectedTimeOperatorFormula.cpp only one optimization direction enum -- towards integration of termination criterions on the model checker 10 years ago
ExpectedTimeOperatorFormula.h only one optimization direction enum -- towards integration of termination criterions on the model checker 10 years ago
Formula.cpp Formula to string added 10 years ago
Formula.h Formula to string added 10 years ago
Formulas.h only one optimization direction enum -- towards integration of termination criterions on the model checker 10 years ago
GloballyFormula.cpp Adapted first model checker to the new properties. 10 years ago
GloballyFormula.h Adapted first model checker to the new properties. 10 years ago
InstantaneousRewardFormula.cpp Started working on reward properties for CTMCs. 10 years ago
InstantaneousRewardFormula.h Started working on reward properties for CTMCs. 10 years ago
LongRunAverageOperatorFormula.cpp only one optimization direction enum -- towards integration of termination criterions on the model checker 10 years ago
LongRunAverageOperatorFormula.h only one optimization direction enum -- towards integration of termination criterions on the model checker 10 years ago
NextFormula.cpp Worked on making bisimulation decomposition a bit easier to use. 10 years ago
NextFormula.h Worked on making bisimulation decomposition a bit easier to use. 10 years ago
OperatorFormula.cpp only one optimization direction enum -- towards integration of termination criterions on the model checker 10 years ago
OperatorFormula.h only one optimization direction enum -- towards integration of termination criterions on the model checker 10 years ago
PathFormula.cpp More work on logic classes. 10 years ago
PathFormula.h More work on logic classes. 10 years ago
ProbabilityOperatorFormula.cpp only one optimization direction enum -- towards integration of termination criterions on the model checker 10 years ago
ProbabilityOperatorFormula.h only one optimization direction enum -- towards integration of termination criterions on the model checker 10 years ago
ReachabilityRewardFormula.cpp Some work on cli. 10 years ago
ReachabilityRewardFormula.h Removed many superfluous includes, added some source files -- towards faster compilation 10 years ago
RewardOperatorFormula.cpp only one optimization direction enum -- towards integration of termination criterions on the model checker 10 years ago
RewardOperatorFormula.h only one optimization direction enum -- towards integration of termination criterions on the model checker 10 years ago
RewardPathFormula.cpp Adapted first model checker to the new properties. 10 years ago
RewardPathFormula.h Adapted first model checker to the new properties. 10 years ago
StateFormula.cpp More work on logic classes. 10 years ago
StateFormula.h More work on logic classes. 10 years ago
UnaryBooleanStateFormula.cpp Fixed a lot of tests, improved some things here and there. 10 years ago
UnaryBooleanStateFormula.h Fixed a lot of tests, improved some things here and there. 10 years ago
UnaryPathFormula.cpp more work on new reward models 10 years ago
UnaryPathFormula.h performance tests now compile again. also fixed some warnings 10 years ago
UnaryStateFormula.cpp more work on new reward models 10 years ago
UnaryStateFormula.h performance tests now compile again. also fixed some warnings 10 years ago
UntilFormula.cpp Adapted first model checker to the new properties. 10 years ago
UntilFormula.h Adapted first model checker to the new properties. 10 years ago