Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / reilabs/gnark-lean-demo issues and pull requests

#21 - Extractor v2

Pull Request - State: open - Opened by Eagle941 11 months ago

#20 - fix: added timeout workflow

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#20 - fix: added timeout workflow

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#19 - fix: removed unused simp

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#19 - fix: removed unused simp

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#18 - chore: added comments

Pull Request - State: open - Opened by Eagle941 over 1 year ago

#18 - chore: added comments

Pull Request - State: open - Opened by Eagle941 over 1 year ago

#17 - light/dark mode logo

Pull Request - State: closed - Opened by gswirski over 1 year ago

#17 - light/dark mode logo

Pull Request - State: closed - Opened by gswirski over 1 year ago

#16 - chore: replaced dependencies folder with repos

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#15 - chore: refactoring of theorems

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#14 - Prepare the repository for publication

Pull Request - State: closed - Opened by iamrecursion over 1 year ago
Labels: documentation

#13 - chore: Added license

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#12 - set tree depth to 20

Pull Request - State: closed - Opened by kustosz over 1 year ago

#11 - chore: added basic ci/cd workflow

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#10 - chore: Renamed library to gnark-lean-extractor

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#9 - Circuit simplified

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#8 - add Readme

Pull Request - State: closed - Opened by kustosz over 1 year ago

#7 - fix: Fixed proof signaller_is_in_tree

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#6 - poseidon verification

Pull Request - State: closed - Opened by kustosz over 1 year ago

#5 - fix: Posix compatibility and refactor

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#4 - fix: Added posix path and fixed imports

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#3 - Added poseidon and updated with new extractor

Pull Request - State: closed - Opened by Eagle941 over 1 year ago

#2 - Poseidon implementation

Issue - State: closed - Opened by Eagle941 over 1 year ago

#1 - feat: Added CLI interface

Pull Request - State: closed - Opened by Eagle941 over 1 year ago