Hart.Tree: exposition des fonctions à l'interface principale avec la gestion d'erreur

  • Hart.tree:
    • Exposer toutes les fonctions de Hart.Internal.tree
    • Tests unitaires
  • HartTest.common: Utilitaires de test généraux
  • HartTest.tree: tous les tests pour Hart.tree
  • Hart.Monad: transformateur de monade de Hart pour les fonctionnements de Hart.Tree
  • Hart.Internal.tree: divers correctifs et changements
    • Suppression de la validation des données de ces fonctions. Ça va être géré par Hart.tree.
    • updateCommonCopathNode: Passage du nœud du co-chemin en tant que paramètre.
    • updatekey:
      • Mise à jour de la clef comme tel.
      • Changement de StartUpRemoteUser à RemoteUser.
    • UpdateLocalUserPrivatekey: Mise à jour de l'utilisateur local est un processus différent de la mise à jour de tout autre. clé.
    • delete: Suppression avant la mise à jour sur le co-chemin.
    • Exporter tout du module.
  • LBSTree: correction de l'uniformité de nommage sur les constantes de cordes
  • Hart.DiffieHellman: Lentille pour DHMaterial
  • Hart.DiffieHellman: dépendance sur z de (DHMaterial Z) pour DHCompubable
Edited by Simon Désaulniers

Merge request reports

Loading