Skip to content

Commit

Permalink
Bump rewriter from 3342e29 to 21b82e9
Browse files Browse the repository at this point in the history 
Bumps [rewriter](https://github.com/mit-plv/rewriter) from `3342e29` to `21b82e9`.
- [Release notes](https://github.com/mit-plv/rewriter/releases)
- [Commits](mit-plv/rewriter@3342e29...21b82e9)

---
updated-dependencies:
- dependency-name: rewriter
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
@dependabot
dependabot[bot] authored Feb 8, 2024
1 parent 9eb0f5e commit d7fade3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion rewriter
Submodule rewriter updated 29 files
+5 −0 Makefile.local.common
+100 −0 src/Rewriter/Util/Tactics2/Constr.v.v820
+11 −0 src/Rewriter/Util/Tactics2/DestCase.v.v820
+11 −0 src/Rewriter/Util/Tactics2/DestProj.v.v820
+5 −0 src/Rewriter/Util/Tactics2/Proj.v.v820
+10 −0 src/Rewriter/Util/plugins/Ltac2Extra.v.v820
+10 −0 src/Rewriter/Util/plugins/RewriterBuild.v.v820
+20 −0 src/Rewriter/Util/plugins/RewriterBuildRegistry.v.v820
+35 −0 src/Rewriter/Util/plugins/StrategyTactic.v.v820
+17 −0 src/Rewriter/Util/plugins/definition_by_tactic.ml.v820
+11 −0 src/Rewriter/Util/plugins/definition_by_tactic.mli.v820
+22 −0 src/Rewriter/Util/plugins/definition_by_tactic_plugin.mlg.v820
+2 −0 src/Rewriter/Util/plugins/definition_by_tactic_plugin.mllib.v820
+82 −0 src/Rewriter/Util/plugins/inductive_from_elim.ml.v820
+3 −0 src/Rewriter/Util/plugins/inductive_from_elim.mli.v820
+17 −0 src/Rewriter/Util/plugins/inductive_from_elim_plugin.mlg.v820
+2 −0 src/Rewriter/Util/plugins/inductive_from_elim_plugin.mllib.v820
+20 −0 src/Rewriter/Util/plugins/ltac2_extra.ml.v820
+0 −0 src/Rewriter/Util/plugins/ltac2_extra.mli.v820
+1 −0 src/Rewriter/Util/plugins/ltac2_extra_plugin.mlg.v820
+2 −0 src/Rewriter/Util/plugins/ltac2_extra_plugin.mllib.v820
+196 −0 src/Rewriter/Util/plugins/rewriter_build.ml.v820
+3 −0 src/Rewriter/Util/plugins/rewriter_build.mli.v820
+82 −0 src/Rewriter/Util/plugins/rewriter_build_plugin.mlg.v820
+4 −0 src/Rewriter/Util/plugins/rewriter_build_plugin.mllib.v820
+7 −0 src/Rewriter/Util/plugins/strategy_tactic.ml.v820
+1 −0 src/Rewriter/Util/plugins/strategy_tactic.mli.v820
+18 −0 src/Rewriter/Util/plugins/strategy_tactic_plugin.mlg.v820
+2 −0 src/Rewriter/Util/plugins/strategy_tactic_plugin.mllib.v820

0 comments on commit d7fade3

Please sign in to comment.