diff options
| author | Dejan Jovanovic <dejan.jovanovic@gmail.com> | 2014-12-26 19:15:13 -0800 |
|---|---|---|
| committer | Dejan Jovanovic <dejan.jovanovic@gmail.com> | 2014-12-26 19:15:13 -0800 |
| commit | 0c624b4f57c5f1bc3c94058fe5b1da4bdd724041 (patch) | |
| tree | d582a79203d9cc8f6ace757b8f9a729102d9f657 /.cproject | |
| parent | 9e50f189118d5f8bb0f7eb54f19677e52f5a3852 (diff) | |
Adding an option to the equality engine constructor to treat all constants as
trigger terms. I've disabled constants as triggers for all equality engines
except for the shared terms engine where it is needed.
Diffstat (limited to '.cproject')
| -rw-r--r-- | .cproject | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -18,7 +18,7 @@ <folderInfo id="cdt.managedbuild.toolchain.gnu.base.1461790692.1059214216" name="/" resourcePath=""> <toolChain id="cdt.managedbuild.toolchain.gnu.base.1311293674" name="cdt.managedbuild.toolchain.gnu.base" superClass="cdt.managedbuild.toolchain.gnu.base"> <targetPlatform archList="all" binaryParser="org.eclipse.cdt.core.ELF" id="cdt.managedbuild.target.gnu.platform.base.1799734525" name="Debug Platform" osList="linux,hpux,aix,qnx" superClass="cdt.managedbuild.target.gnu.platform.base"/> - <builder buildPath="${workspace_loc/cvc4/}" id="cdt.managedbuild.target.gnu.builder.base.549477204" incrementalBuildTarget="all" keepEnvironmentInBuildfile="false" managedBuildOn="false" name="Gnu Make Builder" parallelBuildOn="true" parallelizationNumber="3" superClass="cdt.managedbuild.target.gnu.builder.base"> + <builder buildPath="${workspace_loc/cvc4/}" id="cdt.managedbuild.target.gnu.builder.base.549477204" incrementalBuildTarget="all" keepEnvironmentInBuildfile="false" managedBuildOn="false" name="Gnu Make Builder" parallelBuildOn="true" parallelizationNumber="optimal" superClass="cdt.managedbuild.target.gnu.builder.base"> <outputEntries> <entry flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="outputPath" name=""/> </outputEntries> |