[paparazzi-commits] [paparazzi/paparazzi] c341c1: Remove hardcopy of hacl-c

[GitHub]

  Branch: refs/heads/hacl
  Home:   https://github.com/paparazzi/paparazzi
  Commit: c341c19bf64b4b5a92688d3abafaff1c5579cc47
      
https://github.com/paparazzi/paparazzi/commit/c341c19bf64b4b5a92688d3abafaff1c5579cc47
  Author: Michal Podhradsky <address@hidden>
  Date:   2017-12-01 (Fri, 01 Dec 2017)

  Changed paths:
    R sw/ext/hacl-c/.gitignore
    R sw/ext/hacl-c/AEAD_Poly1305_64.c
    R sw/ext/hacl-c/AEAD_Poly1305_64.h
    R sw/ext/hacl-c/CMakeLists.txt
    R sw/ext/hacl-c/FStar.c
    R sw/ext/hacl-c/FStar.h
    R sw/ext/hacl-c/Hacl_Chacha20.c
    R sw/ext/hacl-c/Hacl_Chacha20.h
    R sw/ext/hacl-c/Hacl_Chacha20Poly1305.c
    R sw/ext/hacl-c/Hacl_Chacha20Poly1305.h
    R sw/ext/hacl-c/Hacl_Chacha20_Vec128.c
    R sw/ext/hacl-c/Hacl_Chacha20_Vec128.h
    R sw/ext/hacl-c/Hacl_Curve25519.c
    R sw/ext/hacl-c/Hacl_Curve25519.h
    R sw/ext/hacl-c/Hacl_Ed25519.c
    R sw/ext/hacl-c/Hacl_Ed25519.h
    R sw/ext/hacl-c/Hacl_HMAC_SHA2_256.c
    R sw/ext/hacl-c/Hacl_HMAC_SHA2_256.h
    R sw/ext/hacl-c/Hacl_Policies.c
    R sw/ext/hacl-c/Hacl_Policies.h
    R sw/ext/hacl-c/Hacl_Poly1305_64.c
    R sw/ext/hacl-c/Hacl_Poly1305_64.h
    R sw/ext/hacl-c/Hacl_SHA2_256.c
    R sw/ext/hacl-c/Hacl_SHA2_256.h
    R sw/ext/hacl-c/Hacl_SHA2_384.c
    R sw/ext/hacl-c/Hacl_SHA2_384.h
    R sw/ext/hacl-c/Hacl_SHA2_512.c
    R sw/ext/hacl-c/Hacl_SHA2_512.h
    R sw/ext/hacl-c/Hacl_Salsa20.c
    R sw/ext/hacl-c/Hacl_Salsa20.h
    R sw/ext/hacl-c/Makefile
    R sw/ext/hacl-c/NaCl.c
    R sw/ext/hacl-c/NaCl.h
    R sw/ext/hacl-c/kremlib.c
    R sw/ext/hacl-c/kremlib.h
    R sw/ext/hacl-c/kremlib_base.h
    R sw/ext/hacl-c/kremlib_embedded.h
    R sw/ext/hacl-c/vec128.h

  Log Message:
  -----------
  Remove hardcopy of hacl-c


  Commit: 910f7c794b402dcd27b7048f7b7e6ec0a80a0181
      
https://github.com/paparazzi/paparazzi/commit/910f7c794b402dcd27b7048f7b7e6ec0a80a0181
  Author: Michal Podhradsky <address@hidden>
  Date:   2017-12-01 (Fri, 01 Dec 2017)

  Changed paths:
    M .gitmodules
    A sw/ext/hacl-c

  Log Message:
  -----------
  HACL-C as a proper submodule


Compare: 
https://github.com/paparazzi/paparazzi/compare/d931ed25d3da...910f7c794b40