Skip to content

Commit

Permalink
Bump deps/kami from de880ce to 3ab0943 (#433)
Browse files Browse the repository at this point in the history 
Bumps [deps/kami](https://github.com/mit-plv/kami) from `de880ce` to `3ab0943`.
- [Release notes](https://github.com/mit-plv/kami/releases)
- [Commits](mit-plv/kami@de880ce...3ab0943)

---
updated-dependencies:
- dependency-name: deps/kami
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
  • Loading branch information
@dependabot
dependabot[bot] authored Sep 24, 2024
1 parent 7b611b6 commit dea5813
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/kami
Submodule kami updated 32 files
+2 −2 Kami/Decomposition.v
+1 −1 Kami/Duplicate.v
+1 −1 Kami/Ex/Divider32.v
+1 −1 Kami/Ex/Divider64.v
+1 −1 Kami/Ex/FifoCorrect.v
+1 −1 Kami/Ex/IsaRv32.v
+1 −1 Kami/Ex/Multiplier32.v
+1 −1 Kami/Ex/Multiplier64.v
+1 −1 Kami/Ex/NativeFifo.v
+1 −1 Kami/Ex/SimpleFifoCorrect.v
+2 −2 Kami/Lib/CommonTactics.v
+3 −2 Kami/Lib/DepEq.v
+6 −6 Kami/Lib/FMap.v
+1 −1 Kami/Lib/N_Z_nat_conversions.v
+2 −2 Kami/Lib/NatLib.v
+1 −1 Kami/Lib/StringAsList.v
+2 −2 Kami/Lib/StringAsOT.v
+2 −1 Kami/Lib/StringStringAsOT.v
+1 −1 Kami/Lib/Word.v
+4 −4 Kami/Lib/ilist.v
+1 −1 Kami/ModuleBound.v
+1 −1 Kami/ModuleBoundEx.v
+2 −2 Kami/PartialInlineFacts.v
+1 −1 Kami/PrimBram.v
+1 −1 Kami/PrimFifo.v
+2 −2 Kami/RefinementFacts.v
+1 −1 Kami/Renaming.v
+2 −2 Kami/SemFacts.v
+3 −3 Kami/Semantics.v
+3 −3 Kami/Specialize.v
+1 −1 Kami/Tactics.v
+2 −2 Kami/Wf.v

0 comments on commit dea5813

Please sign in to comment.