Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Implement LP-based OMIP blocking analysis | Bjoern Brandenburg | 2013-07-12 |
* | Add LP-based blocking analysis for MPCP | Bjoern Brandenburg | 2013-02-12 |
* | Add generic LP support for shared-memory protocols | Bjoern Brandenburg | 2013-02-12 |
* | Disable creation of new variables after creation of the objective function | Bjoern Brandenburg | 2013-02-12 |
* | Add DPCP and DFLP linear program generation | Bjoern Brandenburg | 2013-02-12 |