ProvableHQ/leo issues and pull requests

#92 - Refactor/const

Pull Request - State: closed - Opened by collinc97 over 4 years ago - 1 comment

#91 - Feature/lib and imports

Pull Request - State: closed - Opened by collinc97 over 4 years ago - 1 comment

#90 - use updated sha2 functions

Pull Request - State: closed - Opened by collinc97 over 4 years ago - 1 comment

#89 - Add support for the address type

Issue - State: closed - Opened by collinc97 over 4 years ago
Labels: feature

#88 - flaky u8 integer test

Issue - State: closed - Opened by collinc97 over 4 years ago - 2 comments

#87 - circuit field definitions use self

Issue - State: closed - Opened by collinc97 over 4 years ago

#86 - group and field stack overflow error

Issue - State: closed - Opened by collinc97 over 4 years ago

#85 - Explicit Tuple Declaration

Issue - State: closed - Opened by raychu86 over 4 years ago

#84 - require spacing after keywords and add optional comma after circuit fields

Pull Request - State: closed - Opened by collinc97 over 4 years ago - 1 comment

#83 - make const immutable

Issue - State: closed - Opened by collinc97 over 4 years ago

#82 - Bump sha2 from 0.8.2 to 0.9.0

Pull Request - State: closed - Opened by dependabot-preview[bot] over 4 years ago
Labels: dependencies

#81 - Bump rusty-hook from 0.11.1 to 0.11.2

Pull Request - State: closed - Opened by dependabot-preview[bot] over 4 years ago - 1 comment
Labels: dependencies

#80 - Add debug flag, improve CLI messages, add num_constraints, add 'leo clean'

Pull Request - State: closed - Opened by howardwu over 4 years ago - 1 comment

#79 - Cleanup CI

Pull Request - State: closed - Opened by howardwu over 4 years ago

#78 - Feature/ci

Pull Request - State: closed - Opened by howardwu over 4 years ago

#77 - Adds ci.yml

Pull Request - State: closed - Opened by howardwu over 4 years ago - 1 comment

#76 - Dependabot couldn't fetch all your path-based dependencies

Issue - State: closed - Opened by dependabot-preview[bot] over 4 years ago

#75 - leo publish, zip files for packaging and adds program serialization

Pull Request - State: closed - Opened by collinc97 over 4 years ago - 1 comment
Labels: feature

#74 - Add macros

Issue - State: closed - Opened by collinc97 over 4 years ago
Labels: feature

#73 - Feature/comparator

Pull Request - State: closed - Opened by collinc97 over 4 years ago - 1 comment

#72 - Feature/multiple returns

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#71 - Enforce multiple return statements

Issue - State: closed - Opened by collinc97 over 4 years ago
Labels: feature

#70 - Fix/namespace

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#69 - Update ast and typed names

Pull Request - State: closed - Opened by howardwu over 4 years ago

#68 - Feature/span

Pull Request - State: closed - Opened by collinc97 over 4 years ago
Labels: feature

#67 - Update file extensions, update + fix CLI, update compiler

Pull Request - State: closed - Opened by howardwu over 4 years ago - 1 comment

#66 - Make program and input file parsing independent of cli

Issue - State: closed - Opened by collinc97 over 4 years ago - 2 comments
Labels: bug

#65 - Feature/const

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#64 - remove reserved characters

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#63 - Remove/visibility

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#62 - Improves compilation time by turning off unused features in snarkOS

Pull Request - State: closed - Opened by howardwu over 4 years ago

#61 - Add mermaid rendering for markdown

Pull Request - State: closed - Opened by howardwu over 4 years ago

#60 - Refactor/program struct

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#59 - Remove constraint system trait from constrained program type

Issue - State: closed - Opened by collinc97 over 4 years ago

#58 - Implement let and const variable keywords

Issue - State: closed - Opened by collinc97 over 4 years ago
Labels: feature

#57 - Remove visibility

Issue - State: closed - Opened by collinc97 over 4 years ago
Labels: refactor

#56 - Conflicting namespaces

Issue - State: closed - Opened by collinc97 over 4 years ago
Labels: bug, refactor

#55 - Refactor conditional statements

Pull Request - State: closed - Opened by collinc97 over 4 years ago - 1 comment
Labels: feature, refactor

#54 - Update file extension name formats

Issue - State: closed - Opened by howardwu over 4 years ago
Labels: refactor

#53 - Feature/leo inputs

Pull Request - State: closed - Opened by collinc97 over 4 years ago - 1 comment

#52 - Assertion in conditional branch check

Issue - State: closed - Opened by howardwu over 4 years ago

#51 - Adds build infrastructure and tooling

Pull Request - State: closed - Opened by howardwu over 4 years ago - 1 comment

#50 - Introduces LeoParser, removes pest for leo-compiler

Pull Request - State: closed - Opened by howardwu over 4 years ago

