forge install: forge-std

v1.9.2

.gitmodules

@@ -1,10 +1,9 @@
-[submodule "lib/forge-std"]
-	branch = v1
-	path = lib/forge-std
-	url = https://github.com/foundry-rs/forge-std
 [submodule "lib/erc4626-tests"]
 	path = lib/erc4626-tests
 	url = https://github.com/a16z/erc4626-tests.git
 [submodule "lib/halmos-cheatcodes"]
 	path = lib/halmos-cheatcodes
 	url = https://github.com/a16z/halmos-cheatcodes
+[submodule "lib/forge-std"]
+	path = lib/forge-std
+	url = https://github.com/foundry-rs/forge-std

eof-solc

@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+
+docker run --rm -i -v "$(pwd):/app/root" ghcr.io/paradigmxyz/forge-eof:latest "$@"

foundry.toml

@@ -1,14 +1,16 @@
 [profile.default]
-solc_version = '0.8.24'
-evm_version = 'cancun'
-optimizer = true
-optimizer-runs = 200
 src = 'contracts'
 out = 'out'
 libs = ['node_modules', 'lib']
 test = 'test'
 cache_path  = 'cache_forge'
 
+# settings required for EOF
+via_ir = true
+evm_version = "prague"
+eof_version = 1
+solc = "./eof-solc"
+
 [fuzz]
 runs = 5000
 max_test_rejects = 150000