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
Tip revision: 418eb6a5785c724e2e39997af6d4c09956a619a3 authored by Jason Gross on 09 April 2021, 22:11:04 UTC
Infer the stack size from the code
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
Computing file changes ...