lpcic/elpi issues and pull requests

#285 - Funct with unique id

Pull Request - State: open - Opened by FissoreD 2 days ago

#284 - [compiler] merge_skema respect order of types

Pull Request - State: closed - Opened by FissoreD 6 days ago

#283 - [determinacy] refactor determinacy checker (working with unique type …

Pull Request - State: closed - Opened by FissoreD 6 days ago

#282 - [test-runner] add stop-on-first-error flag to makefile

Pull Request - State: closed - Opened by FissoreD 9 days ago

#281 - Unique id passed to global constant constructor

Pull Request - State: closed - Opened by FissoreD 9 days ago - 1 comment

#280 - [functionality] add functionality field to program

Pull Request - State: closed - Opened by FissoreD 15 days ago - 1 comment

#279 - Scope term add impl constructor

Pull Request - State: closed - Opened by FissoreD 16 days ago - 2 comments

#278 - [builtins] std.list.init and std.list.make

Pull Request - State: closed - Opened by FissoreD 17 days ago - 4 comments

#277 - type equality from Elpi to Elpi_parser

Issue - State: open - Opened by cb-wells 18 days ago - 2 comments

#276 - Prepare for 5.2 AST bump

Pull Request - State: open - Opened by patricoferris 19 days ago - 2 comments

#275 - Bug: calc (sin X) works like calc (sqrt X)

Issue - State: open - Opened by matpyz 22 days ago - 1 comment

#274 - [dt] #272 rebased

Pull Request - State: closed - Opened by FissoreD 22 days ago - 2 comments

#273 - [dt] Fix bug #272 (forgot parens...)

Pull Request - State: closed - Opened by FissoreD 23 days ago

#272 - Apparent problem with indexing via discrimination trees

Issue - State: closed - Opened by swasey 23 days ago - 8 comments

#271 - [spilling] weird spilling behaviour?

Issue - State: open - Opened by FissoreD about 1 month ago - 5 comments

#270 - [compiler] flatten commas AST

Pull Request - State: closed - Opened by FissoreD about 1 month ago

#269 - delay compiling to DBL as long as possible

Pull Request - State: open - Opened by gares about 1 month ago

#268 - [typeabbrev] good merge order of type abbrev in compile body

Pull Request - State: closed - Opened by FissoreD about 1 month ago

#267 - Locs in AST

Pull Request - State: closed - Opened by gares about 1 month ago

#266 - [typeabbrev] type `dl (dl A)` where `dl` is typeabbrev is no more "looping"

Pull Request - State: closed - Opened by FissoreD about 2 months ago - 1 comment

#265 - [compiler] build index at assembly time

Pull Request - State: closed - Opened by gares about 2 months ago

#264 - Compile clause early

Pull Request - State: closed - Opened by gares 2 months ago - 1 comment

#263 - Types are separated from terms

Pull Request - State: closed - Opened by FissoreD 2 months ago

#262 - Setting a variable can apparently skip code

Issue - State: closed - Opened by swasey 3 months ago - 6 comments

#261 - test important clients in CI

Pull Request - State: closed - Opened by gares 3 months ago

#260 - Disable bad optim

Pull Request - State: closed - Opened by gares 3 months ago

#259 - unification: fix simplification step

Pull Request - State: closed - Opened by gares 3 months ago - 6 comments

#258 - pre built binaries

Issue - State: closed - Opened by hyperswine 3 months ago - 2 comments

#257 - unification of (lam t1) (lam t2) moves t1 and t2 at same level + test

Pull Request - State: closed - Opened by FissoreD 3 months ago - 3 comments

#256 - Unification in the head of a rule and move of binders

Issue - State: closed - Opened by FissoreD 3 months ago - 2 comments

#255 - update actions

Pull Request - State: closed - Opened by gares 4 months ago

#254 - release

Pull Request - State: closed - Opened by gares 4 months ago

#253 - CHR: add unique non instantiable key instead of [_]

Issue - State: open - Opened by FissoreD 4 months ago - 1 comment

#252 - bump CI ocaml version

