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

11 Open 6 Closed
11 Open 6 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

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
1
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
1
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! Updated in the last three days: updated:>2024-11-17.