| commit | aae0e7c633e682f37e2298a936810a14bd1ea140 | |
| author | skimo <skimo> | |
| Fri, 25 Jun 2004 13:43:33 +0000 (25 13:43 +0000) | ||
| committer | skimo <skimo> | |
| Fri, 25 Jun 2004 13:43:33 +0000 (25 13:43 +0000) | ||
| tree | 1a9539db5d08129999c1c5267f058f672cf7f83c | treesnapshot (tar.gz zip) |
| parent | b036d40550d3e5db79a7b36efc0209152e6b5c27 | commitdiff |
Add constraint if expression is only integer for a single value.
In principle we should also add a substitution to further reduce
the expression.
In principle we should also add a substitution to further reduce
the expression.
| ev_operations.c | diffblobblamehistory |