├── .ci └── install_z3.sh ├── .gitignore ├── .jvmopts ├── .travis.yml ├── Dockerfile ├── LICENSE ├── README.md ├── application.conf ├── cav21-artifact ├── gen-table-all.py └── stats_all.csv ├── certification.md ├── certify-benchmarks ├── evaluation.py ├── examples ├── 123.sus ├── append.syn ├── insertion-sort.syn ├── listcopy.syn ├── listfree.syn ├── listmorph.syn ├── max.syn ├── mkacc.syn ├── predicates.def ├── srtl-insert.syn ├── swap.syn ├── tree-flatten-acc.syn ├── tree-flatten.syn └── treefree.syn ├── gen-table.py ├── misc ├── SuSlik_logo_64x64.png ├── robosuslik-logo.png ├── suslik-logo-200.png ├── suslik-logo-small.png └── suslik-logo.png ├── mode-suslik.js ├── obsolete └── ROADMAP.md ├── package.json ├── project └── assembly.sbt ├── src ├── main │ └── scala │ │ └── org │ │ └── tygus │ │ └── suslik │ │ ├── LanguageUtils.scala │ │ ├── SSLException.scala │ │ ├── certification │ │ ├── CertTree.scala │ │ ├── Certificate.scala │ │ ├── CertificationBenchmarks.scala │ │ ├── CertificationTarget.scala │ │ ├── Predicate.scala │ │ ├── source │ │ │ ├── SuslikPrinter.scala │ │ │ └── SuslikProofStep.scala │ │ ├── targets │ │ │ ├── htt │ │ │ │ ├── HTT.scala │ │ │ │ ├── HTTCertificate.scala │ │ │ │ ├── language │ │ │ │ │ ├── Expressions.scala │ │ │ │ │ ├── PrettyPrinting.scala │ │ │ │ │ ├── Types.scala │ │ │ │ │ └── package.scala │ │ │ │ ├── logic │ │ │ │ │ ├── Hint.scala │ │ │ │ │ ├── Proof.scala │ │ │ │ │ ├── ProofPrinter.scala │ │ │ │ │ └── Sentences.scala │ │ │ │ ├── program │ │ │ │ │ ├── Program.scala │ │ │ │ │ ├── ProgramPrinter.scala │ │ │ │ │ └── Statements.scala │ │ │ │ └── translation │ │ │ │ │ ├── HTTTranslator.scala │ │ │ │ │ ├── ProgramContext.scala │ │ │ │ │ ├── ProgramEvaluator.scala │ │ │ │ │ ├── ProgramInterpreter.scala │ │ │ │ │ ├── ProofContext.scala │ │ │ │ │ ├── ProofEvaluator.scala │ │ │ │ │ ├── ProofInterpreter.scala │ │ │ │ │ ├── TranslatableOps.scala │ │ │ │ │ └── Translation.scala │ │ │ ├── iris │ │ │ │ ├── Iris.scala │ │ │ │ ├── IrisCertificate.scala │ │ │ │ ├── heaplang │ │ │ │ │ ├── Expressions.scala │ │ │ │ │ └── Types.scala │ │ │ │ ├── logic │ │ │ │ │ ├── Assertions.scala │ │ │ │ │ └── IProofStep.scala │ │ │ │ └── translation │ │ │ │ │ ├── IrisTranslator.scala │ │ │ │ │ ├── ProgramInterpreter.scala │ │ │ │ │ ├── ProgramPrinter.scala │ │ │ │ │ ├── ProofInterpreter.scala │ │ │ │ │ ├── TranslatableOps.scala │ │ │ │ │ └── Translation.scala │ │ │ └── vst │ │ │ │ ├── Types.scala │ │ │ │ ├── VST.scala │ │ │ │ ├── VSTCertificate.scala │ │ │ │ ├── clang │ │ │ │ └── Statements.scala │ │ │ │ ├── logic │ │ │ │ ├── Expressions.scala │ │ │ │ ├── Formulae.scala │ │ │ │ ├── Proof.scala │ │ │ │ ├── ProofTerms.scala │ │ │ │ └── VSTProofStep.scala │ │ │ │ └── translation │ │ │ │ ├── ProofSpecTranslation.scala │ │ │ │ ├── Translation.scala │ │ │ │ ├── VSTProgramInterpreter.scala │ │ │ │ └── VSTProofInterpreter.scala │ │ ├── translation │ │ │ ├── GenericPredicate.scala │ │ │ └── PredicateTranslation.scala │ │ └── traversal │ │ │ ├── BasicEvaluator.scala │ │ │ ├── Evaluator.scala │ │ │ ├── Interpreter.scala │ │ │ ├── ProofTree.scala │ │ │ ├── ProofTreePrinter.scala │ │ │ ├── StackEvaluator.scala │ │ │ ├── Step.scala │ │ │ ├── TranslatableOps.scala │ │ │ └── TreeVisitor.scala │ │ ├── language │ │ ├── Expressions.scala │ │ ├── HasExpressions.scala │ │ ├── PrettyPrinting.scala │ │ ├── Statements.scala │ │ ├── Types.scala │ │ └── package.scala │ │ ├── logic │ │ ├── Declarations.scala │ │ ├── Preprocessor.scala │ │ ├── PureFormulas.scala │ │ ├── PureLogicUtils.scala │ │ ├── SepLogicUtils.scala │ │ ├── SpatialFormulas.scala │ │ ├── Specifications.scala │ │ ├── package.scala │ │ ├── smt │ │ │ ├── CyclicProofChecker.scala │ │ │ ├── GHCiWrapper.scala │ │ │ ├── SMTSolving.scala │ │ │ └── package.scala │ │ └── unification │ │ │ ├── PureUnification.scala │ │ │ └── SpatialUnification.scala │ │ ├── parsing │ │ ├── SSLLexical.scala │ │ └── SSLParser.scala │ │ ├── report │ │ ├── Log.scala │ │ ├── ProofTrace.scala │ │ ├── StopWatch.scala │ │ └── Table.scala │ │ ├── synthesis │ │ ├── Memoization.scala │ │ ├── SearchTree.scala │ │ ├── StmtProducer.scala │ │ ├── SynConfig.scala │ │ ├── Synthesis.scala │ │ ├── SynthesisRunner.scala │ │ ├── SynthesisRunnerUtil.scala │ │ ├── Termination.scala │ │ ├── package.scala │ │ ├── rules │ │ │ ├── BranchRules.scala │ │ │ ├── DelegatePureSynthesis.scala │ │ │ ├── FailRules.scala │ │ │ ├── LogicalRules.scala │ │ │ ├── OperationalRules.scala │ │ │ ├── RuleUtils.scala │ │ │ ├── Rules.scala │ │ │ ├── SymbolicExecutionRules.scala │ │ │ ├── UnfoldingRules.scala │ │ │ └── UnificationRules.scala │ │ └── tactics │ │ │ ├── InteractiveSynthesis.scala │ │ │ ├── PhasedSynthesis.scala │ │ │ ├── ReplaySynthesis.scala │ │ │ └── Tactic.scala │ │ └── util │ │ ├── OtherUtil.scala │ │ ├── StringUtil.scala │ │ └── SynLogging.scala ├── test │ ├── resources │ │ ├── fixme-synthesis │ │ │ ├── failing-examples │ │ │ │ ├── free_incorrect.sus │ │ │ │ ├── inc_or_dec.syn │ │ │ │ ├── one_or_two.syn │ │ │ │ └── predicates.def │ │ │ ├── failing-locally-for-ilya │ │ │ │ ├── sll-delete-all.syn │ │ │ │ └── star-intersection.syn │ │ │ └── holes │ │ │ │ ├── call1.sus │ │ │ │ ├── call2.sus │ │ │ │ ├── call3.sus │ │ │ │ ├── call_extra_arg.sus │ │ │ │ ├── call_ghost_arg.sus │ │ │ │ ├── call_insufficient_args.sus │ │ │ │ ├── destroy2.sus │ │ │ │ ├── if_ghost.sus │ │ │ │ ├── insertion_sort.sus │ │ │ │ ├── malloc_free1.sus │ │ │ │ ├── malloc_free2.sus │ │ │ │ ├── malloc_free3.sus │ │ │ │ ├── malloc_free4.sus │ │ │ │ ├── predicates.def │ │ │ │ ├── read_const.sus │ │ │ │ ├── read_offsets.sus │ │ │ │ ├── swap1.sus │ │ │ │ ├── swap2.sus │ │ │ │ ├── swap3.sus │ │ │ │ ├── swap4.sus │ │ │ │ ├── swap5.sus │ │ │ │ ├── swap6.sus │ │ │ │ ├── swap_ghost.sus │ │ │ │ └── swap_malloc.sus │ │ └── synthesis │ │ │ ├── abduct │ │ │ ├── list-copy-len-ptr.syn │ │ │ ├── list-free-ptr.syn │ │ │ ├── lseg.def │ │ │ └── tree-free-ptr.syn │ │ │ ├── account │ │ │ ├── account.def │ │ │ ├── alloc-struct.syn │ │ │ ├── free-struct.syn │ │ │ └── update-struct.syn │ │ │ ├── all-benchmarks │ │ │ ├── avl │ │ │ │ ├── copy.syn │ │ │ │ ├── flatten-acc.syn │ │ │ │ ├── flatten-dll-linear.syn │ │ │ │ ├── flatten-dll.syn │ │ │ │ ├── flatten.syn │ │ │ │ ├── free.syn │ │ │ │ ├── height.syn │ │ │ │ ├── predicates.def │ │ │ │ └── size.syn │ │ │ ├── bst │ │ │ │ ├── common.def │ │ │ │ ├── delete-root.syn │ │ │ │ ├── insert.syn │ │ │ │ ├── left-rotate.syn │ │ │ │ ├── list-to-bst.syn │ │ │ │ ├── max.syn │ │ │ │ ├── min.syn │ │ │ │ ├── right-rotate.syn │ │ │ │ └── to-srtl.syn │ │ │ ├── dll │ │ │ │ ├── append.syn │ │ │ │ ├── copy.syn │ │ │ │ ├── definitions.def │ │ │ │ ├── delete-all.syn │ │ │ │ ├── from-sll.syn │ │ │ │ └── singleton.syn │ │ │ ├── ints │ │ │ │ ├── min2.syn │ │ │ │ └── swap.syn │ │ │ ├── multi-list │ │ │ │ ├── flatten.syn │ │ │ │ ├── free.syn │ │ │ │ ├── len.syn │ │ │ │ └── predicates.def │ │ │ ├── packed │ │ │ │ ├── predicates.def │ │ │ │ └── unpack.syn │ │ │ ├── rbt │ │ │ │ ├── is_red.syn │ │ │ │ ├── rb.def │ │ │ │ ├── rotate_c3.syn │ │ │ │ └── size.syn │ │ │ ├── rose-tree │ │ │ │ ├── copy.syn │ │ │ │ ├── flatten.syn │ │ │ │ ├── free.syn │ │ │ │ └── predicates.def │ │ │ ├── sll │ │ │ │ ├── append-copy.syn │ │ │ │ ├── append.syn │ │ │ │ ├── copy.syn │ │ │ │ ├── delete-all.syn │ │ │ │ ├── diff.syn │ │ │ │ ├── free.syn │ │ │ │ ├── free2.syn │ │ │ │ ├── init.syn │ │ │ │ ├── intersect.syn │ │ │ │ ├── len.syn │ │ │ │ ├── max.syn │ │ │ │ ├── min.syn │ │ │ │ ├── multi-append.syn │ │ │ │ ├── predicates.def │ │ │ │ ├── singleton.syn │ │ │ │ ├── union.syn │ │ │ │ └── unique.syn │ │ │ ├── srtl │ │ │ │ ├── common.def │ │ │ │ ├── insert.syn │ │ │ │ ├── insertion-sort.syn │ │ │ │ ├── merge.syn │ │ │ │ ├── prepend.syn │ │ │ │ ├── reverse.syn │ │ │ │ └── sort.syn │ │ │ └── tree │ │ │ │ ├── copy.syn │ │ │ │ ├── flatten-acc.syn │ │ │ │ ├── flatten-dll-linear.syn │ │ │ │ ├── flatten-dll.syn │ │ │ │ ├── flatten-helper.syn │ │ │ │ ├── flatten.syn │ │ │ │ ├── free.syn │ │ │ │ ├── free2.syn │ │ │ │ ├── predicates.def │ │ │ │ └── size.syn │ │ │ ├── cardio │ │ │ ├── cardio-behead.syn │ │ │ ├── cardio-close.syn │ │ │ ├── cardio-frame.syn │ │ │ ├── cardio-fresh.syn │ │ │ ├── cardio-remove-last-aux1.syn │ │ │ ├── cardio-remove-last-base.syn │ │ │ ├── cardio-sll-copy.syn │ │ │ └── predicates.def │ │ │ ├── certification-benchmarks-advanced │ │ │ ├── bst │ │ │ │ ├── bst-find-smallest.syn │ │ │ │ ├── bst-insert.syn │ │ │ │ ├── bst-left-rotate.syn │ │ │ │ ├── bst-remove-root-no-left.syn │ │ │ │ ├── bst-remove-root-no-right.syn │ │ │ │ ├── bst-right-rotate.syn │ │ │ │ └── common.def │ │ │ ├── dll │ │ │ │ ├── common.def │ │ │ │ ├── dll-dupleton.syn │ │ │ │ └── sll-to-dll.syn │ │ │ ├── sll │ │ │ │ ├── common.def │ │ │ │ └── sll-dupleton.syn │ │ │ └── srtl │ │ │ │ ├── common.def │ │ │ │ ├── insertion-sort-free.syn │ │ │ │ ├── insertion-sort.syn │ │ │ │ ├── srtl-insert.syn │ │ │ │ └── srtl-prepend.syn │ │ │ ├── certification-benchmarks │ │ │ ├── dll │ │ │ │ ├── common.def │ │ │ │ ├── dll-append.syn │ │ │ │ └── dll-singleton.syn │ │ │ ├── ints │ │ │ │ ├── max.syn │ │ │ │ ├── min.syn │ │ │ │ ├── swap2.syn │ │ │ │ └── swap4.syn │ │ │ ├── sll-bounds │ │ │ │ ├── common.def │ │ │ │ ├── sll-len.syn │ │ │ │ ├── sll-max.syn │ │ │ │ └── sll-min.syn │ │ │ ├── sll │ │ │ │ ├── common.def │ │ │ │ ├── sll-append.syn │ │ │ │ ├── sll-copy.syn │ │ │ │ ├── sll-free.syn │ │ │ │ └── sll-singleton.syn │ │ │ └── tree │ │ │ │ ├── common.def │ │ │ │ ├── tree-copy.syn │ │ │ │ ├── tree-flatten.syn │ │ │ │ ├── tree-free.syn │ │ │ │ └── tree-size.syn │ │ │ ├── certification │ │ │ ├── account │ │ │ │ ├── common.def │ │ │ │ └── mk-acc.syn │ │ │ ├── bst │ │ │ │ ├── bst-find-smallest.syn │ │ │ │ ├── bst-insert.syn │ │ │ │ ├── bst-left-rotate.syn │ │ │ │ ├── bst-remove-root-no-left.syn │ │ │ │ ├── bst-remove-root-no-right.syn │ │ │ │ ├── bst-right-rotate.syn │ │ │ │ └── common.def │ │ │ ├── dll │ │ │ │ ├── common.def │ │ │ │ ├── dll-append.syn │ │ │ │ ├── dll-copy.syn │ │ │ │ ├── dll-dupleton.syn │ │ │ │ ├── dll-singleton.syn │ │ │ │ └── sll-to-dll.syn │ │ │ ├── ints │ │ │ │ ├── max.syn │ │ │ │ ├── min2.syn │ │ │ │ ├── swap.syn │ │ │ │ └── swap2.syn │ │ │ ├── list │ │ │ │ ├── common.def │ │ │ │ ├── listcopy.syn │ │ │ │ ├── listfree.syn │ │ │ │ └── listmorph.syn │ │ │ ├── sll-bounds │ │ │ │ ├── common.def │ │ │ │ ├── sll-len.syn │ │ │ │ ├── sll-max.syn │ │ │ │ └── sll-min.syn │ │ │ ├── sll │ │ │ │ ├── common.def │ │ │ │ ├── sll-append.syn │ │ │ │ ├── sll-copy.syn │ │ │ │ ├── sll-dupleton.syn │ │ │ │ ├── sll-free.syn │ │ │ │ ├── sll-init.syn │ │ │ │ └── sll-singleton.syn │ │ │ ├── srtl │ │ │ │ ├── common.def │ │ │ │ ├── insertion-sort-free.syn │ │ │ │ ├── insertion-sort.syn │ │ │ │ ├── srtl-insert.syn │ │ │ │ └── srtl-prepend.syn │ │ │ └── tree │ │ │ │ ├── common.def │ │ │ │ ├── tree-copy.syn │ │ │ │ ├── tree-flatten-acc.syn │ │ │ │ ├── tree-flatten.syn │ │ │ │ ├── tree-free.syn │ │ │ │ └── tree-size.syn │ │ │ ├── copy-len │ │ │ ├── c1-copy-nil.syn │ │ │ ├── c2-no-copy-same.syn │ │ │ ├── c3-no-copy-unfold.syn │ │ │ ├── c4-copy-strip-frame.syn │ │ │ ├── c6-alloc-head.syn │ │ │ ├── c7-frame-alloc-head.syn │ │ │ ├── c8-alloc-close.syn │ │ │ ├── list-append-len.syn │ │ │ ├── list-copy-len.syn │ │ │ ├── list-free-frame.syn │ │ │ ├── list-free-ghost.syn │ │ │ └── lseg.def │ │ │ ├── copy │ │ │ ├── c1-copy-nil.syn │ │ │ ├── c2-no-copy-same.syn │ │ │ ├── c3-no-copy-unfold.syn │ │ │ ├── c4-copy_strip_frame.syn │ │ │ ├── c5-alloc_value.syn │ │ │ ├── c6-alloc_head.syn │ │ │ ├── c7-frame-alloc-head.syn │ │ │ ├── c8-alloc-close.syn │ │ │ ├── list-append.syn │ │ │ ├── list_copy.syn │ │ │ ├── list_copy_hard.syn │ │ │ └── lseg.def │ │ │ ├── cyclic-benchmarks │ │ │ ├── beyond │ │ │ │ ├── skil_to_srtl.syn │ │ │ │ ├── skl-free.syn │ │ │ │ ├── skl-len-length.syn │ │ │ │ ├── skl-simple-copy.syn │ │ │ │ └── skl_to_bst.syn │ │ │ ├── bst │ │ │ │ ├── bst-to-srtl.syn │ │ │ │ ├── common.def │ │ │ │ └── list-to-bst.syn │ │ │ ├── contrived │ │ │ │ ├── listfree.syn │ │ │ │ ├── listfree2.syn │ │ │ │ ├── listfree3.syn │ │ │ │ ├── predicates.def │ │ │ │ ├── treefree.syn │ │ │ │ ├── treefree2.syn │ │ │ │ └── treelistfree.syn │ │ │ ├── dll │ │ │ │ ├── definitions.def │ │ │ │ └── multi-append.syn │ │ │ ├── guided │ │ │ │ ├── predicates.def │ │ │ │ ├── rose-tree-copy.syn │ │ │ │ └── tree-flatten-dll-linear.syn │ │ │ ├── multi-list │ │ │ │ ├── multilist-flatten.syn │ │ │ │ ├── multilist-free.syn │ │ │ │ ├── multilist-len.syn │ │ │ │ └── predicates.def │ │ │ ├── rose-tree │ │ │ │ ├── predicates.def │ │ │ │ ├── rose-tree-flatten.syn │ │ │ │ ├── rose-tree-free.syn │ │ │ │ └── rtree-free-simple.syn │ │ │ ├── skiplist │ │ │ │ ├── predicates.def │ │ │ │ ├── skl-simple-flatten.syn │ │ │ │ └── skl-simple-free.syn │ │ │ ├── sll │ │ │ │ ├── append-copy.syn │ │ │ │ ├── diff.syn │ │ │ │ ├── intersect.syn │ │ │ │ ├── listfree2.syn │ │ │ │ ├── multi-append.syn │ │ │ │ ├── predicates.def │ │ │ │ ├── union.syn │ │ │ │ └── unique.syn │ │ │ ├── srtl │ │ │ │ ├── common.def │ │ │ │ ├── reverse.syn │ │ │ │ ├── sort.syn │ │ │ │ └── srtl-merge.syn │ │ │ └── tree │ │ │ │ ├── predicates.def │ │ │ │ ├── tree-flatten-dll.syn │ │ │ │ ├── tree-flatten.syn │ │ │ │ └── treefree2.syn │ │ │ ├── dllist │ │ │ ├── definitions.def │ │ │ ├── dllist-set-prev.syn │ │ │ ├── dllist-to-llist.syn │ │ │ ├── llist-to-dllist-in-place.syn │ │ │ └── llist-to-dllist.syn │ │ │ ├── entail │ │ │ ├── duplicator.syn │ │ │ ├── exists.syn │ │ │ ├── inconsistency.syn │ │ │ ├── inconsistency2.syn │ │ │ ├── inconsistency3.syn │ │ │ ├── nil-not-lval.syn │ │ │ ├── non-triv-pure.syn │ │ │ ├── star-partial.syn │ │ │ ├── strip-eq-l.syn │ │ │ ├── subst-left.syn │ │ │ ├── subst-right.syn │ │ │ └── tauto.syn │ │ │ ├── flatten │ │ │ ├── definitions.def │ │ │ ├── tree-flatten-acc.syn │ │ │ └── tree-flatten.syn │ │ │ ├── ints │ │ │ ├── inst2.syn │ │ │ └── ints.syn │ │ │ ├── llist │ │ │ ├── intersect_sll_with_2_elem_set.syn │ │ │ ├── list-len-ptr.syn │ │ │ ├── list-semantic-frame.syn │ │ │ ├── llist-free.syn │ │ │ ├── llist-free0.syn │ │ │ ├── llist-free2.syn │ │ │ ├── llist-morph.syn │ │ │ ├── llist-nil.syn │ │ │ ├── llist.def │ │ │ └── remove-last.syn │ │ │ ├── online │ │ │ ├── list-append.sus │ │ │ ├── list-append.syn │ │ │ ├── list-copy.sus │ │ │ ├── list-dispose.sus │ │ │ ├── sorted-insert.syn │ │ │ ├── swap.sus │ │ │ ├── swap.syn │ │ │ ├── tree-dispose.sus │ │ │ ├── tree-dispose.syn │ │ │ └── tree-flatten.sus │ │ │ ├── overloaded-ops │ │ │ ├── ambiguity.syn │ │ │ ├── bool-equality1.syn │ │ │ ├── intervals.syn │ │ │ ├── leq.syn │ │ │ ├── not-equal.syn │ │ │ ├── star-multiply.syn │ │ │ ├── type-helper.syn │ │ │ └── unary-minus.syn │ │ │ ├── packed-tree │ │ │ ├── delete.syn │ │ │ ├── pack.syn │ │ │ ├── predicates.def │ │ │ └── unpack.syn │ │ │ ├── paper-benchmarks │ │ │ ├── bst │ │ │ │ ├── bst-find-smallest.syn │ │ │ │ ├── bst-insert.syn │ │ │ │ ├── bst-left-rotate.syn │ │ │ │ ├── bst-remove-root-no-left.syn │ │ │ │ ├── bst-remove-root-no-right.syn │ │ │ │ ├── bst-right-rotate.syn │ │ │ │ └── common.def │ │ │ ├── dll │ │ │ │ ├── definitions.def │ │ │ │ ├── dll-append.syn │ │ │ │ ├── dll-copy.syn │ │ │ │ ├── dll-delete-all.syn │ │ │ │ ├── dll-dupleton.syn │ │ │ │ ├── dll-singleton.syn │ │ │ │ └── from-sll.syn │ │ │ ├── ints │ │ │ │ ├── min2.syn │ │ │ │ └── swap.syn │ │ │ ├── sll-bounds │ │ │ │ ├── common.def │ │ │ │ ├── sll-len.syn │ │ │ │ ├── sll-max.syn │ │ │ │ └── sll-min.syn │ │ │ ├── sll │ │ │ │ ├── common.def │ │ │ │ ├── sll-append.syn │ │ │ │ ├── sll-copy.syn │ │ │ │ ├── sll-delete-all.syn │ │ │ │ ├── sll-dupleton.syn │ │ │ │ ├── sll-free.syn │ │ │ │ ├── sll-init.syn │ │ │ │ └── sll-singleton.syn │ │ │ ├── srtl │ │ │ │ ├── common.def │ │ │ │ ├── insertion-sort-free.syn │ │ │ │ ├── insertion-sort.syn │ │ │ │ ├── srtl-insert.syn │ │ │ │ └── srtl-prepend.syn │ │ │ └── tree │ │ │ │ ├── common.def │ │ │ │ ├── tree-copy.syn │ │ │ │ ├── tree-flatten-acc.syn │ │ │ │ ├── tree-flatten.syn │ │ │ │ ├── tree-free.syn │ │ │ │ └── tree-size.syn │ │ │ ├── paper-examples │ │ │ ├── 01-swap.syn │ │ │ ├── 02-pick.syn │ │ │ ├── 03-notsure.syn │ │ │ ├── 04-urk.syn │ │ │ ├── 05-elem.syn │ │ │ ├── 07-listfree.syn │ │ │ ├── 13-listmorph.syn │ │ │ ├── 17-listcopy.syn │ │ │ └── predicates.def │ │ │ ├── proofs │ │ │ ├── induction.syn │ │ │ └── lseg.def │ │ │ ├── regression │ │ │ ├── be_or_not_be.syn │ │ │ ├── extra_pure.syn │ │ │ ├── not_equal.syn │ │ │ ├── pure_syn1.syn │ │ │ ├── pure_syn2.syn │ │ │ └── pure_syn3.syn │ │ │ ├── sets │ │ │ ├── addelem.syn │ │ │ ├── addelem1.syn │ │ │ ├── exists_nil.syn │ │ │ ├── list_skip.syn │ │ │ ├── lseg.def │ │ │ ├── set_unify1.syn │ │ │ ├── unify1.syn │ │ │ └── unify2.syn │ │ │ ├── simple │ │ │ ├── alloc.syn │ │ │ ├── blocks.syn │ │ │ ├── emp.syn │ │ │ ├── frame-backtrack.syn │ │ │ ├── frame-backtrack2.syn │ │ │ ├── frame-write.syn │ │ │ ├── frame.syn │ │ │ ├── free-block.syn │ │ │ ├── free.syn │ │ │ ├── kareem.syn │ │ │ ├── kareem1.syn │ │ │ ├── kareem2.syn │ │ │ ├── pointer1.syn │ │ │ ├── read-frame-write.syn │ │ │ ├── swap.syn │ │ │ ├── swap1.syn │ │ │ ├── swap2.syn │ │ │ ├── write1.syn │ │ │ └── write2.syn │ │ │ ├── smallfoot │ │ │ ├── business1.sf │ │ │ ├── circular_list.sf │ │ │ ├── dlseg.sf │ │ │ ├── list.sf │ │ │ ├── mergesort.sf │ │ │ ├── queue.sf │ │ │ ├── tree.sf │ │ │ ├── tree_deallocate.sf │ │ │ └── xlseg.sf │ │ │ ├── syntax │ │ │ └── accepts-new-syntax.sus │ │ │ └── tree │ │ │ ├── tree-copy-len-ptr.syn │ │ │ ├── tree-copy-len.syn │ │ │ ├── tree-copy-ptr.syn │ │ │ ├── tree-copy.syn │ │ │ ├── tree-free.syn │ │ │ ├── tree-morph.syn │ │ │ ├── tree-size-ptr.syn │ │ │ ├── tree-size.syn │ │ │ └── tree.def │ └── scala │ │ └── org │ │ └── tygus │ │ └── suslik │ │ ├── fixme │ │ ├── FailingTests.scala │ │ └── HolesTests.scala │ │ ├── overloading │ │ └── OverloadedOperatorsTests.scala │ │ ├── parsing │ │ ├── GoalParserTests.scala │ │ ├── ParserErrorsTests.scala │ │ ├── PreambleParserTests.scala │ │ └── TestNewSyntax.scala │ │ ├── smt │ │ ├── ArraySatTests.scala │ │ ├── ArrayValueTests.scala │ │ └── BoolExample.scala │ │ ├── synthesis │ │ ├── AbductionTests.scala │ │ ├── AccountTests.scala │ │ ├── BasicSynthesisTests.scala │ │ ├── CVC4Tests.scala │ │ ├── CardioTests.scala │ │ ├── ChallengeTests.scala │ │ ├── CyclicTests.scala │ │ ├── LinkedStructuresTests.scala │ │ ├── PaperBenchmarks.scala │ │ └── PureReasoning.scala │ │ └── unification │ │ └── SpatialUnificationTests.scala └── viz │ ├── index.html │ ├── ts │ ├── main.ts │ ├── menu.css │ ├── open.ts │ ├── proof-trace.css │ └── proof-trace.ts │ └── tsconfig.json └── suslik /.ci/install_z3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/.ci/install_z3.sh -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/.gitignore -------------------------------------------------------------------------------- /.jvmopts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/.jvmopts -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/.travis.yml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/README.md -------------------------------------------------------------------------------- /application.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/application.conf -------------------------------------------------------------------------------- /cav21-artifact/gen-table-all.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/cav21-artifact/gen-table-all.py -------------------------------------------------------------------------------- /cav21-artifact/stats_all.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/cav21-artifact/stats_all.csv -------------------------------------------------------------------------------- /certification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/certification.md -------------------------------------------------------------------------------- /certify-benchmarks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/certify-benchmarks -------------------------------------------------------------------------------- /evaluation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/evaluation.py -------------------------------------------------------------------------------- /examples/123.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/123.sus -------------------------------------------------------------------------------- /examples/append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/append.syn -------------------------------------------------------------------------------- /examples/insertion-sort.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/insertion-sort.syn -------------------------------------------------------------------------------- /examples/listcopy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/listcopy.syn -------------------------------------------------------------------------------- /examples/listfree.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/listfree.syn -------------------------------------------------------------------------------- /examples/listmorph.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/listmorph.syn -------------------------------------------------------------------------------- /examples/max.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/max.syn -------------------------------------------------------------------------------- /examples/mkacc.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/mkacc.syn -------------------------------------------------------------------------------- /examples/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/predicates.def -------------------------------------------------------------------------------- /examples/srtl-insert.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/srtl-insert.syn -------------------------------------------------------------------------------- /examples/swap.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/swap.syn -------------------------------------------------------------------------------- /examples/tree-flatten-acc.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/tree-flatten-acc.syn -------------------------------------------------------------------------------- /examples/tree-flatten.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/tree-flatten.syn -------------------------------------------------------------------------------- /examples/treefree.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/examples/treefree.syn -------------------------------------------------------------------------------- /gen-table.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/gen-table.py -------------------------------------------------------------------------------- /misc/SuSlik_logo_64x64.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/misc/SuSlik_logo_64x64.png -------------------------------------------------------------------------------- /misc/robosuslik-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/misc/robosuslik-logo.png -------------------------------------------------------------------------------- /misc/suslik-logo-200.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/misc/suslik-logo-200.png -------------------------------------------------------------------------------- /misc/suslik-logo-small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/misc/suslik-logo-small.png -------------------------------------------------------------------------------- /misc/suslik-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/misc/suslik-logo.png -------------------------------------------------------------------------------- /mode-suslik.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/mode-suslik.js -------------------------------------------------------------------------------- /obsolete/ROADMAP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/obsolete/ROADMAP.md -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/package.json -------------------------------------------------------------------------------- /project/assembly.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/project/assembly.sbt -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/LanguageUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/LanguageUtils.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/SSLException.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/SSLException.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/CertTree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/CertTree.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/Certificate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/Certificate.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/CertificationBenchmarks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/CertificationBenchmarks.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/CertificationTarget.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/CertificationTarget.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/Predicate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/Predicate.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/source/SuslikPrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/source/SuslikPrinter.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/source/SuslikProofStep.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/source/SuslikProofStep.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/HTT.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/HTT.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/HTTCertificate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/HTTCertificate.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/language/Expressions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/language/Expressions.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/language/PrettyPrinting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/language/PrettyPrinting.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/language/Types.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/language/Types.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/language/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/language/package.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/logic/Hint.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/logic/Hint.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/logic/Proof.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/logic/Proof.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/logic/ProofPrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/logic/ProofPrinter.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/logic/Sentences.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/logic/Sentences.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/program/Program.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/program/Program.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/program/ProgramPrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/program/ProgramPrinter.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/program/Statements.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/program/Statements.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/translation/HTTTranslator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/translation/HTTTranslator.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/translation/ProgramContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/translation/ProgramContext.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/translation/ProgramEvaluator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/translation/ProgramEvaluator.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/translation/ProgramInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/translation/ProgramInterpreter.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/translation/ProofContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/translation/ProofContext.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/translation/ProofEvaluator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/translation/ProofEvaluator.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/translation/ProofInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/translation/ProofInterpreter.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/translation/TranslatableOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/translation/TranslatableOps.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/htt/translation/Translation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/htt/translation/Translation.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/iris/Iris.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/iris/Iris.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/iris/IrisCertificate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/iris/IrisCertificate.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/iris/heaplang/Expressions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/iris/heaplang/Expressions.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/iris/heaplang/Types.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/iris/heaplang/Types.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/iris/logic/Assertions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/iris/logic/Assertions.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/iris/logic/IProofStep.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/iris/logic/IProofStep.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/iris/translation/IrisTranslator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/iris/translation/IrisTranslator.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/iris/translation/ProgramInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/iris/translation/ProgramInterpreter.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/iris/translation/ProgramPrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/iris/translation/ProgramPrinter.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/iris/translation/ProofInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/iris/translation/ProofInterpreter.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/iris/translation/TranslatableOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/iris/translation/TranslatableOps.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/iris/translation/Translation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/iris/translation/Translation.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/vst/Types.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/vst/Types.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/vst/VST.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/vst/VST.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/vst/VSTCertificate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/vst/VSTCertificate.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/vst/clang/Statements.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/vst/clang/Statements.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/vst/logic/Expressions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/vst/logic/Expressions.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/vst/logic/Formulae.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/vst/logic/Formulae.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/vst/logic/Proof.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/vst/logic/Proof.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/vst/logic/ProofTerms.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/vst/logic/ProofTerms.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/vst/logic/VSTProofStep.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/vst/logic/VSTProofStep.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/vst/translation/ProofSpecTranslation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/vst/translation/ProofSpecTranslation.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/vst/translation/Translation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/vst/translation/Translation.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/vst/translation/VSTProgramInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/vst/translation/VSTProgramInterpreter.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/targets/vst/translation/VSTProofInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/targets/vst/translation/VSTProofInterpreter.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/translation/GenericPredicate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/translation/GenericPredicate.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/translation/PredicateTranslation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/translation/PredicateTranslation.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/traversal/BasicEvaluator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/traversal/BasicEvaluator.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/traversal/Evaluator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/traversal/Evaluator.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/traversal/Interpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/traversal/Interpreter.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/traversal/ProofTree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/traversal/ProofTree.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/traversal/ProofTreePrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/traversal/ProofTreePrinter.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/traversal/StackEvaluator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/traversal/StackEvaluator.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/traversal/Step.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/traversal/Step.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/traversal/TranslatableOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/traversal/TranslatableOps.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/certification/traversal/TreeVisitor.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/certification/traversal/TreeVisitor.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/language/Expressions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/language/Expressions.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/language/HasExpressions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/language/HasExpressions.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/language/PrettyPrinting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/language/PrettyPrinting.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/language/Statements.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/language/Statements.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/language/Types.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/language/Types.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/language/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/language/package.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/Declarations.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/Declarations.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/Preprocessor.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/Preprocessor.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/PureFormulas.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/PureFormulas.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/PureLogicUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/PureLogicUtils.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/SepLogicUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/SepLogicUtils.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/SpatialFormulas.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/SpatialFormulas.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/Specifications.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/Specifications.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/package.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/smt/CyclicProofChecker.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/smt/CyclicProofChecker.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/smt/GHCiWrapper.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/smt/GHCiWrapper.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/smt/SMTSolving.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/smt/SMTSolving.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/smt/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/smt/package.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/unification/PureUnification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/unification/PureUnification.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/logic/unification/SpatialUnification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/logic/unification/SpatialUnification.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/parsing/SSLLexical.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/parsing/SSLLexical.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/parsing/SSLParser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/parsing/SSLParser.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/report/Log.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/report/Log.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/report/ProofTrace.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/report/ProofTrace.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/report/StopWatch.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/report/StopWatch.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/report/Table.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/report/Table.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/Memoization.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/Memoization.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/SearchTree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/SearchTree.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/StmtProducer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/StmtProducer.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/SynConfig.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/SynConfig.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/Synthesis.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/Synthesis.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/SynthesisRunner.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/SynthesisRunner.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/SynthesisRunnerUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/SynthesisRunnerUtil.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/Termination.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/Termination.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/package.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/rules/BranchRules.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/rules/BranchRules.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/rules/DelegatePureSynthesis.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/rules/DelegatePureSynthesis.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/rules/FailRules.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/rules/FailRules.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/rules/LogicalRules.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/rules/LogicalRules.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/rules/OperationalRules.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/rules/OperationalRules.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/rules/RuleUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/rules/RuleUtils.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/rules/Rules.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/rules/Rules.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/rules/SymbolicExecutionRules.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/rules/SymbolicExecutionRules.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/rules/UnfoldingRules.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/rules/UnfoldingRules.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/rules/UnificationRules.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/rules/UnificationRules.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/tactics/InteractiveSynthesis.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/tactics/InteractiveSynthesis.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/tactics/PhasedSynthesis.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/tactics/PhasedSynthesis.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/tactics/ReplaySynthesis.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/tactics/ReplaySynthesis.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/synthesis/tactics/Tactic.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/synthesis/tactics/Tactic.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/util/OtherUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/util/OtherUtil.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/util/StringUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/util/StringUtil.scala -------------------------------------------------------------------------------- /src/main/scala/org/tygus/suslik/util/SynLogging.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/main/scala/org/tygus/suslik/util/SynLogging.scala -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/failing-examples/free_incorrect.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/failing-examples/free_incorrect.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/failing-examples/inc_or_dec.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/failing-examples/inc_or_dec.syn -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/failing-examples/one_or_two.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/failing-examples/one_or_two.syn -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/failing-examples/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/failing-examples/predicates.def -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/failing-locally-for-ilya/sll-delete-all.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/failing-locally-for-ilya/sll-delete-all.syn -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/failing-locally-for-ilya/star-intersection.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/failing-locally-for-ilya/star-intersection.syn -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/call1.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/call1.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/call2.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/call2.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/call3.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/call3.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/call_extra_arg.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/call_extra_arg.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/call_ghost_arg.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/call_ghost_arg.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/call_insufficient_args.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/call_insufficient_args.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/destroy2.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/destroy2.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/if_ghost.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/if_ghost.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/insertion_sort.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/insertion_sort.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/malloc_free1.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/malloc_free1.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/malloc_free2.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/malloc_free2.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/malloc_free3.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/malloc_free3.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/malloc_free4.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/malloc_free4.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/predicates.def -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/read_const.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/read_const.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/read_offsets.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/read_offsets.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/swap1.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/swap1.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/swap2.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/swap2.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/swap3.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/swap3.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/swap4.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/swap4.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/swap5.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/swap5.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/swap6.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/swap6.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/swap_ghost.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/swap_ghost.sus -------------------------------------------------------------------------------- /src/test/resources/fixme-synthesis/holes/swap_malloc.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/fixme-synthesis/holes/swap_malloc.sus -------------------------------------------------------------------------------- /src/test/resources/synthesis/abduct/list-copy-len-ptr.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/abduct/list-copy-len-ptr.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/abduct/list-free-ptr.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/abduct/list-free-ptr.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/abduct/lseg.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/abduct/lseg.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/abduct/tree-free-ptr.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/abduct/tree-free-ptr.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/account/account.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/account/account.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/account/alloc-struct.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/account/alloc-struct.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/account/free-struct.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/account/free-struct.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/account/update-struct.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/account/update-struct.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/avl/copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/avl/copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/avl/flatten-acc.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/avl/flatten-acc.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/avl/flatten-dll-linear.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/avl/flatten-dll-linear.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/avl/flatten-dll.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/avl/flatten-dll.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/avl/flatten.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/avl/flatten.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/avl/free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/avl/free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/avl/height.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/avl/height.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/avl/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/avl/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/avl/size.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/avl/size.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/bst/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/bst/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/bst/delete-root.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/bst/delete-root.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/bst/insert.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/bst/insert.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/bst/left-rotate.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/bst/left-rotate.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/bst/list-to-bst.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/bst/list-to-bst.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/bst/max.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/bst/max.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/bst/min.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/bst/min.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/bst/right-rotate.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/bst/right-rotate.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/bst/to-srtl.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/bst/to-srtl.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/dll/append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/dll/append.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/dll/copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/dll/copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/dll/definitions.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/dll/definitions.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/dll/delete-all.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/dll/delete-all.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/dll/from-sll.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/dll/from-sll.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/dll/singleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/dll/singleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/ints/min2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/ints/min2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/ints/swap.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/ints/swap.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/multi-list/flatten.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/multi-list/flatten.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/multi-list/free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/multi-list/free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/multi-list/len.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/multi-list/len.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/multi-list/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/multi-list/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/packed/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/packed/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/packed/unpack.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/packed/unpack.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/rbt/is_red.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/rbt/is_red.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/rbt/rb.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/rbt/rb.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/rbt/rotate_c3.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/rbt/rotate_c3.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/rbt/size.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/rbt/size.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/rose-tree/copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/rose-tree/copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/rose-tree/flatten.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/rose-tree/flatten.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/rose-tree/free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/rose-tree/free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/rose-tree/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/rose-tree/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/append-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/append-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/append.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/delete-all.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/delete-all.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/diff.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/diff.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/free2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/free2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/init.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/init.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/intersect.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/intersect.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/len.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/len.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/max.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/max.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/min.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/min.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/multi-append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/multi-append.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/singleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/singleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/union.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/union.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/sll/unique.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/sll/unique.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/srtl/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/srtl/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/srtl/insert.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/srtl/insert.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/srtl/insertion-sort.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/srtl/insertion-sort.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/srtl/merge.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/srtl/merge.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/srtl/prepend.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/srtl/prepend.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/srtl/reverse.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/srtl/reverse.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/srtl/sort.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/srtl/sort.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/tree/copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/tree/copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/tree/flatten-acc.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/tree/flatten-acc.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/tree/flatten-dll-linear.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/tree/flatten-dll-linear.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/tree/flatten-dll.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/tree/flatten-dll.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/tree/flatten-helper.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/tree/flatten-helper.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/tree/flatten.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/tree/flatten.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/tree/free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/tree/free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/tree/free2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/tree/free2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/tree/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/tree/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/all-benchmarks/tree/size.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/all-benchmarks/tree/size.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cardio/cardio-behead.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cardio/cardio-behead.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cardio/cardio-close.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cardio/cardio-close.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cardio/cardio-frame.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cardio/cardio-frame.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cardio/cardio-fresh.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cardio/cardio-fresh.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cardio/cardio-remove-last-aux1.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cardio/cardio-remove-last-aux1.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cardio/cardio-remove-last-base.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cardio/cardio-remove-last-base.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cardio/cardio-sll-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cardio/cardio-sll-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cardio/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cardio/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/bst/bst-find-smallest.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/bst/bst-find-smallest.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/bst/bst-insert.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/bst/bst-insert.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/bst/bst-left-rotate.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/bst/bst-left-rotate.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/bst/bst-remove-root-no-left.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/bst/bst-remove-root-no-left.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/bst/bst-remove-root-no-right.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/bst/bst-remove-root-no-right.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/bst/bst-right-rotate.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/bst/bst-right-rotate.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/bst/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/bst/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/dll/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/dll/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/dll/dll-dupleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/dll/dll-dupleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/dll/sll-to-dll.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/dll/sll-to-dll.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/sll/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/sll/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/sll/sll-dupleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/sll/sll-dupleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/srtl/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/srtl/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/srtl/insertion-sort-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/srtl/insertion-sort-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/srtl/insertion-sort.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/srtl/insertion-sort.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/srtl/srtl-insert.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/srtl/srtl-insert.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks-advanced/srtl/srtl-prepend.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks-advanced/srtl/srtl-prepend.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/dll/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/dll/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/dll/dll-append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/dll/dll-append.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/dll/dll-singleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/dll/dll-singleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/ints/max.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/ints/max.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/ints/min.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/ints/min.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/ints/swap2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/ints/swap2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/ints/swap4.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/ints/swap4.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/sll-bounds/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/sll-bounds/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/sll-bounds/sll-len.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/sll-bounds/sll-len.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/sll-bounds/sll-max.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/sll-bounds/sll-max.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/sll-bounds/sll-min.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/sll-bounds/sll-min.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/sll/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/sll/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/sll/sll-append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/sll/sll-append.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/sll/sll-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/sll/sll-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/sll/sll-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/sll/sll-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/sll/sll-singleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/sll/sll-singleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/tree/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/tree/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/tree/tree-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/tree/tree-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/tree/tree-flatten.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/tree/tree-flatten.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/tree/tree-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/tree/tree-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification-benchmarks/tree/tree-size.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification-benchmarks/tree/tree-size.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/account/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/account/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/account/mk-acc.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/account/mk-acc.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/bst/bst-find-smallest.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/bst/bst-find-smallest.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/bst/bst-insert.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/bst/bst-insert.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/bst/bst-left-rotate.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/bst/bst-left-rotate.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/bst/bst-remove-root-no-left.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/bst/bst-remove-root-no-left.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/bst/bst-remove-root-no-right.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/bst/bst-remove-root-no-right.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/bst/bst-right-rotate.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/bst/bst-right-rotate.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/bst/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/bst/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/dll/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/dll/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/dll/dll-append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/dll/dll-append.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/dll/dll-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/dll/dll-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/dll/dll-dupleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/dll/dll-dupleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/dll/dll-singleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/dll/dll-singleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/dll/sll-to-dll.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/dll/sll-to-dll.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/ints/max.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/ints/max.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/ints/min2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/ints/min2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/ints/swap.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/ints/swap.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/ints/swap2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/ints/swap2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/list/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/list/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/list/listcopy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/list/listcopy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/list/listfree.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/list/listfree.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/list/listmorph.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/list/listmorph.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/sll-bounds/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/sll-bounds/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/sll-bounds/sll-len.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/sll-bounds/sll-len.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/sll-bounds/sll-max.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/sll-bounds/sll-max.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/sll-bounds/sll-min.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/sll-bounds/sll-min.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/sll/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/sll/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/sll/sll-append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/sll/sll-append.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/sll/sll-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/sll/sll-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/sll/sll-dupleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/sll/sll-dupleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/sll/sll-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/sll/sll-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/sll/sll-init.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/sll/sll-init.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/sll/sll-singleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/sll/sll-singleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/srtl/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/srtl/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/srtl/insertion-sort-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/srtl/insertion-sort-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/srtl/insertion-sort.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/srtl/insertion-sort.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/srtl/srtl-insert.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/srtl/srtl-insert.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/srtl/srtl-prepend.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/srtl/srtl-prepend.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/tree/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/tree/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/tree/tree-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/tree/tree-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/tree/tree-flatten-acc.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/tree/tree-flatten-acc.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/tree/tree-flatten.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/tree/tree-flatten.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/tree/tree-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/tree/tree-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/certification/tree/tree-size.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/certification/tree/tree-size.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy-len/c1-copy-nil.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy-len/c1-copy-nil.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy-len/c2-no-copy-same.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy-len/c2-no-copy-same.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy-len/c3-no-copy-unfold.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy-len/c3-no-copy-unfold.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy-len/c4-copy-strip-frame.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy-len/c4-copy-strip-frame.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy-len/c6-alloc-head.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy-len/c6-alloc-head.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy-len/c7-frame-alloc-head.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy-len/c7-frame-alloc-head.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy-len/c8-alloc-close.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy-len/c8-alloc-close.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy-len/list-append-len.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy-len/list-append-len.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy-len/list-copy-len.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy-len/list-copy-len.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy-len/list-free-frame.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy-len/list-free-frame.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy-len/list-free-ghost.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy-len/list-free-ghost.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy-len/lseg.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy-len/lseg.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy/c1-copy-nil.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy/c1-copy-nil.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy/c2-no-copy-same.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy/c2-no-copy-same.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy/c3-no-copy-unfold.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy/c3-no-copy-unfold.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy/c4-copy_strip_frame.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy/c4-copy_strip_frame.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy/c5-alloc_value.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy/c5-alloc_value.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy/c6-alloc_head.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy/c6-alloc_head.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy/c7-frame-alloc-head.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy/c7-frame-alloc-head.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy/c8-alloc-close.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy/c8-alloc-close.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy/list-append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy/list-append.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy/list_copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy/list_copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy/list_copy_hard.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy/list_copy_hard.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/copy/lseg.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/copy/lseg.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/beyond/skil_to_srtl.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/beyond/skil_to_srtl.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/beyond/skl-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/beyond/skl-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/beyond/skl-len-length.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/beyond/skl-len-length.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/beyond/skl-simple-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/beyond/skl-simple-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/beyond/skl_to_bst.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/beyond/skl_to_bst.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/bst/bst-to-srtl.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/bst/bst-to-srtl.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/bst/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/bst/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/bst/list-to-bst.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/bst/list-to-bst.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/contrived/listfree.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/contrived/listfree.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/contrived/listfree2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/contrived/listfree2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/contrived/listfree3.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/contrived/listfree3.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/contrived/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/contrived/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/contrived/treefree.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/contrived/treefree.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/contrived/treefree2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/contrived/treefree2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/contrived/treelistfree.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/contrived/treelistfree.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/dll/definitions.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/dll/definitions.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/dll/multi-append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/dll/multi-append.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/guided/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/guided/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/guided/rose-tree-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/guided/rose-tree-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/guided/tree-flatten-dll-linear.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/guided/tree-flatten-dll-linear.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/multi-list/multilist-flatten.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/multi-list/multilist-flatten.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/multi-list/multilist-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/multi-list/multilist-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/multi-list/multilist-len.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/multi-list/multilist-len.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/multi-list/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/multi-list/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/rose-tree/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/rose-tree/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/rose-tree/rose-tree-flatten.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/rose-tree/rose-tree-flatten.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/rose-tree/rose-tree-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/rose-tree/rose-tree-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/rose-tree/rtree-free-simple.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/rose-tree/rtree-free-simple.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/skiplist/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/skiplist/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/skiplist/skl-simple-flatten.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/skiplist/skl-simple-flatten.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/skiplist/skl-simple-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/skiplist/skl-simple-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/sll/append-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/sll/append-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/sll/diff.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/sll/diff.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/sll/intersect.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/sll/intersect.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/sll/listfree2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/sll/listfree2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/sll/multi-append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/sll/multi-append.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/sll/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/sll/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/sll/union.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/sll/union.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/sll/unique.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/sll/unique.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/srtl/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/srtl/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/srtl/reverse.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/srtl/reverse.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/srtl/sort.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/srtl/sort.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/srtl/srtl-merge.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/srtl/srtl-merge.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/tree/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/tree/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/tree/tree-flatten-dll.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/tree/tree-flatten-dll.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/tree/tree-flatten.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/tree/tree-flatten.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/cyclic-benchmarks/tree/treefree2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/cyclic-benchmarks/tree/treefree2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/dllist/definitions.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/dllist/definitions.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/dllist/dllist-set-prev.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/dllist/dllist-set-prev.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/dllist/dllist-to-llist.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/dllist/dllist-to-llist.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/dllist/llist-to-dllist-in-place.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/dllist/llist-to-dllist-in-place.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/dllist/llist-to-dllist.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/dllist/llist-to-dllist.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/entail/duplicator.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/entail/duplicator.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/entail/exists.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/entail/exists.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/entail/inconsistency.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/entail/inconsistency.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/entail/inconsistency2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/entail/inconsistency2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/entail/inconsistency3.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/entail/inconsistency3.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/entail/nil-not-lval.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/entail/nil-not-lval.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/entail/non-triv-pure.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/entail/non-triv-pure.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/entail/star-partial.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/entail/star-partial.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/entail/strip-eq-l.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/entail/strip-eq-l.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/entail/subst-left.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/entail/subst-left.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/entail/subst-right.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/entail/subst-right.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/entail/tauto.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/entail/tauto.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/flatten/definitions.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/flatten/definitions.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/flatten/tree-flatten-acc.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/flatten/tree-flatten-acc.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/flatten/tree-flatten.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/flatten/tree-flatten.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/ints/inst2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/ints/inst2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/ints/ints.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/ints/ints.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/llist/intersect_sll_with_2_elem_set.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/llist/intersect_sll_with_2_elem_set.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/llist/list-len-ptr.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/llist/list-len-ptr.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/llist/list-semantic-frame.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/llist/list-semantic-frame.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/llist/llist-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/llist/llist-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/llist/llist-free0.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/llist/llist-free0.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/llist/llist-free2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/llist/llist-free2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/llist/llist-morph.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/llist/llist-morph.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/llist/llist-nil.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/llist/llist-nil.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/llist/llist.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/llist/llist.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/llist/remove-last.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/llist/remove-last.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/online/list-append.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/online/list-append.sus -------------------------------------------------------------------------------- /src/test/resources/synthesis/online/list-append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/online/list-append.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/online/list-copy.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/online/list-copy.sus -------------------------------------------------------------------------------- /src/test/resources/synthesis/online/list-dispose.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/online/list-dispose.sus -------------------------------------------------------------------------------- /src/test/resources/synthesis/online/sorted-insert.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/online/sorted-insert.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/online/swap.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/online/swap.sus -------------------------------------------------------------------------------- /src/test/resources/synthesis/online/swap.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/online/swap.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/online/tree-dispose.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/online/tree-dispose.sus -------------------------------------------------------------------------------- /src/test/resources/synthesis/online/tree-dispose.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/online/tree-dispose.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/online/tree-flatten.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/online/tree-flatten.sus -------------------------------------------------------------------------------- /src/test/resources/synthesis/overloaded-ops/ambiguity.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/overloaded-ops/ambiguity.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/overloaded-ops/bool-equality1.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/overloaded-ops/bool-equality1.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/overloaded-ops/intervals.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/overloaded-ops/intervals.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/overloaded-ops/leq.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/overloaded-ops/leq.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/overloaded-ops/not-equal.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/overloaded-ops/not-equal.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/overloaded-ops/star-multiply.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/overloaded-ops/star-multiply.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/overloaded-ops/type-helper.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/overloaded-ops/type-helper.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/overloaded-ops/unary-minus.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/overloaded-ops/unary-minus.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/packed-tree/delete.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/packed-tree/delete.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/packed-tree/pack.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/packed-tree/pack.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/packed-tree/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/packed-tree/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/packed-tree/unpack.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/packed-tree/unpack.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/bst/bst-find-smallest.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/bst/bst-find-smallest.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/bst/bst-insert.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/bst/bst-insert.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/bst/bst-left-rotate.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/bst/bst-left-rotate.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/bst/bst-remove-root-no-left.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/bst/bst-remove-root-no-left.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/bst/bst-remove-root-no-right.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/bst/bst-remove-root-no-right.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/bst/bst-right-rotate.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/bst/bst-right-rotate.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/bst/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/bst/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/dll/definitions.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/dll/definitions.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/dll/dll-append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/dll/dll-append.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/dll/dll-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/dll/dll-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/dll/dll-delete-all.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/dll/dll-delete-all.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/dll/dll-dupleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/dll/dll-dupleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/dll/dll-singleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/dll/dll-singleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/dll/from-sll.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/dll/from-sll.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/ints/min2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/ints/min2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/ints/swap.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/ints/swap.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/sll-bounds/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/sll-bounds/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/sll-bounds/sll-len.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/sll-bounds/sll-len.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/sll-bounds/sll-max.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/sll-bounds/sll-max.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/sll-bounds/sll-min.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/sll-bounds/sll-min.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/sll/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/sll/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/sll/sll-append.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/sll/sll-append.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/sll/sll-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/sll/sll-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/sll/sll-delete-all.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/sll/sll-delete-all.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/sll/sll-dupleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/sll/sll-dupleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/sll/sll-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/sll/sll-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/sll/sll-init.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/sll/sll-init.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/sll/sll-singleton.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/sll/sll-singleton.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/srtl/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/srtl/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/srtl/insertion-sort-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/srtl/insertion-sort-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/srtl/insertion-sort.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/srtl/insertion-sort.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/srtl/srtl-insert.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/srtl/srtl-insert.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/srtl/srtl-prepend.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/srtl/srtl-prepend.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/tree/common.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/tree/common.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/tree/tree-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/tree/tree-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/tree/tree-flatten-acc.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/tree/tree-flatten-acc.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/tree/tree-flatten.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/tree/tree-flatten.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/tree/tree-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/tree/tree-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-benchmarks/tree/tree-size.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-benchmarks/tree/tree-size.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-examples/01-swap.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-examples/01-swap.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-examples/02-pick.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-examples/02-pick.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-examples/03-notsure.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-examples/03-notsure.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-examples/04-urk.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-examples/04-urk.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-examples/05-elem.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-examples/05-elem.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-examples/07-listfree.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-examples/07-listfree.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-examples/13-listmorph.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-examples/13-listmorph.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-examples/17-listcopy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-examples/17-listcopy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/paper-examples/predicates.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/paper-examples/predicates.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/proofs/induction.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/proofs/induction.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/proofs/lseg.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/proofs/lseg.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/regression/be_or_not_be.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/regression/be_or_not_be.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/regression/extra_pure.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/regression/extra_pure.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/regression/not_equal.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/regression/not_equal.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/regression/pure_syn1.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/regression/pure_syn1.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/regression/pure_syn2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/regression/pure_syn2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/regression/pure_syn3.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/regression/pure_syn3.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/sets/addelem.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/sets/addelem.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/sets/addelem1.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/sets/addelem1.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/sets/exists_nil.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/sets/exists_nil.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/sets/list_skip.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/sets/list_skip.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/sets/lseg.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/sets/lseg.def -------------------------------------------------------------------------------- /src/test/resources/synthesis/sets/set_unify1.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/sets/set_unify1.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/sets/unify1.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/sets/unify1.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/sets/unify2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/sets/unify2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/alloc.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/alloc.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/blocks.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/blocks.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/emp.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/emp.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/frame-backtrack.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/frame-backtrack.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/frame-backtrack2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/frame-backtrack2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/frame-write.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/frame-write.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/frame.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/frame.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/free-block.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/free-block.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/kareem.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/kareem.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/kareem1.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/kareem1.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/kareem2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/kareem2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/pointer1.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/pointer1.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/read-frame-write.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/read-frame-write.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/swap.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/swap.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/swap1.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/swap1.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/swap2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/swap2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/write1.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/write1.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/simple/write2.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/simple/write2.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/smallfoot/business1.sf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/smallfoot/business1.sf -------------------------------------------------------------------------------- /src/test/resources/synthesis/smallfoot/circular_list.sf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/smallfoot/circular_list.sf -------------------------------------------------------------------------------- /src/test/resources/synthesis/smallfoot/dlseg.sf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/smallfoot/dlseg.sf -------------------------------------------------------------------------------- /src/test/resources/synthesis/smallfoot/list.sf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/smallfoot/list.sf -------------------------------------------------------------------------------- /src/test/resources/synthesis/smallfoot/mergesort.sf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/smallfoot/mergesort.sf -------------------------------------------------------------------------------- /src/test/resources/synthesis/smallfoot/queue.sf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/smallfoot/queue.sf -------------------------------------------------------------------------------- /src/test/resources/synthesis/smallfoot/tree.sf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/smallfoot/tree.sf -------------------------------------------------------------------------------- /src/test/resources/synthesis/smallfoot/tree_deallocate.sf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/smallfoot/tree_deallocate.sf -------------------------------------------------------------------------------- /src/test/resources/synthesis/smallfoot/xlseg.sf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/smallfoot/xlseg.sf -------------------------------------------------------------------------------- /src/test/resources/synthesis/syntax/accepts-new-syntax.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/syntax/accepts-new-syntax.sus -------------------------------------------------------------------------------- /src/test/resources/synthesis/tree/tree-copy-len-ptr.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/tree/tree-copy-len-ptr.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/tree/tree-copy-len.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/tree/tree-copy-len.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/tree/tree-copy-ptr.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/tree/tree-copy-ptr.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/tree/tree-copy.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/tree/tree-copy.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/tree/tree-free.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/tree/tree-free.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/tree/tree-morph.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/tree/tree-morph.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/tree/tree-size-ptr.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/tree/tree-size-ptr.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/tree/tree-size.syn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/tree/tree-size.syn -------------------------------------------------------------------------------- /src/test/resources/synthesis/tree/tree.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/resources/synthesis/tree/tree.def -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/fixme/FailingTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/fixme/FailingTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/fixme/HolesTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/fixme/HolesTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/overloading/OverloadedOperatorsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/overloading/OverloadedOperatorsTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/parsing/GoalParserTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/parsing/GoalParserTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/parsing/ParserErrorsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/parsing/ParserErrorsTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/parsing/PreambleParserTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/parsing/PreambleParserTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/parsing/TestNewSyntax.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/parsing/TestNewSyntax.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/smt/ArraySatTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/smt/ArraySatTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/smt/ArrayValueTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/smt/ArrayValueTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/smt/BoolExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/smt/BoolExample.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/synthesis/AbductionTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/synthesis/AbductionTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/synthesis/AccountTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/synthesis/AccountTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/synthesis/BasicSynthesisTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/synthesis/BasicSynthesisTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/synthesis/CVC4Tests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/synthesis/CVC4Tests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/synthesis/CardioTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/synthesis/CardioTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/synthesis/ChallengeTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/synthesis/ChallengeTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/synthesis/CyclicTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/synthesis/CyclicTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/synthesis/LinkedStructuresTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/synthesis/LinkedStructuresTests.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/synthesis/PaperBenchmarks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/synthesis/PaperBenchmarks.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/synthesis/PureReasoning.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/synthesis/PureReasoning.scala -------------------------------------------------------------------------------- /src/test/scala/org/tygus/suslik/unification/SpatialUnificationTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/test/scala/org/tygus/suslik/unification/SpatialUnificationTests.scala -------------------------------------------------------------------------------- /src/viz/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/viz/index.html -------------------------------------------------------------------------------- /src/viz/ts/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/viz/ts/main.ts -------------------------------------------------------------------------------- /src/viz/ts/menu.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/viz/ts/menu.css -------------------------------------------------------------------------------- /src/viz/ts/open.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/viz/ts/open.ts -------------------------------------------------------------------------------- /src/viz/ts/proof-trace.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/viz/ts/proof-trace.css -------------------------------------------------------------------------------- /src/viz/ts/proof-trace.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/viz/ts/proof-trace.ts -------------------------------------------------------------------------------- /src/viz/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TyGuS/suslik/HEAD/src/viz/tsconfig.json -------------------------------------------------------------------------------- /suslik: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | java -Dfile.encoding=UTF-8 -jar ./target/scala-2.12/suslik.jar $* 4 | --------------------------------------------------------------------------------