Code

Test code#31

Code

Merged

mwillsey merged 18 commits intoegraphs-good:mainegraphs-good/extraction-gym:mainfrom TrevorHansen:om12TrevorHansen/extraction-gym:om12Copy head branch name to clipboardFeb 6, 2024

+306-14

Commits

Commits on Dec 28, 2023

• better testing

  TrevorHansen

  committed
  a63c64b

  Copy full SHA for a63c64b

• remove unused code

  TrevorHansen

  committed
  98db434

  Copy full SHA for 98db434

• remove unused code. Increase the number of tests

  TrevorHansen

  committed
  326b87e

  Copy full SHA for 326b87e

• Add necessary include

  TrevorHansen

  committed
  e938eec

  Copy full SHA for e938eec

• Less duplication - but more complexity.

  TrevorHansen

  committed
  2ebffd7

  Copy full SHA for 2ebffd7

Commits on Dec 29, 2023

• Can test on all .json files too

  TrevorHansen

  committed
  f7a3a54

  Copy full SHA for f7a3a54

• Replace with macros as suggested by @oflatt

  TrevorHansen

  committed
  556272c

  Copy full SHA for 556272c

Commits on Dec 30, 2023

• Fixed the random egraph generator - previously it was only producing acyclic egraphs. Disabled the faster-greedy-dag extractor - the update fuzzer has generated more egraphs that trigger failure

  TrevorHansen

  committed
  e0e6d05

  Copy full SHA for e0e6d05

Commits on Jan 1, 2024

• extra test cases from fuzzing

  TrevorHansen

  committed
  cbb2433

  Copy full SHA for cbb2433

• * Use the new ILP timeout class, * Shift to nextest

  TrevorHansen

  committed
  07b9cf8

  Copy full SHA for 07b9cf8

• Revert. nextest is not currently installed by github actions

  TrevorHansen

  committed
  1656d7c

  Copy full SHA for 1656d7c

Commits on Jan 7, 2024

• Fix crash if some optimal extractors aren't provided. Generate egraphs that are more likely to be problematic

  TrevorHansen

  committed
  a4ece9b

  Copy full SHA for a4ece9b

• oops. remove debug code

  TrevorHansen

  committed
  637aea3

  Copy full SHA for 637aea3

• Use enum so that optimal tree/dag are distinct

  TrevorHansen

  committed
  4f93302

  Copy full SHA for 4f93302

• Merge remote-tracking branch 'main/main' into om12

  TrevorHansen

  committed
  b3bc119

  Copy full SHA for b3bc119

Commits on Jan 13, 2024

• Move test files so they don't impact the benchmarking

  TrevorHansen

  committed
  82d0eca

  Copy full SHA for 82d0eca

• move test code to a separate module

  TrevorHansen

  committed
  426dcae

  Copy full SHA for 426dcae

• Move into separate files as requested

  TrevorHansen

  committed
  8ed5f95

  Copy full SHA for 8ed5f95