Opened 16 years ago
Closed 16 years ago
#124 closed enhancement (fixed)
improve performance of validity checking and other symbolic operations
| Reported by: | Stephen Siegel | Owned by: | Stephen Siegel |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | value | Version: | 1.0 |
| Keywords: | performance valid validity symbolic | Cc: |
Description
Many of the queries that eventually get passed to CVC3 could be answered quickly directly in the dynamic package. For example many of them are just "true" or "X=X". The dynamic package could try to answer these and only pass them down to the symbolic package if it can't.
Likewise, many of the operations (such as any operation on concrete values) can be completed directly in the dynamic package.
Change History (2)
comment:1 by , 16 years ago
| Owner: | set to |
|---|---|
| Status: | new → accepted |
comment:2 by , 16 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
The entire symbolic package has been replaced by one which puts all expressions in a good canonical form to handle all of these issues. New tickets can be posted as specific kinds of queries arise.
Note:
See TracTickets
for help on using tickets.
Added some of this, but not yet X=X.