src

Feb 4, 2025

211571c · Feb 4, 2025

Name	Name	Last commit message	Last commit date
parent directory ..
callbacks	callbacks	analyze implementations of traits from `frame-support::traits::tokens`	Feb 3, 2025
providers	providers	refactor closure invariant propagation	Feb 4, 2025
callbacks.rs	callbacks.rs	compile and annotate `pallet-*` dependencies with `pallet-verifier`	Oct 28, 2024
cli_utils.rs	cli_utils.rs	analyze pallet hooks	Jan 2, 2025
driver.rs	driver.rs	analyze pallet hooks	Jan 2, 2025
file_loader.rs	file_loader.rs	refactor virtual file loader	Dec 5, 2024
lib.rs	lib.rs	propagate iterator and slice position/index invariants to Result and …	Jan 24, 2025
main.rs	main.rs	analyze pallet hooks	Jan 2, 2025
providers.rs	providers.rs	propagate iterator and slice position/index invariants to Result and …	Jan 24, 2025
utils.rs	utils.rs	propagate storage index invariant to callers	Jan 28, 2025

Provide feedback