| tests to verify fix |
|
More...
|
over 6 years ago
|
| fix #123: rectified interface.c |
|
More...
|
over 6 years ago
|
| testing fix in Rust |
|
More...
|
over 6 years ago
|
| obtaining exit status from inner solver propagating inner status solver upstream to outer solver (clean solution) derived Copy and Clone for SolverStatus |
|
More...
|
over 6 years ago
|
| some documentation |
|
More...
|
over 6 years ago
|
| fixing issue #121 introduced InnerProblemStatus |
|
More...
|
over 6 years ago
|
| Merge pull request #119 from alphaville/readme-patch |
|
More...
|
over 6 years ago
|
| Merge pull request #86 from alphaville/dev/alm/main |
|
More...
|
over 6 years ago
|
| fixed half of #121 now passing correct inner max iters |
|
More...
|
over 6 years ago
|
| opengen: auto-gen cargo point to v0.6.0 |
|
More...
|
over 6 years ago
|
| preparing for next release |
|
More...
|
over 6 years ago
|
| added codegen examples (Python and MATLAB) |
|
More...
|
over 6 years ago
|
| update README |
|
More...
|
over 6 years ago
|
| Merge branch 'dev/alm/webdocs' into dev/alm/main |
|
More...
|
over 6 years ago
|
| Website docs: ALM/PM in Rust |
|
More...
|
over 6 years ago
|
| Rust constraints: it is convenient to derive Copy/Clone |
|
More...
|
over 6 years ago
|
| Rust: fixed issue with exit status |
|
More...
|
over 6 years ago
|
| website: rust: constraints updated bibtex references in FAQ notes about ALM/PM in main doc page |
|
More...
|
over 6 years ago
|
| added rust test for rectangle with inf component |
|
More...
|
over 6 years ago
|
| fixed typo in template xmini -> xmaxi |
|
More...
|
over 6 years ago
|
| computing set Y from C |
|
More...
|
over 6 years ago
|
| added method: is_compact |
|
More...
|
over 6 years ago
|
| Merge branch 'dev/alm/website' into dev/alm/main |
|
More...
|
over 6 years ago
|
| [ci skip] more docs |
|
More...
|
over 6 years ago
|
| addressing #116; computing Y from C |
|
More...
|
over 6 years ago
|
| computing Y from C (case: rectangle) |
|
More...
|
over 6 years ago
|
| website docs on Python constaints introduced method CartesianProduct::new_with_capacity (rust) |
|
More...
|
over 6 years ago
|
| Merge branch 'dev/alm/main' into dev/alm/website |
|
More...
|
over 6 years ago
|
| addressing #118 full implementation of Cartesian product constr |
|
More...
|
over 6 years ago
|
| codegen with cartesian product with fintie sets |
|
More...
|
over 6 years ago
|