Read Bend 2 code, with a rule for its laws - #31

Merged

tauanbinato merged 21 commits into

mainfrom

bend2

Sep 27, 2026

Commits on Sep 26, 2026

Read Bend 2 code, and judge whether its laws state what their comments say
tauanbinato
committed
bee0a66

Commits on Sep 27, 2026

Ask an undecided law what its comment adds, and leave units refused for size unsent
tauanbinato
committed
6c06ccf
Ask an undecided law whether it checks particular inputs its comment generalizes
tauanbinato
committed
7d31bfb
Judge a law with the uncommented laws its comment heads, and keep sibling benchmarks apart
tauanbinato
committed
08fbf45
Tune Bend 2 values and function questions from labels
tauanbinato
committed
50cdb52
Keep copies between separate Bend 2 tests apart
tauanbinato
committed
a17964c
Test that copies between Bend 2 golden tests are not paired
tauanbinato
committed
b2a5c0e
Describe Bend 2 support, the laws rule and the new skip reasons
tauanbinato
committed
e1a5797
Leave Bend 2 proofs out of function simplification and shared logic
tauanbinato
committed
e2c219e
Judge a Bend 2 program on a test path as a test
tauanbinato
committed
8db84a2
Take a law's comment from the block directly above it
tauanbinato
committed
2cd264f
Weigh a Bend 2 file's split only past 300 member lines
tauanbinato
committed
d893345
Bump the rule versions changed on this branch
tauanbinato
committed
83a51e1
Describe this round's Bend 2 changes, and show a law finding that holds
tauanbinato
committed
73196bb
Tell Bend 2 files of proofs by their name or directory
tauanbinato
committed
22168d1
Compare Bend 2 proofs for copies again
tauanbinato
committed
10c818d
Leave the values of Bend 2 benchmarks out
tauanbinato
committed
2640bcc
Make a split of a Bend 2 file laid out in titled sections a note
tauanbinato
committed
a7e24f9
Make a split of a Bend 2 file at most a consider
tauanbinato
committed
ea70d9f
Describe the last Bend 2 changes and their measurement
tauanbinato
committed
5b18854
Split law_predicates into its three steps
tauanbinato
committed
95de0e6

Navigation Menu

Read Bend 2 code, with a rule for its laws - #31

Read Bend 2 code, with a rule for its laws#31
tauanbinato merged 21 commits into
mainfrom
bend2

Commits on Sep 26, 2026

Read Bend 2 code, and judge whether its laws state what their comments say

Commits on Sep 27, 2026

Ask an undecided law what its comment adds, and leave units refused for size unsent

Ask an undecided law whether it checks particular inputs its comment generalizes

Judge a law with the uncommented laws its comment heads, and keep sibling benchmarks apart

Tune Bend 2 values and function questions from labels

Keep copies between separate Bend 2 tests apart

Test that copies between Bend 2 golden tests are not paired

Describe Bend 2 support, the laws rule and the new skip reasons

Leave Bend 2 proofs out of function simplification and shared logic

Judge a Bend 2 program on a test path as a test

Take a law's comment from the block directly above it

Weigh a Bend 2 file's split only past 300 member lines

Bump the rule versions changed on this branch

Describe this round's Bend 2 changes, and show a law finding that holds

Tell Bend 2 files of proofs by their name or directory

Compare Bend 2 proofs for copies again

Leave the values of Bend 2 benchmarks out

Make a split of a Bend 2 file laid out in titled sections a note

Make a split of a Bend 2 file at most a consider

Describe the last Bend 2 changes and their measurement

Split law_predicates into its three steps