Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 4, 2023

• computing gb when elim order is given

  mohabsafey

  committed
  1b9f6a4

  Copy full SHA for 1b9f6a4

Commits on Jun 28, 2023

• fixes f4sat printing of round data for application phase over QQ

  ederc

  committed
  26ad2ed

  Copy full SHA for 26ad2ed

• fixes saturation steps in application phase if intermediate f4 steps have not introduced new information (end game problem)

  ederc

  committed
  3ac24a2

  Copy full SHA for 3ac24a2

• fixes degree setting for already reduced saturation elements

  ederc

  committed
  ea70c26

  Copy full SHA for ea70c26

Commits on Jun 27, 2023

• fixes Gebauer Moeller

  ederc

  committed
  84b5d9e

  Copy full SHA for 84b5d9e

Commits on Jun 23, 2023

• f4sat exits when the characteristic is too low

  mohabsafey

  committed
  ed0b5f9

  Copy full SHA for ed0b5f9

• adds import_input_data_nf_ff_16

  mohabsafey

  committed
  dad7468

  Copy full SHA for dad7468

Commits on Jun 22, 2023

• forces GB computation when elim order is used (positive char.)

  mohabsafey

  committed
  a0ba39c

  Copy full SHA for a0ba39c

• forces GB computation when elim order is used

  mohabsafey

  committed
  dd0af9c

  Copy full SHA for dd0af9c

• removes dbg msg

  mohabsafey

  committed
  4e8333e

  Copy full SHA for 4e8333e

Commits on Jun 21, 2023

• fix printing info

  mohabsafey

  committed
  0dc41cd

  Copy full SHA for 0dc41cd

• bug fix when ideal=[0]

  mohabsafey

  committed
  b68756e

  Copy full SHA for b68756e

• display time rat param

  mohabsafey

  committed
  7718c24

  Copy full SHA for 7718c24

• display bit size

  mohabsafey

  committed
  75f966d

  Copy full SHA for 75f966d

Commits on Jun 19, 2023

• fixes finalizer for f4 tracer learning phase

  ederc

  committed
  91be339

  Copy full SHA for 91be339

Commits on Jun 15, 2023

• unifies final removal of redundant elements

  ederc

  committed
  cf67448

  Copy full SHA for cf67448

• removes useless sat trace functionality

  ederc

  committed
  d6f4430

  Copy full SHA for d6f4430

Commits on Jun 14, 2023

• fixes phase 2 of f4sat

  ederc

  committed
  7f7aef2

  Copy full SHA for 7f7aef2

Commits on Jun 13, 2023

• removes debug printing

  ederc

  committed
  c7acad7

  Copy full SHA for c7acad7

• fixes table header for info printing in f4sat application run

  ederc

  committed
  a12d7cc

  Copy full SHA for a12d7cc

Commits on Jun 9, 2023

• fixes degree computation for saturation elements

  ederc

  committed
  6aa3ad5

  Copy full SHA for 6aa3ad5

Commits on Jun 8, 2023

• fixes calling of kernel computations in f4sat

  ederc

  committed
  6605f9a

  Copy full SHA for 6605f9a

Commits on Jun 2, 2023

• removes deprecated debug printings

  ederc

  committed
  102cfda

  Copy full SHA for 102cfda

• removes useless basis data entry

  ederc

  committed
  0abde69

  Copy full SHA for 0abde69

Commits on Jun 1, 2023

• fixes alignment of initial status printing

  ederc

  committed
  d978096

  Copy full SHA for d978096

• fixes redundancy handling for elimination orderings

  ederc

  committed
  74918ea

  Copy full SHA for 74918ea

• adds better debug printing

  ederc

  committed
  caf2d78

  Copy full SHA for caf2d78

• fixes reducer search for elimination

  ederc

  committed
  bdacf84

  Copy full SHA for bdacf84

• removes debug printings

  ederc

  committed
  d3fa2c2

  Copy full SHA for d3fa2c2

Commits on May 31, 2023

• smaller fixes for elimination

  ederc

  committed
  8232975

  Copy full SHA for 8232975

Commits on May 30, 2023

• cleanup

  jerebertho

  committed
  1b17bb9

  Copy full SHA for 1b17bb9

• cleanup

  jerebertho

  committed
  14a36b7

  Copy full SHA for 14a36b7

• adds parallelization with OpenMP for matrix vector product in FGLM

  jerebertho

  committed
  4f59ab4

  Copy full SHA for 4f59ab4

• cleanup

  jerebertho

  committed
  ab1919f

  Copy full SHA for ab1919f

• adds parallelization with OpenMP for matrix vector product in FGLM

  jerebertho

  committed
  f1f8e9b

  Copy full SHA for f1f8e9b

Pagination

Previous

Next