Skip to content

Commit

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

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

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
@dependabot
dependabot[bot] authored Jan 24, 2025
1 parent 24f4a75 commit 27d3e23
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bedrock2
Submodule bedrock2 updated 48 files
+16 −8 bedrock2/src/bedrock2/FE310CSemantics.v
+597 −0 bedrock2/src/bedrock2/LeakageLoops.v
+446 −0 bedrock2/src/bedrock2/LeakageProgramLogic.v
+409 −0 bedrock2/src/bedrock2/LeakageSemantics.v
+486 −0 bedrock2/src/bedrock2/LeakageWeakestPrecondition.v
+443 −0 bedrock2/src/bedrock2/LeakageWeakestPreconditionProperties.v
+718 −0 bedrock2/src/bedrock2/MetricLeakageSemantics.v
+11 −14 bedrock2/src/bedrock2/MetricSemantics.v
+21 −15 bedrock2/src/bedrock2/memory_mapped_ext_spec.v
+407 −0 bedrock2/src/bedrock2Examples/ct.v
+493 −0 bedrock2/src/bedrock2Examples/kyberslash.v
+40 −26 bedrock2/src/bedrock2Examples/memequal.v
+100 −13 bedrock2/src/bedrock2Examples/stackalloc.v
+22 −18 bedrock2/src/bedrock2Examples/swap.v
+8 −5 compiler/src/compiler/CompilerInvariant.v
+138 −159 compiler/src/compiler/DeadCodeElim.v
+207 −14 compiler/src/compiler/DeadCodeElimDef.v
+7 −7 compiler/src/compiler/ExprImpEventLoopSpec.v
+145 −0 compiler/src/compiler/FixEq.v
+283 −121 compiler/src/compiler/FlatImp.v
+86 −23 compiler/src/compiler/FlatToRiscvCommon.v
+449 −1 compiler/src/compiler/FlatToRiscvDef.v
+241 −72 compiler/src/compiler/FlatToRiscvFunctions.v
+14 −11 compiler/src/compiler/FlatToRiscvLiterals.v
+48 −44 compiler/src/compiler/FlattenExpr.v
+1 −1 compiler/src/compiler/ForeverSafe.v
+30 −5 compiler/src/compiler/GoFlatToRiscv.v
+58 −29 compiler/src/compiler/LowerPipeline.v
+50 −19 compiler/src/compiler/MMIO.v
+234 −121 compiler/src/compiler/Pipeline.v
+10 −8 compiler/src/compiler/RegAlloc.v
+9 −5 compiler/src/compiler/RiscvEventLoop.v
+23 −6 compiler/src/compiler/RunInstruction.v
+589 −233 compiler/src/compiler/Spilling.v
+43 −31 compiler/src/compiler/ToplevelLoop.v
+18 −16 compiler/src/compiler/UseImmediate.v
+19 −11 compiler/src/compiler/load_save_regs_correct.v
+85 −9 compiler/src/compiler/memory_mapped_ext_calls_compiler.v
+3 −2 compiler/src/compiler/memory_mapped_ext_calls_riscv.v
+1 −1 compiler/src/compilerExamples/AssemblyVerif.v
+3 −3 compiler/src/compilerExamples/SimpleInvariant.v
+144 −0 compiler/src/compilerExamples/memequal.v
+1 −1 deps/riscv-coq
+1 −1 end2end/src/end2end/End2EndLightbulb.v
+7 −6 end2end/src/end2end/End2EndPipeline.v
+0 −44 etc/test_itauto.sh
+3 −1 processor/src/processor/KamiRiscv.v
+162 −145 processor/src/processor/KamiRiscvStep.v

0 comments on commit 27d3e23

Please sign in to comment.