https://github.com/mit-plv/fiat-crypto
Revision 418eb6a5785c724e2e39997af6d4c09956a619a3 authored by Jason Gross on 09 April 2021, 22:11:04 UTC, committed by Jason Gross on 26 May 2021, 18:32:39 UTC
1 parent 41d5df5
Raw File
Tip revision: 418eb6a5785c724e2e39997af6d4c09956a619a3 authored by Jason Gross on 09 April 2021, 22:11:04 UTC
Infer the stack size from the code
Tip revision: 418eb6a
.gitmodules
[submodule "etc/coq-scripts"]
	path = etc/coq-scripts
	url = https://github.com/JasonGross/coq-scripts.git
[submodule "coqprime"]
	path = coqprime
	url = https://github.com/thery/coqprime
	ignore = dirty
[submodule "rewriter"]
	path = rewriter
	url = https://github.com/mit-plv/rewriter.git
[submodule "rupicola"]
	path = rupicola
	url = https://github.com/mit-plv/rupicola.git
back to top