issues
search
Deducteam
/
SizeChangeTool
A termination checker for higher-order rewriting with dependent types
9
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
SizeChangeTool doesn't check validity wrt XTC format
#2
fblanqui
opened
2 years ago
4
No location is given in case of syntax error in the xml input file
#1
fblanqui
opened
2 years ago
3