Skip to content

Actions: ciaranm/glasgow-constraint-solver

Actions

CMake

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cmake.yml
226 workflow runs
226 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Can we do this in workflows? CMake #339: Commit 9576ea7 pushed by ciaranm
January 26, 2025 19:25 18m 34s main
main
January 26, 2025 19:25 18m 34s
Missing include CMake #338: Commit e190446 pushed by ciaranm
January 26, 2025 19:14 21m 45s main
main
January 26, 2025 19:14 21m 45s
Add test that seems to fail sometimes so we can track it CMake #337: Commit cbc3521 pushed by ciaranm
January 26, 2025 19:03 19m 29s main
main
January 26, 2025 19:03 19m 29s
Missing include CMake #336: Commit e190446 pushed by ciaranm
January 26, 2025 18:34 21m 23s main
main
January 26, 2025 18:34 21m 23s
Clean up reification to only be done in one place CMake #335: Pull request #69 synchronize by ciaranm
January 26, 2025 18:07 15m 11s cleaner-reification
cleaner-reification
January 26, 2025 18:07 15m 11s
Clean up reification to only be done in one place CMake #334: Pull request #69 opened by ciaranm
January 26, 2025 17:36 19m 13s cleaner-reification
cleaner-reification
January 26, 2025 17:36 19m 13s
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