 | How to translate alloy to C/C++ program? | 7 | 1 year 9 weeks ago
by sbickle | 1 year 8 weeks ago
by Felix Chang |
| some questions about Alloy's logic | 10 | 1 year 9 weeks ago
by rose | 1 year 9 weeks ago
by Felix Chang |
| Circular dependency in modul import | 3 | 1 year 9 weeks ago
by ales | 1 year 9 weeks ago
by Felix Chang |
| Total relations in util/graph | 2 | 1 year 10 weeks ago
by lrlucena | 1 year 10 weeks ago
by lrlucena |
| Are operations using real numbers in Alloy feasible? | 1 | 1 year 10 weeks ago
by Manal | 1 year 10 weeks ago
by Felix Chang |
| Util/Boolean | 5 | 1 year 13 weeks ago
by whassan | 1 year 11 weeks ago
by Felix Chang |
| Using Alloy for Compliance Analysis | 1 | 1 year 15 weeks ago
by anonymous | 1 year 13 weeks ago
by dnj |
| Modeling language interpretation | 2 | 1 year 17 weeks ago
by bergel | 1 year 16 weeks ago
by bergel |
| transitive closure / reflexive transitive closure | 4 | 1 year 18 weeks ago
by takeo | 1 year 18 weeks ago
by Felix Chang |
| Zchaff licensing | 3 | 1 year 18 weeks ago
by rodprice | 1 year 18 weeks ago
by Felix Chang |
| How to detect whether maxium/minimum bound of integer is exceeded? | 1 | 1 year 18 weeks ago
by anonymous | 1 year 18 weeks ago
by Felix Chang |
| Alloy as a CL dialect? | 0 | 1 year 24 weeks ago
by nicolas.rouquette | n/a |
| Defining formal semantics using Alloy | 5 | 1 year 31 weeks ago
by anonymous | 1 year 30 weeks ago
by anonymous |
| instance type | 1 | 1 year 31 weeks ago
by anonymous | 1 year 31 weeks ago
by anonymous |
| Checking Multiple Assertions | 1 | 1 year 31 weeks ago
by anonymous | 1 year 31 weeks ago
by anonymous |
| Odd behaviour, possible bug (regarding abstract sig) | 1 | 1 year 31 weeks ago
by anonymous | 1 year 31 weeks ago
by anonymous |
| Statement Spanning Multiple Lines | 1 | 1 year 31 weeks ago
by anonymous | 1 year 31 weeks ago
by anonymous |
| Assertions over data structures in Alloy | 5 | 1 year 32 weeks ago
by anonymous | 1 year 32 weeks ago
by anonymous |
| Generating a set through fact restrictions | 2 | 1 year 34 weeks ago
by anonymous | 1 year 34 weeks ago
by anonymous |
| Powerset Impossibility | 3 | 1 year 35 weeks ago
by anonymous | 1 year 34 weeks ago
by anonymous |
| Integer Power | 1 | 1 year 35 weeks ago
by anonymous | 1 year 35 weeks ago
by anonymous |
| Relationship's arity | 1 | 1 year 35 weeks ago
by anonymous | 1 year 35 weeks ago
by anonymous |
| Arithmetic Operations on Integers | 3 | 1 year 35 weeks ago
by anonymous | 1 year 35 weeks ago
by anonymous |
| Arity too large? | 4 | 1 year 35 weeks ago
by anonymous | 1 year 35 weeks ago
by anonymous |
| Question about closure operations | 3 | 1 year 35 weeks ago
by anonymous | 1 year 35 weeks ago
by anonymous |
