Skip to content

Commit

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

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

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
@dependabot
dependabot[bot] authored Aug 19, 2024
1 parent f15661d commit 042684c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bedrock2
Submodule bedrock2 updated 26 files
+153 −0 bedrock2/src/bedrock2/MetricCosts.v
+81 −12 bedrock2/src/bedrock2/MetricLogging.v
+610 −0 bedrock2/src/bedrock2/MetricLoops.v
+388 −0 bedrock2/src/bedrock2/MetricProgramLogic.v
+21 −37 bedrock2/src/bedrock2/MetricSemantics.v
+338 −0 bedrock2/src/bedrock2/MetricWeakestPrecondition.v
+378 −0 bedrock2/src/bedrock2/MetricWeakestPreconditionProperties.v
+21 −0 bedrock2/src/bedrock2/Notations.v
+1 −1 bedrock2/src/bedrock2Examples/bsearch.v
+204 −0 bedrock2/src/bedrock2Examples/metric_ipow.v
+71 −60 compiler/src/compiler/DeadCodeElim.v
+2 −1 compiler/src/compiler/DeadCodeElimDef.v
+73 −53 compiler/src/compiler/FlatImp.v
+3 −1 compiler/src/compiler/FlatToRiscvCommon.v
+58 −24 compiler/src/compiler/FlatToRiscvFunctions.v
+0 −378 compiler/src/compiler/FlatToRiscvMetric.v
+35 −31 compiler/src/compiler/FlattenExpr.v
+31 −12 compiler/src/compiler/LowerPipeline.v
+2 −2 compiler/src/compiler/MMIO.v
+7 −0 compiler/src/compiler/MetricsToRiscv.v
+81 −38 compiler/src/compiler/Pipeline.v
+198 −69 compiler/src/compiler/RegAlloc.v
+397 −193 compiler/src/compiler/Spilling.v
+9 −7 compiler/src/compiler/ToplevelLoop.v
+124 −37 compiler/src/compiler/UseImmediate.v
+2 −2 compiler/src/compiler/memory_mapped_ext_calls_compiler.v

0 comments on commit 042684c

Please sign in to comment.