You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 53, characters 34-48:
Warning: Notation plus_le_compat is deprecated since 8.16.
The Arith.Plus file is obsolete. Use Nat.add_le_mono instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 54, characters 35-42:
Warning: Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 71, characters 13-32:
Warning: Notation Min.min_case_strong is deprecated since 8.16.
The Arith.Min file is obsolete. Use Nat.min_case_strong instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 71, characters 13-32:
Warning: Notation Min.min_case_strong is deprecated since 8.16.
The Arith.Min file is obsolete. Use Nat.min_case_strong instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 73, characters 13-32:
Warning: Notation Max.max_case_strong is deprecated since 8.16.
The Arith.Max file is obsolete. Use Nat.max_case_strong instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 73, characters 13-32:
Warning: Notation Max.max_case_strong is deprecated since 8.16.
The Arith.Max file is obsolete. Use Nat.max_case_strong instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 87, characters 44-63:
Warning: Notation Max.max_case_strong is deprecated since 8.16.
The Arith.Max file is obsolete. Use Nat.max_case_strong instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 86, characters 44-63:
Warning: Notation Min.min_case_strong is deprecated since 8.16.
The Arith.Min file is obsolete. Use Nat.min_case_strong instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 193, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 193, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
Non-empty-diff:
diff --git a/rupicola b/rupicola
--- a/rupicola
+++ b/rupicola
@@ -1 +1 @@
-Subproject commit 6d4f40ca995ed0fcb495c6ff3362f2d003a26432
+Subproject commit 6d4f40ca995ed0fcb495c6ff3362f2d003a26432-dirty
Entering 'coqprime'
Entering 'etc/coq-scripts'
Entering 'rewriter'
Entering 'rewriter/etc/coq-scripts'
Entering 'rupicola'
diff --git a/bedrock2 b/bedrock2
--- a/bedrock2
+++ b/bedrock2
@@ -1 +1 @@
-Subproject commit b36804f405bde94216630084ca52fc6e177c682b
+Subproject commit b36804f405bde94216630084ca52fc6e177c682b-dirty
Entering 'rupicola/bedrock2'
diff --git a/deps/coq-record-update b/deps/coq-record-update
--- a/deps/coq-record-update
+++ b/deps/coq-record-update
@@ -1 +1 @@
-Subproject commit 99280150f003159c7c6f955d415a7c28e91a13af
+Subproject commit 99280150f003159c7c6f955d415a7c28e91a13af-dirty
Entering 'rupicola/bedrock2/deps/coq-record-update'
Entering 'rupicola/bedrock2/deps/coqutil'
Entering 'rupicola/bedrock2/deps/coqutil/etc/coq-scripts'
Entering 'rupicola/bedrock2/deps/kami'
Entering 'rupicola/bedrock2/deps/riscv-coq'
Entering 'coqprime'
HEAD detached at 431d7a6
nothing to commit, working tree clean
Entering 'etc/coq-scripts'
HEAD detached at 8ce1d5d
nothing to commit, working tree clean
Entering 'rewriter'
HEAD detached at 26f5c84
nothing to commit, working tree clean
Entering 'rewriter/etc/coq-scripts'
HEAD detached at 8ce1d5d
nothing to commit, working tree clean
Entering 'rupicola'
HEAD detached at 6d4f40c
Changes not staged for commit:
(use "git add <file>..." to update what will be committed)
(use "git restore <file>..." to discard changes in working directory)
(commit or discard the untracked or modified content in submodules)
modified: bedrock2 (untracked content)
no changes added to commit (use "git add" and/or "git commit -a")
Entering 'rupicola/bedrock2'
HEAD detached at b36804f
Changes not staged for commit:
(use "git add <file>..." to update what will be committed)
(use "git restore <file>..." to discard changes in working directory)
(commit or discard the untracked or modified content in submodules)
modified: deps/coq-record-update (untracked content)
no changes added to commit (use "git add" and/or "git commit -a")
Entering 'rupicola/bedrock2/deps/coq-record-update'
HEAD detached at 9928015
Untracked files:
(use "git add <file>..." to include in what will be committed)
src/Lens.v.timing
src/RecordSet.v.timing
src/RecordUpdate.v.timing
nothing added to commit but untracked files present (use "git add" to track)
Entering 'rupicola/bedrock2/deps/coqutil'
HEAD detached at 1b632be
nothing to commit, working tree clean
Entering 'rupicola/bedrock2/deps/coqutil/etc/coq-scripts'
HEAD detached at efae533
nothing to commit, working tree clean
Entering 'rupicola/bedrock2/deps/kami'
HEAD detached at a5f3efe
nothing to commit, working tree clean
Entering 'rupicola/bedrock2/deps/riscv-coq'
HEAD detached at 3c623d8
nothing to commit, working tree clean
::remove-matcher owner=coq-problem-matcher::
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 14, characters 34-48:
Warning: Notation plus_le_compat is deprecated since 8.16.
The Arith.Plus file is obsolete. Use Nat.add_le_mono instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 16, characters 25-32:
Warning: Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 34, characters 13-32:
Warning: Notation Min.min_case_strong is deprecated since 8.16.
The Arith.Min file is obsolete. Use Nat.min_case_strong instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 34, characters 13-32:
Warning: Notation Min.min_case_strong is deprecated since 8.16.
The Arith.Min file is obsolete. Use Nat.min_case_strong instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 36, characters 13-32:
Warning: Notation Max.max_case_strong is deprecated since 8.16.
The Arith.Max file is obsolete. Use Nat.max_case_strong instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 36, characters 13-32:
Warning: Notation Max.max_case_strong is deprecated since 8.16.
The Arith.Max file is obsolete. Use Nat.max_case_strong instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 50, characters 44-63:
Warning: Notation Max.max_case_strong is deprecated since 8.16.
The Arith.Max file is obsolete. Use Nat.max_case_strong instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 49, characters 44-63:
Warning: Notation Min.min_case_strong is deprecated since 8.16.
The Arith.Min file is obsolete. Use Nat.min_case_strong instead.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 156, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 156, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
The logs for this run have expired and are no longer available.