Skip to content

Commit

Permalink
Bump rewriter from 26f5c84 to e2721fc (#1673)
Browse files Browse the repository at this point in the history
  • Loading branch information
@dependabot
dependabot[bot] authored Sep 27, 2023
1 parent 85e0822 commit 08c339c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion rewriter
Submodule rewriter updated 46 files
+6 −2 .github/workflows/coq.yml
+19 −3 .github/workflows/docker-coq.yml
+4 −0 .gitignore
+8 −0 Makefile.local.common
+1 −1 etc/coq-scripts
+5 −4 src/Rewriter/Language/Reify.v
+2 −12 src/Rewriter/Rewriter/Reify.v
+1 −0 src/Rewriter/Util/Tactics2/Constr.v.v815
+1 −0 src/Rewriter/Util/Tactics2/Constr.v.v816
+1 −0 src/Rewriter/Util/Tactics2/Constr.v.v817
+29 −0 src/Rewriter/Util/Tactics2/Constr.v.v818
+100 −0 src/Rewriter/Util/Tactics2/Constr.v.v819
+1 −0 src/Rewriter/Util/Tactics2/DestProj.v.v815
+1 −0 src/Rewriter/Util/Tactics2/DestProj.v.v816
+1 −0 src/Rewriter/Util/Tactics2/DestProj.v.v817
+0 −0 src/Rewriter/Util/Tactics2/DestProj.v.v818
+11 −0 src/Rewriter/Util/Tactics2/DestProj.v.v819
+1 −0 src/Rewriter/Util/Tactics2/Proj.v.v815
+0 −0 src/Rewriter/Util/Tactics2/Proj.v.v816
+1 −0 src/Rewriter/Util/Tactics2/Proj.v.v817
+5 −0 src/Rewriter/Util/Tactics2/Proj.v.v818
+5 −0 src/Rewriter/Util/Tactics2/Proj.v.v819
+10 −0 src/Rewriter/Util/plugins/Ltac2Extra.v.v819
+10 −0 src/Rewriter/Util/plugins/RewriterBuild.v.v819
+20 −0 src/Rewriter/Util/plugins/RewriterBuildRegistry.v.v819
+35 −0 src/Rewriter/Util/plugins/StrategyTactic.v.v819
+17 −0 src/Rewriter/Util/plugins/definition_by_tactic.ml.v819
+11 −0 src/Rewriter/Util/plugins/definition_by_tactic.mli.v819
+22 −0 src/Rewriter/Util/plugins/definition_by_tactic_plugin.mlg.v819
+2 −0 src/Rewriter/Util/plugins/definition_by_tactic_plugin.mllib.v819
+82 −0 src/Rewriter/Util/plugins/inductive_from_elim.ml.v819
+3 −0 src/Rewriter/Util/plugins/inductive_from_elim.mli.v819
+17 −0 src/Rewriter/Util/plugins/inductive_from_elim_plugin.mlg.v819
+2 −0 src/Rewriter/Util/plugins/inductive_from_elim_plugin.mllib.v819
+19 −0 src/Rewriter/Util/plugins/ltac2_extra.ml.v819
+0 −0 src/Rewriter/Util/plugins/ltac2_extra.mli.v819
+1 −0 src/Rewriter/Util/plugins/ltac2_extra_plugin.mlg.v819
+2 −0 src/Rewriter/Util/plugins/ltac2_extra_plugin.mllib.v819
+196 −0 src/Rewriter/Util/plugins/rewriter_build.ml.v819
+3 −0 src/Rewriter/Util/plugins/rewriter_build.mli.v819
+82 −0 src/Rewriter/Util/plugins/rewriter_build_plugin.mlg.v819
+4 −0 src/Rewriter/Util/plugins/rewriter_build_plugin.mllib.v819
+7 −0 src/Rewriter/Util/plugins/strategy_tactic.ml.v819
+1 −0 src/Rewriter/Util/plugins/strategy_tactic.mli.v819
+18 −0 src/Rewriter/Util/plugins/strategy_tactic_plugin.mlg.v819
+2 −0 src/Rewriter/Util/plugins/strategy_tactic_plugin.mllib.v819

0 comments on commit 08c339c

Please sign in to comment.