Skip to content

Issues: apl-cornell/viaduct

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

16 Open 82 Closed
16 Open 82 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Runtime should verify the shape of Arrays
#628 opened Mar 21, 2023 by cacay
@cacay
Exporting the information flow graph only exports first function bug Something isn't working
#523 opened Oct 22, 2022 by cacay
@cacay
Switch back to embeddedKotlinVersion when Gradle 7.5 comes out
#433 opened May 28, 2022 by cacay
ABY Protocol Factory has Reference to Parent Factory
#415 opened Apr 27, 2022 by ianwilkietomasik
@rolph-recto @cacay
Cleanup interpreter runtime enhancement New feature or request
#338 opened Feb 2, 2022 by rolph-recto
@rolph-recto
Add protocol subtyping for read-only operations enhancement New feature or request
#289 opened Nov 20, 2021 by cacay
@rolph-recto @cacay
3
Commitment Opening Event Generation bug Something isn't working
#287 opened Nov 17, 2021 by ianwilkietomasik
@rolph-recto @cacay @ianwilkietomasik
Use TLS in the runtime enhancement New feature or request
#285 opened Nov 15, 2021 by cacay
@gancherj
1
ILP solver enhancement New feature or request
#263 opened Nov 1, 2021 by rolph-recto
1
@rolph-recto
refactor test suite to remove redundancy enhancement New feature or request
#262 opened Nov 1, 2021 by rolph-recto
@rolph-recto
ProtocolAnalysis should have an AnalysisProvider instance
#252 opened Oct 20, 2021 by cacay
1
ABY benchmark uses ZKP bug Something isn't working
#215 opened Jul 29, 2021 by cacay
@rolph-recto
make SMT constraint translation iterative enhancement New feature or request
#208 opened Jul 20, 2021 by rolph-recto
Add protocol annotations to variables, expressions, statements etc. enhancement New feature or request
#48 opened Jun 11, 2020 by cacay
@rolph-recto
partial evaluation for circuit-friendly protocols enhancement New feature or request
#45 opened May 21, 2020 by rolph-recto
@rolph-recto
protocol redundancy remover
#32 opened Aug 19, 2019 by rolph-recto
@rolph-recto
ProTip! Find all open issues with in progress development work with linked:pr.