issues
search
DiffMu
/
DiffPrivacyInferenceHs
BSD 3-Clause "New" or "Revised" License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
do not allow mutating dmterms on matrices
#280
ooovi
closed
2 years ago
0
document the two functions to do the actual checking
#279
ooovi
closed
2 years ago
0
update github readmes
#278
ooovi
closed
2 years ago
0
warn upon clipped container input
#277
ooovi
closed
2 years ago
0
check for duplicate signatures using actual julia types
#276
ooovi
closed
2 years ago
0
fix stupid flux dp example
#275
ooovi
closed
2 years ago
0
Change the error message for passing refs as mutated arguments
#274
MxmUrw
closed
2 years ago
0
Add column for "julia type"-translation of "dm type"
#273
MxmUrw
closed
2 years ago
0
Check that function return values are not self-aliased
#272
MxmUrw
closed
2 years ago
0
Update the haskell subtree in the julia repo
#271
MxmUrw
closed
2 years ago
0
code clean up
#270
ooovi
closed
2 years ago
0
full reference - scoping system (VAT)
#269
MxmUrw
closed
2 years ago
0
full reference - mutation system & immut types
#268
MxmUrw
closed
2 years ago
0
write the actual documentation
#267
ooovi
closed
2 years ago
0
Make other preprocessing error messages pretty
#266
MxmUrw
closed
2 years ago
0
resolve `sup(a,a)`
#265
ooovi
closed
2 years ago
1
Demutation bug
#264
MxmUrw
closed
2 years ago
0
Make demutation error messages pretty
#263
MxmUrw
closed
2 years ago
1
Update failing test cases to new show output
#262
MxmUrw
closed
2 years ago
0
Inherit sensitivity variable-names from the const-argument-names where they come from
#261
MxmUrw
closed
2 years ago
1
make showPretty pretty
#260
ooovi
closed
2 years ago
0
warn about the dangers of the floating point
#259
ooovi
closed
2 years ago
0
impement secure exponential mechanism
#258
ooovi
opened
2 years ago
0
Use unicode subscript instead of `_123`?
#257
MxmUrw
closed
2 years ago
2
The flux_dp example is broken (missing clip annotation)
#256
MxmUrw
closed
2 years ago
0
Constraint locations sometimes occur twice in the text
#255
MxmUrw
closed
2 years ago
0
What about `f(f)`?
#254
MxmUrw
closed
2 years ago
1
Unclear parser error message
#253
MxmUrw
closed
2 years ago
0
Supremum inheritance between layers fails
#252
MxmUrw
closed
2 years ago
2
check if filenames are proper with includes
#251
ooovi
closed
2 years ago
1
Sometimes duplicate locations occur in constraint messages
#250
MxmUrw
opened
2 years ago
0
single-choice IsChoice constraint should be resolved
#249
ooovi
closed
2 years ago
1
Change position of `Data` in the hierarchy
#248
MxmUrw
closed
2 years ago
2
subtyping assumes numeric type hierarchy has top and bottom
#247
ooovi
opened
2 years ago
3
We want to keep the unsolvable constraints in a list, to be able to display them all
#246
MxmUrw
closed
2 years ago
1
unification messages are not displayed upon error
#245
ooovi
closed
2 years ago
1
We allow return type annotations.
#244
MxmUrw
closed
2 years ago
3
We remove inline type annotations.
#243
MxmUrw
closed
2 years ago
0
Better pretty-printing of the affected part of code on error / in constraints
#242
MxmUrw
closed
2 years ago
2
Better error messages for parsing
#241
MxmUrw
closed
2 years ago
1
warn about leaky laplacians
#239
ooovi
closed
2 years ago
1
make norms explicit or automate everything properly
#238
ooovi
closed
2 years ago
0
Performance improvements
#237
MxmUrw
opened
2 years ago
0
Decide on formatting for DMTypes
#236
MxmUrw
closed
2 years ago
1
When encountering a typechecking error, print an approximate type anyways
#235
MxmUrw
closed
2 years ago
2
Format typechecking result properly
#234
MxmUrw
closed
2 years ago
0
we need too much ram
#233
ooovi
opened
2 years ago
0
Possible demutation bug
#232
MxmUrw
closed
2 years ago
3
constraint messages don't know true variable names
#231
ooovi
closed
2 years ago
1
builtins cannot be used as higher order functions
#230
ooovi
closed
2 years ago
0
Next