LICENSE
README.md
pyproject.toml
brickproof_fw.egg-info/PKG-INFO
brickproof_fw.egg-info/SOURCES.txt
brickproof_fw.egg-info/dependency_links.txt
brickproof_fw.egg-info/entry_points.txt
brickproof_fw.egg-info/requires.txt
brickproof_fw.egg-info/top_level.txt
examples/demo_ab_bootloader/README.md
examples/demo_ab_bootloader/__init__.py
examples/demo_ab_bootloader/adapter.yaml
examples/demo_ab_bootloader/bug-consume_first.yaml
examples/demo_ab_bootloader/bug-early_unpg.yaml
examples/demo_ab_bootloader/bug-naive_floor.yaml
examples/demo_ab_bootloader/bug-no_erase.yaml
examples/demo_ab_bootloader/bug-no_unlock.yaml
examples/demo_ab_bootloader/bug-pop_after_switch.yaml
examples/demo_ab_bootloader/bug-protected_slot.yaml
examples/demo_ab_bootloader/bug-resume_copy.yaml
examples/demo_ab_bootloader/bug-retry_limit.yaml
examples/demo_ab_bootloader/bug-self_lock.yaml
examples/demo_ab_bootloader/bug-trust_header.yaml
examples/demo_ab_bootloader/build.py
examples/demo_ab_bootloader/f411-bug-consume_first.yaml
examples/demo_ab_bootloader/f411-bug-early_unpg.yaml
examples/demo_ab_bootloader/f411-bug-naive_floor.yaml
examples/demo_ab_bootloader/f411-bug-no_erase.yaml
examples/demo_ab_bootloader/f411-bug-no_unlock.yaml
examples/demo_ab_bootloader/f411-bug-pop_after_switch.yaml
examples/demo_ab_bootloader/f411-bug-protected_slot.yaml
examples/demo_ab_bootloader/f411-bug-retry_limit.yaml
examples/demo_ab_bootloader/f411-bug-self_lock.yaml
examples/demo_ab_bootloader/f411-bug-trust_header.yaml
examples/demo_ab_bootloader/f411-bug-watchdog.yaml
examples/demo_ab_bootloader/f411-ext-bug-consume_first.yaml
examples/demo_ab_bootloader/f411-ext.yaml
examples/demo_ab_bootloader/f411-hold_pg.yaml
examples/demo_ab_bootloader/f411-watchdog.yaml
examples/demo_ab_bootloader/f411.yaml
examples/demo_ab_bootloader/hold_pg.yaml
examples/demo_ab_bootloader/watchdog.yaml
examples/demo_ab_bootloader/prebuilt/app_v1.img
examples/demo_ab_bootloader/prebuilt/app_v2.img
examples/demo_ab_bootloader/prebuilt/bootloader.elf
examples/demo_ab_bootloader/prebuilt/bootloader_bug_consume_first.elf
examples/demo_ab_bootloader/prebuilt/bootloader_bug_early_unpg.elf
examples/demo_ab_bootloader/prebuilt/bootloader_bug_naive_floor.elf
examples/demo_ab_bootloader/prebuilt/bootloader_bug_no_erase.elf
examples/demo_ab_bootloader/prebuilt/bootloader_bug_no_unlock.elf
examples/demo_ab_bootloader/prebuilt/bootloader_bug_pop_after_switch.elf
examples/demo_ab_bootloader/prebuilt/bootloader_bug_resume_copy.elf
examples/demo_ab_bootloader/prebuilt/bootloader_bug_retry_limit.elf
examples/demo_ab_bootloader/prebuilt/bootloader_bug_self_lock.elf
examples/demo_ab_bootloader/prebuilt/bootloader_bug_trust_header.elf
examples/demo_ab_bootloader/prebuilt/bootloader_hold_pg.elf
examples/demo_ab_bootloader/prebuilt/f411_app_v1.img
examples/demo_ab_bootloader/prebuilt/f411_app_v2.img
examples/demo_ab_bootloader/prebuilt/f411_bootloader.elf
examples/demo_ab_bootloader/prebuilt/f411_bootloader_bug_consume_first.elf
examples/demo_ab_bootloader/prebuilt/f411_bootloader_bug_early_unpg.elf
examples/demo_ab_bootloader/prebuilt/f411_bootloader_bug_naive_floor.elf
examples/demo_ab_bootloader/prebuilt/f411_bootloader_bug_no_erase.elf
examples/demo_ab_bootloader/prebuilt/f411_bootloader_bug_no_unlock.elf
examples/demo_ab_bootloader/prebuilt/f411_bootloader_bug_pop_after_switch.elf
examples/demo_ab_bootloader/prebuilt/f411_bootloader_bug_retry_limit.elf
examples/demo_ab_bootloader/prebuilt/f411_bootloader_bug_self_lock.elf
examples/demo_ab_bootloader/prebuilt/f411_bootloader_bug_trust_header.elf
examples/demo_ab_bootloader/prebuilt/f411_bootloader_bug_watchdog.elf
examples/demo_ab_bootloader/prebuilt/f411_bootloader_ext.elf
examples/demo_ab_bootloader/prebuilt/f411_bootloader_ext_bug_consume_first.elf
examples/demo_ab_bootloader/prebuilt/f411_bootloader_hold_pg.elf
examples/demo_ab_bootloader/prebuilt/meta_floor1.bin
src/brickproof/__init__.py
src/brickproof/adapter.py
src/brickproof/cli.py
src/brickproof/oracle.py
src/brickproof/plan.py
src/brickproof/pool.py
src/brickproof/regulations.py
src/brickproof/report.py
src/brickproof/runner.py
src/brickproof/torn.py
src/brickproof/trace.py
src/brickproof/drivers/__init__.py
src/brickproof/drivers/staged_slot.py
src/brickproof/engine/__init__.py
src/brickproof/engine/session.py
src/brickproof/engine/workdir.py
src/brickproof/models/BpSpiNor.cs
src/brickproof/models/mem_guard.py
src/brickproof/models/stm32f1_flash.py
src/brickproof/models/stm32f1_rcc.py
src/brickproof/models/stm32f4_flash.py
src/brickproof/models/stm32f4_rcc.py
src/brickproof/platforms/stm32f103.repl
src/brickproof/platforms/stm32f411.repl
tests/test_adapter.py
tests/test_depth.py
tests/test_oracle.py
tests/test_plan.py
tests/test_pool.py
tests/test_report.py
tests/test_runner.py
tests/test_session_lifecycle.py
tests/test_torn.py
tests/test_trace.py
tests/test_workdir.py