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