Opened 12 years ago

Last modified 6 years ago

#2010 new defect

Prefix rules needs more work in new instantiation

Reported by: Per Östlund Owned by: Per Östlund
Priority: high Milestone: 2.1.0
Component: New Instantiation Version: trunk
Keywords: Cc:

Description

Not all the rules from 4.4.2.2 are implemented in the new instantiation. It's e.g. possible to declare model constants, which shouldn't be allowed.

Change History (10)

comment:1 by Martin Sjölund, 11 years ago

Milestone: 1.9.01.9.1

Postponed until 1.9.1

comment:2 by Martin Sjölund, 10 years ago

Milestone: 1.9.11.9.2

This ticket was not closed for 1.9.1, which has now been released. It was batch modified for milestone 1.9.2 (but maybe an empty milestone was more appropriate; feel free to change it).

comment:3 by Martin Sjölund, 10 years ago

Milestone: 1.9.21.9.3

Milestone changed to 1.9.3 since 1.9.2 was released.

comment:4 by Martin Sjölund, 9 years ago

Milestone: 1.9.31.9.4

Moved to new milestone 1.9.4

comment:5 by Martin Sjölund, 9 years ago

Milestone: 1.9.41.9.5

Milestone pushed to 1.9.5

comment:6 by Martin Sjölund, 9 years ago

Milestone: 1.9.51.10.0

Milestone renamed

comment:7 by Martin Sjölund, 8 years ago

Milestone: 1.10.01.11.0

Ticket retargeted after milestone closed

comment:8 by Martin Sjölund, 8 years ago

Milestone: 1.11.01.12.0

Milestone moved to 1.12.0 due to 1.11.0 already being released.

comment:9 by Francesco Casella, 7 years ago

Milestone: 1.12.02.0.0

comment:10 by Francesco Casella, 6 years ago

Milestone: 2.0.02.1.0

We should enforce all these rules in 2.1.0

Note: See TracTickets for help on using tickets.