-
Notifications
You must be signed in to change notification settings - Fork 37
Insights: LPCIC/elpi
Overview
Could not load contribution data
Please try again later
8 Pull requests merged by 2 people
-
Performing a retroactive check on a rule that uses local clause loading and catchall
#334 merged
May 6, 2025 -
compiler: fix namespace elimination & separate compilation
#337 merged
May 5, 2025 -
Grammar: external no opt
#333 merged
Apr 29, 2025 -
remove Uvar constructor from detCheck
#332 merged
Apr 29, 2025 -
[determinacy] static analysis
#290 merged
Apr 29, 2025 -
special constant for nil in dtree
#327 merged
Apr 23, 2025 -
fix fatalwarnings
#325 merged
Apr 20, 2025 -
DiscTree: for issue 323
#324 merged
Apr 16, 2025
1 Pull request opened by 1 person
-
Lsp
#338 opened
May 7, 2025
12 Issues closed by 1 person
-
Compilation issue with yojson 2.x.x
#159 closed
Apr 21, 2025 -
Mismatching fields in generated trace in case of CHR
#147 closed
Apr 21, 2025 -
User manual
#69 closed
Apr 21, 2025 -
GUI for browsing a trace
#68 closed
Apr 21, 2025 -
Insufficient STACK for tests on i386
#187 closed
Apr 21, 2025 -
Testing fails on some architectures
#161 closed
Apr 21, 2025 -
do not errror (just warn) on duplicate, identical, typeabbrev declarations
#75 closed
Apr 21, 2025 -
Elpi doesn't load using #require
#28 closed
Apr 21, 2025 -
Changes since December
#8 closed
Apr 21, 2025 -
type checking types
#44 closed
Apr 21, 2025 -
`findall_solutions P` may be inconsistent wrt unification variables in `P`
#229 closed
Apr 21, 2025 -
Discrimination tree: wrong skip in `on_all_children`
#323 closed
Apr 16, 2025
7 Issues opened by 1 person
-
anomaly involving symbol resolved and name spaces
#336 opened
Apr 30, 2025 -
bad error message: provenance
#335 opened
Apr 30, 2025 -
Mutual exclusion: retroactive check between local clauses and catchall
#331 opened
Apr 29, 2025 -
warning about loading flexible clauses
#330 opened
Apr 23, 2025 -
discrimination tree uses imperative cache of max depth
#329 opened
Apr 23, 2025 -
improve mutual exclusion using neck-guards
#328 opened
Apr 23, 2025 -
Improve flattening
#326 opened
Apr 21, 2025
11 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Add probabilistic reasoning
#32 commented on
Apr 21, 2025 • 0 new comments -
Tabling
#73 commented on
Apr 21, 2025 • 0 new comments -
[wish] print understands ocaml format
#98 commented on
Apr 21, 2025 • 0 new comments -
[wish] loc API
#99 commented on
Apr 21, 2025 • 0 new comments -
is should behave like = on neutral terms
#170 commented on
Apr 21, 2025 • 0 new comments -
pretty printer and infix
#166 commented on
Apr 21, 2025 • 0 new comments -
No deref on HO variable when unifying?
#232 commented on
Apr 21, 2025 • 0 new comments -
Allow trailing comma in clauses
#151 commented on
Apr 21, 2025 • 0 new comments -
[wish] Put the "L" in "REPL" by making it loop
#145 commented on
Apr 21, 2025 • 0 new comments -
CHR: add unique non instantiable key instead of [_]
#253 commented on
Apr 21, 2025 • 0 new comments -
rex.split is not unicode aware
#201 commented on
Apr 21, 2025 • 0 new comments