projects / cvc5.git / commit
| author | Tim King <taking@cs.nyu.edu> | |
| Mon, 1 Apr 2013 21:26:13 +0000 (17:26 -0400) | ||
| committer | Tim King <taking@cs.nyu.edu> | |
| Mon, 1 Apr 2013 21:26:54 +0000 (17:26 -0400) | ||
| commit | 7e011fd7ae1a95eb70a393d780e13c559cdce4a1 | |
| tree | a64a7e6e3d53699b2adab78140c614db8e6c63a1 | tree |
| parent | b6ad34343d0a09de37dc4e5ff57cd8625dca3fc4 | commit | diff |
| test/regress/regress0/datatypes/Makefile.am | diff | blob | history | |
| test/regress/regress0/datatypes/boolean-equality.cvc | [new file with mode: 0644] | blob |
| test/regress/regress0/datatypes/boolean-terms-rewrite.cvc | [new file with mode: 0644] | blob |