Ecosyste.ms: Issues

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

GitHub / lpcic/elpi issues and pull requests

#100 - remove ppxfindcache, requires ppx but works with migrate-pt 2.x

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

#99 - [wish] loc API

Issue - State: open - Opened by gares over 3 years ago

#98 - [wish] print understands ocaml format

Issue - State: open - Opened by gares over 3 years ago

#97 - Some more builtins

Pull Request - State: closed - Opened by gares over 3 years ago - 9 comments

#96 - Elpi predicate to force garbage collection

Issue - State: closed - Opened by pi8027 over 3 years ago - 2 comments

#95 - use CYGWIN_ROOT on windows

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

#94 - use CYGWIN_ROOT on windows

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

#93 - Type errors with type `o`?

Issue - State: closed - Opened by jfschaefer almost 4 years ago - 1 comment

#92 - Improve separate compilation api and implementation

Pull Request - State: closed - Opened by gares almost 4 years ago

#91 - [wip] remove merlin hack

Pull Request - State: closed - Opened by gares almost 4 years ago - 1 comment

#90 - [wish] trace browser

Issue - State: closed - Opened by gares about 4 years ago
Labels: ADT-SED

#89 - use Digest rather than shasum

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

#88 - [win] patch from fdopen/opam-repository-mingw

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

#87 - [opam] [win] integrate patches

Issue - State: closed - Opened by gares about 4 years ago - 1 comment

#86 - Remove .install file hack

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

#85 - speedup compiler

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

#84 - [compiler] use the right symbol table when printing (fix #79)

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

#83 - [ci] bound camlp5

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

#82 - Replace sha1sum with shasum in ppxfindcache_aux.ml

Pull Request - State: closed - Opened by MSoegtropIMC about 4 years ago - 9 comments

#81 - [design] notion of context entry for binder term constructors

Issue - State: open - Opened by gares over 4 years ago

#80 - [design] enrich type declaration with context-building info

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

#79 - -print broken

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

#78 - Take map-ok from Coq-Elpi

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

#77 - fixes for camlp5 8.00

Pull Request - State: closed - Opened by chetmurthy over 4 years ago - 9 comments

#76 - CHR not triggering rules on variable update

Issue - State: open - Opened by rudihorn over 4 years ago - 3 comments

#74 - Typos in README.md

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

#73 - [wish] tabling

Issue - State: open - Opened by gares over 4 years ago - 1 comment

#72 - Not compatible with dune cache

Issue - State: closed - Opened by SkySkimmer over 4 years ago - 11 comments

#71 - [design] constraint context filtering

Issue - State: open - Opened by gares over 4 years ago
Labels: enhancement

#70 - sphinx manual

Issue - State: closed - Opened by gares over 4 years ago
Labels: ADT-SED

#69 - User manual

Issue - State: open - Opened by gares over 4 years ago
Labels: ADT-SED

#68 - GUI for browsing a trace

Issue - State: open - Opened by gares over 4 years ago - 1 comment
Labels: ADT-SED

#67 - Build for windows in CI

Issue - State: closed - Opened by gares over 4 years ago - 1 comment
Labels: ADT-SED

#66 - new trace to TTY is hard to understand

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

#65 - PPX to have compile time beta reduction

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

#64 - Ocaml elpi

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

#63 - Elpi ppx

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

#62 - API: cleanup contextual type of conversions

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

#61 - [experimental] elpi.ppx (and vendored ocaml-elpi.ppx)

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

#60 - port trace/ppx to ppxlib

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

#59 - Coq ci

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

#58 - fix compilation on old ocaml

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

#57 - [wish] `var` with the same API of `constant` and `name`

Issue - State: closed - Opened by gares almost 5 years ago

#56 - Hypothetical clause using `uvar` is miscompiled

Issue - State: closed - Opened by gares almost 5 years ago

#55 - [wip] TOYML

Pull Request - State: open - Opened by gares almost 5 years ago

#54 - Separate compilation

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

#53 - Avoid build failures when the camlp5 binary changes

Pull Request - State: closed - Opened by kit-ty-kate almost 5 years ago - 6 comments

#52 - [wip] Separate compilation

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

#51 - error location is wrong, sometimes

Issue - State: closed - Opened by gares almost 5 years ago - 1 comment

#50 - [feature] typeabbrev directive

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

#49 - elpi acumulates files twice

Issue - State: closed - Opened by gares almost 5 years ago

#48 - CHR: check head are in the clique

Issue - State: closed - Opened by gares about 5 years ago

#47 - Update OCaml to 4.08.1 in Travis

Pull Request - State: closed - Opened by XVilka about 5 years ago - 1 comment

#45 - Missing type declarations.

Issue - State: closed - Opened by maggesi about 5 years ago

