Skip to content

Actions: algebraic-solving/msolve

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
201 workflow runs
201 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #170 from ederc/new-release msolve CI #302: Commit c56341c pushed by ederc
July 29, 2024 13:42 2m 53s master
master
July 29, 2024 13:42 2m 53s
Prepares v0.7.0 msolve CI #301: Pull request #170 opened by ederc
July 29, 2024 10:30 2m 43s ederc:new-release
ederc:new-release
July 29, 2024 10:30 2m 43s
Merge pull request #169 from ederc/groebner-qq-julia-interface msolve CI #300: Commit 6f626cf pushed by mohabsafey
July 26, 2024 15:04 3m 54s master
master
July 26, 2024 15:04 3m 54s
Export interface for degrevlex bases over QQ msolve CI #299: Pull request #169 synchronize by ederc
July 26, 2024 10:37 2m 43s ederc:groebner-qq-julia-interface
ederc:groebner-qq-julia-interface
July 26, 2024 10:37 2m 43s
Export interface for degrevlex bases over QQ msolve CI #298: Pull request #169 synchronize by ederc
July 26, 2024 10:19 2m 42s ederc:groebner-qq-julia-interface
ederc:groebner-qq-julia-interface
July 26, 2024 10:19 2m 42s
Export interface for degrevlex bases over QQ msolve CI #297: Pull request #169 synchronize by ederc
July 26, 2024 10:15 26s ederc:groebner-qq-julia-interface
ederc:groebner-qq-julia-interface
July 26, 2024 10:15 26s
Export interface for degrevlex bases over QQ msolve CI #296: Pull request #169 opened by ederc
July 26, 2024 10:12 25s ederc:groebner-qq-julia-interface
ederc:groebner-qq-julia-interface
July 26, 2024 10:12 25s
Merge pull request #168 from ederc/f4sat-zero msolve CI #295: Commit 93213df pushed by ederc
July 26, 2024 10:08 2m 48s master
master
July 26, 2024 10:08 2m 48s
F4sat handling of invalid input msolve CI #294: Pull request #168 opened by ederc
July 26, 2024 08:20 2m 38s ederc:f4sat-zero
ederc:f4sat-zero
July 26, 2024 08:20 2m 38s
Merge pull request #167 from d-torrance/32-bit msolve CI #293: Commit 09fa1a2 pushed by mohabsafey
July 26, 2024 04:45 2m 43s master
master
July 26, 2024 04:45 2m 43s
Change one additional uint64_t -> mp_limb_t msolve CI #292: Pull request #167 opened by d-torrance
July 26, 2024 03:04 2m 37s d-torrance:32-bit
d-torrance:32-bit
July 26, 2024 03:04 2m 37s
Merge pull request #166 from ederc/f4sat-char-fix msolve CI #291: Commit 858bf0d pushed by jerebertho
July 25, 2024 19:43 2m 44s master
master
July 25, 2024 19:43 2m 44s
f4sat field characteristic fix msolve CI #290: Pull request #166 opened by ederc
July 25, 2024 19:26 2m 42s ederc:f4sat-char-fix
ederc:f4sat-char-fix
July 25, 2024 19:26 2m 42s
Merge pull request #164 from d-torrance/32-bit msolve CI #289: Commit 8fcb279 pushed by ederc
July 25, 2024 19:23 2m 40s master
master
July 25, 2024 19:23 2m 40s
Fix 32-bit build msolve CI #288: Pull request #164 opened by d-torrance
July 25, 2024 13:53 2m 37s d-torrance:32-bit
d-torrance:32-bit
July 25, 2024 13:53 2m 37s
Merge pull request #163 from jerebertho/print_fglm_rework msolve CI #287: Commit 97b5ee1 pushed by jerebertho
July 25, 2024 09:25 2m 57s master
master
July 25, 2024 09:25 2m 57s
fix bug in print of multi-modular steps not flushing the steps msolve CI #286: Pull request #163 opened by jerebertho
July 25, 2024 09:22 2m 45s jerebertho:print_fglm_rework
jerebertho:print_fglm_rework
July 25, 2024 09:22 2m 45s
Merge pull request #161 from jerebertho/print_fglm_rework msolve CI #285: Commit fa4c2eb pushed by ederc
July 25, 2024 08:59 2m 37s master
master
July 25, 2024 08:59 2m 37s
Rework printing information for FGLM and lifting of Gröbner bases msolve CI #284: Pull request #161 synchronize by jerebertho
July 25, 2024 08:34 2m 49s jerebertho:print_fglm_rework
jerebertho:print_fglm_rework
July 25, 2024 08:34 2m 49s
Merge pull request #162 from ederc/new-release msolve CI #283: Commit 2ca24b6 pushed by ederc
July 24, 2024 18:00 2m 45s master
master
July 24, 2024 18:00 2m 45s
prepares new minor release msolve CI #282: Pull request #162 opened by ederc
July 24, 2024 12:59 3m 3s ederc:new-release
ederc:new-release
July 24, 2024 12:59 3m 3s
Rework printing information for FGLM and lifting of Gröbner bases msolve CI #281: Pull request #161 synchronize by jerebertho
July 24, 2024 11:12 2m 35s jerebertho:print_fglm_rework
jerebertho:print_fglm_rework
July 24, 2024 11:12 2m 35s
Rework printing information for FGLM and lifting of Gröbner bases msolve CI #280: Pull request #161 synchronize by jerebertho
July 24, 2024 11:10 2m 34s jerebertho:print_fglm_rework
jerebertho:print_fglm_rework
July 24, 2024 11:10 2m 34s
Rework printing information for FGLM and lifting of Gröbner bases msolve CI #279: Pull request #161 opened by jerebertho
July 24, 2024 10:13 2m 39s jerebertho:print_fglm_rework
jerebertho:print_fglm_rework
July 24, 2024 10:13 2m 39s
Merge pull request #160 from ederc/ederc-patch-1 msolve CI #278: Commit fe99950 pushed by ederc
July 23, 2024 12:54 2m 41s master
master
July 23, 2024 12:54 2m 41s