Merge pull request #103 from mit-plv/dependabot/submodules/bedrock2-0… · mit-plv/rupicola@7259f52

Commit

Merge pull request #103 from mit-plv/dependabot/submodules/bedrock2-0…

…fa3944

build(deps): bump bedrock2 from `dd53be7` to `0fa3944`

samuelgruetter authored Mar 19, 2024

2 parents 207888f + 29f619f commit 7259f52

+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