#49 - Introduces types module for internal program representation

Pull Request - State: closed - Opened by howardwu over 4 years ago

#48 - Split ast into access, circuits, common, expressions, imports, operations, statements, types, and values

Pull Request - State: closed - Opened by howardwu over 4 years ago

#47 - Removes unused imports and reorders toml in leo-compiler

Pull Request - State: closed - Opened by howardwu over 4 years ago

#46 - Refactors SyntaxError to leo-ast

Pull Request - State: closed - Opened by howardwu over 4 years ago

#45 - Migrates ast to leo-ast module

Pull Request - State: closed - Opened by howardwu over 4 years ago

#44 - Implement bitwise >=, >, <=, < gadgets

Issue - State: closed - Opened by collinc97 over 4 years ago
Labels: bug, feature

#43 - Feature/test syntax new

Pull Request - State: closed - Opened by collinc97 over 4 years ago
Labels: feature

#42 - Feature/syntax errors new

Pull Request - State: closed - Opened by collinc97 over 4 years ago
Labels: feature

#41 - Dependency/snarkos master

Pull Request - State: closed - Opened by collinc97 over 4 years ago
Labels: refactor

#40 - Update leo integers to use snarkOS master branch

Issue - State: closed - Opened by collinc97 over 4 years ago
Labels: refactor

#39 - Refactor/field type

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#38 - Refactor FieldElement enum -> FieldType module

Issue - State: closed - Opened by collinc97 over 4 years ago
Labels: feature, refactor

#37 - Refactor/group type

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#36 - Implement import and packaging of repo

Issue - State: closed - Opened by howardwu over 4 years ago

#34 - Implement i8, i16, i32, i64 data types in Leo

Issue - State: closed - Opened by howardwu over 4 years ago

#33 - Migrate Leo from snarkOS to snarkVM

Issue - State: closed - Opened by howardwu over 4 years ago
Labels: refactor

#31 - Implement unit testing and syntax error framework in Leo

Issue - State: closed - Opened by howardwu over 4 years ago

#30 - Implement `field` and `group` data type to Leo

Issue - State: closed - Opened by howardwu over 4 years ago
Labels: feature

#29 - Add `group` data type to Leo

Issue - State: closed - Opened by howardwu over 4 years ago

#28 - Add `group` data type to Leo

Issue - State: closed - Opened by howardwu over 4 years ago - 1 comment

#27 - Clear Error Syntax

Issue - State: closed - Opened by collinc97 over 4 years ago
Labels: feature

#26 - Refactor GroupElement enum -> GroupType module

Issue - State: closed - Opened by collinc97 over 4 years ago - 6 comments
Labels: feature, refactor

#25 - Feature/test syntax

Pull Request - State: closed - Opened by collinc97 over 4 years ago
Labels: feature

#24 - Feature/syntax errors

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#23 - Fix/gadgets

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#22 - `leo new` should print to console on success

Issue - State: closed - Opened by howardwu over 4 years ago - 1 comment
Labels: feature

#21 - Adds build infrastructure and tooling

Pull Request - State: closed - Opened by howardwu over 4 years ago
Labels: feature

#20 - Leo gadgets

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#19 - Feature/tests

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#18 - Fixes 'leo build' to compile programs again. Updates tests to run on …

Pull Request - State: closed - Opened by howardwu over 4 years ago

#17 - Adds .cargo directory

Pull Request - State: closed - Opened by howardwu over 4 years ago

#16 - Adds skeleton for 'leo load' and 'leo unload'

Pull Request - State: closed - Opened by howardwu over 4 years ago

#15 - Implements subcommand ordering and updates subcommand descriptions

Pull Request - State: closed - Opened by howardwu over 4 years ago

#14 - Adds skeleton CLI for `leo deploy`

Pull Request - State: closed - Opened by howardwu over 4 years ago

#13 - Adds skeleton CLI for `leo publish`

Pull Request - State: closed - Opened by howardwu over 4 years ago

#12 - Adds gitignore file, migrates manifest file under files directory

Pull Request - State: closed - Opened by howardwu over 4 years ago

#11 - Feature/implicit types

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#10 - Feature/static functions

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#9 - Feature/mutability

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#8 - Feature/circuit syntax

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#7 - Development

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#6 - Development

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#5 - Feature/compiler

Pull Request - State: closed - Opened by howardwu over 4 years ago

#4 - Multiple variable assignment from function return

Pull Request - State: closed - Opened by collinc97 over 4 years ago

#3 - Evaluate adding native support for UI rendering

Issue - State: open - Opened by howardwu over 4 years ago - 2 comments
Labels: feature, proposal

#2 - Native support for unit testing in Leo

Issue - State: closed - Opened by howardwu over 4 years ago - 1 comment
Labels: feature

#1 - Development

Pull Request - State: closed - Opened by collinc97 over 4 years ago

GitHub / ProvableHQ/leo issues and pull requests