Search results

Convert panics to return error values

IbisRelated to IbisRelated to Ibis

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#55 In project-oak/arcsjs-provable;

· Cypher1 opened on Mar 14, 2022

Investigate algebras for measuring data leakage

ExpressivityRelated to expressivityRelated to expressivity

IbisRelated to IbisRelated to Ibis

Raksha ParityRelated to reaching parity with RakshaRelated to reaching parity with Raksha

enhancementNew feature or requestNew feature or request

Status: Open.

#51 In project-oak/arcsjs-provable;

· Cypher1 opened on Mar 14, 2022

Model re-use limits (similar to linearity)

ArcsJsRelated primarily to requirements from ArcsJsRelated primarily to requirements from ArcsJs

ExpressivityRelated to expressivityRelated to expressivity

IbisRelated to IbisRelated to Ibis

PlanningRelated primarily to planning supportRelated primarily to planning support

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#50 In project-oak/arcsjs-provable;

· Cypher1 opened on Mar 14, 2022

Document Ibis

IbisRelated to IbisRelated to Ibis

documentationImprovements or additions to documentationImprovements or additions to documentation

good first issueGood for newcomersGood for newcomers

Status: Open.

#46 In project-oak/arcsjs-provable;

· Cypher1 opened on Mar 14, 2022

Update playground to provide multiple examples

IbisRelated to IbisRelated to Ibis

PlaygroundRelated to the playgroundRelated to the playground

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#45 In project-oak/arcsjs-provable;

· Cypher1 opened on Mar 14, 2022

Simplify configuration

ExpressivityRelated to expressivityRelated to expressivity

IbisRelated to IbisRelated to Ibis

Tech debt

Status: Open.

#44 In project-oak/arcsjs-provable;

· Cypher1 opened on Mar 14, 2022

Pre-prune solutions using taint

IbisRelated to IbisRelated to Ibis

PerformanceRelated to runtime performanceRelated to runtime performance

Tech debt

Status: Open.

#43 In project-oak/arcsjs-provable;

· Cypher1 opened on Mar 14, 2022

Tagging as types

ArcsJsRelated primarily to requirements from ArcsJsRelated primarily to requirements from ArcsJs

ExpressivityRelated to expressivityRelated to expressivity

IbisRelated to IbisRelated to Ibis

Status: Open.

#42 In project-oak/arcsjs-provable;

· Cypher1 opened on Mar 14, 2022

Opaque data (References / Keys)

ExpressivityRelated to expressivityRelated to expressivity

IbisRelated to IbisRelated to Ibis

Raksha ParityRelated to reaching parity with RakshaRelated to reaching parity with Raksha

Status: Open.

#41 In project-oak/arcsjs-provable;

· Cypher1 opened on Mar 14, 2022

Back tags

ExpressivityRelated to expressivityRelated to expressivity

IbisRelated to IbisRelated to Ibis

good first issueGood for newcomersGood for newcomers

Status: Open.

#40 In project-oak/arcsjs-provable;

· Cypher1 opened on Mar 14, 2022

Introduce all primitives needed for full Authorisation Logic

ExpressivityRelated to expressivityRelated to expressivity

IbisRelated to IbisRelated to Ibis

Raksha ParityRelated to reaching parity with RakshaRelated to reaching parity with Raksha

Status: Open.

#39 In project-oak/arcsjs-provable;

· Cypher1 opened on Mar 14, 2022