o1-labs/snarky issues and pull requests

#699 - remove eval_constraint global by just making the default true (easy!)

Issue - State: closed - Opened by mimoo about 2 years ago - 2 comments
Labels: no-issue-activity

#698 - we can delete in_checked_computation (according to gregor)

Issue - State: closed - Opened by mimoo about 2 years ago - 1 comment

#697 - remove R1CS trick

Issue - State: closed - Opened by mimoo about 2 years ago - 2 comments
Labels: no-issue-activity

#674 - Remove R1CS_constraint_system from snark_intf

Pull Request - State: open - Opened by mrmr1993 about 2 years ago - 1 comment
Labels: no-pr-activity

#658 - removing unecessary r1cs offset trick

Pull Request - State: closed - Opened by mimoo over 2 years ago - 1 comment

#100 - [Meja] Implicit arguments

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago - 1 comment

#99 - [Meja] Add a debug printing function for types

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#98 - [Meja] Handle Tctor parameters everywhere

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#97 - Stop needing `open Let_syntax`

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#96 - Pull 'field_var out of type parameters

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#95 - Store variable indexes as ints in Cvar.t

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#94 - where can I fund the resulting compiled R1CS or snarks?

Issue - State: closed - Opened by udibr almost 6 years ago - 3 comments

#93 - Update dockerfile

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#92 - Imperative interface v2

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago - 7 comments

#91 - Dockerfile is broken

Issue - State: closed - Opened by udibr almost 6 years ago - 3 comments

#90 - [Meja] Add support for prefix/infix operators

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago - 1 comment

#89 - [Meja] Add `open ModuleName`

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#88 - [Meja] Add field elements to the initial environment

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#87 - Turn on errors for all warnings

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago - 1 comment

#86 - removed unused opens

Pull Request - State: closed - Opened by jkrauska almost 6 years ago

#85 - Make eval_constraints global

Pull Request - State: closed - Opened by nholland94 almost 6 years ago

#84 - Imperative interface

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago - 1 comment

#83 - Break out meja tests for CI

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#82 - Test that opam pin works in CI

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#81 - Tweak the opam files, give a better installation method

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#80 - Convert jbuild files to dune

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#79 - Fix opam installation

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#78 - Unable to install from latest commit

Issue - State: closed - Opened by kunxian-xia almost 6 years ago - 1 comment

#77 - [Meja] Re-generate the AST in the typechecker

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#76 - [Meja] Add records and constructors

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#75 - Build locally by default when calling `make`

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#74 - Remove R1CS_constraint_system.is_satisfied call

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#73 - Consider compiling to rust/bellman

Issue - State: closed - Opened by imeckler almost 6 years ago

#72 - Remove `with_constraint_system`

Pull Request - State: closed - Opened by imeckler almost 6 years ago - 1 comment

#71 - Expose to_bigstring from Bigint.R

Pull Request - State: closed - Opened by imeckler almost 6 years ago

#70 - Fold of array

Pull Request - State: closed - Opened by imeckler almost 6 years ago

#69 - fix `Field.of_int`

Pull Request - State: closed - Opened by imeckler almost 6 years ago

#68 - add boolean xor and improve equal by one constaint

Pull Request - State: closed - Opened by imeckler almost 6 years ago

#67 - Move test utils into snarky

Pull Request - State: closed - Opened by imeckler almost 6 years ago

#66 - [Meja] Add variant types

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#65 - [Meja] Add basic module support

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#64 - [Meja] Add switch statements

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#63 - Add _, | and integer literal patterns

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#62 - [Meja] Add type declarations

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#61 - Make a beautiful 'top level' API

Issue - State: closed - Opened by imeckler almost 6 years ago

#60 - [Meja] Better errors

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#59 - [Meja] Tuples

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#58 - [Meja] Add Tpoly for tracking polymorphic variables

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#57 - [Meja] Add --binml to output an ast for the OCaml compiler

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#56 - Carry locations in the ast

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago - 1 comment

#55 - Simplify by using bind_none

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#54 - Meja basic

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago - 4 comments

#53 - Dedicated language for snarky

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago - 2 comments

#52 - Add set_eval_constraints

Pull Request - State: closed - Opened by mrmr1993 almost 6 years ago

#51 - Faster Field.project

Pull Request - State: closed - Opened by emberian about 6 years ago

#50 - Ensure unit tests are run

Pull Request - State: closed - Opened by emberian about 6 years ago

#49 - Expose Stringable.S on Snark_intf.Proof.t

Pull Request - State: closed - Opened by mrmr1993 about 6 years ago

#48 - Fix merkle_update example

Pull Request - State: closed - Opened by mrmr1993 about 6 years ago - 2 comments

#47 - Add a formatting check to CI

Pull Request - State: closed - Opened by mrmr1993 about 6 years ago

#46 - Add local versions for snarkydef ppx, globally qualify the others

Pull Request - State: closed - Opened by mrmr1993 about 6 years ago

