Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / luc-tielen/eclair-lang issues and pull requests

#164 - invalid redefinition of function 'eclair_btree_insert_range_delta_*'

Issue - State: open - Opened by Price1999a 9 months ago - 3 comments

#163 - Build with GHC 9.6.3

Pull Request - State: closed - Opened by kpadmasola about 1 year ago

#162 - Add symbol table tests

Pull Request - State: closed - Opened by luc-tielen about 1 year ago

#161 - Add tests for runtime hashmap

Pull Request - State: closed - Opened by luc-tielen about 1 year ago

#160 - Page allocator tests

Pull Request - State: closed - Opened by kpadmasola about 1 year ago

#159 - Test symbol in runtime

Pull Request - State: closed - Opened by luc-tielen about 1 year ago

#158 - Add unit tests for LLVM vector

Pull Request - State: closed - Opened by luc-tielen about 1 year ago

#157 - Add tests for btree in runtime

Pull Request - State: closed - Opened by luc-tielen about 1 year ago

#156 - Adding Page Allocator tests

Pull Request - State: closed - Opened by kpadmasola about 1 year ago

#155 - Cleanup CI

Pull Request - State: closed - Opened by luc-tielen about 1 year ago

#154 - Add testsuite checks

Pull Request - State: closed - Opened by luc-tielen about 1 year ago

#153 - Test runtime malloc

Pull Request - State: closed - Opened by luc-tielen about 1 year ago

#152 - Adding devcontainer support

Pull Request - State: closed - Opened by kpadmasola about 1 year ago - 1 comment

#151 - Fix CI failures

Pull Request - State: closed - Opened by kpadmasola about 1 year ago

#150 - Added LSP tests for JSON encoder and decoder

Pull Request - State: closed - Opened by kpadmasola about 1 year ago - 1 comment

#149 - Update .gitignore

Pull Request - State: closed - Opened by luc-tielen about 1 year ago

#148 - Remove lsp bloat

Pull Request - State: closed - Opened by luc-tielen about 1 year ago

#147 - [Docs] FAQ page's next link at the bottom right refers to itself

Issue - State: closed - Opened by emres about 1 year ago - 1 comment

#146 - Handle edgecases lowering recursive rules to RA

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#145 - Fix issue in EIR codegen

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#144 - Bootstrap eclair

Pull Request - State: open - Opened by luc-tielen over 1 year ago

#143 - Fix negation check

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#142 - Upgrade to LLVM 14 -> 17

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#141 - Specialized allocators

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#140 - Add code of conduct

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#139 - Moving from hpack to cabal-fmt

Pull Request - State: closed - Opened by kpadmasola over 1 year ago

#138 - Open a project Slack workspace

Issue - State: closed - Opened by moshewe over 1 year ago - 1 comment

#137 - Remove docs for runtime API

Pull Request - State: closed - Opened by luc-tielen over 1 year ago - 1 comment

#136 - Support for GHC-9.4.4

Pull Request - State: closed - Opened by kpadmasola over 1 year ago - 1 comment

#135 - Remove dependent-sum-template

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#134 - Update README.md

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#133 - Support keywords in typedefs and external defs

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#132 - Resolve typed holes at the end of a declaration

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#130 - Rewrite semantic analysis in Eclair itself

Pull Request - State: closed - Opened by luc-tielen over 1 year ago - 2 comments

#129 - Transpilation to Souffle

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#128 - Add benchmarks

Pull Request - State: open - Opened by luc-tielen over 1 year ago

#127 - Fix stackoverflow for large inputs

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#126 - Fix segfault for large inputs

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#125 - Memory corruption fix

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#124 - Refactor eir codegen

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#123 - Refactor btree

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#122 - Optimize runtime perf

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#121 - Make number of threads configurable

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#120 - Fix boolean blindness bug in negation partial search

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#119 - Negation search

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#118 - Add tests for string encoding (with capital letters)

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#117 - Refactor emitting ir

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#116 - Fix dead internal relation check for rule with only constants

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#115 - Reduce docker image size

Pull Request - State: closed - Opened by kpadmasola almost 2 years ago - 2 comments

#114 - Negation

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#113 - Fix hoist constraints pass

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#112 - Implement first version of extern primops

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#111 - Update copyright year

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#110 - Minor cleanup in analysis code

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#109 - Refactor location based data types to common module

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#108 - Arithmetic operators

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#107 - Minor fixes

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#106 - Comparisons

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#105 - Cleanup TODOs and ghc compiler options

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#104 - DCE: remove empty output relations

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#103 - Parse zero

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#102 - Refactor error handling

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#101 - Add input/output qualifiers to relations

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#100 - Use one timestamp in CI

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#99 - Add cache to CI

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#98 - Create a lightweight LSP alternative to reduce build times

Issue - State: open - Opened by luc-tielen almost 2 years ago

#97 - Add LSP support

Pull Request - State: closed - Opened by luc-tielen almost 2 years ago

#96 - Fix GHC 9.2.4 compilation warnings

Pull Request - State: closed - Opened by kpadmasola about 2 years ago - 1 comment

#95 - Update docs and Dockerfile for GHC 9.2.4

Pull Request - State: closed - Opened by kpadmasola about 2 years ago - 1 comment

#94 - Fix ambiguity in module import for newer GHC

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#93 - Build with ghc-9.2.4

Pull Request - State: closed - Opened by kpadmasola about 2 years ago - 1 comment

#92 - Bump version

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#91 - Add support for typed holes

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#90 - Update to GHC9.4

Issue - State: closed - Opened by luc-tielen about 2 years ago - 2 comments
Labels: good first issue

#89 - Minor docker fixes and improvements

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#88 - Prepare release 0.1.0

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#87 - Fix compilation warnings

Pull Request - State: closed - Opened by kpadmasola about 2 years ago - 4 comments

#86 - Tests for string support

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#85 - Update roadmap in README

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#84 - Collect multiple errors while parsing

Pull Request - State: closed - Opened by kpadmasola about 2 years ago - 1 comment

#83 - Fix inconsistency in API docs

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#82 - Update souffle installation instructions for MacOS

Pull Request - State: closed - Opened by kpadmasola about 2 years ago - 1 comment

#81 - Tests for string support

Pull Request - State: closed - Opened by luc-tielen about 2 years ago - 1 comment

#80 - Remove nix setup

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#79 - Update Dockerfile and CI

Pull Request - State: closed - Opened by luc-tielen about 2 years ago - 1 comment

#78 - Dockerfile for eclair

Pull Request - State: closed - Opened by kpadmasola about 2 years ago - 1 comment

#77 - WASM additions

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#76 - Getting started with eclair on MacOS

Pull Request - State: closed - Opened by kpadmasola about 2 years ago

#75 - Remove rules with contradictions

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#74 - Support multiple equalities / implement copy propagation

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#73 - Add top level API docs, building Eclair without Nix

Pull Request - State: closed - Opened by luc-tielen about 2 years ago
Labels: documentation

#72 - Add error recovery for parser

Issue - State: closed - Opened by luc-tielen about 2 years ago - 1 comment
Labels: enhancement

#71 - Add architecture choices document

Pull Request - State: closed - Opened by luc-tielen about 2 years ago
Labels: documentation

#70 - Improve wasm support

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#69 - Logo

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#68 - Replace "some" with "dependent-sum"

Pull Request - State: closed - Opened by luc-tielen about 2 years ago

#67 - Add a section how to setup Eclair without Nix

Issue - State: closed - Opened by luc-tielen about 2 years ago - 1 comment
Labels: good first issue, hacktoberfest

#66 - Add missing unit tests

Issue - State: open - Opened by luc-tielen about 2 years ago
Labels: good first issue

#65 - test using lit.cfg

Pull Request - State: closed - Opened by smunix about 2 years ago - 3 comments