Search results

Merge distance and expression in AST

refactorsomething could have been done bettersomething could have been done better

Status: Open.

#40 In ssoelvsten/mlightdp;

· ssoelvsten opened on Jun 1, 2020

Add comments to MLightDP programs

enhancementNew feature or requestNew feature or request

Status: Open.

#37 In ssoelvsten/mlightdp;

· ssoelvsten opened on May 31, 2020

Add custom assertions in MLightDP programs

Status: Open.

#36 In ssoelvsten/mlightdp;

· ssoelvsten opened on May 31, 2020

Output worst-case privacy-budget cost on Laplace

dafnyDafny cannot parse/verify somethingDafny cannot parse/verify something

enhancementNew feature or requestNew feature or request

Status: Open.

#34 In ssoelvsten/mlightdp;

· ssoelvsten opened on May 31, 2020

·  

Non-linear Arithmetic

Output assertion for Laplace privacy-budget cost bound

dafnyDafny cannot parse/verify somethingDafny cannot parse/verify something

enhancementNew feature or requestNew feature or request

Status: Open.

#33 In ssoelvsten/mlightdp;

· ssoelvsten opened on May 31, 2020

·  

Non-linear Arithmetic

Allow wider usage of ^ operator

enhancementNew feature or requestNew feature or request

Status: Open.

#31 In ssoelvsten/mlightdp;

· ssoelvsten opened on May 31, 2020

·  

Improved Differential Privacy Type Checking

Mutable dependency tracking should be on distance not expressions

bugSomething isn't workingSomething isn't working

Status: Open.

#30 In ssoelvsten/mlightdp;

· ssoelvsten opened on May 31, 2020

·  

Refinement Step

Mutable dependency tracking for normal variables

bugSomething isn't workingSomething isn't working

questionFurther information is requestedFurther information is requested

Status: Open.

#29 In ssoelvsten/mlightdp;

· ssoelvsten opened on May 31, 2020

·  

Refinement Step

Non-zero distance function definitions

enhancementNew feature or requestNew feature or request

Status: Open.

#28 In ssoelvsten/mlightdp;

· ssoelvsten opened on May 31, 2020

·  

Mutually recursive functions

Infer non-zero distance function calls

enhancementNew feature or requestNew feature or request

Status: Open.

#27 In ssoelvsten/mlightdp;

· ssoelvsten opened on May 31, 2020

·  

Mutually recursive functions

Allow multiple zero-distance function definitions

enhancementNew feature or requestNew feature or request

Status: Open.

#26 In ssoelvsten/mlightdp;

· ssoelvsten opened on May 31, 2020

·  

Mutually recursive functions

T-OModulo Rule Update

enhancementNew feature or requestNew feature or request

type relaxationA typing rule can be more fine-grained / relaxedA typing rule can be more fine-grained / relaxed

Status: Open.

#25 In ssoelvsten/mlightdp;

· ssoelvsten opened on May 28, 2020

·  

Improved Differential Privacy Type Checking