Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / andrew-johnson-4/LSTS issues and pull requests
#264 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 month ago
#263 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 month ago
#262 - Replace backend with LM
Issue -
State: open - Opened by andrew-johnson-4 2 months ago
Labels: high priority
#261 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 2 months ago
#260 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 3 months ago
#259 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 3 months ago
#258 - Benchmark Auto Theorems
Issue -
State: open - Opened by andrew-johnson-4 7 months ago
#257 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 7 months ago
#256 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 7 months ago
#255 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 7 months ago
#254 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 9 months ago
#253 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 10 months ago
#252 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 11 months ago
#251 - Isolate type rules for conjunction types
Issue -
State: closed - Opened by andrew-johnson-4 about 1 year ago
- 2 comments
Labels: documentation, checker
#250 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#249 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#248 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#247 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#246 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#245 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#244 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#243 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#242 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#241 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#240 - Create README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#239 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#238 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#237 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#236 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#235 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#234 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#233 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#232 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#231 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#230 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#229 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#228 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#227 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#226 - Update Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#225 - Create Inference.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#224 - Formalize Type System Inference
Issue -
State: closed - Opened by andrew-johnson-4 about 1 year ago
- 3 comments
Labels: checker
#223 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#222 - Contemplate relaxing the one datatype per type restriction
Issue -
State: closed - Opened by andrew-johnson-4 about 1 year ago
- 1 comment
Labels: checker
#221 - Start bootstrapping l1 in l1
Issue -
State: closed - Opened by andrew-johnson-4 about 1 year ago
- 1 comment
Labels: performance, backend
#220 - Simple Compiler targeting LLVM IR
Issue -
State: closed - Opened by andrew-johnson-4 about 1 year ago
- 9 comments
Labels: performance, backend
#219 - support f64
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#218 - Migrate2lm
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#217 - Support haskell-like infix syntax
Pull Request -
State: closed - Opened by XChy about 1 year ago
- 3 comments
#216 - Migrate backend to LM
Issue -
State: closed - Opened by andrew-johnson-4 about 1 year ago
- 1 comment
Labels: performance, backend
#215 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#214 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#213 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#212 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#211 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#210 - Update README.md
Pull Request -
State: closed - Opened by andrew-johnson-4 about 1 year ago
#209 - Add support for the regex for F64 in l1.tlc
Pull Request -
State: closed - Opened by XChy over 1 year ago
#208 - Support F32 and F64 values
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 4 comments
Labels: prelude
#207 - Package preludes
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#206 - Cannot run the basic example of LSTS
Issue -
State: closed - Opened by XChy over 1 year ago
- 5 comments
#205 - Formal verification with stronger logical kernel
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 2 comments
Labels: enhancement, checker, backend
#204 - Replace Regexes with DFAs
Issue -
State: open - Opened by andrew-johnson-4 over 1 year ago
Labels: enhancement, parser, checker
#203 - Use I64 as default instead of U64
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#202 - Make signed integers the default number literal
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
Labels: prelude, backend
#201 - dependent types
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#200 - update order of operations
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#199 - Integration objective functions to type system
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 1 comment
Labels: enhancement
#198 - Integrate Constraint Solver in type system
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 1 comment
Labels: enhancement
#197 - Fixme6
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#196 - Target Rust for AoT compilation
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 2 comments
Labels: enhancement, backend
#195 - Generate documentation for each prelude
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
Labels: documentation, enhancement
#194 - Fixme5
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#193 - Fixme4
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#192 - Update Tutorial
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
Labels: documentation, enhancement
#191 - Fixme3
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#190 - fix literal tokenization test
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#189 - Fixme
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#188 - Write unification algorithm in L1
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 1 comment
Labels: enhancement, checker, backend
#187 - add new base case for maybe zero types
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#186 - Introduce "Zero" at the type level
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
Labels: enhancement, parser, checker
#185 - Introduce
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#184 - Add support for more literal types
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 1 comment
Labels: enhancement, parser, checker
#183 - Implement reverse operator for regular expressions
Issue -
State: open - Opened by andrew-johnson-4 over 1 year ago
- 1 comment
Labels: parser, checker, backend
#182 - Permit valued let bindings
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 1 comment
Labels: enhancement, checker, backend
#181 - Add support for structs and tuples in patterns in codegen
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 1 comment
Labels: enhancement, backend
#180 - Add support for Structs in rhs codegen
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 1 comment
Labels: enhancement, backend
#179 - FIXME
Issue -
State: open - Opened by andrew-johnson-4 over 1 year ago
- 1 comment
Labels: bug, documentation, parser, checker, prelude, performance, backend, testing
#178 - Polymorphic function bodies
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#177 - Format Strings
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#176 - Add support for parameterized types with type bounds
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 1 comment
Labels: enhancement, checker
#175 - Implication is Application
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#174 - Deprecate quantified implication in favor of function syntax
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
Labels: enhancement, checker, bikeshed
#173 - Add support for Ruby/Python/etc style formatting string literals
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
Labels: enhancement, good first issue, parser
#172 - Add test case for method vs field equivalence
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
Labels: parser, testing
#171 - String Introduction
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
Labels: enhancement, checker, backend
#170 - Make a polymorphic function test case
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 1 comment
Labels: checker, backend
#169 - Extend stdlib to include methods for lists, sets, and maps
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 3 comments
Labels: checker, backend
#168 - Exe bug
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#167 - right triangles works as a test but not from the command line
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 3 comments
Labels: bug, backend
#166 - Right triangles 3
Pull Request -
State: closed - Opened by andrew-johnson-4 over 1 year ago
#165 - Investigate the Github Actions failure
Issue -
State: closed - Opened by andrew-johnson-4 over 1 year ago
- 2 comments
Labels: bug, backend