-
Alexandre Duret-Lutz authored
* iface/dve2/dve2.cc (convert_aps): Add support for enumerated types. E.g. an atomic proposition such as "P_0.CS" really means "P_0 == CS".
7b5879d2
To find the state of this project's repository at the time of any of these versions, check out the tags.