Skip to content

Codac2 polytope #327

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
damien-masse wants to merge 55 commits into
base: codac2_dev
Choose a base branch
from
Open

Codac2 polytope #327

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
55 commits
Select commit Hold shift + click to select a range
f817d46
Polytope, first version
damien-masse Apr 29, 2025
9826bbd
Merge branch 'codac2_dev' into codac2_polytope
damien-masse May 9, 2025
e6a6966
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse May 13, 2025
ba2130c
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse May 21, 2025
ef7c62f
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse Jun 2, 2025
20df663
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse Jun 20, 2025
1e6d368
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse Jun 30, 2025
189c1e5
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse Jul 16, 2025
6079cd9
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse Jul 21, 2025
ae394eb
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse Aug 25, 2025
5d9a3a6
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse Sep 11, 2025
93a76fa
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse Sep 25, 2025
fc67e66
partial construction
damien-masse Sep 29, 2025
2058340
Merge branch 'codac2_polytope' of https://github.com/damien-masse/cod…
damien-masse Sep 29, 2025
9fb8b3a
followup
damien-masse Oct 1, 2025
1393057
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse Oct 15, 2025
8db0568
temporaire
damien-masse Oct 15, 2025
54e98e1
Merge branch 'codac2_polytope' of https://github.com/damien-masse/cod…
damien-masse Oct 15, 2025
71f1509
tmp
damien-masse Oct 17, 2025
eeb1912
tmp
damien-masse Oct 21, 2025
c2a77e0
better, but not complete
damien-masse Oct 27, 2025
b300c48
example
damien-masse Oct 27, 2025
ae60ce3
Change
damien-masse Nov 4, 2025
dd0ecdf
temporary commit
damien-masse Nov 5, 2025
cdadead
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse Nov 7, 2025
f90a827
correction?
damien-masse Nov 10, 2025
5f0dcdc
First tests, hull...
damien-masse Nov 14, 2025
7d3f54f
Intersection of polytopes
damien-masse Nov 18, 2025
4a5d908
Separation between polytope-clp and polytope.
damien-masse Nov 21, 2025
ca54be1
Python bindings (partial), python tests. Manual (preliminary version).
damien-masse Nov 21, 2025
06dfb83
Merge branch 'codac2_dev' into codac2_polytope
damien-masse Nov 21, 2025
cc5aee1
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse Nov 22, 2025
e9337a1
Modification for readability, new tests.
damien-masse Nov 24, 2025
777df53
Bug fixes, renaming of methods, clp fixes.
damien-masse Nov 25, 2025
c8fa180
Centered form with polytopes. Better separation with CLP. Some bug fi…
damien-masse Nov 26, 2025
ee74c7b
Left- and right- "pseudoinverse" enclosure for non-square matrices.
damien-masse Dec 1, 2025
8686d66
bugfix in python
damien-masse Dec 1, 2025
e37e13f
Polytope contractor and separator
damien-masse Dec 12, 2025
99bd953
Polytope: test contractor and separator + python binding for contract…
damien-masse Dec 15, 2025
a98a2e1
Small improvement to the doc.
damien-masse Dec 15, 2025
4c12b26
Few modifications.
damien-masse Dec 18, 2025
258fa6e
Remove CLP extension.
damien-masse Dec 18, 2025
f974f6c
Remove clp tests
damien-masse Dec 18, 2025
167dfa1
Update Python 3.14 support
lebarsfa Dec 30, 2025
3f07a8a
Prepare for macOS Tahoe support
lebarsfa Nov 18, 2025
d541384
Prepare for MinGW 15 support
lebarsfa Dec 27, 2025
5ad0876
Add better arm64 and additional mingw and vc versions support in Choc…
lebarsfa Dec 30, 2025
bf90094
Add better arm64 and additional mingw and vc versions support
lebarsfa Dec 30, 2025
63767cf
Update macOS support
lebarsfa Dec 30, 2025
99e78a3
Improve compatibility with Visual Studio 2015
lebarsfa Dec 30, 2025
fec0291
Update specific IBEX version
lebarsfa Dec 30, 2025
d58619b
Disable specific configurations that do not work yet
lebarsfa Dec 30, 2025
82c772d
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse Jan 7, 2026
22981ba
Merge pull request #336 from lebarsfa/codac2-PR
SimonRohou Jan 7, 2026
eb97a36
Merge branch 'codac-team:codac2' into codac2_polytope
damien-masse Jan 8, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions .github/workflows/dockermatrix.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -69,11 +69,11 @@ jobs:
sudo sh -c 'echo \"deb [trusted=yes] https://packages.ensta-bretagne.fr/\$(if [ -z \"\$(. /etc/os-release && echo \$UBUNTU_CODENAME)\" ]; then echo debian/\$(. /etc/os-release && echo \$VERSION_CODENAME); else echo ubuntu/\$(. /etc/os-release && echo \$UBUNTU_CODENAME); fi) ./\" > /etc/apt/sources.list.d/ensta-bretagne.list' && \
#sudo apt-get -q update ; sudo apt-get -y install libeigen3-dev catch2 dpkg-dev || true && \\
sudo apt-get -q update ; sudo apt-get -y install catch2 dpkg-dev || true && \
wget https://github.com/lebarsfa/ibex-lib/releases/download/ibex-2.8.9.20241117/libibex-dev-2.8.9.20241117-0${{ matrix.cfg.runtime }}0_\$(dpkg --print-architecture).deb --no-check-certificate -nv && \
sudo dpkg -i libibex-dev-2.8.9.20241117-0${{ matrix.cfg.runtime }}0_\$(dpkg --print-architecture).deb && \
rm -Rf libibex-dev-2.8.9.20241117-0${{ matrix.cfg.runtime }}0_\$(dpkg --print-architecture).deb ; \
wget https://github.com/lebarsfa/ibex-lib/releases/download/ibex-2.8.9.20250626/libibex-dev-2.8.9.20250626-0${{ matrix.cfg.runtime }}0_\$(dpkg --print-architecture).deb --no-check-certificate -nv && \
sudo dpkg -i libibex-dev-2.8.9.20250626-0${{ matrix.cfg.runtime }}0_\$(dpkg --print-architecture).deb && \
rm -Rf libibex-dev-2.8.9.20250626-0${{ matrix.cfg.runtime }}0_\$(dpkg --print-architecture).deb ; \
else \
wget https://github.com/lebarsfa/ibex-lib/releases/download/ibex-2.8.9.20241117/ibex_${{ matrix.cfg.arch }}_${{ matrix.cfg.runtime }}.zip --no-check-certificate -nv && \
wget https://github.com/lebarsfa/ibex-lib/releases/download/ibex-2.8.9.20250626/ibex_${{ matrix.cfg.arch }}_${{ matrix.cfg.runtime }}.zip --no-check-certificate -nv && \
unzip -q ibex_${{ matrix.cfg.arch }}_${{ matrix.cfg.runtime }}.zip && \
rm -Rf ibex_${{ matrix.cfg.arch }}_${{ matrix.cfg.runtime }}.zip && \
sudo cp -Rf ibex/* /usr/ ; \
Expand Down
25 changes: 12 additions & 13 deletions .github/workflows/macosmatrix.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,18 +21,17 @@ jobs:
fail-fast: false
matrix:
cfg:
- { os: macos-14, shell: bash, arch: arm64, runtime: sonoma, cmake_flags: '-fPIC', trgt: '11.0', cpcfg: '-macosx_11_0_arm64', py_v_maj: 3, py_v_min: 14, desc: 'macOS Sonoma Python 3.14 arm64' }
- { os: macos-14, shell: bash, arch: arm64, runtime: sonoma, cmake_flags: '-fPIC', trgt: '11.0', cpcfg: '-macosx_11_0_arm64', py_v_maj: 3, py_v_min: 13, desc: 'macOS Sonoma Python 3.13 arm64' }
- { os: macos-14, shell: bash, arch: arm64, runtime: sonoma, cmake_flags: '-fPIC', trgt: '11.0', cpcfg: '-macosx_11_0_arm64', py_v_maj: 3, py_v_min: 12, desc: 'macOS Sonoma Python 3.12 arm64' }
- { os: macos-14, shell: bash, arch: arm64, runtime: sonoma, cmake_flags: '-fPIC', trgt: '11.0', cpcfg: '-macosx_11_0_arm64', py_v_maj: 3, py_v_min: 11, desc: 'macOS Sonoma Python 3.11 arm64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sonoma, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 14, desc: 'macOS Sonoma Python 3.14 x86_64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sonoma, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 13, desc: 'macOS Sonoma Python 3.13 x86_64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sonoma, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 12, desc: 'macOS Sonoma Python 3.12 x86_64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sonoma, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 11, desc: 'macOS Sonoma Python 3.11 x86_64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sonoma, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 10, desc: 'macOS Sonoma Python 3.10 x86_64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sonoma, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 9, desc: 'macOS Sonoma Python 3.9 x86_64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sonoma, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 8, desc: 'macOS Sonoma Python 3.8 x86_64' }
# Not clear whether macos-15-intel is more Sequoia or Sonoma, see https://github.com/actions/runner-images/issues/13045...
- { os: macos-14 , shell: bash, arch: arm64 , runtime: sonoma , cmake_flags: '-fPIC', trgt: '11.0' , cpcfg: '-macosx_11_0_arm64' , py_v_maj: 3, py_v_min: 14, desc: 'macOS Sonoma Python 3.14 arm64' }
- { os: macos-14 , shell: bash, arch: arm64 , runtime: sonoma , cmake_flags: '-fPIC', trgt: '11.0' , cpcfg: '-macosx_11_0_arm64' , py_v_maj: 3, py_v_min: 13, desc: 'macOS Sonoma Python 3.13 arm64' }
- { os: macos-14 , shell: bash, arch: arm64 , runtime: sonoma , cmake_flags: '-fPIC', trgt: '11.0' , cpcfg: '-macosx_11_0_arm64' , py_v_maj: 3, py_v_min: 12, desc: 'macOS Sonoma Python 3.12 arm64' }
- { os: macos-14 , shell: bash, arch: arm64 , runtime: sonoma , cmake_flags: '-fPIC', trgt: '11.0' , cpcfg: '-macosx_11_0_arm64' , py_v_maj: 3, py_v_min: 11, desc: 'macOS Sonoma Python 3.11 arm64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sequoia, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 14, desc: 'macOS Sequoia Python 3.14 x86_64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sequoia, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 13, desc: 'macOS Sequoia Python 3.13 x86_64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sequoia, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 12, desc: 'macOS Sequoia Python 3.12 x86_64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sequoia, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 11, desc: 'macOS Sequoia Python 3.11 x86_64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sequoia, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 10, desc: 'macOS Sequoia Python 3.10 x86_64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sequoia, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 9 , desc: 'macOS Sequoia Python 3.9 x86_64' }
- { os: macos-15-intel, shell: bash, arch: x86_64, runtime: sequoia, cmake_flags: '-fPIC', trgt: '10.16', cpcfg: '-macosx_10_16_x86_64', py_v_maj: 3, py_v_min: 8 , desc: 'macOS Sequoia Python 3.8 x86_64' }
name: ${{ matrix.cfg.desc }}
steps:
- uses: actions/checkout@v5
Expand All @@ -58,7 +57,7 @@ jobs:
- run: brew install graphviz ; brew install --formula doxygen ; python -m pip install --upgrade pip ; pip install --upgrade wheel setuptools sphinx breathe sphinx_rtd_theme sphinx-tabs sphinx-issues sphinx-reredirects furo sphinx-math-dollar
if: runner.os=='macOS'
- run: |
wget https://github.com/lebarsfa/ibex-lib/releases/download/ibex-2.8.9.20241117/ibex_${{ matrix.cfg.arch }}_${{ matrix.cfg.runtime }}.zip --no-check-certificate -nv
wget https://github.com/lebarsfa/ibex-lib/releases/download/ibex-2.8.9.20250626/ibex_${{ matrix.cfg.arch }}_${{ matrix.cfg.runtime }}.zip --no-check-certificate -nv
unzip -q ibex_${{ matrix.cfg.arch }}_${{ matrix.cfg.runtime }}.zip
rm -Rf ibex_${{ matrix.cfg.arch }}_${{ matrix.cfg.runtime }}.zip
sudo cp -Rf ibex/* /usr/local/
Expand Down
Loading
Loading