Commits

Branch selector

 gb/remove-lambda-dom

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 31, 2023

• `ContAddr` done

  Show description for e07c94c
  gabriel-barrett

  committed
  e07c94c

  Copy full SHA for e07c94c

• `ContAddrM` now extends `MetaM`

  gabriel-barrett

  committed
  bad7b6d

  Copy full SHA for bad7b6d

• `ContAddr` now annotates all valid lambdas that could be reached by a call to `infer`

  gabriel-barrett

  committed
  fa7b583

  Copy full SHA for fa7b583

Commits on Mar 29, 2023

• Added a `type` field to recursor rule

  gabriel-barrett

  committed
  30c5933

  Copy full SHA for 30c5933

Commits on Mar 28, 2023

• Merge branch 'main' of github.com:lurk-lab/yatima into gb/remove-lambda-dom

  gabriel-barrett

  committed
  9bec549

  Copy full SHA for 9bec549

Commits on Mar 27, 2023

• Add new SSA pruning optimizations from Lurk.lean (#273)

  Show description for 15ddf2c
  

  winston-h-zhang

  and

  arthurpaulino

  authored
  15ddf2c

  Copy full SHA for 15ddf2c

• Removed domain field from lambdas

  gabriel-barrett

  committed
  8cd8ed2

  Copy full SHA for 8cd8ed2

Commits on Mar 24, 2023

• update deps org (#271)

  arthurpaulino

  authored
  5477923

  Copy full SHA for 5477923

• Optimize the code generator (#270)

  Show description for b5d153f
  

  winston-h-zhang

  and

  arthurpaulino

  authored
  b5d153f

  Copy full SHA for b5d153f

Commits on Mar 23, 2023

• Debugging `add_comm`, it works (#267)

  Show description for 527b17f
  

  winston-h-zhang

  and

  arthurpaulino

  authored
  527b17f

  Copy full SHA for 527b17f

Commits on Mar 21, 2023

• Beef up the `prove` command with a `--no-hash` flag (#266)

  Show description for d541687
  arthurpaulino

  authored
  d541687

  Copy full SHA for d541687

• Debug the Lurk.lean typechecker (#262)

  Show description for 902f465
  

  winston-h-zhang

  and

  arthurpaulino

  authored
  902f465

  Copy full SHA for 902f465

Commits on Mar 17, 2023

• Improve the CI run (#261)

  Show description for afddc0a
  arthurpaulino

  authored
  afddc0a

  Copy full SHA for afddc0a

• bump LightData.lean

  arthurpaulino

  committed
  c6efe35

  Copy full SHA for c6efe35

• update lightdata, add Id.lean (#260)

  Show description for b48dc65
  johnchandlerburnham

  authored
  b48dc65

  Copy full SHA for b48dc65

Commits on Mar 16, 2023

• Removed prop from TypeInfo (#256)

  Show description for ac4cee3
  gabriel-barrett

  authored
  ac4cee3

  Copy full SHA for ac4cee3

• Ap/demo (#259)

  Show description for cdfc542
  

  arthurpaulino

  and

  johnchandlerburnham

  authored
  cdfc542

  Copy full SHA for cdfc542

Commits on Mar 15, 2023

• better default name for the store

  arthurpaulino

  committed
  dba0278

  Copy full SHA for dba0278

• probably the last fixes for the demo

  arthurpaulino

  committed
  673f27f

  Copy full SHA for 673f27f

• Ap/demo (#258)

  arthurpaulino

  authored
  18770f8

  Copy full SHA for 18770f8

• Hashing the typechecker (#257)

  Show description for 9bea265
  arthurpaulino

  authored
  9bea265

  Copy full SHA for 9bea265

Commits on Mar 13, 2023

• factor out blake3 (#254)

  Show description for da98b02
  arthurpaulino

  authored
  da98b02

  Copy full SHA for da98b02

Commits on Mar 11, 2023

• Refactor Value.app to contain complete type information (#255)

  Show description for c46d6ce
  gabriel-barrett

  authored
  c46d6ce

  Copy full SHA for c46d6ce

Commits on Mar 10, 2023

• bump libs (#253)

  Show description for 8172af3
  arthurpaulino

  authored
  8172af3

  Copy full SHA for 8172af3

• Make Lurk stores use optional scalar expressions (#252)

  Show description for 07765f6
  arthurpaulino

  authored
  07765f6

  Copy full SHA for 07765f6

Commits on Mar 9, 2023

• zkTCs (#246)

  Show description for 2636fa3
  arthurpaulino

  authored
  2636fa3

  Copy full SHA for 2636fa3

Commits on Mar 7, 2023

• remove broken flake, which is worse than no flake (#248)

  Show description for 1f8d484
  johnchandlerburnham

  authored
  1f8d484

  Copy full SHA for 1f8d484

Commits on Feb 27, 2023

• [RFC] Generating Lurk proofs of typechecking (#242)

  Show description for ce11434
  

  4 peopleauthored
  ce11434

  Copy full SHA for ce11434

Commits on Jan 26, 2023

• Avoiding reader errors with code anonymization (#233)

  Show description for bef2ccf
  arthurpaulino

  authored
  bef2ccf

  Copy full SHA for bef2ccf

Commits on Jan 15, 2023

• Typechecker simplifications (#241)

  Show description for 517ec2f
  

  3 peopleauthored
  517ec2f

  Copy full SHA for 517ec2f

Commits on Jan 11, 2023

• bump libs and toolchain (#240)

  arthurpaulino

  authored
  53edab6

  Copy full SHA for 53edab6

Commits on Jan 8, 2023

• Update README.md

  johnchandlerburnham

  authored
  85c8f61

  Copy full SHA for 85c8f61

Commits on Jan 3, 2023

• bumping due to API fix on YatimaStdLib (#237)

  arthurpaulino

  authored
  067bc0a

  Copy full SHA for 067bc0a

Commits on Jan 2, 2023

• bump toolchain (#235)

  arthurpaulino

  authored
  07811ba

  Copy full SHA for 07811ba

• remove rust code and move to radiya.rs (#234)

  Show description for 34fdb14
  mpenciak

  authored
  34fdb14

  Copy full SHA for 34fdb14

Pagination

Previous

Next