https://github.com/friguzzi/cplint
Tip revision: 2130cf130849b648f5fa9415ab127d653b55b6cf authored by rzese on 10 October 2017, 12:54:41 UTC
fixed problem when answering query with depth_bound set to true
fixed problem when answering query with depth_bound set to true
Tip revision: 2130cf1
| File | Mode | Size |
|---|---|---|
| Makefile | -rw-r--r-- | 1.1 KB |
| acm-sigchi-proceedings.csl | -rw-r--r-- | 5.8 KB |
| bib.bib | -rw-r--r-- | 64.0 KB |
| graphics.tex | -rw-r--r-- | 6.7 KB |
| help-cplint.html | -rw-r--r-- | 96.0 KB |
| help-cplint.pdf | -rw-r--r-- | 221.7 KB |
| help-cplint.tex | -rw-r--r-- | 3.0 KB |
| inf_goals.tex | -rw-r--r-- | 21.4 KB |
| inference.tex | -rw-r--r-- | 3.0 KB |
| learning.tex | -rw-r--r-- | 22.6 KB |
| learning_par.tex | -rw-r--r-- | 5.0 KB |
| manual.html | -rw-r--r-- | 98.0 KB |
| manual.pdf | -rw-r--r-- | 225.8 KB |
| manual.tex | -rw-r--r-- | 4.5 KB |
| parameters.tex | -rw-r--r-- | 3.6 KB |
| semantics.tex | -rw-r--r-- | 1.6 KB |
| syntax.tex | -rw-r--r-- | 12.6 KB |
| tabling.tex | -rw-r--r-- | 1.2 KB |
