GitHub - runtimeverification/kontrol-demo: Foundry blog posts' executable demos

Name	Name	Last commit message	Last commit date
Latest commit anvacaru Bring repo up to date (#19 ) Jul 22, 2024 c47e437 · Jul 22, 2024 History 27 Commits
.github/workflows	.github/workflows	Feature/foundry to kontrol (#17 )	Apr 3, 2024
old	old	Bring repo up to date (#19 )	Jul 22, 2024
oz_erc20	oz_erc20	Bring repo up to date (#19 )	Jul 22, 2024
.gitattributes	.gitattributes	Move to intall-kontrol action and run kontrol intead of foundry (#16 )	Mar 29, 2024
.gitignore	.gitignore	Move to intall-kontrol action and run kontrol intead of foundry (#16 )	Mar 29, 2024
.gitmodules	.gitmodules	Bring repo up to date (#19 )	Jul 22, 2024
run-kontrol.sh	run-kontrol.sh	Bring repo up to date (#19 )	Jul 22, 2024