Skip to content

Actions: ciaranm/glasgow-constraint-solver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
220 workflow runs
220 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable downloading range-v3 gh-pages submodule CMake #333: Commit 9f167df pushed by ciaranm
January 13, 2025 17:38 21m 43s main
main
January 13, 2025 17:38 21m 43s
Maybe we don't need this any more? CMake #332: Commit d3ebded pushed by ciaranm
January 13, 2025 17:38 19m 5s main
main
January 13, 2025 17:38 19m 5s
Maybe we don't need this any more? CMake #331: Pull request #68 opened by ciaranm
January 13, 2025 16:46 29m 3s i-love-spaceships
i-love-spaceships
January 13, 2025 16:46 29m 3s
Disable downloading range-v3 gh-pages submodule CMake #330: Pull request #67 opened by ThomSerg
January 13, 2025 16:44 20m 25s ThomSerg:disable-range-v3-submodules
ThomSerg:disable-range-v3-submodules
January 13, 2025 16:44 20m 25s
Use power2 rather than bit shifting, and do some error checking CMake #329: Commit d683285 pushed by ciaranm
January 13, 2025 16:27 17m 51s main
main
January 13, 2025 16:27 17m 51s
See if libc++ likes this CMake #328: Commit 2024b93 pushed by ciaranm
January 13, 2025 15:49 22m 33s main
main
January 13, 2025 15:49 22m 33s
Tidy up emitting CMake #327: Commit e49e0be pushed by ciaranm
January 13, 2025 14:55 10m 4s main
main
January 13, 2025 14:55 10m 4s
Bounds consistent multiplication CMake #326: Commit feaa490 pushed by ciaranm
January 13, 2025 14:41 11m 10s main
main
January 13, 2025 14:41 11m 10s
Bounds consistent multiplication CMake #325: Commit 972d93f pushed by ciaranm
January 13, 2025 14:29 10m 49s main
main
January 13, 2025 14:29 10m 49s
Add ProofBitVariable and better reification CMake #324: Commit f842769 pushed by ciaranm
January 13, 2025 13:00 29m 54s main
main
January 13, 2025 13:00 29m 54s
Add ProofBitVariable and better reification CMake #323: Commit 1fdc3b7 pushed by ciaranm
January 13, 2025 12:20 13m 5s main
main
January 13, 2025 12:20 13m 5s
Add ProofBitVariable and better reification CMake #322: Commit c8bb368 pushed by ciaranm
January 13, 2025 11:50 8m 21s main
main
January 13, 2025 11:50 8m 21s
Better tracking of what changed for inference CMake #321: Commit ade2b4c pushed by ciaranm
January 13, 2025 11:22 15m 37s main
main
January 13, 2025 11:22 15m 37s
We'll use this to track other things too CMake #320: Commit d19ef2a pushed by ciaranm
January 11, 2025 17:31 15m 41s main
main
January 11, 2025 17:31 15m 41s
More constraint names CMake #319: Pull request #64 opened by ciaranm
December 16, 2024 21:49 14m 55s constraint-ids-map
constraint-ids-map
December 16, 2024 21:49 14m 55s
Bounds Consistent Multiplication Propagator with Proof Logging CMake #318: Pull request #59 synchronize by ciaranm
December 14, 2024 22:54 16m 6s multiply
multiply
December 14, 2024 22:54 16m 6s
Track power bit CMake #317: Commit d6ad3e3 pushed by ciaranm
December 13, 2024 11:23 13m 15s main
main
December 13, 2024 11:23 13m 15s
Better API for constraint naming CMake #316: Commit d89da8a pushed by ciaranm
December 13, 2024 11:11 19m 14s main
main
December 13, 2024 11:11 19m 14s
Better variable naming for proofs CMake #315: Commit c455ea3 pushed by ciaranm
December 12, 2024 09:51 18m 5s main
main
December 12, 2024 09:51 18m 5s
Use not-equals for alldiff encoding CMake #314: Commit 0d74b3f pushed by ciaranm
December 6, 2024 12:12 22m 40s main
main
December 6, 2024 12:12 22m 40s
Simplify OPB handling of variables CMake #313: Commit 8f212ec pushed by ciaranm
December 6, 2024 03:32 19m 33s main
main
December 6, 2024 03:32 19m 33s
Don't put chaining constraints for variables in the opb file CMake #312: Commit a719421 pushed by ciaranm
December 3, 2024 06:45 14m 53s main
main
December 3, 2024 06:45 14m 53s
Use std::bit_width rather than our own scary magic CMake #311: Commit 58caa6b pushed by ciaranm
December 3, 2024 06:07 18m 53s main
main
December 3, 2024 06:07 18m 53s
Disable python tests for now. CMake #310: Commit e0d989e pushed by ciaranm
November 28, 2024 17:22 19m 22s main
main
November 28, 2024 17:22 19m 22s
A refactor of reification logic (patched in from multiply branch) CMake #309: Pull request #63 synchronize by mmcilree
November 28, 2024 14:08 16m 26s reification
reification
November 28, 2024 14:08 16m 26s