summaryrefslogtreecommitdiff
path: root/test/regress/regress0/rewriterules
ModeNameSize
-rw-r--r--Makefile149logplain
-rw-r--r--Makefile.am1258logplain
-rw-r--r--datatypes.smt23269logplain
-rw-r--r--datatypes2.smt25728logplain
-rw-r--r--datatypes3.smt24831logplain
-rw-r--r--datatypes_clark.smt26676logplain
-rw-r--r--datatypes_clark_quantification.smt28717logplain
-rw-r--r--datatypes_sat.smt23267logplain
-rw-r--r--length.smt2692logplain
-rw-r--r--length_gen.smt2853logplain
-rw-r--r--length_gen_010.smt2899logplain
-rw-r--r--length_gen_010_lemma.smt2799logplain
-rw-r--r--length_gen_020.smt2853logplain
-rw-r--r--length_gen_020_sat.smt2852logplain
-rw-r--r--length_gen_040.smt2853logplain
-rw-r--r--length_gen_040_lemma.smt2799logplain
-rw-r--r--length_gen_040_lemma_trigger.smt2911logplain
-rw-r--r--length_gen_080.smt2853logplain
-rw-r--r--length_gen_1280.smt2857logplain
-rw-r--r--length_gen_1280_lemma_trigger.smt2915logplain
-rw-r--r--length_gen_160.smt2855logplain
-rw-r--r--length_gen_160_lemma.smt2801logplain
-rw-r--r--length_gen_160_lemma_trigger.smt2913logplain
-rw-r--r--length_gen_160_sat.smt2854logplain
-rw-r--r--length_gen_2560.smt2857logplain
-rw-r--r--length_gen_2560_sat.smt2858logplain
-rw-r--r--length_gen_640.smt2855logplain
-rw-r--r--length_gen_640_lemma.smt2801logplain
-rw-r--r--length_gen_640_sat.smt2856logplain
-rw-r--r--length_gen_inv_1280.smt2857logplain
-rw-r--r--length_gen_inv_160.smt2855logplain
-rw-r--r--length_gen_n.smt21538logplain
-rw-r--r--length_gen_n_lemma.smt21374logplain
-rw-r--r--length_trick.smt2757logplain
-rw-r--r--length_trick2.smt2805logplain
-rw-r--r--length_trick3.smt2963logplain
-rw-r--r--length_trick3_int.smt21230logplain
-rw-r--r--native_arrays.smt2977logplain
-rw-r--r--native_datatypes.smt2802logplain
-rw-r--r--native_datatypes2.smt2905logplain
-rw-r--r--reachability_back_to_the_future_extended.smt22736logplain
-rw-r--r--reachability_bbttf_eT_arrays.smt212962logplain
-rw-r--r--reachability_bttf_ext_Thomas.smt28317logplain
-rw-r--r--relation.smt2590logplain
-rw-r--r--set_A_new_fast_tableau-base.smt24672logplain
-rw-r--r--set_A_new_fast_tableau-base_sat.smt24576logplain
-rw-r--r--simulate_rewriting.smt2552logplain
-rw-r--r--test_efficient_ematching.smt2825logplain
-rw-r--r--test_guards.smt21148logplain
-rw-r--r--why3_vstte10_max_sum_harness2.smt215694logplain
-rw-r--r--why3_vstte10_max_sum_harness2_rr.smt216248logplain
-rw-r--r--why3_vstte10_max_sum_harness3.smt215714logplain
-rw-r--r--why3_vstte10_max_sum_harness3_rr.smt217041logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback