Ticket #427 (assigned task)

Opened 2 years ago

Last modified 8 months ago

recognize some generated types as conservative

Reported by: till Owned by: mgross
Priority: critical Milestone: 1.0
Component: logic-casl Version: 0.73
Keywords: Cc:

Description (last modified by till) (diff)

The prototypical example is the specification Int from Hets-lib/Basic/Numbers.casl. The carrier set for Int can be constructed using a quotient.

However, we first need a theory how to recognise conservativity in such situations.

Change History

Changed 16 months ago by luecke

  • owner changed from maeder to roba
  • priority changed from major to critical
  • milestone changed from 0.9 to 0.95

Changed 10 months ago by till

  • owner changed from roba to mgross

Changed 10 months ago by mgross

  • status changed from new to assigned

Changed 8 months ago by till

  • description modified (diff)
  • milestone changed from 0.95 to 1.0
Note: See TracTickets for help on using tickets.