Skip to content

Commit

Permalink
build(deps): bump bedrock2 from dd53be7 to 0fa3944
Browse files Browse the repository at this point in the history 
Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `dd53be7` to `0fa3944`.
- [Release notes](https://github.com/mit-plv/bedrock2/releases)
- [Commits](mit-plv/bedrock2@dd53be7...0fa3944)

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

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
@dependabot
dependabot[bot] authored Mar 19, 2024
1 parent 207888f commit 29f619f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bedrock2
Submodule bedrock2 updated 19 files
+216 −77 bedrock2/src/bedrock2/e1000_read_write_step.v
+1 −2 bedrock2/src/bedrock2/e1000_state.v
+0 −0 bedrock2/src/bedrock2/old_dma/StateMachineBasedExtSpec.v
+0 −0 bedrock2/src/bedrock2/old_dma/StateMachineBasedExtSpec_wp.v
+1 −1 bedrock2/src/bedrock2/old_dma/e1000.v
+1 −1 bedrock2/src/bedrock2/old_dma/e1000_stateless.v
+1 −1 bedrock2/src/bedrock2/old_dma/e1000_wp.v
+0 −0 bedrock2/src/bedrock2/old_dma/mmio_read_write_step_based_ext_spec.v
+375 −0 compiler/src/compiler/DeadCodeElim.v
+556 −0 compiler/src/compiler/DeadCodeElimDef.v
+3 −2 compiler/src/compiler/FlatToRiscvLiterals.v
+54 −2 compiler/src/compiler/Pipeline.v
+0 −1,686 compiler/src/compilerExamples/Softmul.v
+0 −141 compiler/src/compilerExamples/SoftmulBedrock2.v
+0 −889 compiler/src/compilerExamples/SoftmulCompile.v
+0 −228 compiler/src/compilerExamples/SoftmulTop.v
+0 −825 compiler/src/compilerExamples/SoftmulUniqueSepLog.v
+1 −1 deps/coqutil
+1 −1 deps/riscv-coq

0 comments on commit 29f619f

Please sign in to comment.