Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
39 commits
Select commit Hold shift + click to select a range
85fd498
cmd-line option: don't run sterling if off
tnelson Feb 27, 2025
b84bf65
cleanup: minor cleanup
tnelson Feb 27, 2025
5d6c27d
add: test case for pred->fun/fun->pred recursive
tnelson Feb 27, 2025
688ea1f
[patch] Handle spaces and quotes in filenames w.r.t. run IDs on backe…
tnelson Mar 25, 2025
8a0e270
Feat int minimization (#303)
tnelson Apr 25, 2025
c6688a2
Merge branch 'main' into dev
tnelson Apr 25, 2025
3a304e9
Avoid identifier clash between expander macros and user-defined sigs,…
tnelson May 28, 2025
80a0085
feat: chain of .ts/.js/.cnd files to Sterling
tnelson Jun 14, 2025
8edd9ad
update Sterling
tnelson Jun 14, 2025
fef4882
fix: harden sterling against multiple vis elements
tnelson Jun 15, 2025
2e9d161
feat: module-style imports for helper libraries, temporal helpers
tnelson Jun 20, 2025
39bedb7
breaking: move seq library to actual library. Require open util/seque…
tnelson Jun 21, 2025
c4d6074
fix: possible id-shadowing bug, add option to run without Sterling
tnelson Oct 13, 2025
f99ec90
fix: join parsing, regression test, note on 2nd issue (#311)
tnelson Nov 12, 2025
3ebbf83
Begin integrating typed Racket into core translation layer (#310)
tnelson Nov 12, 2025
f00a33a
Modify the cores pipeline to get cores info to Sterling (#312)
tnelson Nov 13, 2025
4a1ac94
Refactoring options and imports (#316)
tnelson Dec 13, 2025
d00fda7
Refactor AST, additional static types (#318)
tnelson Jan 16, 2026
d993d29
Update to CnD Sterling v. 2.0.4 (#319)
tnelson Jan 16, 2026
c134d0f
types: small type augmentation feat. Claude
tnelson Jan 17, 2026
114dda9
Jan26 fixes (#320)
tnelson Jan 22, 2026
3178a9e
Update documentation links and installation instructions
tnelson Jan 22, 2026
4d2fa2c
Merge main into dev, feat. Claude
tnelson Jan 26, 2026
2a58aaf
update: Sterling version, fix e2e test
tnelson Jan 26, 2026
9d65ddf
update sterling to v2.1.2
tnelson Jan 31, 2026
f6c99aa
Updating Sterling version (#322)
sidprasad Jan 31, 2026
38552c4
Updating sterling version (#323)
sidprasad Feb 1, 2026
3ab323c
fix: test_keep last was misreporting failures
tnelson Feb 3, 2026
5b5af56
fix: bad run-closing on forge_error tests; improve func name
tnelson Feb 4, 2026
d40e99b
fix: detect fun/pred parameter names that shadow sig/fields
tnelson Feb 4, 2026
c5752b4
tests: add more shadowing error tests
tnelson Feb 4, 2026
18cabb7
Merge main into dev, keeping dev's Sterling
tnelson Feb 4, 2026
bde0fc0
Merge branch 'dev' into fixes_feb26
tnelson Feb 4, 2026
1a147ae
tests: further work on e2e suite, check atoms
tnelson Feb 4, 2026
9afcba6
Sterling version update (#326)
sidprasad Feb 5, 2026
33fcb1c
Merge branch 'fixes_feb26' into dev
tnelson Feb 5, 2026
bfbf96e
fix: shadowing error -> warning, avoid BC
tnelson Feb 5, 2026
667382d
Merge branch 'main' into dev
tnelson Feb 5, 2026
4d29a00
Updating sterling
sidprasad Feb 6, 2026
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 forge/sterling/build/assets/manifest.webapp
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{
"version": "2.3.0",
"version": "2.3.1",
"name": "sterling-layout",
"description": "Spytial Sterling is a fork of the Sterling visualizer that encodes spatial layout.",
"icons": {
Expand Down
2 changes: 1 addition & 1 deletion forge/sterling/build/assets/yandex-browser-manifest.json
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{
"version": "2.3.0",
"version": "2.3.1",
"api_version": 1,
"layout": {
"logo": "yandex-browser-50x50.png",
Expand Down

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions forge/sterling/build/version.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
{
"name": "Sterling Layout",
"version": "2.3.0",
"version": "2.3.1",
"build": "forge",
"timestamp": "2026-02-05T00:08:47Z",
"timestamp": "2026-02-06T18:03:28Z",
"tag": ""
}
32 changes: 29 additions & 3 deletions forge/sterling/update-sterling.sh
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
set -euo pipefail

DEFAULT_REPO="sidprasad/sterling-ts"
DEFAULT_TAG="v2.3.0"
DEFAULT_TAG="latest"
DEFAULT_ASSET="sterling-forge.zip"

usage() {
Expand All @@ -16,6 +16,23 @@ Environment overrides:
USAGE
}

get_latest_tag() {
local repo_name="$1"
local api_url="https://api.github.com/repos/${repo_name}/releases/latest"
local response=""

if command -v curl >/dev/null 2>&1; then
response="$(curl -fsSL "$api_url")"
elif command -v wget >/dev/null 2>&1; then
response="$(wget -qO- "$api_url")"
else
echo "Missing required tool: curl or wget" >&2
exit 1
fi

echo "$response" | sed -n 's/.*"tag_name"[[:space:]]*:[[:space:]]*"\([^"]*\)".*/\1/p' | head -n 1
}

repo="${STERLING_REPO:-$DEFAULT_REPO}"
tag="${STERLING_TAG:-$DEFAULT_TAG}"
asset="${STERLING_ASSET:-$DEFAULT_ASSET}"
Expand Down Expand Up @@ -64,11 +81,20 @@ while [[ $# -gt 0 ]]; do
done

if [[ -z "$url" ]]; then
if [[ -z "$tag" || -z "$repo" || -z "$asset" ]]; then
echo "Missing tag/repo/asset values." >&2
if [[ -z "$repo" || -z "$asset" ]]; then
echo "Missing repo/asset values." >&2
usage
exit 1
fi

if [[ -z "$tag" || "$tag" == "latest" ]]; then
tag="$(get_latest_tag "$repo")"
if [[ -z "$tag" ]]; then
echo "Unable to resolve latest release tag." >&2
exit 1
fi
fi

url="https://github.com/${repo}/releases/download/${tag}/${asset}"
fi

Expand Down
Loading