Ricardo Guilherme Schmidt 99c73be3c4 fix(certora/specs): Make rules work again		2024-11-15 02:40:11 -03:00
..
confs	chore(certora/confs): lint files	2024-11-15 02:40:11 -03:00
harness	chore: update interface and update Solidity version to 0.8.27 across all files	2024-11-15 02:40:11 -03:00
helpers	chore: update interface and update Solidity version to 0.8.27 across all files	2024-11-15 02:40:11 -03:00
specs	fix(certora/specs): Make rules work again	2024-11-15 02:40:11 -03:00