Skip to content
This repository has been archived by the owner on Mar 13, 2024. It is now read-only.

Issues: project-oak/arcsjs-provable

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

Issues list

Convert panics to return error values documentation Improvements or additions to documentation enhancement New feature or request good first issue Good for newcomers Ibis Related to Ibis
#55 opened Mar 14, 2022 by Cypher1
Investigate algebras for measuring data leakage enhancement New feature or request Expressivity Related to expressivity Ibis Related to Ibis Raksha Parity Related to reaching parity with Raksha
#51 opened Mar 14, 2022 by Cypher1
Model re-use limits (similar to linearity) ArcsJs Related primarily to requirements from ArcsJs bug Something isn't working enhancement New feature or request Expressivity Related to expressivity Ibis Related to Ibis Planning Related primarily to planning support
#50 opened Mar 14, 2022 by Cypher1
Document Ibis documentation Improvements or additions to documentation good first issue Good for newcomers Ibis Related to Ibis
#46 opened Mar 14, 2022 by Cypher1
Update playground to provide multiple examples enhancement New feature or request good first issue Good for newcomers Ibis Related to Ibis Playground Related to the playground
#45 opened Mar 14, 2022 by Cypher1
Simplify configuration Expressivity Related to expressivity Ibis Related to Ibis Tech debt
#44 opened Mar 14, 2022 by Cypher1
Pre-prune solutions using taint Ibis Related to Ibis Performance Related to runtime performance Tech debt
#43 opened Mar 14, 2022 by Cypher1
Tagging as types ArcsJs Related primarily to requirements from ArcsJs Expressivity Related to expressivity Ibis Related to Ibis
#42 opened Mar 14, 2022 by Cypher1
Opaque data (References / Keys) Expressivity Related to expressivity Ibis Related to Ibis Raksha Parity Related to reaching parity with Raksha
#41 opened Mar 14, 2022 by Cypher1
Back tags Expressivity Related to expressivity good first issue Good for newcomers Ibis Related to Ibis
#40 opened Mar 14, 2022 by Cypher1
Introduce all primitives needed for full Authorisation Logic Expressivity Related to expressivity Ibis Related to Ibis Raksha Parity Related to reaching parity with Raksha
#39 opened Mar 14, 2022 by Cypher1
ProTip! Mix and match filters to narrow down what you’re looking for.