Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expose-array-back/./tests/elab_bench
tree: 9a53d8d55d0b78c9b03796b3771a1c8634e9f536 [search]
  1. big_omega_MT.lean ⇨ big_omega.lean
  2. iterators.lean ⇨ ../compile_bench/iterators.lean
  3. run_test.sh ⇨ ../elab/run_test.sh
  4. big_beq.lean
  5. big_beq.lean.out.ignored
  6. big_beq_rec.lean
  7. big_beq_rec.lean.out.ignored
  8. big_deceq.lean
  9. big_deceq.lean.out.ignored
  10. big_deceq_rec.lean
  11. big_deceq_rec.lean.out.ignored
  12. big_do.lean
  13. big_do.lean.out.expected
  14. big_match.lean
  15. big_match.lean.out.ignored
  16. big_match_nat.lean
  17. big_match_nat.lean.out.ignored
  18. big_match_nat_split.lean
  19. big_match_nat_split.lean.out.ignored
  20. big_match_partial.lean
  21. big_match_partial.lean.out.ignored
  22. big_omega.lean
  23. big_omega_MT.lean.init.sh
  24. big_struct.lean
  25. big_struct_dep.lean
  26. big_struct_dep1.lean
  27. bv_decide_inequality.lean
  28. bv_decide_inequality.lean.no_test
  29. bv_decide_large_aig.lean
  30. bv_decide_large_aig.lean.out.expected
  31. bv_decide_mod.lean
  32. bv_decide_mod.lean.no_test
  33. bv_decide_mul.lean
  34. bv_decide_realworld.lean
  35. bv_decide_rewriter.lean
  36. cbv_aes.lean
  37. cbv_arm_ldst.lean
  38. cbv_arm_ldst.lean.no_test
  39. cbv_decide.lean
  40. cbv_decide.lean.out.ignored
  41. cbv_dedup.lean
  42. cbv_divisors.lean
  43. cbv_divisors.lean.out.ignored
  44. cbv_leroy.lean
  45. cbv_leroy.lean.out.ignored
  46. cbv_merge_sort.lean
  47. cbv_merge_sort.lean.out.ignored
  48. cbv_system_f.lean
  49. cbv_system_f.lean.no_test
  50. charactersIn.lean
  51. charactersIn.lean.out.ignored
  52. delayed_assign.lean
  53. delayed_sharing.lean
  54. grind_bitvec2.lean
  55. grind_bitvec2.lean.no_test
  56. grind_list2.lean
  57. grind_ring_5.lean
  58. mut_rec_wf.lean
  59. mut_rec_wf.lean.out.ignored
  60. omega_stress.lean
  61. omega_stress.lean.out.ignored
  62. reduceMatch.lean
  63. riscv-ast.lean
  64. riscv-ast.lean.no_test
  65. run_bench.sh
  66. simp_arith1.lean
  67. simp_bubblesort_256.lean
  68. simp_congr.lean
  69. simp_congr.lean.init.sh
  70. simp_local.lean
  71. simp_subexpr.lean
  72. simp_subexpr.lean.out.ignored
  73. string_simp_ne.lean
  74. string_simp_ne.lean.out.ignored
  75. workspaceSymbols.lean
  76. workspaceSymbols.lean.out.ignored