Skip to content

Issues: DiffMu/DiffPrivacyInferenceHs

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

39 Open 240 Closed
39 Open 240 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

impement secure exponential mechanism
#258 opened Apr 14, 2022 by ooovi Future ideas
Sometimes duplicate locations occur in constraint messages User Interface
#250 opened Mar 28, 2022 by MxmUrw
@MxmUrw
subtyping assumes numeric type hierarchy has top and bottom bug Something isn't working unsolved constraint
#247 opened Mar 22, 2022 by ooovi Future ideas
3
Performance improvements Architecture A rewrite of rather global scope
#237 opened Mar 18, 2022 by MxmUrw
4 tasks
Future ideas
we need too much ram enhancement New feature or request Frozen
#233 opened Mar 17, 2022 by ooovi Future ideas
We might want to have functions polymorphic over sensitivities Architecture A rewrite of rather global scope enhancement New feature or request Frozen
#227 opened Mar 11, 2022 by MxmUrw Future ideas
1
maybe enable using included modules enhancement New feature or request User Interface
#226 opened Mar 11, 2022 by ooovi Future ideas
Generate some squiggly lines documentation Improvements or additions to documentation
#225 opened Mar 11, 2022 by MxmUrw Future ideas
1
what's up with randomized response? enhancement New feature or request Frozen question Further information is requested
#220 opened Mar 9, 2022 by ooovi Future ideas
Do occur-check in unification instead of in subst-accumulation error handling Error messages are useless question Further information is requested
#215 opened Mar 1, 2022 by MxmUrw Future ideas
@MxmUrw
3
Leftover constraint when function return type is unknown Frozen question Further information is requested unsolved constraint
#208 opened Feb 23, 2022 by MxmUrw Future ideas
1
Backwards constness propagation question Further information is requested unsolved constraint
#204 opened Feb 18, 2022 by MxmUrw Future ideas
2
Demutation could track reference-pass-through instead of enforcing no-pass-through Architecture A rewrite of rather global scope Demutation Handle builtins that mutate their arguments
#198 opened Feb 10, 2022 by MxmUrw Future ideas
Formulate all soundness assumptions documentation Improvements or additions to documentation Frozen
#184 opened Jan 28, 2022 by MxmUrw Future ideas
1
Relax move rule for types which are actually copied Demutation Handle builtins that mutate their arguments
#175 opened Jan 25, 2022 by MxmUrw
2 tasks
Future ideas
@MxmUrw
1
figure out what to do about leaky laplacians invalid This doesn't seem right question Further information is requested
#173 opened Jan 25, 2022 by ooovi Future ideas
arithmetics could be cooler enhancement New feature or request Frozen unsolved constraint
#166 opened Jan 16, 2022 by ooovi
2 of 5 tasks
Future ideas
1
when exactly do we support higher order privacy functions? documentation Improvements or additions to documentation
#162 opened Jan 12, 2022 by ooovi Future ideas
1
make two kinds of Fun types enhancement New feature or request optional
#161 opened Jan 11, 2022 by ooovi Future ideas
Track local name aliasing Demutation Handle builtins that mutate their arguments Frozen
#158 opened Jan 10, 2022 by MxmUrw Future ideas
@MxmUrw
4
Reenable DPGD test Frozen testing
#151 opened Jan 4, 2022 by MxmUrw Future ideas
2
Consider to store terms instead of TC values in the scope. Architecture A rewrite of rather global scope
#143 opened Jan 3, 2022 by MxmUrw Future ideas
Connect the subtyping layers in a different way (for supremum) Architecture A rewrite of rather global scope enhancement New feature or request Frozen
#136 opened Dec 21, 2021 by MxmUrw Future ideas
@MxmUrw
3
this function takes a long time to check and creates a million type variables invalid This doesn't seem right question Further information is requested
#132 opened Dec 20, 2021 by ooovi Future ideas
leftover constraints on irrelevant variables Frozen unsolved constraint
#119 opened Nov 29, 2021 by ooovi Future ideas
3
ProTip! Follow long discussions with comments:>50.