issues
search
Drup
/
dowsing
᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
ISC License
35
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Dioph decomposition
#26
FardaleM
opened
2 months ago
0
Add tracing
#25
FardaleM
closed
4 months ago
0
Revert "bugfix"
#24
FardaleM
closed
6 months ago
0
fix: Bitv and large_enough
#23
FardaleM
closed
6 months ago
0
fix(Bitv): fix the is_subset function
#22
FardaleM
closed
6 months ago
0
fix: add missing dependencies
#21
FardaleM
closed
6 months ago
0
Benchmarking
#20
FardaleM
opened
7 months ago
0
The normal form is not robust. Substitution breaks an invariant of the normal form.
#19
FardaleM
opened
7 months ago
0
Add test to the AC-unification and Curry-unification procedure
#18
FardaleM
opened
7 months ago
0
Protect unmarshalling with a magic number.
#17
FardaleM
opened
7 months ago
0
Small fixes and make the project compile with ocaml 5.1
#16
FardaleM
closed
6 months ago
2
Update opam and fix build
#15
smuenzel
closed
5 months ago
2
The Stdlib packed module isn't shown
#14
kit-ty-kate
closed
3 months ago
1
Filter out modules with double underscores
#13
kit-ty-kate
closed
3 months ago
2
dowsindex save fails with "uncaught exception: IndexTypes.Bad_format"
#12
kit-ty-kate
closed
3 months ago
4
Relax the constraints on containers
#11
kit-ty-kate
closed
2 years ago
2
Boucle unification
#10
clef-men
closed
3 months ago
1
Investigate performances of unification
#9
Drup
opened
3 years ago
0
Défaillance de l'axiome (Ass-0)
#8
clef-men
opened
3 years ago
0
Unification invalide
#7
clef-men
closed
3 years ago
1
Boucle unification
#6
clef-men
closed
3 years ago
1
Défaillance (Ass-0)
#5
clef-men
closed
3 years ago
0
Refine unifiers
#4
Drup
opened
3 years ago
0
TODO List
#3
Drup
opened
3 years ago
1
Wip: repair hullot
#2
c-cube
closed
3 years ago
0
Database format / Serialization
#1
UnixJunkie
closed
3 years ago
1