Pull Request - State: closed - Opened by gares 4 months ago

#251 - Use Set.map in compiler

Pull Request - State: closed - Opened by gares 4 months ago

#250 - lack of bidirectionality in type checking

Issue - State: open - Opened by gares 4 months ago

#249 - More compact representation of compiled programs

Pull Request - State: closed - Opened by ppedrot 4 months ago

#248 - Store symbol tables in a more compact way for compiled programs.

Pull Request - State: closed - Opened by ppedrot 4 months ago - 2 comments

#247 - Use sets rather than lists in compiler types

Pull Request - State: closed - Opened by ppedrot 4 months ago - 9 comments

#246 - CHR: constraints allow hyps, not considered in the clique error check

Pull Request - State: closed - Opened by FissoreD 4 months ago - 7 comments

#245 - Remove deps on Str (use Re.Str instead)

Pull Request - State: closed - Opened by FissoreD 4 months ago

#244 - test promotion flag

Pull Request - State: closed - Opened by FissoreD 4 months ago - 1 comment

#243 - Fix loc after file resolution2

Pull Request - State: closed - Opened by FissoreD 4 months ago

#242 - Fix loc after file resolution

Pull Request - State: closed - Opened by gares 4 months ago - 5 comments

#241 - Add once predicate

Pull Request - State: closed - Opened by FissoreD 4 months ago - 1 comment

#240 - fix missing restriction

Pull Request - State: closed - Opened by gares 5 months ago

#239 - fix regexp for linear variable silencing

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

#238 - nicer error message

Pull Request - State: closed - Opened by gares 5 months ago

#237 - [builtins] more set api

Pull Request - State: closed - Opened by gares 5 months ago

#236 - avoid infinite loop when calling rev with flex term

Pull Request - State: closed - Opened by FissoreD 5 months ago

#235 - Failure on armel architecture

Issue - State: open - Opened by SnarkBoojum 6 months ago

#234 - Failure on S390X architecture

Issue - State: open - Opened by SnarkBoojum 6 months ago - 1 comment

#233 - seal path data type

Pull Request - State: closed - Opened by gares 6 months ago

#232 - No deref on HO variable when unifying?

Issue - State: open - Opened by FissoreD 6 months ago - 2 comments

#231 - fixup 226

Pull Request - State: closed - Opened by gares 6 months ago

#230 - clarify doc of findall

Pull Request - State: closed - Opened by gares 6 months ago

#229 - `findall_solutions P` may be inconsistent wrt unification variables in `P`

Issue - State: open - Opened by swasey 6 months ago - 5 comments

#228 - Fix chr scope check

Pull Request - State: closed - Opened by gares 7 months ago

#227 - Fix bug 226

Pull Request - State: closed - Opened by gares 7 months ago

#226 - bug in unification with lambda in head

Issue - State: closed - Opened by gares 7 months ago

#225 - Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01

Issue - State: closed - Opened by rtetley 8 months ago - 2 comments

#224 - fix #223

Pull Request - State: closed - Opened by gares 9 months ago

#223 - eta vs oc (take 2)

Issue - State: closed - Opened by gares 9 months ago - 1 comment

#222 - `name` make typechecking wrong

Issue - State: open - Opened by FissoreD 9 months ago - 1 comment

#221 - Reorder clauses for appendR

Pull Request - State: closed - Opened by FissoreD 9 months ago - 1 comment

#220 - improve chr defrosting

Pull Request - State: closed - Opened by gares 9 months ago

#219 - fix missing occur check (fix #218)

Pull Request - State: closed - Opened by gares 10 months ago

#218 - bug in unification

Issue - State: closed - Opened by gares 10 months ago - 2 comments

#217 - Expose `Replace in API

Pull Request - State: closed - Opened by FissoreD 10 months ago

#216 - fix chr trace

Pull Request - State: closed - Opened by gares 11 months ago

#215 - Update ELPI.md

Pull Request - State: closed - Opened by gares 11 months ago

#214 - Discr tree multivar

Pull Request - State: closed - Opened by FissoreD 11 months ago - 2 comments