https://github.com/xi-business/infsat
History
Tip revision: 31552cff3d6d4239fcf05c9c201e9c2fa3678b7a authored by Jan Wroblewski on 10 February 2022, 12:43:54 UTC
Removed unusable benchmark and renamed the other g45 one.
Tip revision: 31552cf
File Mode Size
README.txt -rw-r--r-- 463 bytes
a_loop_inf.inf -rw-r--r-- 30 bytes
a_loop_omega_fin.inf -rw-r--r-- 24 bytes
ae_fin.inf -rw-r--r-- 24 bytes
ax_fin.inf -rw-r--r-- 36 bytes
bin_tree_inf.inf -rw-r--r-- 134 bytes
bin_tree_no_tr_inf.inf -rw-r--r-- 156 bytes
complex_fin.inf -rw-r--r-- 118 bytes
custom_terminals2_fin.inf -rw-r--r-- 165 bytes
custom_terminals_inf.inf -rw-r--r-- 1.2 KB
dependencies_inf.inf -rw-r--r-- 292 bytes
double_exp_fin.py -rw-r--r-- 442 bytes
e_fin.inf -rw-r--r-- 22 bytes
everything_counted_inf.inf -rw-r--r-- 88 bytes
failed_counterexample_candidate.inf -rw-r--r-- 223 bytes
failed_counterexample_candidate_opt.inf -rw-r--r-- 209 bytes
failed_counterexample_candidate_opt_tr.inf -rw-r--r-- 225 bytes
failed_counterexample_candidate_tr.inf -rw-r--r-- 219 bytes
fin_pr_in_cycle_fin.inf -rw-r--r-- 106 bytes
head_variables_fin.inf -rw-r--r-- 106 bytes
ignored_omega_inf.inf -rw-r--r-- 132 bytes
loop_with_paths_inf.inf -rw-r--r-- 101 bytes
multiple_applications_inf.inf -rw-r--r-- 54 bytes
multiple_occurences_inf.inf -rw-r--r-- 74 bytes
multiple_usages_inf.inf -rw-r--r-- 96 bytes
same_binding_twice_unsafe_fin.inf -rw-r--r-- 1.2 KB
same_pr_nt_once_fin.inf -rw-r--r-- 46 bytes
same_pr_nt_twice_inf.inf -rw-r--r-- 50 bytes
side_pr_loop_inf.inf -rw-r--r-- 58 bytes
t_loop_inf.inf -rw-r--r-- 59 bytes
three_loop_inf.inf -rw-r--r-- 72 bytes
unknown_later_inf.inf -rw-r--r-- 135 bytes
unneeded_binding_fin.inf -rw-r--r-- 480 bytes
vars_fin.inf -rw-r--r-- 65 bytes

README.txt

back to top