Skip to content

Actions: algebraic-solving/msolve

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
436 workflow runs
436 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Speedup f4 msolve CI #891: Pull request #390 opened by ederc
12m 51s ederc:speedup-f4
ederc:speedup-f4
12m 51s
Merge pull request #389 from ederc/unify-linear-algebra msolve CI #890: Commit 708dc64 pushed by jerebertho
20m 36s master
master
20m 36s
Share finite field linear algebra code between 8, 16 and 32 bit msolve CI #889: Pull request #389 opened by ederc
24m 25s ederc:unify-linear-algebra
ederc:unify-linear-algebra
24m 25s
Split the solution set along equal coordinates and find separating elements from the multiplication matrices msolve CI #888: Pull request #388 synchronize by mohabsafey
17m 11s mohabsafey:sep-element
mohabsafey:sep-element
17m 11s
Split the solution set along equal coordinates and find separating elements from the multiplication matrices msolve CI #887: Pull request #388 synchronize by mohabsafey
16m 12s mohabsafey:sep-element
mohabsafey:sep-element
16m 12s
Split the solution set along equal coordinates and find separating elements from the multiplication matrices msolve CI #886: Pull request #388 synchronize by mohabsafey
16m 22s mohabsafey:sep-element
mohabsafey:sep-element
16m 22s
Split the solution set along equal coordinates and find separating elements from the multiplication matrices msolve CI #885: Pull request #388 synchronize by mohabsafey
8m 15s mohabsafey:sep-element
mohabsafey:sep-element
8m 15s
Split the solution set along equal coordinates and find separating elements from the multiplication matrices msolve CI #884: Pull request #388 opened by mohabsafey
13m 40s mohabsafey:sep-element
mohabsafey:sep-element
13m 40s
Use a platform-independent and thread-safe RNG msolve CI #883: Pull request #372 synchronize by wegank
12m 54s wegank:rng-init
wegank:rng-init
12m 54s
Reject more malformed inputs in the term parser msolve CI #882: Pull request #386 synchronize by wegank
20m 24s wegank:term-parser-fix-2
wegank:term-parser-fix-2
20m 24s
Replace __sync builtins with C11 atomics in linear algebra msolve CI #881: Pull request #377 synchronize by wegank
17m 44s wegank:c11-atomics
wegank:c11-atomics
17m 44s
Reject more malformed inputs in the term parser msolve CI #880: Pull request #386 synchronize by wegank
18m 16s wegank:term-parser-fix-2
wegank:term-parser-fix-2
18m 16s
Fix some CI issues msolve CI #879: Pull request #387 synchronize by wegank
21m 25s wegank:ci-seed-fix-1
wegank:ci-seed-fix-1
21m 25s
Fix some CI issues msolve CI #878: Pull request #387 opened by wegank
20m 28s wegank:ci-seed-fix-1
wegank:ci-seed-fix-1
20m 28s
Reject more malformed inputs in the term parser msolve CI #877: Pull request #386 synchronize by wegank
14m 45s wegank:term-parser-fix-2
wegank:term-parser-fix-2
14m 45s
Reject more malformed inputs in the term parser msolve CI #876: Pull request #386 synchronize by wegank
20m 27s wegank:term-parser-fix-2
wegank:term-parser-fix-2
20m 27s
Reject more malformed inputs in the term parser msolve CI #875: Pull request #386 opened by wegank
19m 22s wegank:term-parser-fix-2
wegank:term-parser-fix-2
19m 22s
Speed up the lifting of rational parametrizations over QQ msolve CI #874: Pull request #384 opened by mohabsafey
13m 21s mohabsafey:lifting-param
mohabsafey:lifting-param
13m 21s
Add option to return full Groebner basis under elimination order over QQ msolve CI #873: Pull request #374 synchronize by wegank
20m 29s wegank:elim-full-basis
wegank:elim-full-basis
20m 29s
Use a platform-independent and thread-safe RNG msolve CI #872: Pull request #372 synchronize by wegank
13m 32s wegank:rng-init
wegank:rng-init
13m 32s
Merge pull request #383 from mohabsafey/lifting-gb msolve CI #871: Commit 3672113 pushed by ederc
12m 51s master
master
12m 51s
Merge pull request #375 from wegank/remove-unused-options msolve CI #870: Commit d819fb0 pushed by ederc
12m 52s master
master
12m 52s
Speed up and reduce the memory of Groebner bases over QQ msolve CI #869: Pull request #383 opened by mohabsafey
18m 17s mohabsafey:lifting-gb
mohabsafey:lifting-gb
18m 17s
Remove unused -F, -O, -I and -R options msolve CI #868: Pull request #375 synchronize by wegank
14m 20s wegank:remove-unused-options
wegank:remove-unused-options
14m 20s
Use a platform-independent and thread-safe RNG msolve CI #867: Pull request #372 synchronize by wegank
15m 4s wegank:rng-init
wegank:rng-init
15m 4s