Ecosyste.ms: Issues

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

GitHub / grin-compiler/grin issues and pull requests

#132 - MVP for the GRIN Project

Issue - State: open - Opened by GunpowderGuy 3 months ago - 7 comments

#131 - Foreign pointer primitive type

Issue - State: open - Opened by Z-snails almost 3 years ago - 5 comments

#130 - Fix ffi linking for primops in interpreter

Pull Request - State: closed - Opened by Z-snails almost 3 years ago

#129 - Support ghc 8.10

Pull Request - State: open - Opened by 414owen almost 3 years ago

#128 - Confused about non-covered alternatives and RunPure

Issue - State: open - Opened by Tiltedprogrammer almost 3 years ago - 3 comments

#127 - Allow specifying the library an ffi function comes from

Pull Request - State: closed - Opened by Z-snails about 3 years ago - 1 comment

#126 - Add libffi support to interpreter

Pull Request - State: closed - Opened by Z-snails about 3 years ago

#125 - InlineApply causes non-defined function when self recursive

Issue - State: open - Opened by Z-snails over 3 years ago - 1 comment

#124 - More informative error message for missing primop

Pull Request - State: closed - Opened by Z-snails over 3 years ago

#123 - What LLVM versions are supported by the codegen?

Issue - State: open - Opened by jonathan-il over 3 years ago - 1 comment

#122 - Question: does GRIN requires a runtime?

Issue - State: open - Opened by wongjiahau over 3 years ago - 1 comment

#121 - Don't arity raise or unbox `grinMain`

Pull Request - State: closed - Opened by Z-snails over 3 years ago - 1 comment

#120 - Fix flake.nix too

Pull Request - State: closed - Opened by Anderssorby over 3 years ago

#119 - Fix nix build

Pull Request - State: closed - Opened by Anderssorby over 3 years ago

#118 - Extended syntax: merging master

Pull Request - State: closed - Opened by Anabra about 4 years ago

#117 - Extended syntax: bugfixes

Pull Request - State: closed - Opened by Anabra about 4 years ago

#116 - Extended syntax: pipeline

Pull Request - State: closed - Opened by Anabra about 4 years ago - 1 comment

#114 - Remove link to nonexistent file in README

Pull Request - State: closed - Opened by Grinshpon over 4 years ago

#113 - Lambda/GrinCodeGenBoxed.hs does not exist

Issue - State: closed - Opened by Grinshpon over 4 years ago

#112 - Extended syntax: reducer sync

Pull Request - State: closed - Opened by Anabra over 4 years ago

#111 - How to cite paper

Issue - State: closed - Opened by zglin0 over 4 years ago - 3 comments

#110 - Fix set1 parsing and ignore HIE yaml

Pull Request - State: closed - Opened by hgsipiere over 4 years ago - 1 comment

#109 - Clang dependency for tests

Issue - State: open - Opened by hgsipiere over 4 years ago - 2 comments

#108 - Proof of concept Souffle implemented HPT.

Pull Request - State: open - Opened by andorp over 4 years ago

#107 - Extended Syntax: primops tests

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#106 - Extended Syntax: renaming interprocedural transformations

Pull Request - State: closed - Opened by Anabra over 4 years ago - 1 comment
Labels: review

#105 - Extended Syntax: reducer LLVM

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#104 - Extended Syntax: reducer

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#103 - Extended Syntax: sharing analysis fix

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#102 - Extended Syntax: GRIN transformations SYNC

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#100 - Extended Syntax: dead data elimination

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#99 - Extended Syntax: dead parameter elimination

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#98 - Extended Syntax: dead function elimination

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#97 - Extended Syntax: LVA fix

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#96 - Feature/int widths

Pull Request - State: open - Opened by s5bug over 4 years ago - 7 comments

#95 - Fix data dependencies in pipeline

Issue - State: open - Opened by Anabra over 4 years ago
Labels: reminder

#94 - Improve case hoisting

Issue - State: open - Opened by Anabra over 4 years ago
Labels: reminder

#93 - Extended Syntax: arity raising

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#92 - Extended Syntax: generalized unboxing

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#91 - Extended Syntax: inlining

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#90 - Extended Syntax: case hoisting

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#89 - Extended Syntax: case copy propagation

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#88 - Extended Syntax: simple dead parameter elimination

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#87 - Extended Syntax: simple dead function elimination

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#86 - Extneded Syntax: simple dead variable elimination

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#85 - Extended Syntax: sparse case optimization

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#84 - Extended Syntax: non-shared elimination

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#83 - Extended Syntax: constant propagation

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#82 - Counting Immutable Beans

Issue - State: open - Opened by andorp over 4 years ago - 6 comments
Labels: proposal

#81 - Early merge of new syntax to master

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#80 - Extended syntax: simplified abstract syntax of as-patterns

Pull Request - State: closed - Opened by Anabra over 4 years ago
Labels: review

#79 - Lint: Node pattern match uses sub-type instead of type equality.

Pull Request - State: closed - Opened by andorp almost 5 years ago

#78 - Add --continue-on-lint option.

Pull Request - State: closed - Opened by andorp almost 5 years ago - 1 comment

#77 - Eval statistics.

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

#76 - Stop pipeline on errors and add --continue-on-lint option for the current behavior.

Issue - State: closed - Opened by andorp almost 5 years ago - 3 comments
Labels: proposal

#75 - SparseCaseOptimisation removes useful alternatives

