Code

faster-ILP extractor#16

Code

Merged

mwillsey merged 79 commits intoegraphs-good:mainegraphs-good/extraction-gym:mainfrom TrevorHansen:om4TrevorHansen/extraction-gym:om4Copy head branch name to clipboardMay 17, 2024

+1,441-14

Commits

Commits on Jul 24, 2023

• handwritten examples~

  philzook58

  committed
  c399d26

  Copy full SHA for c399d26

• fixed root

  philzook58

  committed
  fc01832

  Copy full SHA for fc01832

• something is wrong with the dump of choice.egg

  philzook58

  committed
  702ae07

  Copy full SHA for 702ae07

Commits on Aug 23, 2023

• ilp-cbc-prune

  Bastacyclop

  committed
  6db8475

  Copy full SHA for 6db8475

Commits on Aug 28, 2023

• flexc data

  Bastacyclop

  committed
  4a2c751

  Copy full SHA for 4a2c751

Commits on Aug 31, 2023

• greedy bottom up analysis

  Bastacyclop

  committed
  ba3ce5f

  Copy full SHA for ba3ce5f

Commits on Sep 5, 2023

• A recursive bottom-up

  TrevorHansen

  committed
  54e594c

  Copy full SHA for 54e594c

• Merge remote-tracking branch 'basta/greedy-bottom-up-analysis'

  TrevorHansen

  committed
  60a7e3e

  Copy full SHA for 60a7e3e

• Merge remote-tracking branch 'phil/examples'

  TrevorHansen

  committed
  82a7dd2

  Copy full SHA for 82a7dd2

Commits on Sep 8, 2023

• bug fix. previously the wrong node was added to the worklist.

  TrevorHansen

  committed
  edb62f2

  Copy full SHA for edb62f2

• Slower but cleaner

  TrevorHansen

  committed
  53c8b72

  Copy full SHA for 53c8b72

Commits on Sep 12, 2023

• Faster greedy dag

  TrevorHansen

  committed
  d4f6f7a

  Copy full SHA for d4f6f7a

Commits on Oct 31, 2023

• Clean up as well as speed up the ILP extractor.

  TrevorHansen

  committed
  0bd8593

  Copy full SHA for 0bd8593

Commits on Nov 3, 2023

• Merge remote-tracking branch 'origin' into om4

  TrevorHansen

  committed
  aaa760e

  Copy full SHA for aaa760e

• Improve ILP extractor

  TrevorHansen

  committed
  ff5d1b5

  Copy full SHA for ff5d1b5

Commits on Dec 14, 2023

• Merge remote-tracking branch 'origin/main' into om4

  TrevorHansen

  committed
  ffc995a

  Copy full SHA for ffc995a

• Default on timeout to a better extractor. Put in main

  TrevorHansen

  committed
  177f3ec

  Copy full SHA for 177f3ec

Commits on Dec 18, 2023

• Merge remote-tracking branch 'origin/main' into om4

  TrevorHansen

  committed
  24260b9

  Copy full SHA for 24260b9

• Remove ability to have the same ilp variable bound to different graph elements - simplifies things.

  TrevorHansen

  committed
  b448c25

  Copy full SHA for b448c25

Commits on Dec 21, 2023

• Extra tests

  TrevorHansen

  committed
  eef059e

  Copy full SHA for eef059e

• Adds code to pull up costs

  TrevorHansen

  committed
  63f8a8c

  Copy full SHA for 63f8a8c

• fix comments

  TrevorHansen

  committed
  f7ce932

  Copy full SHA for f7ce932

• Almost the same result for 2/3 of the time.

  TrevorHansen

  committed
  ff93600

  Copy full SHA for ff93600

Commits on Dec 24, 2023

• Speedup. Adds an extra simplification, puts the simplifications in a loop, increases the timeout.

  TrevorHansen

  committed
  bef07c5

  Copy full SHA for bef07c5

• Remove cycle blocking which doesn't work properly

  TrevorHansen

  committed
  09e11dd

  Copy full SHA for 09e11dd

• Option to block cycles before ILP solving

  TrevorHansen

  committed
  9f05a24

  Copy full SHA for 9f05a24

Commits on Dec 25, 2023

• extra config option.

  TrevorHansen

  committed
  8c54cc1

  Copy full SHA for 8c54cc1

Commits on Dec 26, 2023

• * Move config to a struct so it can be changed at runtime. * Don't use the faster-greedy-dag extractor - currently it's broken * Add fuzzing code (currently disabled)

  TrevorHansen

  committed
  c98afa8

  Copy full SHA for c98afa8

• Restore the old ilp cbc solver

  TrevorHansen

  committed
  70f0f8e

  Copy full SHA for 70f0f8e

• Add test jsons the fuzzer discovered that caused crashes.

  TrevorHansen

  committed
  8b865f9

  Copy full SHA for 8b865f9

• Simpler slower correct ILP with cycle blocking

  TrevorHansen

  committed
  8403b65

  Copy full SHA for 8403b65

• extra failing instances

  TrevorHansen

  committed
  0da0cc1

  Copy full SHA for 0da0cc1

• Extra tests

  TrevorHansen

  committed
  70faec1

  Copy full SHA for 70faec1

