Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .devcontainer/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ RUN apt-get update \

# Full EigenScript source at the pinned tag; build the gfx variant (the
# binary hard-links to src/eigenscript, which finds lib/ next to it).
ARG EIGS_REF=v0.35.1
ARG EIGS_REF=v0.35.2
RUN git clone --depth 1 --branch "${EIGS_REF}" \
https://github.com/InauguralSystems/EigenScript.git /opt/eigenscript \
&& make -C /opt/eigenscript gfx CC=gcc
Expand Down
4 changes: 2 additions & 2 deletions FINDINGS.md
Original file line number Diff line number Diff line change
Expand Up @@ -269,8 +269,8 @@ non-numeric coercion of the same builtin, and its "non-findings" note that
`prev` works "provided `record_history` is never called" is now qualified —
`prev` works, and arms an unbounded table for the whole program while doing it.

**FIXED upstream** by EigenScript#829, shipped in **v0.35.1** (the pin this repo
now carries): the history table is bounded by program TEXT — entries no backward
**FIXED upstream** by EigenScript#829, shipped in **v0.35.1** (carried by this
repo's pin): the history table is bounded by program TEXT — entries no backward
query can reach are pruned at append time — and arming is per NAME instead of
whole-program, so `physics.eigs`'s dead-code `prev of` arms nothing here.

Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -143,7 +143,7 @@ Forcing-function findings (runtime gaps surfaced while building) are logged in
(#255/#256/#280/#375, and #819/#820 which closed the two lib/ui plot gaps);
a calling-convention edge remains open, and building this rung surfaced two
more: EigenScript#827 (unbounded temporal assignment history — the one that
froze a box, fixed by #829 and shipped in v0.35.1, the pin this repo runs) and
froze a box, fixed by #829 and shipped in v0.35.1, carried by this repo's pin) and
#828 (chart render allocation).

## Develop locally
Expand Down