#44 - type checking types

Issue - State: open - Opened by gares about 5 years ago

#43 - FFI: contextual conversion of arguments

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

#42 - API: flexible terms are at lvl 0

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

#41 - API: remove andc2, & is still accepted (fix #39)

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

#39 - remove andc2

Issue - State: closed - Opened by gares about 5 years ago

#38 - API: UnifVar always at level 0

Issue - State: closed - Opened by gares about 5 years ago

#37 - runtime: move turns discard into UVar (fix #30)

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

#36 - Restriction bug

Pull Request - State: closed - Opened by gares about 5 years ago - 1 comment

#35 - [WIP] Heap/Stack terms with different syntax

Pull Request - State: open - Opened by gares over 5 years ago

#34 - Map and Set

Pull Request - State: closed - Opened by gares over 5 years ago

#33 - associate a depth to cdata

Issue - State: closed - Opened by gares over 5 years ago - 1 comment

#32 - Add probabilistic reasoning

Issue - State: open - Opened by XVilka over 5 years ago - 2 comments

#31 - Accept lists with a trailing , eg [1,2,3,]

Issue - State: closed - Opened by gares over 5 years ago

#30 - Discard should be turned into an uvar when moved to the heap

Issue - State: closed - Opened by gares over 5 years ago - 1 comment

#29 - `--version` flag

Issue - State: closed - Opened by maximedenes over 5 years ago - 1 comment

#28 - Elpi doesn't load using #require

Issue - State: open - Opened by andiejs over 5 years ago - 1 comment

#27 - Indexing on an arbitrary argument

Issue - State: closed - Opened by CohenCyril about 7 years ago

#26 - elpi 1.2

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

#25 - NotInProlog("application head: ...")

Issue - State: closed - Opened by htzh almost 6 years ago - 9 comments

#24 - build using dune

Pull Request - State: closed - Opened by gares almost 6 years ago - 1 comment

#23 - Test/cleanup

Pull Request - State: closed - Opened by gares almost 6 years ago

#22 - [doc issue?] ELPI fails to unify functional constants up to eta-espansion

Issue - State: closed - Opened by sacerdot about 6 years ago - 2 comments
Labels: bug

#21 - [travis] install opam 2.0 on linux too

Pull Request - State: closed - Opened by gares about 6 years ago

#20 - Switch building system to dune

Issue - State: closed - Opened by XVilka about 6 years ago - 1 comment

#19 - Bug (in pattern matching?)

Issue - State: closed - Opened by sacerdot over 6 years ago - 6 comments
Labels: bug

#18 - elpi 1.0

Pull Request - State: closed - Opened by gares over 6 years ago

#17 - Non-silent Elpi prints info to stderr instead of stdout

Issue - State: closed - Opened by voodoos over 6 years ago

#16 - Loading messages now print on stdout and not stderr.

Pull Request - State: closed - Opened by voodoos over 6 years ago - 1 comment

#15 - get rid of Str

Issue - State: closed - Opened by gares over 6 years ago

#14 - nil = [] no more

Issue - State: closed - Opened by gares over 6 years ago

#13 - Drop camlp5 extensible grammar

Issue - State: closed - Opened by gares almost 7 years ago - 4 comments
Labels: enhancement, question, ADT-SED

#12 - Rewrite LaTeX exported in elpi

Issue - State: open - Opened by gares almost 7 years ago

#11 - Make `;` a true builtin

Issue - State: open - Opened by gares almost 7 years ago - 1 comment
Labels: enhancement

#10 - CHR: new syntax and implementation

Pull Request - State: closed - Opened by gares about 7 years ago - 1 comment

#9 - CHR: no error if non-disjoint variables are used in multi-head matching

Issue - State: closed - Opened by gares about 7 years ago - 1 comment
Labels: bug

#8 - Changes since December

Issue - State: open - Opened by krpcannon over 7 years ago - 1 comment

#7 - Fix compilation on NixOS.

Pull Request - State: closed - Opened by Zimmi48 over 7 years ago - 1 comment

#6 - Portability problems

Issue - State: closed - Opened by ejgallego over 7 years ago - 2 comments

#5 - Compiling Issue

Issue - State: closed - Opened by krpcannon over 7 years ago - 7 comments

#4 - quotations: strings in {{ }} delegated to 3rd party

Pull Request - State: closed - Opened by gares over 7 years ago - 1 comment

#3 - Improved mode/type syntax

Issue - State: closed - Opened by gares over 7 years ago - 1 comment
Labels: enhancement

#2 - Syntax for neck-cut

Issue - State: open - Opened by gares over 7 years ago - 1 comment
Labels: enhancement

#1 - Parser should tell if the entire input is consumed

Issue - State: closed - Opened by gares over 7 years ago
Labels: bug