 | parse error with disj keyword | 3 | 14 weeks 2 days ago
by takeo | 13 weeks 6 days ago
by aleks |
| seq relation causes a bug in 4.2RC | 2 | 28 weeks 4 days ago
by takeo | 20 weeks 2 days ago
by takeo |
| Stays "Starting the solver" when there is a closure of mutually recursive signature fields [BUG VERIFIED] | 2 | 2 years 30 weeks ago
by mfrias | 20 weeks 5 days ago
by monperrus |
| Alloy4 on OS X 10.7 (Lion) | 0 | 23 weeks 4 days ago
by kiniry | n/a |
| No instance with no signature | 1 | 26 weeks 4 days ago
by takeo | 25 weeks 6 days ago
by eskang |
| butlast or butLast? | 0 | 28 weeks 1 day ago
by ogasawara | n/a |
| Negative cardinalities in 4.2 release candidate | 2 | 44 weeks 10 hours ago
by david.faitelson | 40 weeks 19 hours ago
by aleks |
| Absurd instance found from slight modification of farmer problem in tutorial | 1 | 1 year 2 weeks ago
by zackw | 1 year 2 weeks ago
by Jeremy.Jacob |
| Bug with cardinalities | 4 | 1 year 12 weeks ago
by sbusard | 1 year 12 weeks ago
by sbusard |
| Model - with no solutions - hangs when trying to find minisat core | 1 | 1 year 19 weeks ago
by Mark.Buckle | 1 year 19 weeks ago
by Mark.Buckle |
| This surprised me... | 0 | 1 year 27 weeks ago
by Jeremy.Jacob | n/a |
| Performance issue when invoking the Projection checkbox | 0 | 2 years 9 weeks ago
by orlin | n/a |
| Getting error when setting the maximum stack to use at 65536k [NOT A BUG] | 1 | 2 years 32 weeks ago
by loris | 2 years 32 weeks ago
by Felix Chang |
| Univerity? Univeristy? [FIXED] | 1 | 2 years 37 weeks ago
by eskild | 2 years 37 weeks ago
by Felix Chang |
| self refering function [BUG VERIFIED] | 1 | 2 years 39 weeks ago
by bernardofbbraga | 2 years 39 weeks ago
by Felix Chang |
| Alloy finds no instance when using relational override operator [FIXED] | 2 | 2 years 47 weeks ago
by jgaleotti | 2 years 47 weeks ago
by Felix Chang |
