Skip to content

Commit

Permalink
Bump rewriter from f7e3fe5 to 0388980 (#1795)
Browse files Browse the repository at this point in the history
  • Loading branch information
@dependabot
dependabot[bot] authored Dec 24, 2023
1 parent 50f60fe commit 8f9323e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion rewriter
Submodule rewriter updated 8 files
+19 −4 .github/workflows/coq-docker.yml
+12 −31 .github/workflows/coq.yml
+1 −1 README.md
+57 −0 etc/ci/describe-system-config.sh
+1 −1 etc/coq-scripts
+1 −0 src/Rewriter/Language/PreCommon.v
+19 −0 src/Rewriter/Language/Reify.v
+19 −11 src/Rewriter/Rewriter/Reify.v

0 comments on commit 8f9323e

Please sign in to comment.