Repository navigation
synth v0.74.0
What's Changed
- plan(v0.74): "The gate that cannot tell a compiler from a shell script" — and MOVE THE ANCHOR to v0.73.0 by @avrabe in #1382
- RQ-74-STUBPROOF (#1318): the oracle now READS the object it claims proves a compile by @avrabe in #1383
- RQ-74-ISLANDREACH (#1331): the class rested on ONE fixture — it now rests on three by @avrabe in #1384
- RQ-74-PINDEBT2 (#1223): the first pin CLOSED BY A FIX — known_open_pins 85 -> 84 by @avrabe in #1385
- RQ-74-STALEMSG (#345): the census REFUTED the tripwire — 93% of diagnostics already cite a closed issue by @avrabe in #1386
- RQ-74 GATEOFFLINE + APTBLIND + FIELDSHAPE + ARCHMODEL: four gates made to bite by @avrabe in #1387
- cold review round 1: five false statements, three repaired gates, and six holes recorded by @avrabe in #1388
- cold review round 2: the gate round 1 shipped was 2/5 potent, and six of its corrections were false by @avrabe in #1389
- release(v0.74.0): "The gate that cannot tell a compiler from a shell script" — the cut, and a gate defect found by running it by @avrabe in #1390
Full Changelog: v0.73.0...v0.74.0