msolve CI

Workflow runs for msolve CI

• Split the solution set along equal coordinates and find separating elements from the multiplication matrices

  completed successfully:
  msolve CI#887:Pull request#388synchronizebymohabsafey
  mohabsafey:sep-element

  Nov 1, 202616m 12s
  More actions for workflow run 887

• Split the solution set along equal coordinates and find separating elements from the multiplication matrices

  completed successfully:
  msolve CI#886:Pull request#388synchronizebymohabsafey
  mohabsafey:sep-element

  Oct 31, 202616m 22s
  More actions for workflow run 886

• Split the solution set along equal coordinates and find separating elements from the multiplication matrices

  completed successfully:
  msolve CI#885:Pull request#388synchronizebymohabsafey
  mohabsafey:sep-element

  Oct 31, 20268m 15s
  More actions for workflow run 885

• Split the solution set along equal coordinates and find separating elements from the multiplication matrices

  failed:
  msolve CI#884:Pull request#388openedbymohabsafey
  mohabsafey:sep-element

  Oct 31, 202613m 40s
  More actions for workflow run 884

• Use a platform-independent and thread-safe RNG

  completed successfully:
  msolve CI#883:Pull request#372synchronizebywegank
  wegank:rng-init

  Oct 31, 202612m 54s
  More actions for workflow run 883

• Reject more malformed inputs in the term parser

  cancelled:
  msolve CI#882:Pull request#386synchronizebywegank
  wegank:term-parser-fix-2

  Oct 30, 202620m 24s
  More actions for workflow run 882

• Replace __sync builtins with C11 atomics in linear algebra

  completed successfully:
  msolve CI#881:Pull request#377synchronizebywegank
  wegank:c11-atomics

  Oct 29, 202617m 44s
  More actions for workflow run 881

• Reject more malformed inputs in the term parser

  completed successfully:
  msolve CI#880:Pull request#386synchronizebywegank
  wegank:term-parser-fix-2

  Oct 29, 202618m 16s
  More actions for workflow run 880

• Fix some CI issues

  cancelled:
  msolve CI#879:Pull request#387synchronizebywegank
  wegank:ci-seed-fix-1

  Oct 29, 202621m 25s
  More actions for workflow run 879

• Fix some CI issues

  cancelled:
  msolve CI#878:Pull request#387openedbywegank
  wegank:ci-seed-fix-1

  Oct 29, 202620m 28s
  More actions for workflow run 878

• Reject more malformed inputs in the term parser

  completed successfully:
  msolve CI#877:Pull request#386synchronizebywegank
  wegank:term-parser-fix-2

  Oct 29, 202614m 45s
  More actions for workflow run 877

• Reject more malformed inputs in the term parser

  cancelled:
  msolve CI#876:Pull request#386synchronizebywegank
  wegank:term-parser-fix-2

  Oct 29, 202620m 27s
  More actions for workflow run 876

• Reject more malformed inputs in the term parser

  cancelled:
  msolve CI#875:Pull request#386openedbywegank
  wegank:term-parser-fix-2

  Oct 29, 202619m 22s
  More actions for workflow run 875

• Speed up the lifting of rational parametrizations over QQ

  completed successfully:
  msolve CI#874:Pull request#384openedbymohabsafey
  mohabsafey:lifting-param

  Oct 28, 202613m 21s
  More actions for workflow run 874

• Add option to return full Groebner basis under elimination order over QQ

  cancelled:
  msolve CI#873:Pull request#374synchronizebywegank
  wegank:elim-full-basis

  Oct 27, 202620m 29s
  More actions for workflow run 873

• Use a platform-independent and thread-safe RNG

  completed successfully:
  msolve CI#872:Pull request#372synchronizebywegank
  wegank:rng-init

  Oct 27, 202613m 32s
  More actions for workflow run 872

• Merge pull request #383 from mohabsafey/lifting-gb

  completed successfully:
  msolve CI#871:Commit3672113pushedbyederc
  master

  Oct 25, 202612m 51s
  More actions for workflow run 871

• Merge pull request #375 from wegank/remove-unused-options

  completed successfully:
  msolve CI#870:Commitd819fb0pushedbyederc
  master

  Oct 25, 202612m 52s
  More actions for workflow run 870

• Speed up and reduce the memory of Groebner bases over QQ

  completed successfully:
  msolve CI#869:Pull request#383openedbymohabsafey
  mohabsafey:lifting-gb

  Oct 25, 202618m 17s
  More actions for workflow run 869

• Remove unused -F, -O, -I and -R options

  completed successfully:
  msolve CI#868:Pull request#375synchronizebywegank
  wegank:remove-unused-options

  Oct 23, 202614m 20s
  More actions for workflow run 868

• Use a platform-independent and thread-safe RNG

  completed successfully:
  msolve CI#867:Pull request#372synchronizebywegank
  wegank:rng-init

  Oct 23, 202615m 4s
  More actions for workflow run 867

• Merge pull request #382 from mohabsafey/bug-maple-interface

  completed successfully:
  msolve CI#866:Commit3d55ba8pushedbyederc
  master

  Oct 23, 202613m 14s
  More actions for workflow run 866

• Fix infinite refinement loop in Maple interface

  completed successfully:
  msolve CI#865:Pull request#382openedbymohabsafey
  mohabsafey:bug-maple-interface

  Oct 23, 202611m 53s
  More actions for workflow run 865

• Merge pull request #320 from wegank/term-parser-fix-1

  completed successfully:
  msolve CI#864:Commit2ec27fbpushedbymohabsafey
  master

  Oct 21, 202610m 46s
  More actions for workflow run 864

• Reject malformed inputs in the term parser

  completed successfully:
  msolve CI#863:Pull request#320synchronizebymohabsafey
  wegank:term-parser-fix-1

  Oct 21, 202613m 16s
  More actions for workflow run 863