Giters
LPCIC
/
elpi
Embeddable Lambda Prolog Interpreter
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
282
Watchers:
13
Issues:
114
Forks:
34
LPCIC/elpi Issues
Unification in the head of a rule and move of binders
Updated
17 days ago
Comments count
1
CHR: add unique non instantiable key instead of [_]
Updated
20 days ago
Comments count
1
lack of bidirectionality in type checking
Updated
20 days ago
Failure on S390X architecture
Updated
3 months ago
Comments count
1
Failure on armel architecture
Updated
3 months ago
No deref on HO variable when unifying?
Updated
3 months ago
Comments count
1
`findall_solutions P` may be inconsistent wrt unification variables in `P`
Updated
3 months ago
Comments count
5
bug in unification with lambda in head
Closed
4 months ago
Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01
Closed
4 months ago
Comments count
2
eta vs oc (take 2)
Closed
6 months ago
Comments count
1
`name` make typechecking wrong
Updated
6 months ago
Comments count
1
bug in unification
Closed
7 months ago
Comments count
2
API: expose register_eval in builtins.mli
Closed
9 months ago
Fatal error: beta: '' when printing after casting
Closed
9 months ago
Comments count
6
rex.split is not unicode aware
Updated
10 months ago
Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10
Closed
10 months ago
Comments count
1
Declaring a predicate `prop` in a namespace causes a typecheck failure
Updated
a year ago
Comments count
1
Opam release
Closed
a year ago
Comments count
2
Insufficient STACK for tests on i386
Updated
a year ago
Comments count
2
clause grafting is slow
Updated
a year ago
trace elaboration failure
Updated
a year ago
Trace generation fails
Updated
a year ago
How to get started on embedding ELPI into an OCaml project?
Closed
a year ago
Comments count
16
Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03
Closed
a year ago
Comments count
4
trace elaborator broken for CHR trace
Closed
a year ago
Comments count
1
Testing fails on some architectures
Updated
2 years ago
Comments count
2
is should behave like = on neutral terms
Updated
2 years ago
Compilation issue with yojson 2.x.x
Updated
2 years ago
Comments count
10
pretty printer and infix
Updated
2 years ago
Comments count
1
Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09
Closed
2 years ago
Comments count
1
Elpi sphinx documentation preview
Updated
2 years ago
Comments count
5
Goal ids identical in some cases
Closed
2 years ago
Comments count
1
Allow trailing comma in clauses
Updated
2 years ago
Comments count
2
Mismatching fields in generated trace in case of CHR
Updated
2 years ago
Comments count
3
[wish] Put the "L" in "REPL" by making it loop
Updated
2 years ago
Comments count
1
Elpi 1.15.0 fails with unhandled exception `Failure("lexing: empty token")` on the `&` conjunction operator.
Closed
2 years ago
Comments count
3
findlib support (>= 1.13.8) + dune 2.9.3 cache = fail
Closed
2 years ago
Comments count
4
Elpi 1.15.0 doesn't compile with released OCaml 4.14.0 if camlp5 is installed
Closed
2 years ago
Comments count
11
Broken eta-expansion in commit 6e859ec
Closed
3 years ago
Comments count
1
Failing clause head unification
Closed
3 years ago
Comments count
1
Delaying constraints on multiple variables of different types
Closed
3 years ago
Comments count
1
Elpi fail on OCaml-multicore
Closed
3 years ago
Comments count
13
Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02
Closed
3 years ago
Comments count
1
Emacs mode
Updated
3 years ago
Comments count
7
Assertion failures when clauses have flexible heads
Closed
3 years ago
Typos
Closed
3 years ago
Comments count
3
Should clause heads do matching before unification?
Closed
3 years ago
Comments count
5
elpi -version prints... %%VERSION_NUM%% !
Closed
3 years ago
Comments count
9
elpi switches incoherence
Closed
3 years ago
Comments count
1
Confusing behavior applying a function to `_`
Closed
3 years ago
Comments count
4
Previous
Next