Opened 16 years ago
Closed 16 years ago
#102 closed enhancement (wontfix)
add concrete versions of primitive and array values
| Reported by: | Stephen Siegel | Owned by: | Stephen Siegel |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | value | Version: | 1.0 |
| Keywords: | value concrete array | Cc: |
Description
Concrete versions of primitive and array values can be added. They should be used whenever possible. A symbolic representation should be created only when it is absolutely necessary. This is to minimize calls to the theorem prover.
Change History (2)
comment:1 by , 16 years ago
| Status: | new → accepted |
|---|
comment:2 by , 16 years ago
| Resolution: | → wontfix |
|---|---|
| Status: | accepted → closed |
This would be better handled by keeping the concrete values in the symbolic package, and handling them efficiently there.
Note:
See TracTickets
for help on using tickets.
Added concrete arrays, not yet for primitives.