Releases: dawnop/dawn-lang
Releases · dawnop/dawn-lang
Release list
v0.77.0
What's Changed
- Preserve binary content in the in-memory filesystem by @dawnop in #75
- Trace example gate inputs through local dependencies by @dawnop in #77
- Reuse content analyses across gate-map mutant trees by @dawnop in #79
- Release hoisted operands on early return from assignment by @dawnop in #78
- Resolve module-qualified functions in value position by @dawnop in #76
- Cache and revalidate the pinned tileiras wheels by @dawnop in #81
- Prune unreachable control runtime and effect evidence by @dawnop in #82
- Keep loop operand jumps off the JVM stack by @dawnop in #85
- Normalize the optional first bar in single-line sum types by @dawnop in #86
- Snapshot native operands before later binding mutations by @dawnop in #88
- Reject oversized function values during checking by @dawnop in #89
- Preserve playground string state across interpolation by @dawnop in #90
- Propagate JVM statement fallthrough through blocks by @dawnop in #95
- Track native list builders through early element exits by @dawnop in #99
- Reconcile SEM-10 status with its fixed implementation by @dawnop in #102
- Align native integer zero-division panic messages by @dawnop in #97
- Complete SAM Bytes mapping and check narrow callback returns by @dawnop in #101
- Preserve literal content and identity relationships in Core normalization by @dawnop in #104
- Observe Java signature queries before incremental analysis by @dawnop in #105
- Extract cold module transitions with an independent semantic oracle by @dawnop in #106
- Reuse verified module prefixes in LSP workspaces by @dawnop in #107
- Record phase two incremental semantics acceptance by @dawnop in #108
- Prove fixed-header body identity and relocation in private fixtures by @dawnop in #109
- Add checked semantic ID relocation for types and metadata by @dawnop in #110
- Project typed semantic products through evidence and source views by @dawnop in #111
- Index semantic declaration candidates by provenance and ownership by @dawnop in #112
- Capture and project checker body state products by @dawnop in #113
- Track allocation provenance and separate default body boundaries by @dawnop in #114
- Expose module header products and preserve imported declaration owners by @dawnop in #115
- Carry semantic allocation provenance from compiler and module headers by @dawnop in #116
- Separate checked module products from final assembly by @dawnop in #117
- Index function headers by declaration identity by @dawnop in #118
- Index impl and trait default headers by declaration identity by @dawnop in #119
- Preserve impl entry tags when replaying named method bodies by @dawnop in #120
- Replay typed constant and test products by declaration identity by @dawnop in #121
- Project complete exported header metadata across revisions by @dawnop in #122
- Capture and project complete header checking state by @dawnop in #123
- Track query dependencies and invalidate memo readers by @dawnop in #124
- Require English for all public GitHub writing by @dawnop in #125
- Record real function reads at checker decision boundaries by @dawnop in #126
- Observe exported values and qualified pattern decisions by @dawnop in #127
- Observe type and alias decisions at checker boundaries by @dawnop in #128
- Observe associated type and effect dependencies by @dawnop in #129
- Observe declared effects and scoped effect variables by @dawnop in #130
- Observe builtin and scoped type environments by @dawnop in #131
- Observe Java class names and metadata at checker boundaries by @dawnop in #132
- Observe ordered Java member candidate lists by @dawnop in #133
- Observe Java imports and namespace resolution by @dawnop in #134
- Observe Java scoring oracle dependencies by @dawnop in #135
- Observe local constructor and constant dependencies by @dawnop in #136
- Observe record handler and exhaustiveness dependencies by @dawnop in #137
- Observe diagnostic rendering dependencies by @dawnop in #138
- Capture witness and inference dependencies for incremental checking by @dawnop in #139
- Revalidate context queries against candidate environments by @dawnop in #140
- Integrate scheduled body products and opt-in scalar replay by @dawnop in #141
Full Changelog: v0.76.0...v0.77.0
Contributors
dawnop
Assets 8
v0.76.0
v0.75.0
v0.74.0
Contributors
dawnop and rkb32
Assets 8
v0.73.0
What's Changed
- Correct the documented math builtin surface by @dawnop in #48
- Map bundled std module changes to the checker corpus by @dawnop in #49
- Restate the map reuse gate budget by @dawnop in #50
- Give child steals an independent reuse budget by @dawnop in #51
- Refuse fake GPU launches with the wrong arity by @dawnop in #52
- Generalize record update scheduling by @dawnop in #59
- Implement structural Ord for tuples by @dawnop in #60
- Refuse erased evidence in local functions by @dawnop in #61
- Require complete checker diagnostic chunks by @dawnop in #56
Full Changelog: v0.72.0...v0.73.0
Contributors
dawnop
Assets 8
v0.72.0
v0.71.0
What's Changed
- Add bounded LSP sessions to the Playground by @lingkong-q in #19
- Materialize fresh slabs incrementally by @lingkong-q in #18
- Ship Playground samples and bound restart health checks by @lingkong-q in #23
- Carry document versions through LSP diagnostics by @lingkong-q in #24
- Retain tea_dom init state across reactor turns by @lingkong-q in #25
- Guard the LSP workspace contract roster count by @dawnop in #32
- Pin retained reactor contracts by @dawnop in #33
- Schedule record spread fields before updates by @dawnop in #34
- Report retained JVM results before wasm builds by @dawnop in #38
- Steal HAMT children before recursive updates by @dawnop in #35
- Give retained seam counts a copy-only mutant by @dawnop in #39
Full Changelog: v0.70.0...v0.71.0
Contributors
lingkong-q and dawnop
Assets 8
v0.70.0
What's Changed
- Honor ZIP output limits for stored entries by @lingkong-q in #12
Full Changelog: v0.69.0...v0.70.0
Contributors
lingkong-q
Assets 6
v0.69.0
What's Changed
- Remove volatile corpus and binary size claims by @lingkong-q in #7
- Reject overflowing ZIP metadata ranges by @lingkong-q in #8
New Contributors
- @lingkong-q made their first contribution in #7
Full Changelog: v0.68.0...v0.69.0
Contributors
lingkong-q
