Code

Unify table on the home page#1065

Code

Open

EshaanAgg wants to merge 15 commits intososy-lab:mainsosy-lab/benchexec:mainfrom EshaanAgg:w1EshaanAgg/benchexec:w1Copy head branch name to clipboard

+399,254-326,836

Commits

Commits on Jul 8, 2024

• start merging the tables

  EshaanAgg

  committed
  60be1b4

  Copy full SHA for 60be1b4

Commits on Jul 19, 2024

• progress

  EshaanAgg

  committed
  5ac36b2

  Copy full SHA for 5ac36b2

Commits on Jul 25, 2024

• add filtering and hidding columns improvements

  EshaanAgg

  committed
  9e4123b

  Copy full SHA for 9e4123b

• update UI and some snapshots

  EshaanAgg

  committed
  7a45292

  Copy full SHA for 7a45292

• improve UI

  EshaanAgg

  committed
  21697e7

  Copy full SHA for 21697e7

Commits on Jul 26, 2024

• handle if all columns are hidden

  EshaanAgg

  committed
  f06a380

  Copy full SHA for f06a380

Commits on Jul 27, 2024

• add tooltip

  EshaanAgg

  committed
  1eb5437

  Copy full SHA for 1eb5437

• add compliance and fix tests

  EshaanAgg

  committed
  c020aa4

  Copy full SHA for c020aa4

• revert changes to data.json and create production build

  EshaanAgg

  committed
  2c85971

  Copy full SHA for 2c85971

• update snapshots

  EshaanAgg

  committed
  72b6584

  Copy full SHA for 72b6584

Commits on Jul 29, 2024

• ui changes

  EshaanAgg

  committed
  c7fe79c

  Copy full SHA for c7fe79c

• build and test updates

  EshaanAgg

  committed
  531a5a0

  Copy full SHA for 531a5a0

• add width zero with display hide combo for rendering

  EshaanAgg

  committed
  65ebfe7

  Copy full SHA for 65ebfe7

Commits on Aug 4, 2024

• UI changes

  EshaanAgg

  committed
  67339c9

  Copy full SHA for 67339c9

Commits on Aug 9, 2024

• ui changes

  EshaanAgg

  committed
  ae4890d

  Copy full SHA for ae4890d