Skip to content

bench

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History

bench

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
t5_samples
t5_samples
 
 
t6_samples
t6_samples
 
 
B1_core.lean
B1_core.lean
 
 
DeclDag.lean
DeclDag.lean
 
 
G_hundred.lean
G_hundred.lean
 
 
G_one.lean
G_one.lean
 
 
M_floor_1lit.lean
M_floor_1lit.lean
 
 
M_floor_5lit.lean
M_floor_5lit.lean
 
 
M_floor_def.lean
M_floor_def.lean
 
 
M_floor_empty.lean
M_floor_empty.lean
 
 
M_floor_example.lean
M_floor_example.lean
 
 
M_floor_novar.lean
M_floor_novar.lean
 
 
M_floor_thm_by.lean
M_floor_thm_by.lean
 
 
M_floor_thm_mut.lean
M_floor_thm_mut.lean
 
 
M_floor_thm_term.lean
M_floor_thm_term.lean
 
 
M_floor_true.lean
M_floor_true.lean
 
 
M_mutation_probe.lean
M_mutation_probe.lean
 
 
M_scale_1.lean
M_scale_1.lean
 
 
M_scale_16.lean
M_scale_16.lean
 
 
M_scale_16s.lean
M_scale_16s.lean
 
 
M_scale_2.lean
M_scale_2.lean
 
 
M_scale_4.lean
M_scale_4.lean
 
 
M_scale_8.lean
M_scale_8.lean
 
 
M_scaledef_16.lean
M_scaledef_16.lean
 
 
M_scaledef_4.lean
M_scaledef_4.lean
 
 
M_scalevar_16.lean
M_scalevar_16.lean
 
 
M_scalevar_4.lean
M_scalevar_4.lean
 
 
M_shape_mutation.lean
M_shape_mutation.lean
 
 
M_t10_probes.lean
M_t10_probes.lean
 
 
M_t10_scale_128.lean
M_t10_scale_128.lean
 
 
M_t10_scale_16.lean
M_t10_scale_16.lean
 
 
M_t10_scale_256.lean
M_t10_scale_256.lean
 
 
M_t10_scale_32.lean
M_t10_scale_32.lean
 
 
M_t10_scale_64.lean
M_t10_scale_64.lean
 
 
M_t10_scale_8.lean
M_t10_scale_8.lean
 
 
M_t2a_fail.lean
M_t2a_fail.lean
 
 
M_t2a_probe.lean
M_t2a_probe.lean
 
 
M_t2c_async_ind.lean
M_t2c_async_ind.lean
 
 
M_t2c_diag.lean
M_t2c_diag.lean
 
 
M_t2c_module_probe.lean
M_t2c_module_probe.lean
 
 
M_t4_alias_chain.lean
M_t4_alias_chain.lean
 
 
M_t4_alias_chain2.lean
M_t4_alias_chain2.lean
 
 
M_t4_alias_fresh.lean
M_t4_alias_fresh.lean
 
 
M_t4_alias_imported.lean
M_t4_alias_imported.lean
 
 
M_t4_base.lean
M_t4_base.lean
 
 
M_t4_big_alias.lean
M_t4_big_alias.lean
 
 
M_t4_big_attr.lean
M_t4_big_attr.lean
 
 
M_t4_big_base.lean
M_t4_big_base.lean
 
 
M_t4_big_check.lean
M_t4_big_check.lean
 
 
M_t4_chain_base.lean
M_t4_chain_base.lean
 
 
M_t4_gdb.lean
M_t4_gdb.lean
 
 
M_v2_scoped.lean
M_v2_scoped.lean
 
 
M_v2_unrelated_class.lean
M_v2_unrelated_class.lean
 
 
RecTypeBuilder.lean
RecTypeBuilder.lean
 
 
StmtDeps_batteries.lean
StmtDeps_batteries.lean
 
 
StmtDeps_mathlib.lean
StmtDeps_mathlib.lean
 
 
T_base.lean
T_base.lean
 
 
T_shape_repeat.lean
T_shape_repeat.lean
 
 
T_tc_one.lean
T_tc_one.lean
 
 
T_tc_repeat.lean
T_tc_repeat.lean
 
 
batteries_OFF_run.log
batteries_OFF_run.log
 
 
batteries_ON.log
batteries_ON.log
 
 
batteries_ON_run.log
batteries_ON_run.log
 
 
batteries_cold_build.log
batteries_cold_build.log
 
 
batteries_cold_build_v4.32.log
batteries_cold_build_v4.32.log
 
 
c1_oracle.lean
c1_oracle.lean
 
 
c1_oracle_equiv_basic.jsonl
c1_oracle_equiv_basic.jsonl
 
 
c1_spec_equiv_basic.jsonl
c1_spec_equiv_basic.jsonl
 
 
c1_spec_harness.lean
c1_spec_harness.lean
 
 
dag_err.log
dag_err.log
 
 
equiv_basic_cmdprof.txt
equiv_basic_cmdprof.txt
 
 
equiv_basic_stmtdeps.jsonl
equiv_basic_stmtdeps.jsonl
 
 
fission_split.py
fission_split.py
 
 
lean4_build.log
lean4_build.log
 
 
lean4_rebuild_patched.log
lean4_rebuild_patched.log
 
 
lean4_rebuild_t2a.log
lean4_rebuild_t2a.log
 
 
lean4_rebuild_t2a2.log
lean4_rebuild_t2a2.log
 
 
lean4_rebuild_t2a3.log
lean4_rebuild_t2a3.log
 
 
lean4_rebuild_t2a4.log
lean4_rebuild_t2a4.log
 
 
lean4_rebuild_t2a5.log
lean4_rebuild_t2a5.log
 
 
lean4_rebuild_t2a6.log
lean4_rebuild_t2a6.log
 
 
lean4_rebuild_t2c.log
lean4_rebuild_t2c.log
 
 
lean4_rebuild_t2c2.log
lean4_rebuild_t2c2.log
 
 
lean4_rebuild_t2c3.log
lean4_rebuild_t2c3.log
 
 
lean4_rebuild_t2c4.log
lean4_rebuild_t2c4.log
 
 
lean4_rebuild_t2c5.log
lean4_rebuild_t2c5.log
 
 
lean4_rebuild_t2c6.log
lean4_rebuild_t2c6.log
 
 
lean4_rebuild_t2c7.log
lean4_rebuild_t2c7.log
 
 
lean4_rebuild_t2c8.log
lean4_rebuild_t2c8.log
 
 
lean4_rebuild_t5.log
lean4_rebuild_t5.log
 
 
lean4_rebuild_t5base.log
lean4_rebuild_t5base.log
 
 
lean4_rebuild_t6.log
lean4_rebuild_t6.log
 
 
lean4_rebuild_t6_master.log
lean4_rebuild_t6_master.log
 
 
lean4_rebuild_t6b.log
lean4_rebuild_t6b.log
 
 
lean4_rebuild_t7.log
lean4_rebuild_t7.log
 
 
lean4_rebuild_t7b.log
lean4_rebuild_t7b.log
 
 
lean4_rebuild_t8.log
lean4_rebuild_t8.log
 
 
lean4_rebuild_v1.log
lean4_rebuild_v1.log
 
 
lean4_rebuild_v2.log
lean4_rebuild_v2.log
 
 
lean4_rebuild_v21.log
lean4_rebuild_v21.log