Home|About|Gaming cabinet|Archives|How it works|Starter sites

GeezerVison is showing github.com — lean-miniscript/scripts at main · febyeji/lean-miniscript

Expand file tree

/

scripts

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

History

History

/

scripts

/

Copy path

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
core_loop_fallbacks.lean		core_loop_fallbacks.lean
equivalence_obligations.lean		equivalence_obligations.lean
fixture_common.py		fixture_common.py
generate_core_fixture_transaction_examples.py		generate_core_fixture_transaction_examples.py
generate_descriptor_material_fixtures.py		generate_descriptor_material_fixtures.py
generate_ecdsa_fixtures.py		generate_ecdsa_fixtures.py
generate_legacy_sighash_fixtures.py		generate_legacy_sighash_fixtures.py
generate_psbt_fixtures.py		generate_psbt_fixtures.py
generate_schnorr_fixtures.py		generate_schnorr_fixtures.py
generate_sighash_execution_fixtures.py		generate_sighash_execution_fixtures.py
generate_taproot_control_fixtures.py		generate_taproot_control_fixtures.py
generate_taproot_sighash_fixtures.py		generate_taproot_sighash_fixtures.py
generate_taproot_transaction_fixtures.py		generate_taproot_transaction_fixtures.py
script_equivalence_obligations.lean		script_equivalence_obligations.lean
test_psbt_cli.py		test_psbt_cli.py