smucclaw/lam4 issues and pull requests

#156 - Draft: Code to compute an automaton from clauses.

Pull Request - State: open - Opened by kosmikus 2 months ago

#155 - Bump cross-spawn from 7.0.3 to 7.0.6 in /lam4-frontend

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies

#154 - NLG specifically for Royalflush usecase

Pull Request - State: open - Opened by inariksit 2 months ago

#153 - Add simple draft of interfaces for putative automaton visualizer. Improve docs.

Pull Request - State: closed - Opened by ym-han 2 months ago

#152 - Add `nextSteps` function; sketch what my naive strategy for defunctionalization would have been

Pull Request - State: closed - Opened by ym-han 3 months ago

#151 - Clarify some docs and refactor misleading param name; fix `getEventFromClause`

Pull Request - State: closed - Opened by ym-han 3 months ago

#150 - Explicitly set `allow-newer` for gf

Pull Request - State: closed - Opened by fendor 3 months ago - 2 comments

#149 - Refactor interfaces and add more docs

Pull Request - State: closed - Opened by ym-han 3 months ago

#148 - Simplify `VisualizeProgramRequest` --- don't need `AsyncResult` in the result type

Pull Request - State: closed - Opened by ym-han 3 months ago

#147 - More JsonRPC-related type refactoring. Add more docstrings.

Pull Request - State: closed - Opened by ym-han 3 months ago

#146 - visualizeProgramRequest.ts: Refactor JsonRPC-related base types. Add `jsonrpc` and `id` properties to the visualize program response, per jsonrpc 2.0 spec

Pull Request - State: closed - Opened by ym-han 3 months ago

#145 - Clean up previous interfaces + add specification of IRNode and protocol interfaces (`decisionLogicIRNode.ts`)

Pull Request - State: closed - Opened by ym-han 3 months ago

#144 - Add initial draft of `VisualizeProgramRequest` (it should be fairly clear what the json schema and haskell versions should be, but we can also automatically generate JSON schema from the Zod schema)

Pull Request - State: closed - Opened by ym-han 3 months ago

#143 - clean up

Pull Request - State: closed - Opened by ym-han 3 months ago

#142 - Cleanup + add misc infra

Pull Request - State: closed - Opened by ym-han 3 months ago

#141 - Quick first draft of Contract automata experiments

Pull Request - State: closed - Opened by ym-han 3 months ago

#140 - Add `with-nlg` option for serializing NLG output

Pull Request - State: open - Opened by inariksit 3 months ago - 3 comments

#139 - Fix misleading grammar construct names

Pull Request - State: closed - Opened by ym-han 4 months ago

#138 - More NLG render cleanup

Pull Request - State: closed - Opened by ym-han 4 months ago

#137 - Clean up NLG stuff a bit: separate concerns more in the makeNLGEnv function (the text postprocessing stuff should be in a separate function); make an NLGConfig for the required filepaths and names

Pull Request - State: closed - Opened by ym-han 4 months ago

#136 - Update Simala dep; use the new prettyprinter

Pull Request - State: closed - Opened by ym-han 4 months ago

#135 - Fix synchronization

Pull Request - State: closed - Opened by ym-han 4 months ago

#134 - Lam4 Frontend: Fix path for compiled simala output

Pull Request - State: closed - Opened by ym-han 4 months ago

#133 - Change simala version to that in my rendering `letrec` -> `let rec` hotfix branch

Pull Request - State: closed - Opened by ym-han 4 months ago

#132 - Update decision service backend on save, via LSP

Pull Request - State: closed - Opened by ym-han 4 months ago

#131 - Fix ambiguous parser alternatives in the 'infix looking' predicate decl

Pull Request - State: closed - Opened by ym-han 4 months ago

#130 - Update Simala dep

Pull Request - State: closed - Opened by ym-han 4 months ago

#129 - Write out simala file to generated/

Pull Request - State: closed - Opened by fendor 5 months ago

#128 - Use a variable for `" ;"`

Pull Request - State: closed - Opened by ym-han 5 months ago

#127 - Update to latest simala commit

Pull Request - State: closed - Opened by fendor 5 months ago - 1 comment

#126 - Make type annots optional; Fix: Make parsing of record expr labels consistent with demo hack

Pull Request - State: closed - Opened by ym-han 5 months ago

#125 - Disable type checker and simplify scoper for project

Pull Request - State: closed - Opened by ym-han 5 months ago

#124 - Fix the auto-inferred / auto-generated genitive syntax highlighting by removing single quotes from `STRING` terminal

Pull Request - State: closed - Opened by ym-han 5 months ago

#123 - Add Floor, Ceiling, IntegerToFraction, along with examples

Pull Request - State: closed - Opened by ym-han 5 months ago

#122 - Refactor Integer, add Fractionals / DecimalLiteral.

Pull Request - State: closed - Opened by ym-han 5 months ago

