Skip to content

Issues: smucclaw/l4-ide

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
21 Open 50 Closed
21 Open 50 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Init ts-shared/jl4-lsp-client TS project with custom-protocol.ts for our custom LSP extensions (tho currently only contains the EvalAppRequest type) infrastructure build, CI, and devops ladder
#379 by ym-han was merged Apr 30, 2025 Loading…
1
2
Viz: Add a BoolLit variant to VizExpr / IRExpr ladder
#369 opened Apr 22, 2025 by ym-han
Viz: Use cursor: pointer for the nodes ladder
#359 opened Apr 16, 2025 by ym-han
Viz: Make it possible for frontend to query backend for the value of, e.g., a function application ladder
#351 opened Apr 11, 2025 by ym-han
@ym-han
unlined OR to match the ANDs enhancement New feature or request ladder
#338 opened Apr 4, 2025 by mengwong
1
[MAYBE] Viz: Toolbar -- labels instead of tooltips for the modes ladder
#324 opened Apr 1, 2025 by ym-han
Toolbar enhancement New feature or request ladder
#318 opened Apr 1, 2025 by Meowyam • Draft ladder-frontend-only-what-if-style-eval
1
1
Viz: Frontend-only 'what-if'-style boolean evaluator that both (i) distinguishes between viable and non-viable paths and (ii) supports switching between SelectPaths and #WhatIf mode ladder
#307 opened Mar 29, 2025 by ym-han
Viz: Have some way to select linearized paths by doing stuff with the main graph, in addition to the current clicking-on-lin-paths UI (Matt seems to have wanted this) ladder needs discussion
#296 opened Mar 27, 2025 by ym-han
@johsi-k @ym-han
Viz: Think more about whether we want to support a mode for #EVAL-style evaluation (where the inputs are the inputs to the function, which may not necessarily correspond to the bool var nodes of the graph; this would use the backend evaluator) ladder
#293 opened Mar 27, 2025 by ym-han
Factor out commands like l4.visualize into a file in the VizExpr package (or some other shared package) and have the various clients / extensions just reference that infrastructure build, CI, and devops ladder refactoring vsc-extension VS Code extension and bundling webdemo
#282 opened Mar 26, 2025 by ym-han
[MAYBE] Viz: Make a simple menu / toolbar, with some way to switch between various modes ladder needs discussion
#254 opened Mar 19, 2025 by ym-han
1 of 4 tasks
1
@Meowyam @johsi-k
3
Viz: Extend ladder backend and interfaces with enough info about the params of the FunDecl that the frontend can display a form for the params. (And figure out how exactly to represent these params and their types) ladder
#236 opened Mar 13, 2025 by ym-han
Viz: Add UI that distinguishes between a SelectPaths mode and a 'What-If' mode (and *maybe* a #EVAL mode in the future?) ladder
#216 opened Mar 8, 2025 by ym-han ladder-frontend-only-what-if-style-eval
TS apps: Add a clean script infrastructure build, CI, and devops ladder vsc-extension VS Code extension and bundling webdemo
#162 opened Feb 21, 2025 by ym-han
Clean up the code in the NOT components ladder
#144 opened Feb 18, 2025 by ym-han
term expansion and substitution enhancement New feature or request jl4 core language syntax, semantics, and toolchain ladder
#139 opened Feb 18, 2025 by mengwong
6
[non-urgent] dlv: Continue to refine CSS setup / infra and carefully and precisely document it and its assumptions and guarantees enhancement New feature or request ladder
#111 opened Feb 15, 2025 by ym-han
ui for layout options enhancement New feature or request ladder
#73 opened Feb 6, 2025 by Meowyam
@Meowyam
ts-apps infra: Continue improving CSS setup and making css var setup less fragile, e.g. maybe exporting a theme from ladder that clients like webview and jl4-web can use if they want ladder
#61 opened Feb 3, 2025 by ym-han
2 tasks
@johsi-k @ym-han
Notes on the TS Monorepo setup infrastructure build, CI, and devops ladder vsc-extension VS Code extension and bundling
#25 opened Jan 14, 2025 by ym-han
1
ProTip! Add no:assignee to see everything that’s not assigned.