Issue - State: closed - Opened by AlexandreTunstall almost 5 years ago - 8 comments
Labels: bug

#74 - Specification of the undefined value semantics

Issue - State: open - Opened by csabahruska almost 5 years ago

#73 - Extended syntax: CSE

Pull Request - State: closed - Opened by Anabra almost 5 years ago
Labels: review

#72 - Extended syntax: copy propagation

Pull Request - State: closed - Opened by Anabra almost 5 years ago
Labels: review

#71 - Extended syntax: case eliminating transformations

Pull Request - State: closed - Opened by Anabra almost 5 years ago
Labels: review

#70 - Extended syntax: added context-based testing

Pull Request - State: closed - Opened by Anabra almost 5 years ago
Labels: review

#69 - Improve Simple Dead Parameter Elimination.

Pull Request - State: closed - Opened by andorp almost 5 years ago
Labels: review

#68 - Extended syntax: analyses now handle named alternatives

Pull Request - State: closed - Opened by Anabra almost 5 years ago
Labels: review

#67 - Extended syntax: remove unnamed alternatives from syntax

Pull Request - State: closed - Opened by Anabra almost 5 years ago
Labels: review

#66 - Improve error reporting.

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

#65 - Frontend specific PrimOps.

Pull Request - State: closed - Opened by andorp almost 5 years ago - 1 comment
Labels: review

#64 - Modular PrimOps

Issue - State: open - Opened by andorp almost 5 years ago - 4 comments
Labels: proposal

#62 - fix: add __runtime_error to the hardwired JIT FFI

Pull Request - State: closed - Opened by csabahruska almost 5 years ago - 1 comment

#61 - Grin/bugfix/external ffi pretty

Pull Request - State: closed - Opened by csabahruska almost 5 years ago - 1 comment
Labels: review

#60 - More end-to-end tests generated by the Idris-GRIN backend.

Pull Request - State: closed - Opened by andorp almost 5 years ago
Labels: review

#59 - Extended syntax: syntax conversion fix

Pull Request - State: closed - Opened by Anabra almost 5 years ago
Labels: review

#58 - Update packages

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

#57 - Fix E2E tests for OSX

Issue - State: open - Opened by luc-tielen almost 5 years ago - 1 comment

#56 - Update nix setup

Pull Request - State: closed - Opened by luc-tielen almost 5 years ago - 8 comments

#55 - Windows support?

Issue - State: open - Opened by ice1000 almost 5 years ago

#54 - Binary download?

Issue - State: open - Opened by ice1000 almost 5 years ago

#53 - Extended syntax: Named alternatives, tests

Pull Request - State: closed - Opened by Anabra about 5 years ago - 2 comments
Labels: review

#52 - Original work on the STCS-2019 article

Pull Request - State: open - Opened by Anabra about 5 years ago
Labels: review

#51 - Extended syntax: Named alternatives, analyses

Pull Request - State: closed - Opened by Anabra about 5 years ago
Labels: review

#50 - Extended syntax: Named alternatives GRIN directory

Pull Request - State: closed - Opened by Anabra about 5 years ago - 1 comment
Labels: review

#49 - Extended syntax: Preliminary work on Transformations

Pull Request - State: closed - Opened by Anabra about 5 years ago
Labels: review

#48 - Extended syntax: Abstract Interpretation misc.

Pull Request - State: closed - Opened by Anabra about 5 years ago - 1 comment
Labels: review

#47 - Extended syntax: Created By

Pull Request - State: closed - Opened by Anabra about 5 years ago
Labels: review

#46 - Extended syntax: Live Variable Analysis

Pull Request - State: closed - Opened by Anabra about 5 years ago
Labels: review

#45 - Extended syntax: Effect Tracking

Pull Request - State: closed - Opened by Anabra about 5 years ago
Labels: review

#44 - Add GADT layer for safer GRIN generation.

Pull Request - State: closed - Opened by andorp about 5 years ago

#43 - Extended syntax: Sharing

Pull Request - State: closed - Opened by Anabra about 5 years ago
Labels: review

#42 - Extending the syntax of GRIN: HPT

Pull Request - State: closed - Opened by Anabra about 5 years ago
Labels: wip, review

#41 - Extending the syntax of GRIN (feature branch)

Pull Request - State: closed - Opened by Anabra about 5 years ago

#40 - Extending the syntax of GRIN

Pull Request - State: closed - Opened by Anabra over 5 years ago - 3 comments
Labels: wip, review

#39 - End to end tests

Pull Request - State: closed - Opened by andorp over 5 years ago - 1 comment
Labels: review

#38 - End-to-end test framework

Issue - State: closed - Opened by andorp over 5 years ago - 1 comment
Labels: proposal, accepted

#37 - GRIN syntactical changes

Pull Request - State: closed - Opened by Anabra over 5 years ago - 1 comment
Labels: wip

#36 - Now the CSE tests use the pipeline-based approach

Pull Request - State: closed - Opened by Anabra over 5 years ago - 4 comments
Labels: review

#35 - Fix llvm-7 install instructions for macOS

Pull Request - State: closed - Opened by nickwanninger over 5 years ago - 1 comment
Labels: merge

#34 - TypeEnv/HPT based dead code elimination

Issue - State: open - Opened by csabahruska over 5 years ago

#33 - Strip externals

Pull Request - State: closed - Opened by csabahruska over 5 years ago - 1 comment