Issues

• impement secure exponential mechanism

  DiffMu/DiffPrivacyInferenceHs#258 · Filter by author ooovi opened on Apr 14, 2022 · Future ideas

• Sometimes duplicate locations occur in constraint messages

  User Interface
  DiffMu/DiffPrivacyInferenceHs#250 · Filter by author MxmUrw opened on Mar 28, 2022
  

• subtyping assumes numeric type hierarchy has top and bottom

  bugunsolved constraint
  DiffMu/DiffPrivacyInferenceHs#247 · Filter by author ooovi opened on Mar 22, 2022 · Future ideas
  3

• Performance improvements

  Architecture
  DiffMu/DiffPrivacyInferenceHs#237 · Filter by author MxmUrw opened on Mar 18, 2022 · Future ideas

• we need too much ram

  enhancementFrozen
  DiffMu/DiffPrivacyInferenceHs#233 · Filter by author ooovi opened on Mar 17, 2022 · Future ideas

• We might want to have functions polymorphic over sensitivities

  ArchitectureenhancementFrozen
  DiffMu/DiffPrivacyInferenceHs#227 · Filter by author MxmUrw opened on Mar 11, 2022 · Future ideas
  1

• maybe enable using included modules

  enhancementUser Interface
  DiffMu/DiffPrivacyInferenceHs#226 · Filter by author ooovi opened on Mar 11, 2022 · Future ideas

• Generate some squiggly lines

  documentation
  DiffMu/DiffPrivacyInferenceHs#225 · Filter by author MxmUrw opened on Mar 11, 2022 · Future ideas
  1

• what's up with randomized response?

  enhancementFrozenquestion
  DiffMu/DiffPrivacyInferenceHs#220 · Filter by author ooovi opened on Mar 9, 2022 · Future ideas

• Do occur-check in unification instead of in subst-accumulation

  error handlingquestion
  DiffMu/DiffPrivacyInferenceHs#215 · Filter by author MxmUrw opened on Mar 1, 2022 · Future ideas
  3

  

• Leftover constraint when function return type is unknown

  Frozenquestionunsolved constraint
  DiffMu/DiffPrivacyInferenceHs#208 · Filter by author MxmUrw opened on Feb 23, 2022 · Future ideas
  1

• Backwards constness propagation

  questionunsolved constraint
  DiffMu/DiffPrivacyInferenceHs#204 · Filter by author MxmUrw opened on Feb 18, 2022 · Future ideas
  2

• Demutation could track reference-pass-through instead of enforcing no-pass-through

  ArchitectureDemutation
  DiffMu/DiffPrivacyInferenceHs#198 · Filter by author MxmUrw opened on Feb 10, 2022 · Future ideas

• Formulate all soundness assumptions

  documentationFrozen
  DiffMu/DiffPrivacyInferenceHs#184 · Filter by author MxmUrw opened on Jan 28, 2022 · Future ideas
  1

• Relax move rule for types which are actually copied

  Demutation
  DiffMu/DiffPrivacyInferenceHs#175 · Filter by author MxmUrw opened on Jan 25, 2022 · Future ideas
  1

  

• figure out what to do about leaky laplacians

  invalidquestion
  DiffMu/DiffPrivacyInferenceHs#173 · Filter by author ooovi opened on Jan 25, 2022 · Future ideas

• arithmetics could be cooler

  enhancementFrozenunsolved constraint
  DiffMu/DiffPrivacyInferenceHs#166 · Filter by author ooovi opened on Jan 16, 2022 · Future ideas
  1

• when exactly do we support higher order privacy functions?

  documentation
  DiffMu/DiffPrivacyInferenceHs#162 · Filter by author ooovi opened on Jan 12, 2022 · Future ideas
  1

• make two kinds of Fun types

  enhancementoptional
  DiffMu/DiffPrivacyInferenceHs#161 · Filter by author ooovi opened on Jan 11, 2022 · Future ideas

• Track local name aliasing

  DemutationFrozen
  DiffMu/DiffPrivacyInferenceHs#158 · Filter by author MxmUrw opened on Jan 10, 2022 · Future ideas
  4

  

• Reenable DPGD test

  Frozentesting
  DiffMu/DiffPrivacyInferenceHs#151 · Filter by author MxmUrw opened on Jan 4, 2022 · Future ideas
  2

• Consider to store terms instead of TC values in the scope.

  Architecture
  DiffMu/DiffPrivacyInferenceHs#143 · Filter by author MxmUrw opened on Jan 3, 2022 · Future ideas

• Connect the subtyping layers in a different way (for supremum)

  ArchitectureenhancementFrozen
  DiffMu/DiffPrivacyInferenceHs#136 · Filter by author MxmUrw opened on Dec 21, 2021 · Future ideas
  3

  

• this function takes a long time to check and creates a million type variables

  invalidquestion
  DiffMu/DiffPrivacyInferenceHs#132 · Filter by author ooovi opened on Dec 20, 2021 · Future ideas

• leftover constraints on irrelevant variables

  Frozenunsolved constraint
  DiffMu/DiffPrivacyInferenceHs#119 · Filter by author ooovi opened on Nov 29, 2021 · Future ideas
  3