[paparazzi-commits] [paparazzi/paparazzi] fbadde: Updated HACL snapshot

paparazzi-commits
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] fbadde: Updated HACL snapshot

From:	GitHub
Subject:	[paparazzi-commits] [paparazzi/paparazzi] fbadde: Updated HACL snapshot
Date:	Tue, 28 Nov 2017 21:56:08 -0800
  Branch: refs/heads/hacl
  Home:   https://github.com/paparazzi/paparazzi
  Commit: fbadde394e7deb0c01ce77da19c3aeb8590275ea
      
https://github.com/paparazzi/paparazzi/commit/fbadde394e7deb0c01ce77da19c3aeb8590275ea
  Author: Michal Podhradsky <address@hidden>
  Date:   2017-11-28 (Tue, 28 Nov 2017)

  Changed paths:
    M conf/airframes/examples/quadrotor_lisa_mx.xml
    M conf/modules/haclc.xml
    M sw/airborne/modules/datalink/hacl-c/AEAD_Poly1305_64.c
    M sw/airborne/modules/datalink/hacl-c/AEAD_Poly1305_64.h
    A sw/airborne/modules/datalink/hacl-c/CMakeLists.txt
    R sw/airborne/modules/datalink/hacl-c/Chacha20.c
    R sw/airborne/modules/datalink/hacl-c/Chacha20.h
    R sw/airborne/modules/datalink/hacl-c/Chacha20Poly1305.c
    R sw/airborne/modules/datalink/hacl-c/Chacha20Poly1305.h
    R sw/airborne/modules/datalink/hacl-c/Chacha20_Vec128.c
    R sw/airborne/modules/datalink/hacl-c/Chacha20_Vec128.h
    R sw/airborne/modules/datalink/hacl-c/Curve25519.c
    R sw/airborne/modules/datalink/hacl-c/Curve25519.h
    R sw/airborne/modules/datalink/hacl-c/Ed25519.c
    R sw/airborne/modules/datalink/hacl-c/Ed25519.h
    A sw/airborne/modules/datalink/hacl-c/FStar.c
    M sw/airborne/modules/datalink/hacl-c/FStar.h
    R sw/airborne/modules/datalink/hacl-c/HMAC_SHA2_256.c
    R sw/airborne/modules/datalink/hacl-c/HMAC_SHA2_256.h
    A sw/airborne/modules/datalink/hacl-c/Hacl_Chacha20.c
    A sw/airborne/modules/datalink/hacl-c/Hacl_Chacha20.h
    A sw/airborne/modules/datalink/hacl-c/Hacl_Chacha20Poly1305.c
    A sw/airborne/modules/datalink/hacl-c/Hacl_Chacha20Poly1305.h
    A sw/airborne/modules/datalink/hacl-c/Hacl_Chacha20_Vec128.c
    A sw/airborne/modules/datalink/hacl-c/Hacl_Chacha20_Vec128.h
    A sw/airborne/modules/datalink/hacl-c/Hacl_Curve25519.c
    A sw/airborne/modules/datalink/hacl-c/Hacl_Curve25519.h
    A sw/airborne/modules/datalink/hacl-c/Hacl_Ed25519.c
    A sw/airborne/modules/datalink/hacl-c/Hacl_Ed25519.h
    A sw/airborne/modules/datalink/hacl-c/Hacl_HMAC_SHA2_256.c
    A sw/airborne/modules/datalink/hacl-c/Hacl_HMAC_SHA2_256.h
    M sw/airborne/modules/datalink/hacl-c/Hacl_Policies.c
    M sw/airborne/modules/datalink/hacl-c/Hacl_Policies.h
    A sw/airborne/modules/datalink/hacl-c/Hacl_Poly1305_64.c
    A sw/airborne/modules/datalink/hacl-c/Hacl_Poly1305_64.h
    A sw/airborne/modules/datalink/hacl-c/Hacl_SHA2_256.c
    A sw/airborne/modules/datalink/hacl-c/Hacl_SHA2_256.h
    A sw/airborne/modules/datalink/hacl-c/Hacl_SHA2_384.c
    A sw/airborne/modules/datalink/hacl-c/Hacl_SHA2_384.h
    A sw/airborne/modules/datalink/hacl-c/Hacl_SHA2_512.c
    A sw/airborne/modules/datalink/hacl-c/Hacl_SHA2_512.h
    A sw/airborne/modules/datalink/hacl-c/Hacl_Salsa20.c
    A sw/airborne/modules/datalink/hacl-c/Hacl_Salsa20.h
    A sw/airborne/modules/datalink/hacl-c/Makefile
    M sw/airborne/modules/datalink/hacl-c/NaCl.c
    M sw/airborne/modules/datalink/hacl-c/NaCl.h
    R sw/airborne/modules/datalink/hacl-c/Poly1305_64.c
    R sw/airborne/modules/datalink/hacl-c/Poly1305_64.h
    R sw/airborne/modules/datalink/hacl-c/README.md
    R sw/airborne/modules/datalink/hacl-c/SHA2_256.c
    R sw/airborne/modules/datalink/hacl-c/SHA2_256.h
    R sw/airborne/modules/datalink/hacl-c/SHA2_384.c
    R sw/airborne/modules/datalink/hacl-c/SHA2_384.h
    R sw/airborne/modules/datalink/hacl-c/SHA2_512.c
    R sw/airborne/modules/datalink/hacl-c/SHA2_512.h
    R sw/airborne/modules/datalink/hacl-c/Salsa20.c
    R sw/airborne/modules/datalink/hacl-c/Salsa20.h
    R sw/airborne/modules/datalink/hacl-c/gcc_compat.h
    M sw/airborne/modules/datalink/hacl-c/kremlib.c
    M sw/airborne/modules/datalink/hacl-c/kremlib.h
    A sw/airborne/modules/datalink/hacl-c/kremlib_base.h
    A sw/airborne/modules/datalink/hacl-c/kremlib_embedded.h
    R sw/airborne/modules/datalink/hacl-c/testlib.c
    R sw/airborne/modules/datalink/hacl-c/testlib.h
    A sw/airborne/modules/datalink/hacl-c/vec128.h

  Log Message:
  -----------
  Updated HACL snapshot


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

  Changed paths:
    M conf/airframes/AGGIEAIR/aggieair_minion_rp3_lia.xml
    M conf/airframes/examples/quadrotor_lisa_mx.xml
    M conf/conf_tests.xml
    M conf/modules/haclc.xml
    R sw/airborne/modules/datalink/hacl-c/AEAD_Poly1305_64.c
    R sw/airborne/modules/datalink/hacl-c/AEAD_Poly1305_64.h
    R sw/airborne/modules/datalink/hacl-c/CMakeLists.txt
    R sw/airborne/modules/datalink/hacl-c/FStar.c
    R sw/airborne/modules/datalink/hacl-c/FStar.h
    R sw/airborne/modules/datalink/hacl-c/Hacl_Chacha20.c
    R sw/airborne/modules/datalink/hacl-c/Hacl_Chacha20.h
    R sw/airborne/modules/datalink/hacl-c/Hacl_Chacha20Poly1305.c
    R sw/airborne/modules/datalink/hacl-c/Hacl_Chacha20Poly1305.h
    R sw/airborne/modules/datalink/hacl-c/Hacl_Chacha20_Vec128.c
    R sw/airborne/modules/datalink/hacl-c/Hacl_Chacha20_Vec128.h
    R sw/airborne/modules/datalink/hacl-c/Hacl_Curve25519.c
    R sw/airborne/modules/datalink/hacl-c/Hacl_Curve25519.h
    R sw/airborne/modules/datalink/hacl-c/Hacl_Ed25519.c
    R sw/airborne/modules/datalink/hacl-c/Hacl_Ed25519.h
    R sw/airborne/modules/datalink/hacl-c/Hacl_HMAC_SHA2_256.c
    R sw/airborne/modules/datalink/hacl-c/Hacl_HMAC_SHA2_256.h
    R sw/airborne/modules/datalink/hacl-c/Hacl_Policies.c
    R sw/airborne/modules/datalink/hacl-c/Hacl_Policies.h
    R sw/airborne/modules/datalink/hacl-c/Hacl_Poly1305_64.c
    R sw/airborne/modules/datalink/hacl-c/Hacl_Poly1305_64.h
    R sw/airborne/modules/datalink/hacl-c/Hacl_SHA2_256.c
    R sw/airborne/modules/datalink/hacl-c/Hacl_SHA2_256.h
    R sw/airborne/modules/datalink/hacl-c/Hacl_SHA2_384.c
    R sw/airborne/modules/datalink/hacl-c/Hacl_SHA2_384.h
    R sw/airborne/modules/datalink/hacl-c/Hacl_SHA2_512.c
    R sw/airborne/modules/datalink/hacl-c/Hacl_SHA2_512.h
    R sw/airborne/modules/datalink/hacl-c/Hacl_Salsa20.c
    R sw/airborne/modules/datalink/hacl-c/Hacl_Salsa20.h
    R sw/airborne/modules/datalink/hacl-c/Makefile
    R sw/airborne/modules/datalink/hacl-c/NaCl.c
    R sw/airborne/modules/datalink/hacl-c/NaCl.h
    R sw/airborne/modules/datalink/hacl-c/kremlib.c
    R sw/airborne/modules/datalink/hacl-c/kremlib.h
    R sw/airborne/modules/datalink/hacl-c/kremlib_base.h
    R sw/airborne/modules/datalink/hacl-c/kremlib_embedded.h
    R sw/airborne/modules/datalink/hacl-c/vec128.h
    A sw/ext/hacl-c/.gitignore
    A sw/ext/hacl-c/AEAD_Poly1305_64.c
    A sw/ext/hacl-c/AEAD_Poly1305_64.h
    A sw/ext/hacl-c/CMakeLists.txt
    A sw/ext/hacl-c/FStar.c
    A sw/ext/hacl-c/FStar.h
    A sw/ext/hacl-c/Hacl_Chacha20.c
    A sw/ext/hacl-c/Hacl_Chacha20.h
    A sw/ext/hacl-c/Hacl_Chacha20Poly1305.c
    A sw/ext/hacl-c/Hacl_Chacha20Poly1305.h
    A sw/ext/hacl-c/Hacl_Chacha20_Vec128.c
    A sw/ext/hacl-c/Hacl_Chacha20_Vec128.h
    A sw/ext/hacl-c/Hacl_Curve25519.c
    A sw/ext/hacl-c/Hacl_Curve25519.h
    A sw/ext/hacl-c/Hacl_Ed25519.c
    A sw/ext/hacl-c/Hacl_Ed25519.h
    A sw/ext/hacl-c/Hacl_HMAC_SHA2_256.c
    A sw/ext/hacl-c/Hacl_HMAC_SHA2_256.h
    A sw/ext/hacl-c/Hacl_Policies.c
    A sw/ext/hacl-c/Hacl_Policies.h
    A sw/ext/hacl-c/Hacl_Poly1305_64.c
    A sw/ext/hacl-c/Hacl_Poly1305_64.h
    A sw/ext/hacl-c/Hacl_SHA2_256.c
    A sw/ext/hacl-c/Hacl_SHA2_256.h
    A sw/ext/hacl-c/Hacl_SHA2_384.c
    A sw/ext/hacl-c/Hacl_SHA2_384.h
    A sw/ext/hacl-c/Hacl_SHA2_512.c
    A sw/ext/hacl-c/Hacl_SHA2_512.h
    A sw/ext/hacl-c/Hacl_Salsa20.c
    A sw/ext/hacl-c/Hacl_Salsa20.h
    A sw/ext/hacl-c/Makefile
    A sw/ext/hacl-c/NaCl.c
    A sw/ext/hacl-c/NaCl.h
    A sw/ext/hacl-c/kremlib.c
    A sw/ext/hacl-c/kremlib.h
    A sw/ext/hacl-c/kremlib_base.h
    A sw/ext/hacl-c/kremlib_embedded.h
    A sw/ext/hacl-c/vec128.h

  Log Message:
  -----------
  Move HACL to ext directory
Include in a test airframe Minion Lia


Compare: 
https://github.com/paparazzi/paparazzi/compare/fbadde394e7d^...d931ed25d3da
[Prev in Thread]
Current Thread
[Next in Thread]
[paparazzi-commits] [paparazzi/paparazzi] fbadde: Updated HACL snapshot, GitHub <=
Prev by Date: [paparazzi-commits] [paparazzi/paparazzi] c298f2: Keep pprzlink 1.0
Previous by thread: [paparazzi-commits] [paparazzi/paparazzi] c298f2: Keep pprzlink 1.0
Index(es):
- Date
- Thread