Index of /trunk/examples/programs/loopAcceleration
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
loopAccelerationWerner/ 2018-01-26 15:45 -
loopAccelerationQvasr/ 2022-07-19 08:49 -
loopAccelerationMohr/ 2017-11-16 06:20 -
loopAccelerationFastUPR/ 2017-11-16 06:20 -
loopAccelerationBB/ 2018-01-12 15:21 -
array/ 2023-10-31 23:12 -
![[TXT]](/icons/text.gif)
unsafeLoop.bpl 2017-11-16 06:20 174
twoLoops.bpl 2017-11-16 06:20 374
TryingJordan.bpl 2021-04-29 12:23 178
simpleLoopCountDown.bpl 2017-11-16 06:20 204
simpleLoop.bpl 2017-11-16 06:20 172
similarSimultaneousUpdate.bpl 2021-05-02 11:39 399
ReadonlyNonlinear.bpl 2021-05-02 11:39 528
overapproximation.bpl 2017-11-16 06:20 294
noOrEndlessLoop4Vars.bpl 2021-04-29 12:23 209
loopWithUnreachableBranch.bpl 2017-11-16 06:20 240
loopWithRemainingQuantifiers.bpl 2017-11-16 06:20 279
loopWithNondeterministicBranch.bpl 2017-11-16 06:20 254
loopWithConstantAssignment.bpl 2017-11-16 06:20 238
loopWithBreak.bpl 2021-02-19 15:38 194
loopWithAssertion.bpl 2017-11-16 06:20 168
loopAccelerationAbstractPathConditions.bpl 2017-11-16 06:20 385
Jordan40HavocEachIteration.bpl 2022-12-23 23:27 228
Jordan38OscillateBool.bpl 2022-12-23 23:27 258
Jordan37SwapIncreaseAndPropagate.bpl 2022-12-23 23:27 601
Jordan36SwapAndPropagate.bpl 2022-12-23 23:27 373
Jordan35PropagateHavocFour.bpl 2022-12-23 23:27 482
Jordan34PropagateVariableFour.bpl 2022-12-23 23:27 524
Jordan33PropagateLiteralThree.bpl 2022-12-23 23:27 309
Jordan32PropagateHavocTwo.bpl 2022-12-23 23:27 273
Jordan31PropagateVariableTwo.bpl 2022-12-23 23:27 283
Jordan30PropagateLiteralTwo.bpl 2022-12-23 23:27 277
Jordan29BugTerminatorAmir.bpl 2022-10-15 15:54 342
Jordan28Size4OneBlock.bpl 2022-10-15 15:54 291
Jordan27Size3MoneBlock.bpl 2022-10-15 15:54 288
Jordan26Size2MoneBlock.bpl 2022-10-31 20:08 458
Jordan25SwapAndOscilate.bpl 2022-09-19 21:43 266
Jordan24SwapFour.bpl 2022-09-19 21:43 293
Jordan23SwapThree.bpl 2022-09-19 21:43 263
Jordan22SwapTwo.bpl 2022-09-19 21:43 233
Jordan21OscillateAndIncrease.bpl 2022-09-19 21:43 264
Jordan20OscillateAndIncreaseIdependently.bpl 2022-10-31 20:08 299
Jordan19Oscillate.bpl 2022-10-31 20:08 227
Jordan18SimultaneousDecrease.bpl 2022-10-31 20:08 321
Jordan17LargeNumbers.bpl 2022-10-31 20:08 235
Jordan11IncreaseStepUnsafe.bpl 2022-10-31 20:08 245
Jordan10IncreaseStepSafe.bpl 2022-10-31 20:08 247
infiniteLoop.bpl 2017-11-16 06:20 168
increase1varDecrease1var.bpl 2021-04-29 12:23 170
HavocInLoopInt.bpl 2021-04-29 12:23 223
HavocInLoopBool.bpl 2021-04-29 12:23 231
havocAndDecrese2vars.bpl 2021-04-29 12:23 170
gotoLoop.bpl 2017-11-16 06:20 204
Gauss.bpl 2022-10-31 20:08 293
ExponentialGrowth.bpl 2021-04-29 12:23 227
emptyLoop-bug-stackoverflow.bpl 2017-11-16 06:20 422
emptyLoop-bug-npe.bpl 2017-11-16 06:20 204
decrease1var.bpl 2021-04-29 12:23 148
ArrayRead03.bpl 2021-05-02 11:39 339
ArrayRead02.bpl 2021-05-02 11:39 317
ArrayRead01.bpl 2021-05-02 11:39 296
ambigousLoopEntry.bpl 2017-11-16 06:20 175
AmazonResearchAward.bpl 2021-11-18 10:43 339
addNotUpdatedVar.bpl 2021-04-29 12:23 155
2020TACAS-Frohn-NonDec.bpl 2021-04-29 12:23 554
2020TACAS-Frohn-2Invs.bpl 2021-04-29 12:23 345