#121 - Langium grammar: Fix some Let issues: var bindings in `LetExpr` and nesting Let

Pull Request - State: closed - Opened by ym-han 5 months ago - 1 comment

#120 - Bugfix: fix parsing of multiple var decls in Let

Issue - State: closed - Opened by ym-han 5 months ago

#119 - Allow RecordDecl, FunDecl, SigDecl names to be backticked ID

Pull Request - State: closed - Opened by ym-han 5 months ago

#118 - Add validator to warn against using Relations for now

Issue - State: open - Opened by ym-han 5 months ago

#117 - Disable type checker for first demo

Issue - State: closed - Opened by ym-han 5 months ago

#116 - Quick refactor / clean up

Pull Request - State: closed - Opened by ym-han 5 months ago

#115 - Look into how to customize syntax highlighting, prob via the textmate grammar (currently not ideal due to `is` and genitive)

Issue - State: closed - Opened by ym-han 5 months ago - 1 comment

#114 - Add enums

Issue - State: open - Opened by ym-han 5 months ago

#113 - Add fractionals

Issue - State: closed - Opened by ym-han 5 months ago

#112 - Quick attempt at fixing translation of Atom Decl names to Simala

Pull Request - State: closed - Opened by ym-han 5 months ago

#111 - Fix translation of atoms to Simala

Issue - State: closed - Opened by ym-han 5 months ago

#110 - Add hetero equality example; fix List backend parsing regression; add Foldr, Foldl variants to `exprSubexprsVL`

Pull Request - State: closed - Opened by ym-han 5 months ago

#109 - Frontend: Simplify anon fun grammar -- make anon fun params no-type-annotation to simplify backend parsing in the short term

Pull Request - State: closed - Opened by ym-han 5 months ago

#108 - Backend Parser.hs: Fix parsing of AnonFunction

Pull Request - State: closed - Opened by ym-han 5 months ago

#107 - Add foldr, foldl, and string literal to backend parser

Pull Request - State: closed - Opened by ym-han 5 months ago

#106 - Update simala dep

Pull Request - State: closed - Opened by ym-han 5 months ago

#105 - Add list ops to Langium grammar; move away from braces to explicit `END` delimiter; add delimiter for function declarations to avoid unintended behavior

Pull Request - State: closed - Opened by ym-han 5 months ago

#104 - Langium Grammar: Improve genitive construct -- now `'s` instead of ``s``.

Pull Request - State: closed - Opened by ym-han 5 months ago
Labels: langium-parser

#103 - Remove old `data-model` langium experiments dir to avoid confusing npm and other humans

Pull Request - State: closed - Opened by ym-han 5 months ago
Labels: infra

#102 - `package.json`: Add `syntaxes` to `files`

Pull Request - State: closed - Opened by ym-han 5 months ago

#101 - Langium Grammar: Allow param names to be backticked ID as well.

Pull Request - State: closed - Opened by ym-han 5 months ago
Labels: langium-parser

#100 - Add list, cons to surface and concrete syntax; improve type annotation surface syntax

Pull Request - State: closed - Opened by ym-han 5 months ago

#99 - Update lam4-frontend deps (vsce, langium, etc)

Pull Request - State: closed - Opened by ym-han 5 months ago

#98 - Add a validator to warn user if they use at least one but not all of the params in an 'infix' predicate definition

Issue - State: open - Opened by ym-han 5 months ago
Labels: langium-validator

#97 - Langium Grammar: Allow for an 'infix' predicate definition style. This is purely cosmetic / stylistic.

Pull Request - State: closed - Opened by ym-han 5 months ago

#97 - Langium Grammar: Allow for an 'infix' predicate definition style. This is purely cosmetic / stylistic.

Pull Request - State: closed - Opened by ym-han 5 months ago

#95 - Implement / Automate the interaction between RF frontend and Servant webservice

Issue - State: open - Opened by ym-han 5 months ago

#94 - Write up and test docs for how to set up the Lam4 stuff, after the LSP etc works in the browser

Issue - State: open - Opened by ym-han 5 months ago

#93 - Set up a simple browser-based IDE; in particular, get Lam4 LSP to run in the browser with Monaco (or Codemirror if not too much more work)

Issue - State: open - Opened by ym-han 5 months ago
Labels: help wanted

#92 - Missing Lam4ValueConverter

Issue - State: closed - Opened by inariksit 5 months ago - 1 comment
Labels: bug

#91 - Improve syntax highlighting, esp. for backticked identifiers with `is` in them

Issue - State: closed - Opened by ym-han 5 months ago
Labels: langium-parser

#90 - Upgrade `langium` dep to 3.2 -- required for things like additional indentation support

Issue - State: closed - Opened by ym-han 5 months ago

#90 - Upgrade `langium` dep to 3.2 -- required for things like additional indentation support

Issue - State: closed - Opened by ym-han 5 months ago

#89 - [Optional for first demo] Langium grammar: Convert braces to indentation; adjust rest of grammar accordingly to account for indentation sensitivity

