ngsankha/absynthe

Issues

• Future work?

  #11 opened 8 months ago by Pat-Lafon
  1

• pandas columns domain

  #7 opened 2 years ago by ngsankha
  3

• use all information from autopandas benchmarks?

  #6 opened 2 years ago by ngsankha
  2

• randomize autopandas benchmarks

  #9 opened 2 years ago by ngsankha
  0

• report autopandas numbers in the absynthe JSON format

  #10 opened 2 years ago by ngsankha
  0

• weird pauses when generating a lot of candidates

  #8 opened 2 years ago by ngsankha
  0

• new heuristic for search order

  #5 opened 2 years ago by ngsankha
  1

• Handle subprocess timeout for Sygus benchmarks

  #4 opened 2 years ago by ngsankha
  1

• Reuse old subterms

  #2 opened 3 years ago by ngsankha
  1

• Expressive Domains

  #1 opened 2 years ago by ngsankha
  1

• Timeout for 2 tests when run as a part of the full suite

  #3 opened 2 years ago by ngsankha
  1