salmans / Aluminum

Minimal model generation in KodKod

salmans/Aluminum Issues

Tree view not working
Updated 12 years ago
Testing framework: Aluminum vs. Alloy
Closed 12 years ago3
Eliminate Repeated Models (post Alloy Trans.)
Closed 12 years ago1
Discover why Akhawe's spec is slow to produce CFs
Closed 12 years ago1
Exploration dialog box needs a parent
Closed 12 years ago1
Package names
Updated 12 years ago
Confusion: Alloy's re-naming of atoms vs. Kodkod names.
Closed 12 years ago3
Augmentation sometimes makes getLifters return [] incorrectly
Closed 12 years ago3
Augmentation after no more models
Closed 12 years ago2
(Theory) When can isomorphic models be shown?
Closed 12 years ago1
Make sure no shared state beyond open recent
Closed 12 years ago4
Version number or build stamp to avoid confusion
Closed 12 years ago2
Do not accidentally send bug reports to the Alloy People!
Closed 12 years ago1
Reword "no more solutions" box
Closed 12 years ago1
Translation not being captured when fmla is trivially *satisfiable*
Closed 12 years ago7
MinSolver.lift using pre-Skolem bounds, results in incomplete cone restrictions
Closed 12 years ago4
Var->Relation mapping not taking Skolem bindings into account.
Closed 12 years ago2
Is MinExplorer still used?
Closed 12 years ago1
Skolem annotations missing in models shown by Aluminum
Closed 12 years ago1