Issue - State: open - Opened by ym-han 5 months ago
Labels: help wanted, langium-parser

#88 - Set up simple CI

Issue - State: open - Opened by ym-han 5 months ago
Labels: infra

#87 - Add validators -- not just to get more validation over what the parser can offer, but also to improve error messages

Issue - State: open - Opened by ym-han 5 months ago

#86 - Improve pred decl app

Pull Request - State: closed - Opened by ym-han 5 months ago

#85 - Add tests

Issue - State: open - Opened by ym-han 5 months ago

#84 - Improve handling of predicate app / definition in Langium grammar / parser

Issue - State: closed - Opened by ym-han 5 months ago
Labels: langium-parser

#83 - Finish the first-pass alignment of the Langium grammar with the backend CST so that Inari is not blocked on the prettyprinter

Issue - State: open - Opened by ym-han 5 months ago

#82 - Langium frontend: Add ValueConverter that trims backticks from backticked IDs and "--" and leading spaces from single line annotation

Pull Request - State: closed - Opened by ym-han 5 months ago

#81 - Add eval construct / wire up to Simala's #eval decl; fix / defer some Langium grammar issues; fix some backend parser bugs

Pull Request - State: closed - Opened by ym-han 5 months ago - 1 comment

#80 - [ToSimala] Look into issue / bug with translation

Issue - State: closed - Opened by ym-han 5 months ago - 1 comment

#79 - [ToSimala] Scoping: Check if the way I'm translating names is correct --- might need to just use Uniques instead of Uniques concatenated with reftext

Issue - State: open - Opened by ym-han 5 months ago
Labels: compiler-engineering

#78 - Add wrapper CLI going from `.l4` files to Simala exprs

Pull Request - State: closed - Opened by ym-han 5 months ago

#77 - Think through how to produce an interview / questionnaire from a Lam4 specification. What further constructs are required for this, if any?

Issue - State: open - Opened by ym-han 5 months ago

#76 - [Parser] Fix InfixPredicateApp vs InfixActionApp bug / design issue (or just disable ActionApp for now)

Issue - State: closed - Opened by ym-han 5 months ago - 1 comment
Labels: syntax, langium-parser

#75 - [Type checker] Add Enum type

Issue - State: open - Opened by ym-han 5 months ago

#74 - WIP: NL rendering with GF grammar

Pull Request - State: closed - Opened by inariksit 5 months ago

#73 - Package Lam4 up / add dev environment, probably using Nix (with the ability to generate containers)

Issue - State: open - Opened by ym-han 5 months ago - 1 comment
Labels: help wanted, infra

#72 - Grammar: Refactor the metadata constructs; come up with surface syntax for transparency / annotating the explanations

Issue - State: open - Opened by ym-han 5 months ago - 1 comment
Labels: langium-parser

#71 - Make basic version of wrapper CLI(s)

Issue - State: closed - Opened by ym-han 5 months ago - 1 comment
Labels: infra

#70 - Add Logger to Haskell backend, prob by just adapting / copying fendor's from main branch L4

Issue - State: open - Opened by ym-han 5 months ago

#69 - Clean up AST types; compile to Simala Decls(but just printing the Simala Decls for the time being); restrict what metadata can be entered in SpecificMetadata block

Pull Request - State: closed - Opened by ym-han 5 months ago

#68 - Consider tweaking concrete syntax to make it easier to pretty print

Issue - State: open - Opened by ym-han 5 months ago

#67 - Prettyprinter and tests

Pull Request - State: closed - Opened by inariksit 5 months ago

#66 - Cleanup Sigs/Concepts -- allow only ONE CONCEPT for short term

Pull Request - State: closed - Opened by ym-han 5 months ago

#65 - Add record decls to common syntax; implement parser for that and record exprs and projection and some other misc decls in backend parser

Pull Request - State: closed - Opened by ym-han 5 months ago

#64 - Add doubles type to Langium grammar and backend

Issue - State: closed - Opened by ym-han 5 months ago
Labels: syntax, langium-parser

#63 - Improve build instructions

Pull Request - State: closed - Opened by ym-han 5 months ago

#62 - Add basic support for records in type checker; add `then` separator for sequential composition of actions

Pull Request - State: closed - Opened by ym-han 5 months ago - 1 comment

#61 - Refactor concrete syntax, langium grammar, and proposal to avoid iterated modals

Pull Request - State: closed - Opened by ym-han 5 months ago

#60 - Fix: misc errors / issues with building VSCode extension

Pull Request - State: closed - Opened by ym-han 5 months ago

#59 - Remove `Breach`

Pull Request - State: closed - Opened by ym-han 5 months ago

#58 - Grammar, Concrete Syntax (and Parser.hs) tweaks

Pull Request - State: closed - Opened by ym-han 5 months ago

GitHub / smucclaw/lam4 issues and pull requests