#45 - Rename Field.var and Field.Checked.t to Field.Var.t

Pull Request - State: closed - Opened by mrmr1993 about 6 years ago

#44 - Better error messages on unhandled requests

Pull Request - State: closed - Opened by bkase about 6 years ago

#43 - Add CI for Snarky

Pull Request - State: closed - Opened by bkase about 6 years ago

#42 - Require ocamlformat in CI

Issue - State: closed - Opened by bkase about 6 years ago

#41 - Merkle_update example fails

Issue - State: closed - Opened by bkase about 6 years ago - 2 comments

#40 - `let%snarkydef` requires `Tick` to be opened

Issue - State: closed - Opened by bkase about 6 years ago

#39 - mark libsnark code as vendored

Pull Request - State: closed - Opened by emberian about 6 years ago

#38 - Add some basic explanatory doc-comments

Pull Request - State: closed - Opened by mrmr1993 about 6 years ago

#37 - Tweak formatting

Pull Request - State: closed - Opened by mrmr1993 about 6 years ago - 1 comment

#36 - Pull everything out of Snarky functors that doesn't depend on Backend

Pull Request - State: closed - Opened by mrmr1993 about 6 years ago

#35 - Update snarky from the monorepo

Pull Request - State: closed - Opened by mrmr1993 about 6 years ago

#34 - Tutorial Example not working

Issue - State: closed - Opened by deepakraous over 6 years ago - 2 comments

#33 - "Hello Prove Me" -Snarky

Issue - State: closed - Opened by deepakraous over 6 years ago - 2 comments

#32 - Bring Snarky to the Web

Issue - State: closed - Opened by deepakraous over 6 years ago - 3 comments

#31 - snarky does not exist in docker hub

Issue - State: closed - Opened by deepakraous over 6 years ago - 1 comment

#30 - convert from jbuild to dune build files

Issue - State: closed - Opened by jkrauska over 6 years ago

#29 - Build example code in container

Issue - State: closed - Opened by jkrauska over 6 years ago - 1 comment

#28 - Use Stretch

Pull Request - State: closed - Opened by jkrauska over 6 years ago

#27 - Use stretch instead of buster for Container

Issue - State: closed - Opened by jkrauska over 6 years ago

#26 - Document everything

Issue - State: closed - Opened by bkase over 6 years ago

#25 - Add simple examples

Issue - State: closed - Opened by bkase over 6 years ago

#24 - Tutorial: Add section on provide-witness / request

Issue - State: closed - Opened by bkase over 6 years ago

#23 - Tutorial: Add section on to_bits/of_bits

Issue - State: closed - Opened by bkase over 6 years ago

#22 - Tutorial: Make the leap from ex2 to ex3 smoother

Issue - State: closed - Opened by bkase over 6 years ago

#21 - Clarify build and exec of examples in README

Pull Request - State: closed - Opened by bkase over 6 years ago

#20 - Dockerfile: fix typo, missing pkg-config dep, and permissions issue

Pull Request - State: closed - Opened by gtank over 6 years ago

#19 - Add missing deps

Pull Request - State: closed - Opened by bkase over 6 years ago - 2 comments

#18 - Build requires non-public dependencies?

Issue - State: closed - Opened by gtank over 6 years ago - 3 comments

#17 - cb6a5c67d8805288f33f8eb5e6b27f3a13ee7d5f

Pull Request - State: closed - Opened by bkase over 6 years ago

#16 - ctypes build failed - missing libffi dependency

Issue - State: closed - Opened by jkrauska over 6 years ago - 1 comment

#15 - Fix typos

Pull Request - State: closed - Opened by rex4539 over 6 years ago

#14 - error installing from latest commit

Issue - State: closed - Opened by tobowers over 6 years ago - 5 comments

#13 - DI.DL error

Issue - State: closed - Opened by ghost over 6 years ago - 1 comment

#12 - Ocaml version conflict on Debian

Issue - State: closed - Opened by ghost over 6 years ago - 3 comments

#11 - "git fetch -q origin" failed

Issue - State: closed - Opened by ghost over 6 years ago - 1 comment

#10 - a72285a7b089548e498387bac4b198fd855c0822/caad47d3486ba0ebb209a64b4780…

Pull Request - State: closed - Opened by imeckler over 6 years ago

#9 - Fix #3 Add Dockerfile and build instructions

Pull Request - State: closed - Opened by readevalprint over 6 years ago - 6 comments

#8 - # Error: Unbound module Bignum.Bigint

Issue - State: closed - Opened by lucasvo almost 7 years ago - 2 comments

#7 - fix: allow unpack to work when length is exactly the max field bit size

Pull Request - State: closed - Opened by erwanor almost 7 years ago - 1 comment

#6 - Explain how to compile the examples

Pull Request - State: closed - Opened by pirapira almost 7 years ago - 2 comments

GitHub / o1-labs/snarky issues and pull requests