.gitmodules

[submodule "projects/uniswap-v2/lib/forge-std"]
	path = projects/uniswap-v2/lib/forge-std
	url = https://github.com/foundry-rs/forge-std
[submodule "projects/uniswap-v2/lib/properties"]
	path = projects/uniswap-v2/lib/properties
	url = https://github.com/crytic/properties
[submodule "projects/uniswap-v2/lib/openzeppelin-contracts"]
	path = projects/uniswap-v2/lib/openzeppelin-contracts
	url = https://github.com/OpenZeppelin/openzeppelin-contracts
[submodule "projects/uniswap-v2/lib/halmos-cheatcodes"]
	path = projects/uniswap-v2/lib/halmos-cheatcodes
	url = https://github.com/a16z/halmos-cheatcodes
[submodule "projects/abdk-math-64x64/lib/forge-std"]
	path = projects/abdk-math-64x64/lib/forge-std
	url = https://github.com/foundry-rs/forge-std
[submodule "projects/abdk-math-64x64/lib/abdk-libraries-solidity"]
	path = projects/abdk-math-64x64/lib/abdk-libraries-solidity
	url = https://github.com/abdk-consulting/abdk-libraries-solidity
[submodule "projects/abdk-math-64x64/lib/properties"]
	path = projects/abdk-math-64x64/lib/properties
	url = https://github.com/crytic/properties
[submodule "projects/dai-certora/lib/forge-std"]
	path = projects/dai-certora/lib/forge-std
	url = https://github.com/foundry-rs/forge-std
[submodule "projects/dai-certora/lib/halmos-cheatcodes"]
	path = projects/dai-certora/lib/halmos-cheatcodes
	url = https://github.com/a16z/halmos-cheatcodes
[submodule "projects/dai-certora/lib/chimera"]
	path = projects/dai-certora/lib/chimera
	url = https://github.com/aviggiano/chimera
[submodule "projects/create3/lib/forge-std"]
	path = projects/create3/lib/forge-std
	url = https://github.com/foundry-rs/forge-std