issues
search
ravel-net
/
pyotr
Apache License 2.0
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Correctness issue with FaureEvaluation in Containment
#28
mudbri
closed
1 year ago
3
Issue with homomorphism version of Unification
#27
mudbri
opened
1 year ago
0
Supporting multiple datatypes in Z3
#26
mudbri
closed
1 year ago
1
Faure Evaluation Parser taking too much time
#25
mudbri
opened
1 year ago
2
Equality operator issue for inet_faure datatype
#24
lanfangping
closed
1 year ago
1
Unification algorithm does not work with rules with lists
#23
mudbri
closed
1 year ago
1
Optimizing Fixed Point computation
#22
mudbri
closed
1 year ago
1
Whole Integer Set Issue in BDD
#21
mudbri
closed
1 year ago
13
Combining Rule Unification with Minimization
#20
mudbri
closed
1 year ago
2
Problem with merge_tuples
#19
mudbri
closed
2 years ago
7
Bug in simplification
#18
mudbri
closed
2 years ago
1
Condition concatenation not working when there are no conditions
#17
mudbri
closed
2 years ago
1
Mapping of variables to constants should be different from existing constants
#16
mudbri
opened
2 years ago
1
Make sure that the constant representation of c-variables is unique
#15
mudbri
closed
2 years ago
2
Using column as domain instead of having domain for c-variables
#14
mudbri
opened
2 years ago
0
Minimization issue with c-vars as head
#13
mudbri
closed
2 years ago
3
Checking for contradiction when comparing conditions
#12
mudbri
closed
2 years ago
3
Missing an implicit constraint for array attribute in atom
#11
lanfangping
opened
2 years ago
3
Modify iterative execution for recursive datalog/faure-log to recursive WITH query
#10
lanfangping
opened
2 years ago
15
Minimization Algorithm to Merge Constraints
#9
mudbri
closed
1 year ago
19
Logging Structure for future experiments
#8
mudbri
closed
1 year ago
1
Datalog Instantiation issues
#7
lanfangping
closed
2 years ago
2
Use round bracket instead of square brackets in datalog conditions
#6
mudbri
closed
1 year ago
1
Using Z3 conditions in datalog
#5
mudbri
closed
2 years ago
1
Cast errors between int4_faure and integers
#4
mudbri
closed
2 years ago
1
Domain of c-variables not added when treating rule as a program
#3
mudbri
closed
2 years ago
2
Incorrect Fixed Point Computation With Faure
#2
mudbri
closed
2 years ago
1
Bug: single quotes for integer in the where clause
#1
lanfangping
closed
2 years ago
1