vbpf / prevail / 24901800772

Builds Branch Commit Type Ran Committer Via Coverage
24901800772 split-call Merge e6e4ad81a into 6bbb5989f Pull #1097 web-flow github
89.19
24900191023 split-call Merge 0d5a724f3 into 6bbb5989f Pull #1097 web-flow github
89.08
24895199301 split-call Merge 7f99e3b3c into 6bbb5989f Pull #1097 web-flow github
89.26
24892024026 split-call Merge dcae3d26c into 6bbb5989f Pull #1097 web-flow github
89.26
24885662803 main Split PlatformSpec from ProgramEnvironment (#1080) (#1096) Fixes #1080. Splits the immutable platform specification from the per-program environment, then follows the chain of subsequent simplifications that fall out naturally. After this PR, `e... push web-flow github
89.24
24882727526 prog-env Merge 632fbd62a into b47a1a52e Pull #1096 web-flow github
89.24
24881749741 prog-env Merge 36cddd5d4 into b47a1a52e Pull #1096 web-flow github
89.24
24879217250 prog-env Merge d3a9a3701 into b47a1a52e Pull #1096 web-flow github
89.24
24878498583 prog-env Merge 55189a3fe into b47a1a52e Pull #1096 web-flow github
89.24
24864120596 prog-env Merge 28ff6cfa1 into b47a1a52e Pull #1096 web-flow github
89.24
24863526209 prog-env Merge b043db5b9 into b47a1a52e Pull #1096 web-flow github
89.24
24861555409 main Decompose Program::from_sequence into named preparation passes (#1081) Extract the pipeline inside Program::from_sequence into individually documented passes so the soundness-relevant transformations are easier to audit. from_sequence now reads a... push elazarg github
89.21
24850029810 passes Merge b22709368 into 543f83de7 Pull #1095 web-flow github
89.21
24833288113 main Fix failure-slice filter losing total_stack_size; refactor printing API (#1094) - `compute_slice_from_label` silently zeroed `RelevantState::total_stack_size` for every entry in `slice_labels` / `visited`. The field was added in #1088 to replace ... push web-flow github
89.07
24830326357 fix-stacksize Merge 2798712c1 into b75b4c3c0 Pull #1094 web-flow github
89.07