issues
search
jangreen
/
rat
RAT: Relational Algebra (with) Tableaus
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Cannot build current master
#5
hernanponcedeleon
opened
1 month ago
8
Non-termination bug [dev branch]
#4
ThomasHaas
opened
3 months ago
0
Wrong verdict [master & dev branch]
#3
ThomasHaas
opened
3 months ago
0
Wrong counterexample [dev branch]
#2
ThomasHaas
opened
3 months ago
0
Missing support for negated sets and Aborted execution
#1
hernanponcedeleon
opened
3 months ago
8