Age | Commit message (Collapse) | Author | |
---|---|---|---|
2014-04-30 | T-entailment work, and QCF (quant conflict find) work that uses it. | Tim King | |
This commit includes work from the past month on the T-entailment check infrastructure (due to Tim), an entailment check for arithmetic (also Tim), and QCF work that uses T-entailment (due to Andrew Reynolds). Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu> |