Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 8, 2024

• Update pinned Nixpkgs to 24.05

  ruuda

  committed
  2dd1608

  Copy full SHA for 2dd1608

Commits on Aug 5, 2023

• Pin Nixpkgs to latest 23.05

  Show description for 5540af3
  ruuda

  committed
  5540af3

  Copy full SHA for 5540af3

Commits on Feb 25, 2023

• Add InstanceSigs for GHC 9.0.2 compatibility

  ruuda

  committed
  1dbc9de

  Copy full SHA for 1dbc9de

Commits on Feb 11, 2023

• Fix more warnings

  ruuda

  committed
  b4daabe

  Copy full SHA for b4daabe

• Add some comments, be more explicit in imports

  ruuda

  committed
  730202d

  Copy full SHA for 730202d

• Fix all warnings

  ruuda

  committed
  fcfe01b

  Copy full SHA for fcfe01b

• Move optimizer into its own module

  ruuda

  committed
  68fbc0d

  Copy full SHA for 68fbc0d

• Move compiler machiner into a new module

  ruuda

  committed
  2e3851f

  Copy full SHA for 2e3851f

• Move Circuit types into a new module

  ruuda

  committed
  11b609c

  Copy full SHA for 11b609c

• Move expression type into a new module

  ruuda

  committed
  27b0376

  Copy full SHA for 27b0376

• Give devenv a name

  ruuda

  committed
  1c8a417

  Copy full SHA for 1c8a417

• Add Makefile

  ruuda

  committed
  6e781e2

  Copy full SHA for 6e781e2

• Add license

  ruuda

  committed
  84d3e36

  Copy full SHA for 84d3e36

• Update readme to match current state

  ruuda

  committed
  4e412bd

  Copy full SHA for 4e412bd

Commits on Feb 9, 2023

• Map variables to the same registers during compile

  Show description for a456176
  ruuda

  committed
  a456176

  Copy full SHA for a456176

• Apply optimizer to constraints

  Show description for d85c12a
  ruuda

  committed
  d85c12a

  Copy full SHA for d85c12a

• Add function to extract "definition" contraints

  ruuda

  committed
  b33000e

  Copy full SHA for b33000e

• Add constraint canonicalization

  Show description for 77ee75e
  ruuda

  committed
  77ee75e

  Copy full SHA for 77ee75e

• Generate slightly less silly constraints

  ruuda

  committed
  d2a8d77

  Copy full SHA for d2a8d77

Commits on Feb 8, 2023

• Emit R1CS constraints

  Show description for fdfa70d
  ruuda

  committed
  fdfa70d

  Copy full SHA for fdfa70d

• Split output in definitions and constraints

  ruuda

  committed
  8f1fd05

  Copy full SHA for 8f1fd05

• Convert to a proper circuit builder monad

  ruuda

  committed
  7ac4772

  Copy full SHA for 7ac4772

• Add gitignore

  ruuda

  committed
  d826068

  Copy full SHA for d826068

Commits on Feb 7, 2023

• Emit some output from the "compiler"

  Show description for 7622b98
  ruuda

  committed
  7622b98

  Copy full SHA for 7622b98

• Toy around with Haskell

  Show description for dc8d5f2
  ruuda

  committed
  dc8d5f2

  Copy full SHA for dc8d5f2

• Add a Nix devshell

  Show description for a0adee3
  ruuda

  committed
  a0adee3

  Copy full SHA for a0adee3

• Initial commit

  Show description for 8d83a98
  ruuda

  committed
  8d83a98

  Copy full SHA for 8d83a98