• Add extra test code - currently faster-greedy-dag, faster-ilp-cbc, and global-greedy-dag all return incorrect extracts on some graphs.

  TrevorHansen

  committed
  40a7b9f

  Copy full SHA for 40a7b9f

• fix fmt --check

  TrevorHansen

  committed
  41ac7d9

  Copy full SHA for 41ac7d9

Commits on Dec 27, 2023

• Merge remote-tracking branch 'main/main'

  TrevorHansen

  committed
  a7afe6e

  Copy full SHA for a7afe6e

Commits on Dec 28, 2023

• better ilp extractor

  TrevorHansen

  committed
  36f05d0

  Copy full SHA for 36f05d0

• Merge branch 'main' into om4

  TrevorHansen

  committed
  282f37e

  Copy full SHA for 282f37e

• 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

• Merge branch 'om12' into om4

  TrevorHansen

  committed
  2fdccd5

  Copy full SHA for 2fdccd5

• Merge remote-tracking branch 'origin/om11' into om4

  TrevorHansen

  committed
  20696fe

  Copy full SHA for 20696fe

• Remove files from other PRs

  TrevorHansen

  committed
  9f59233

  Copy full SHA for 9f59233

• extra egraphs that previouysly failed

  TrevorHansen

  committed
  d255dff

  Copy full SHA for d255dff

• fix layout

  TrevorHansen

  committed
  4589b63

  Copy full SHA for 4589b63

• example with muiltiple root nodes

  TrevorHansen

  committed
  83a5638

  Copy full SHA for 83a5638

• Currently disabled - infeasible egraph.

  TrevorHansen

  committed
  2b982f4

  Copy full SHA for 2b982f4

• Improved testing. Fixed defects in simplifications.

  TrevorHansen

  committed
  5b12ae4

  Copy full SHA for 5b12ae4

• cleanup

  TrevorHansen

  committed
  e35294f

  Copy full SHA for e35294f

• replace with macro

  TrevorHansen

  committed
  b6cf1ec

  Copy full SHA for b6cf1ec

Commits on Dec 30, 2023

• fix formatting

  TrevorHansen

  committed
  9bf1d90

  Copy full SHA for 9bf1d90

Commits on Jan 1, 2024

• small refactor

  TrevorHansen

  committed
  914c432

  Copy full SHA for 914c432

• Extra egraphs from fuzzing

  TrevorHansen

  committed
  0c37c55

  Copy full SHA for 0c37c55

• disable broken simplification

  TrevorHansen

  committed
  a7d0051

  Copy full SHA for a7d0051

• fix. return initial solution on timeout.

  TrevorHansen

  committed
  3eec13d

  Copy full SHA for 3eec13d

• remove test cases that are in PR#31

  TrevorHansen

  committed
  c955591

  Copy full SHA for c955591

• remove test cases that are in PR#31

  TrevorHansen

  committed
  3320a80

  Copy full SHA for 3320a80

• remove test cases that are in PR#31

  TrevorHansen

  committed
  93cff94

  Copy full SHA for 93cff94

• restore readme

  TrevorHansen

  committed
  af65978

  Copy full SHA for af65978

• Add separate extractor with a timeout

  TrevorHansen

  committed
  e1fd843

  Copy full SHA for e1fd843

• fix formatting:

  TrevorHansen

  committed
  9b97503

  Copy full SHA for 9b97503

Commits on Jan 7, 2024

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

  TrevorHansen

  committed
  6da1944

  Copy full SHA for 6da1944

Commits on Jan 13, 2024

• Merge remote-tracking branch 'origin/main' into om4

  TrevorHansen

  committed
  bdbcdc6

  Copy full SHA for bdbcdc6

• Remove unhelpful simplifications. Adds extra helpful simplifications

  TrevorHansen

  committed
  9664680

  Copy full SHA for 9664680

• speedup. Should sort on cost, too

  TrevorHansen

  committed
  8ea6969

  Copy full SHA for 8ea6969

• fix formatting

  TrevorHansen

  committed
  af790ec

  Copy full SHA for af790ec

Commits on Jan 14, 2024

• cleanup

  TrevorHansen

  committed
  4f8af97

  Copy full SHA for 4f8af97

• cleanup

  TrevorHansen

  committed
  b2126bc

  Copy full SHA for b2126bc

• clean up

  TrevorHansen

  committed
  c5d62c0

  Copy full SHA for c5d62c0

• Remove changes that are in a different PR

  TrevorHansen

  committed
  5e19ab1

  Copy full SHA for 5e19ab1

• fix formatting

  TrevorHansen

  committed
  cd26911

  Copy full SHA for cd26911

• Remove some classes early on where we know their assignments already

  TrevorHansen

  committed
  bc0619a

  Copy full SHA for bc0619a

Commits on Feb 7, 2024

• Merge remote-tracking branch 'origin/main' into om4

  TrevorHansen

  committed
  b2b6e2e

  Copy full SHA for b2b6e2e

Commits on May 7, 2024

• improved description

  TrevorHansen

  committed
  662d4b9

  Copy full SHA for 662d4b9

• improve formatting

  TrevorHansen

  committed
  b42eed3

  Copy full SHA for b42eed3