Opened 13 years ago

Last modified 7 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, 12 years ago

Milestone: 1.9.0 → 1.9.1

Postponed until 1.9.1

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

Milestone: 1.9.1 → 1.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, 11 years ago

Milestone: 1.9.2 → 1.9.3

Milestone changed to 1.9.3 since 1.9.2 was released.

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

Milestone: 1.9.3 → 1.9.4

Moved to new milestone 1.9.4

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

Milestone: 1.9.4 → 1.9.5

Milestone pushed to 1.9.5

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

Milestone: 1.9.5 → 1.10.0

Milestone renamed

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

Milestone: 1.10.0 → 1.11.0

Ticket retargeted after milestone closed

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

Milestone: 1.11.0 → 1.12.0

Milestone moved to 1.12.0 due to 1.11.0 already being released.

comment:9 by Francesco Casella, 8 years ago

Milestone: 1.12.0 → 2.0.0

comment:10 by Francesco Casella, 7 years ago

Milestone: 2.0.0 → 2.1.0

We should enforce all these rules in 2.1.0

Note: See TracTickets for help on using tickets.