andrew-johnson-4/LSTS issues and pull requests

#294 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 26 days ago

#293 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 27 days ago

#292 - LSTS is in LM

Pull Request - State: closed - Opened by andrew-johnson-4 27 days ago

#291 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 28 days ago

#290 - Delete TokenPolice.jpg

Pull Request - State: closed - Opened by andrew-johnson-4 about 1 month ago

#289 - Delete Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 about 1 month ago

#288 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 about 1 month ago

#287 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 about 1 month ago

#286 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 about 1 month ago

#285 - Add stylesheets to documentation

Issue - State: closed - Opened by andrew-johnson-4 about 1 month ago - 3 comments
Labels: help wanted, good first issue

#284 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 about 1 month ago

#283 - LSTS Language Reference

Issue - State: closed - Opened by andrew-johnson-4 about 1 month ago - 1 comment

#282 - Update LICENSE

Pull Request - State: closed - Opened by andrew-johnson-4 about 1 month ago

#281 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 2 months ago

#280 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#279 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#278 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#277 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#276 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#275 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#274 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#273 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#272 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#271 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#270 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#269 - Update pull_request_template.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#268 - Update pull_request_template.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#267 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 3 months ago

#266 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 4 months ago

#265 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 4 months ago

#264 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 6 months ago

#263 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 6 months ago

#262 - Replace backend with LM

Issue - State: closed - Opened by andrew-johnson-4 7 months ago
Labels: high priority

#261 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 7 months ago

#260 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 8 months ago

#259 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 8 months ago

#258 - Benchmark Auto Theorems

Issue - State: open - Opened by andrew-johnson-4 11 months ago

#257 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 12 months ago

#256 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 12 months ago

#255 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 12 months ago

#254 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 about 1 year ago

#253 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 about 1 year ago

#252 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 about 1 year ago

#251 - Isolate type rules for conjunction types

Issue - State: closed - Opened by andrew-johnson-4 over 1 year ago - 2 comments
Labels: documentation, checker

#250 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#249 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#248 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#247 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#246 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#245 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#244 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#243 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#242 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#241 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#240 - Create README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#239 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#238 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#237 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#236 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#235 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#234 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#233 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#232 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#231 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#230 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#229 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#228 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#227 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#226 - Update Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#225 - Create Inference.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#224 - Formalize Type System Inference

Issue - State: closed - Opened by andrew-johnson-4 over 1 year ago - 3 comments
Labels: checker

#223 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#222 - Contemplate relaxing the one datatype per type restriction

Issue - State: closed - Opened by andrew-johnson-4 over 1 year ago - 1 comment
Labels: checker

#221 - Start bootstrapping l1 in l1

Issue - State: closed - Opened by andrew-johnson-4 over 1 year ago - 1 comment
Labels: performance, backend

#220 - Simple Compiler targeting LLVM IR

Issue - State: closed - Opened by andrew-johnson-4 over 1 year ago - 9 comments
Labels: performance, backend

#219 - support f64

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#218 - Migrate2lm

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#217 - Support haskell-like infix syntax

Pull Request - State: closed - Opened by XChy over 1 year ago - 3 comments

#216 - Migrate backend to LM

Issue - State: closed - Opened by andrew-johnson-4 over 1 year ago - 1 comment
Labels: performance, backend

#215 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#214 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#213 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#212 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#211 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 1 year ago

#210 - Update README.md

Pull Request - State: closed - Opened by andrew-johnson-4 over 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 almost 2 years ago
Labels: enhancement, parser, checker

#203 - Use I64 as default instead of U64

Pull Request - State: closed - Opened by andrew-johnson-4 almost 2 years ago

#202 - Make signed integers the default number literal

Issue - State: closed - Opened by andrew-johnson-4 almost 2 years ago
Labels: prelude, backend

#201 - dependent types

Pull Request - State: closed - Opened by andrew-johnson-4 almost 2 years ago

#200 - update order of operations

Pull Request - State: closed - Opened by andrew-johnson-4 almost 2 years ago

#199 - Integration objective functions to type system

Issue - State: closed - Opened by andrew-johnson-4 almost 2 years ago - 1 comment
Labels: enhancement

#198 - Integrate Constraint Solver in type system

Issue - State: closed - Opened by andrew-johnson-4 almost 2 years ago - 1 comment
Labels: enhancement

#197 - Fixme6

Pull Request - State: closed - Opened by andrew-johnson-4 almost 2 years ago

#196 - Target Rust for AoT compilation

Issue - State: closed - Opened by andrew-johnson-4 almost 2 years ago - 2 comments
Labels: enhancement, backend

#195 - Generate documentation for each prelude

Issue - State: closed - Opened by andrew-johnson-4 almost 2 years ago
Labels: documentation, enhancement

GitHub / andrew-johnson-4/LSTS issues and pull requests