Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Certicoq 8.11 #16

Merged
merged 31 commits into from
Jun 15, 2020
Merged

Certicoq 8.11 #16

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
2c24ee6
Update squiggleeq ref
mattam82 Mar 18, 2020
588b0fa
Update paramcoq module reference
mattam82 Mar 18, 2020
eb5d592
Update to Coq 8.10 (submodule change)
mattam82 Mar 18, 2020
a252608
Update .gitignore
mattam82 Mar 18, 2020
dce7ac8
Update to 8.10
mattam82 Mar 18, 2020
f3dc9a0
Update gitignore
mattam82 Mar 18, 2020
ebf017d
Update squiggleeq ref
mattam82 Mar 18, 2020
46c38f1
Update metacoq ref
mattam82 Mar 18, 2020
69c1bd0
Update metacoq and Equations submodules for 8.11
mattam82 Mar 18, 2020
a2b5497
Update paramcoq ref
mattam82 Mar 18, 2020
0a720a2
Update coq-ext-lib to include fix for 8.11
mattam82 Mar 18, 2020
047b232
Update SquiggleEq ref
mattam82 Mar 18, 2020
a6145a5
WIP updating to Coq 8.11
mattam82 Mar 18, 2020
59c80d3
Update to Coq 8.11
mattam82 Mar 19, 2020
9f4df63
Add ssrbool dependency to plugin
mattam82 Mar 19, 2020
8de41c0
Cleanup plugin dir (generated file was in revision)
mattam82 Mar 19, 2020
4ffc1e2
Update .travis instructions
mattam82 Mar 19, 2020
6219332
Force travis run
mattam82 Mar 19, 2020
2f07b32
Update metacoq ref
mattam82 Mar 20, 2020
c85639d
Try a CI run that just caches the ocaml + coq install
mattam82 Mar 20, 2020
c9ed4f7
Now try to get under the time limit with just submodules + certicoq
mattam82 Mar 20, 2020
cd3b8d9
Fix bash error in make_submodules
mattam82 Mar 20, 2020
1abd6c5
Add hints.sed script
mattam82 Mar 20, 2020
57cedf1
Fixed most Hint Warnings and missing scope declarations
mattam82 Mar 20, 2020
5b3f10d
Remove misleading x86_32 directory from compcert copy
mattam82 Mar 20, 2020
4caf997
ci target with just submodule installation
mattam82 Mar 20, 2020
d4f5c66
ci target without submodules
mattam82 Mar 20, 2020
54aa871
Fix plugin install target
mattam82 Mar 21, 2020
dd20630
Update metacoq ref to the closed substitution version
mattam82 Mar 23, 2020
a2dbc30
Fix warnings
mattam82 Mar 23, 2020
2ca697d
Fix warnings and coqdep issues
mattam82 Mar 23, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update coq-ext-lib to include fix for 8.11
  • Loading branch information
@mattam82
mattam82 committed Mar 18, 2020
commit 0a720a2bedb33d6caecd5185f3a30f652205fcbf
6 changes: 3 additions & 3 deletions .gitmodules
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,15 +1,15 @@
[submodule "submodules/coq-ext-lib"]
path = submodules/coq-ext-lib
url = https://github.com/coq-ext-lib/coq-ext-lib.git
branch = v8.8
url = https://github.com/mattam82/coq-ext-lib.git
branch = fix-8.11
[submodule "submodules/SquiggleEq"]
path = submodules/SquiggleEq
url = https://github.com/mattam82/SquiggleEq.git
branch = fix-8.10
[submodule "submodules/paramcoq"]
path = submodules/paramcoq
url = https://github.com/coq-community/paramcoq.git
branch = v8.10
branch = v8.11
[submodule "submodules/Equations"]
path = submodules/Equations
url = http://github.com/mattam82/Coq-Equations
Expand Down
2 changes: 1 addition & 1 deletion submodules/coq-ext-lib
Open in desktop
Submodule coq-ext-lib updated 1 files
+1 −0 theories/Data/SumN.v