Java Modeling Language (JML)

Java Modeling Language (JML) Code

Status: Beta

Brought to you by: chalin, cheon, davidcok, dmzimmerman, and 3 others

Commit [r9605] Maximize Restore History

Adjusting goals for generalized quantifiers

Authored by: leavens 2021-10-15

Browse code at this revision

Parent: [r9604]

Child: [r9606]

changed

/documents/trunk/generalized-quantifiers.txt

/documents/trunk/generalized-quantifiers.txt Diff Switch to side-by-side view