Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merging complete. Everything looks good *crosses fingers* | Checkmate50 | 2016-06-06 |
* | reversed the order of generated procedures; commutativity checks are generate... | qadeer | 2014-10-14 |
* | Did more refactoring. | wuestholz | 2014-09-23 |
* | checkpoint | qadeer | 2014-05-03 |
* | Added /trustAtomicityTypes option | qadeer | 2014-02-22 |
* | first cut of refinement checking | qadeer | 2014-01-07 |
* | some fixes | qadeer | 2014-01-03 |
* | more refactoring of the concurrency stuff | qadeer | 2013-12-20 |