Index of /trunk/examples/toolchains
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
Empty.xml 2021-02-19 15:38 93
BoogiePrettyPrinter.xml 2022-03-18 10:58 160
ChcSolver.xml 2023-06-01 16:08 165
TreeAutomizer.xml 2017-11-16 06:20 184
CTranslationOnly.xml 2017-11-16 06:20 190
AutomataScriptInterpreter.xml 2016-09-06 13:51 193
![[ ]](/icons/script.gif)
CheckC11WithGcc.sh 2015-10-08 03:44 238
BplInline_BplPrinter.xml 2018-12-17 10:42 240
SpaceExParser.xml 2017-11-16 06:20 241
SpaceExParserWithTA.xml 2017-11-16 06:20 242
BoogiePreprocessing.xml 2017-11-16 06:20 252
CTranslationAndBoogiePrinter.xml 2016-09-06 13:51 258
C-BPP.xml 2018-02-12 10:06 262
CTranslationAndBoogiePreprocessor.xml 2021-11-18 10:43 262
Chainsaw.xml 2021-02-19 15:38 275
ReImpactRcfg.xml 2016-09-06 13:51 276
AutomataScriptInterpreterWithJung.xml 2016-09-06 13:51 278
RankSynthesizer.xml 2016-09-06 13:51 284
ChcToBoogieAndBoogiePrinter.xml 2018-05-29 20:16 310
LazyAbstraction.xml 2016-09-06 13:51 313
ErrorLocationGenerator.xml 2016-09-06 13:51 319
cookiefyToolchain.xml 2021-02-19 15:38 327
RefereeBpl.xml 2018-06-05 10:13 329
IcfgTransformer.xml 2017-11-16 06:20 331
LassoRanker.xml 2016-09-06 13:51 332
HA_SafetyChecker.xml 2016-09-06 13:51 333
BuchiAutomizerBpl.xml 2016-09-06 13:51 336
AutomizerBpl.xml 2016-09-06 13:51 338
AutomizerJava.xml 2016-09-06 13:51 338
C-BIN-BPP.xml 2018-11-27 10:40 338
PreprocessingC.xml 2016-09-07 14:48 340
SafetyChecker-Console.xml 2021-02-19 15:38 341
C-BPP-RCFG.xml 2018-02-12 10:06 344
CTranslationTest.xml 2017-11-16 17:16 344
CheckedCTranslation.xml 2018-06-13 14:06 345
TraceAbstractionWithAFA.xml 2021-02-19 15:38 346
LazyAbstractionOnCFG-Console.xml 2016-09-06 13:51 349
IRSDependenciesTestBoogie.xml 2016-09-06 13:51 350
AbstractInterpretation.xml 2021-02-19 15:38 362
Sifa.xml 2021-02-19 15:38 365
Chainsaw-C.xml 2021-02-19 15:38 368
ReImpactRcfg-C.xml 2016-09-06 13:51 369
SafetyChecker.xml 2016-09-06 13:51 375
RankSynthesizerC.xml 2016-09-06 13:51 379
LazyAbstractionOnCFG.xml 2016-09-06 13:51 383
BoogieToChcPrinter.xml 2021-02-19 15:38 384
IRSDependenciesBoogie.xml 2016-09-06 13:51 405
Kojak.xml 2021-02-19 15:38 405
KojakBEV2.xml 2017-11-16 06:20 405
KojakCHC.xml 2018-05-30 23:31 405
IcfgTransformerInline.xml 2018-03-14 14:12 407
KojakBplInline.xml 2018-09-23 16:25 407
LtlTranslationC.xml 2016-09-06 13:51 407
AutomizerCHC.xml 2018-05-29 20:16 410
IRSDependenciesTest.xml 2016-09-06 13:51 410
BuchiAutomizerBplWithBlockEncoding.xml 2017-11-16 06:20 411
IRSDependenciesC.xml 2016-09-06 13:51 411
SyntaxcheckCtranslationBoogieprinterPreprocessor.xml 2021-02-19 15:38 411
BuchiAutomizerBplInline.xml 2016-09-06 13:51 412
InvariantSynthesisBplInline.xml 2017-11-16 06:20 412
AutomizerBplInline.xml 2016-09-06 13:51 414
AutomizerBplWithBlockEncoding.xml 2017-11-16 06:20 416
CTranslationBETest.xml 2017-11-16 06:20 418
C-BIN-BPP-RCFG.xml 2018-11-23 13:31 420
AbstractInterpretationInline.xml 2016-09-06 13:51 421
RefereeC.xml 2023-07-24 13:39 421
AutomizerBplModSet.xml 2017-11-16 06:20 423
AutomizerBplWithJung.xml 2016-09-06 13:51 423
IcfgTransformerC.xml 2017-11-16 06:20 424
ImpulseNoBE-C.xml 2021-02-19 15:38 424
LassoRankerC.xml 2016-09-06 13:51 425
ReachDefBoogieJung.xml 2016-09-06 13:51 426
AutomizerBplTransformed.xml 2017-11-16 06:20 429
BuchiAutomizerC.xml 2016-09-06 13:51 429
AutomizerC.xml 2016-09-06 13:51 431
PreprocessingCWithBE.xml 2017-11-16 06:20 435
AbstractInterpretationC.xml 2021-02-19 15:38 441
SifaC.xml 2021-02-19 15:38 454
SafetyChecker-C.xml 2016-09-06 13:51 468
BoogieToChcToTreeAutomizer.xml 2021-02-19 15:38 469
ReqCheck.xml 2021-02-19 15:38 469
LazyAbstractionOnCFG-C.xml 2016-09-06 13:51 476
AutomizerCHC_wBoogiePrinter.xml 2018-05-29 20:16 478
CToBoogieToChcPrinter.xml 2021-02-19 15:38 478
ReqCheckFailurePathGeneration.xml 2021-02-19 15:38 479
LTL_BPP_C.xml 2017-11-16 06:20 481
BuchiAutomizerBplInlineWithBlockEncoding.xml 2017-11-16 06:20 487
AutomizerCHC_wBE.xml 2018-06-23 12:35 488
AutomizerBplInlineWithBlockEncoding.xml 2017-11-16 06:20 489
IcfgTransformerC_BPrinter.xml 2018-01-10 10:39 491
BuchiAutomizerC_WitnessPrinter.xml 2017-11-16 06:20 496
BuchiAutomizerJoogieWithBlockEncoding.xml 2017-11-16 06:20 497
RefereeCInline.xml 2018-06-20 13:06 497
RefereeCInline_IcfgBuilder.xml 2024-11-21 13:59 497
AutomizerC_withBoogiePrinter.xml 2017-11-16 06:20 498
AutomizerC_WitnessPrinter.xml 2016-09-06 13:51 498
ImpulseWithBE-C.xml 2021-02-19 15:38 498
KojakCNoInlining.xml 2021-02-19 15:38 498
KojakCNoInliningBEV2.xml 2017-11-16 06:20 498
LassoRankerCBEv2.xml 2017-11-16 06:20 499
IcfgTransformerCInline.xml 2018-01-10 10:39 500
KojakC.xml 2018-09-14 15:32 500
BuchiAutomizerCWithBlockEncoding.xml 2017-11-16 06:20 504
BuchiAutomizerCInline.xml 2016-09-06 13:51 505
InvariantSynthesisCInline.xml 2017-11-16 06:20 505
AutomizerCInline.xml 2016-09-06 13:51 507
AutomizerCInline_IcfgBuilder.xml 2024-11-21 13:59 507
AutomizerBplInlineTransformed.xml 2021-02-19 15:38 508
AutomizerC_WithHeapSeparation.xml 2017-11-16 06:20 510
AutomizerCTransformed.xml 2018-01-28 20:43 510
AutomizerCWithBlockEncoding.xml 2017-11-16 06:20 511
AutomizerCWithJung.xml 2016-09-06 13:51 516
AutomizerCWithTAWithJung.xml 2016-09-06 13:51 516
AbstractInterpretationCInline.xml 2016-09-06 13:51 517
AutomizerAndBuchiAutomizerC.xml 2016-09-07 14:48 525
AutomizerBplTransformedJung.xml 2017-11-16 06:20 536
DeadCodeChecker.xml 2021-02-19 15:38 540
LTLAutomizer.xml 2021-02-19 15:38 550
CToToChcInline.xml 2021-02-19 15:38 561
CToBoogieToChcToTreeAutomizer.xml 2021-02-19 15:38 563
AutomizerCInline_WitnessPrinter.xml 2024-10-12 21:50 566
IcfgTransformerCInline_BPrinter.xml 2018-01-10 10:39 567
AutomizerBplInlineTransformedBlockencoded.xml 2017-11-16 06:20 568
KojakC_WitnessPrinter.xml 2018-09-14 15:32 568
LTLAutomizerCNoBE.xml 2017-11-16 06:20 568
BuchiAutomizerCInline_WitnessPrinter.xml 2017-11-16 06:20 573
KojakCBEV2.xml 2017-11-16 06:20 574
AutomizerC_WithBPrinterAndHeapSep.xml 2017-11-16 06:20 577
BuchiAutomizerCInlineWithBlockEncoding.xml 2017-11-16 06:20 580
AutomizerCInlineWithBlockEncoding.xml 2017-11-16 06:20 582
BuchiAutomizerCTransformedBlockencoded.xml 2017-11-16 06:20 583
AutomizerCInlineTransformed.xml 2017-11-16 06:20 586
AutomizerAndBuchiAutomizerCWithBlockEncoding.xml 2017-11-16 06:20 591
AutomizerC_BE_WitnessPrinter.xml 2017-11-21 08:30 626
LTLAutomizerC.xml 2017-11-16 06:20 643
BuchiAutomizerCInline_BE_WitnessPrinter.xml 2017-11-21 08:30 651
AutomizerCInlineBlockencodedTransformed.xml 2021-05-02 11:39 661
AutomizerCInlineTransformedBlockencoded.xml 2017-11-16 06:20 661
KojakAIC.xml 2021-02-19 15:38 669
AutomizerAndBuchiAutomizerCInlineWithBlockEncoding.xml 2017-11-16 06:20 710
LTLAutomizerCInline.xml 2017-11-16 06:20 719
CToBoogieToChcToUnihorn.xml 2021-02-19 15:38 795
BuchiAutomizerBenchmarkParser.py 2015-10-08 03:44 2.3K
RankingFunctionsTest.sh 2015-10-08 03:44 3.6K
LassoRankerTest.sh 2015-10-08 03:44 3.8K
AutomataScriptTestDir.sh 2015-10-08 03:44 4.2K
AutomizerTestDir.sh 2022-11-07 17:04 16K
TestMatthias.sh 2015-10-08 03:44 25K