Opened 15 years ago

Closed 15 years ago

#293 closed defect (fixed)

Handle casts in simplifier

Reported by: zirkel Owned by:
Priority: major Milestone:
Component: simplify Version:
Keywords: Cc:

Description

Currently, the simplifier will not simplify values that have been cast.

TASS verify fails on the file examples/accuracy/derivative.c

Change History (1)

comment:1 by Stephen Siegel, 15 years ago

Resolution: → fixed
Status: new → closed

new substituter used.

Note: See TracTickets for help on using tickets.