Code

Add AutoLifter, Parsynt, and Synduce#6

Code

Merged

mistzzt merged 7 commits intomainmistzzt/program-synthesis-nur:mainfrom autoliftermistzzt/program-synthesis-nur:autolifterCopy head branch name to clipboardOct 28, 2024

+1,016-9

Commits

Commits on Oct 28, 2024

• add autolifter

  mistzzt

  committed
  2173a8b

  Copy full SHA for 2173a8b

• fixes

  mistzzt

  committed
  794a98b

  Copy full SHA for 794a98b

• requires x86_64-linux

  mistzzt

  committed
  ce897f3

  Copy full SHA for ce897f3

• update reduce-algebra

  mistzzt

  committed
  c1c42e1

  Copy full SHA for c1c42e1

• add parsynt

  mistzzt

  committed
  c9b6717

  Copy full SHA for c9b6717

• Add Synduce

  mistzzt

  committed
  3469e8d

  Copy full SHA for 3469e8d

• correct ci nixpkgs channel

  mistzzt

  committed
  3ba6a13

  Copy full SHA for 3ba6a13