[paparazzi-commits] [paparazzi/paparazzi] f8cecd: Update hacl-star

[GitHub]

  Branch: refs/heads/secure_link_tmp
  Home:   https://github.com/paparazzi/paparazzi
  Commit: f8cecd85b64b38b2c6d11b84ab1d1325721d74ea
      
https://github.com/paparazzi/paparazzi/commit/f8cecd85b64b38b2c6d11b84ab1d1325721d74ea
  Author: Michal Podhradsky <address@hidden>
  Date:   2017-11-19 (Sun, 19 Nov 2017)

  Changed paths:
    M sw/ext/hacl-star

  Log Message:
  -----------
  Update hacl-star


  Commit: ef63cb5ed24cd1d33aab7c680cb9e540f6f2a96d
      
https://github.com/paparazzi/paparazzi/commit/ef63cb5ed24cd1d33aab7c680cb9e540f6f2a96d
  Author: Michal Podhradsky <address@hidden>
  Date:   2017-11-19 (Sun, 19 Nov 2017)

  Changed paths:
    M .gitignore
    M conf/modules/haclc.xml
    A sw/airborne/modules/datalink/hacl-c/AEAD_Poly1305_64.c
    A sw/airborne/modules/datalink/hacl-c/AEAD_Poly1305_64.h
    A sw/airborne/modules/datalink/hacl-c/Chacha20.c
    A sw/airborne/modules/datalink/hacl-c/Chacha20.h
    A sw/airborne/modules/datalink/hacl-c/Chacha20Poly1305.c
    A sw/airborne/modules/datalink/hacl-c/Chacha20Poly1305.h
    A sw/airborne/modules/datalink/hacl-c/Chacha20_Vec128.c
    A sw/airborne/modules/datalink/hacl-c/Chacha20_Vec128.h
    A sw/airborne/modules/datalink/hacl-c/Curve25519.c
    A sw/airborne/modules/datalink/hacl-c/Curve25519.h
    A sw/airborne/modules/datalink/hacl-c/Ed25519.c
    A sw/airborne/modules/datalink/hacl-c/Ed25519.h
    A sw/airborne/modules/datalink/hacl-c/FStar.h
    A sw/airborne/modules/datalink/hacl-c/HMAC_SHA2_256.c
    A sw/airborne/modules/datalink/hacl-c/HMAC_SHA2_256.h
    A sw/airborne/modules/datalink/hacl-c/Hacl_Policies.c
    A sw/airborne/modules/datalink/hacl-c/Hacl_Policies.h
    A sw/airborne/modules/datalink/hacl-c/NaCl.c
    A sw/airborne/modules/datalink/hacl-c/NaCl.h
    A sw/airborne/modules/datalink/hacl-c/Poly1305_64.c
    A sw/airborne/modules/datalink/hacl-c/Poly1305_64.h
    A sw/airborne/modules/datalink/hacl-c/README.md
    A sw/airborne/modules/datalink/hacl-c/SHA2_256.c
    A sw/airborne/modules/datalink/hacl-c/SHA2_256.h
    A sw/airborne/modules/datalink/hacl-c/SHA2_384.c
    A sw/airborne/modules/datalink/hacl-c/SHA2_384.h
    A sw/airborne/modules/datalink/hacl-c/SHA2_512.c
    A sw/airborne/modules/datalink/hacl-c/SHA2_512.h
    A sw/airborne/modules/datalink/hacl-c/Salsa20.c
    A sw/airborne/modules/datalink/hacl-c/Salsa20.h
    A sw/airborne/modules/datalink/hacl-c/gcc_compat.h
    A sw/airborne/modules/datalink/hacl-c/kremlib.c
    A sw/airborne/modules/datalink/hacl-c/kremlib.h
    A sw/airborne/modules/datalink/hacl-c/testlib.c
    A sw/airborne/modules/datalink/hacl-c/testlib.h
    M sw/ext/hacl-star

  Log Message:
  -----------
  Revert to using a modified snapshot for compilation


Compare: 
https://github.com/paparazzi/paparazzi/compare/97d708df3b3d...ef63cb5ed24c