Skip to main content

Browse the archive

https://github.com/project-everest/hacl-star
01 October 2021, 10:10:28 UTC
sort by:
Revision Author Date Message Commit Date
37b8a39 Tahina Ramananandro 14 June 2018, 22:31:20 UTC Remove all proof annotations about modifies 14 June 2018, 22:31:20 UTC
34d35f9 Antoine Delignat-Lavaud 14 June 2018, 12:30:30 UTC Default KREMLIN_HOME for uint128 14 June 2018, 12:30:30 UTC
64c1bb8 Jonathan Protzenko 13 June 2018, 18:37:34 UTC Merge branch 'fstar-master' of pro.github.com:mitls/hacl-star into fstar-master 13 June 2018, 18:37:34 UTC
2fc42b3 Jonathan Protzenko 13 June 2018, 18:37:30 UTC hints 13 June 2018, 18:37:30 UTC
eaab15f Antoine Delignat-Lavaud 13 June 2018, 14:23:46 UTC Packet number encryption endianness 13 June 2018, 14:23:46 UTC
720d2a0 Jonathan Protzenko 13 June 2018, 02:08:40 UTC Also generate all hints here 13 June 2018, 02:08:40 UTC
7370b67 Tahina Ramananandro 12 June 2018, 22:08:38 UTC Trigger CI 12 June 2018, 22:08:38 UTC
22d30ee Tahina Ramananandro 12 June 2018, 21:53:43 UTC `x.FStar.HyperStack.h` -> `FStar.HyperStack.get_hmap x`, and same for tip 12 June 2018, 21:53:43 UTC
406eda9 Aseem Rastogi 12 June 2018, 08:03:45 UTC merge 12 June 2018, 08:03:45 UTC
5f46a77 Aseem Rastogi 12 June 2018, 07:44:05 UTC ***NO_CI*** hints 12 June 2018, 07:44:05 UTC
8b2f0c6 Aseem Rastogi 12 June 2018, 06:32:09 UTC abstract hs mem changes 12 June 2018, 06:32:09 UTC
acea865 Jonathan Protzenko 12 June 2018, 02:02:20 UTC Merge branch 'fstar-master' of github.com:mitls/hacl-star into fstar-master 12 June 2018, 02:02:20 UTC
9f5142d Jonathan Protzenko 12 June 2018, 02:02:12 UTC make the bcrypt file compile with msvc following Barry's suggestions 12 June 2018, 02:02:12 UTC
14ed573 Guido Martínez 11 June 2018, 01:02:18 UTC hints 11 June 2018, 14:47:19 UTC
18c936c Santiago Zanella-Beguelin 11 June 2018, 02:47:03 UTC Proper buffer lengths; temporarily disable tag verification for Vale 11 June 2018, 02:47:03 UTC
c437bfd Santiago Zanella-Beguelin 11 June 2018, 02:26:30 UTC Shorter buffers, swap arguments for decryption Still doesn't work (Vale's decryption seems wrong) 11 June 2018, 02:26:36 UTC
c8aa9d2 Santiago Zanella-Beguelin 11 June 2018, 00:06:03 UTC Use block-sized buffers for Vale's AES-GCM (can be optimized) 11 June 2018, 00:06:03 UTC
46deecd Santiago Zanella-Beguelin 11 June 2018, 00:02:24 UTC Add AES-GCM decrypt from Vale 11 June 2018, 00:02:24 UTC
b498593 Santiago Zanella-Beguelin 11 June 2018, 00:00:26 UTC Test AES-GCM decryption too 11 June 2018, 00:00:26 UTC
961496d Santiago Zanella-Beguelin 10 June 2018, 23:56:08 UTC Fix OpenSSL AEAD (process ciphertext for decryption, plaintext for encryption) 10 June 2018, 23:56:08 UTC
2ed2b50 Santiago Zanella-Beguelin 10 June 2018, 23:54:56 UTC Use AES128-GCM assembly from vale@aes_bytes (byte-level API) 10 June 2018, 23:54:56 UTC
75939c3 Benjamin Beurdouche 09 June 2018, 10:15:41 UTC Merge branch 'master' into fstar-master 09 June 2018, 10:15:41 UTC
276a455 Benjamin Beurdouche 09 June 2018, 10:14:08 UTC Licences and Copyright update 09 June 2018, 10:14:08 UTC
2a68b14 Antoine Delignat-Lavaud 08 June 2018, 16:21:04 UTC BCrypt provider in EverCrypt + Windows static configuration 08 June 2018, 16:21:21 UTC
7762478 Antoine Delignat-Lavaud 08 June 2018, 15:20:15 UTC Add BCrypt 08 June 2018, 16:21:21 UTC
8d3a89e Santiago Zanella-Beguelin 08 June 2018, 15:25:48 UTC Nit 08 June 2018, 15:25:48 UTC
0a41c48 Santiago Zanella-Beguelin 08 June 2018, 15:18:49 UTC Update Bytes interface of Chacha20-Poly1305 08 June 2018, 15:18:49 UTC
dd09506 Antoine Delignat-Lavaud 08 June 2018, 13:43:45 UTC Checkpoint 08 June 2018, 13:59:08 UTC
a6b69f1 Santiago Zanella-Beguelin 08 June 2018, 13:05:16 UTC Remove extra argument in EverCrypt.Vale.fsti (was it a typo?) 08 June 2018, 13:05:16 UTC
3fa0f92 s-zanella 08 June 2018, 12:32:57 UTC Do key expansion in Vale's AES-GCM 256 08 June 2018, 12:32:57 UTC
6fb3034 s-zanella 08 June 2018, 12:32:14 UTC Use C.Endianness 08 June 2018, 12:32:14 UTC
404de81 s-zanella 08 June 2018, 12:31:49 UTC Test AES-GCM 256 08 June 2018, 12:31:49 UTC
750643b Antoine Delignat-Lavaud 08 June 2018, 09:23:25 UTC Update hints 08 June 2018, 09:23:25 UTC
ae36e5c Antoine Delignat-Lavaud 08 June 2018, 09:23:06 UTC Fix Makefiles 08 June 2018, 09:23:06 UTC
de1358a Jonathan Protzenko 07 June 2018, 21:44:35 UTC Add the stubs file to the Makefile 07 June 2018, 21:44:35 UTC
6cbadf3 Jonathan Protzenko 07 June 2018, 21:43:52 UTC Merge remote-tracking branch 'origin/barrybo_x86build' into fstar-master 07 June 2018, 21:43:52 UTC
6b77d87 Barry Bond 07 June 2018, 18:09:51 UTC Add stubs for Vale assembler files, that are portable to other architectures, to satisfy unresolved externs. 07 June 2018, 18:09:51 UTC
b3f9a7e Jonathan Protzenko 07 June 2018, 16:32:19 UTC Merge branch 'fstar-master' of pro.github.com:mitls/hacl-star into fstar-master 07 June 2018, 16:32:19 UTC
aea1e83 Jonathan Protzenko 07 June 2018, 16:32:15 UTC Proper logic for AESNI feature detection 07 June 2018, 16:32:15 UTC
70b5405 Santiago Zanella-Beguelin 07 June 2018, 16:12:54 UTC Implement EverCrypt.ValeGlue in F* rather than C 07 June 2018, 16:12:54 UTC
ccc0bc5 Jonathan Protzenko 07 June 2018, 00:36:11 UTC Argh 07 June 2018, 00:36:11 UTC
12a01b0 Jonathan Protzenko 06 June 2018, 22:41:04 UTC Merge branch 'fstar-master' of pro.github.com:mitls/hacl-star into fstar-master 06 June 2018, 22:41:04 UTC
721f73b Jonathan Protzenko 06 June 2018, 22:40:59 UTC Still a typo 06 June 2018, 22:40:59 UTC
1475f5e Jonathan Protzenko 06 June 2018, 22:02:03 UTC typo on windows 06 June 2018, 22:02:03 UTC
4f57a70 Jonathan Protzenko 06 June 2018, 21:24:52 UTC Don't link in the openssl bindings when building for Windows 06 June 2018, 21:24:52 UTC
93d6ea7 Jonathan Protzenko 06 June 2018, 20:57:31 UTC Fix test 06 June 2018, 20:57:31 UTC
6953360 Jonathan Protzenko 06 June 2018, 20:43:12 UTC Hints. This links and builds on Linux. Will debug on Windows from here. 06 June 2018, 20:43:12 UTC
7feaae6 Jonathan Protzenko 06 June 2018, 20:08:16 UTC Massive rework of the provider to support static configurations 06 June 2018, 20:08:16 UTC
207ae0b Santiago Zanella-Beguelin 05 June 2018, 13:15:42 UTC Merge branch 'fstar-master' of https://github.com/mitls/hacl-star into fstar-master 05 June 2018, 13:28:45 UTC
e29c6a2 Santiago Zanella-Beguelin 05 June 2018, 13:10:27 UTC Use Crypto.Symmetric.Bytes.loadXXX in QuicProvider; test PN mask matches expected result 05 June 2018, 13:10:27 UTC
0460ba7 Antoine Delignat-Lavaud 05 June 2018, 11:08:06 UTC Packet encryption test 05 June 2018, 11:49:47 UTC
ebc65cb Antoine Delignat-Lavaud 05 June 2018, 11:46:20 UTC Maintain AEAD interface abstraction 05 June 2018, 11:46:20 UTC
2c261be Antoine Delignat-Lavaud 05 June 2018, 11:08:06 UTC Packet encryption test 05 June 2018, 11:08:06 UTC
bfe787a Antoine Delignat-Lavaud 05 June 2018, 09:49:40 UTC Extend AEAD interface to access CTR mode 05 June 2018, 09:49:40 UTC
68cde5e Antoine Delignat-Lavaud 04 June 2018, 17:07:38 UTC QUIC packet number encryption 04 June 2018, 17:07:38 UTC
1da331f Benjamin Beurdouche 04 June 2018, 10:54:55 UTC Merge pull request #124 from franziskuskiefer/fix-kremlin-version Use fixed kremlin version 04 June 2018, 10:54:55 UTC
41ee5d2 Franziskus Kiefer 04 June 2018, 09:07:28 UTC use fixed kremlin version 04 June 2018, 09:51:36 UTC
d669ec0 Santiago Zanella-Beguelin 27 May 2018, 14:12:47 UTC Test SHA384 and SHA512 too 27 May 2018, 14:12:47 UTC
cd6cb2b Santiago Zanella-Beguelin 26 May 2018, 22:20:21 UTC Revamped tests 26 May 2018, 22:46:47 UTC
4505e35 Santiago Zanella-Beguelin 26 May 2018, 22:18:53 UTC Implement Vale sha256_update_multi in C 26 May 2018, 22:46:47 UTC
f69dabf Santiago Zanella-Beguelin 26 May 2018, 22:04:46 UTC Fix ctypes bindings and add chacha20_poly1305_decrypt 26 May 2018, 22:46:47 UTC
f413459 Santiago Zanella-Beguelin 26 May 2018, 22:00:28 UTC Nits 26 May 2018, 22:46:47 UTC
03abc7c Christoph M. Wintersteiger 25 May 2018, 11:54:20 UTC Simplified secure_api makefiles. 25 May 2018, 11:54:20 UTC
cd1804e Christoph M. Wintersteiger 24 May 2018, 17:28:42 UTC Makefile fix. 24 May 2018, 17:28:42 UTC
16c4ca6 s-zanella 24 May 2018, 13:55:29 UTC Hints 24 May 2018, 13:55:29 UTC
fed650b s-zanella 24 May 2018, 13:55:17 UTC Adapt test to changes in provider 24 May 2018, 13:55:17 UTC
c34c920 s-zanella 24 May 2018, 13:54:45 UTC Fix qbuild by a combination of careful bundling and bespoke inductive types 24 May 2018, 13:54:45 UTC
be72a68 Benjamin Beurdouche 24 May 2018, 10:05:30 UTC Remove stall file 24 May 2018, 10:05:30 UTC
1a8ba37 Benjamin Beurdouche 24 May 2018, 09:07:26 UTC Fix typo in Makefile 24 May 2018, 09:07:26 UTC
92fce0e Benjamin Beurdouche 24 May 2018, 08:11:00 UTC Support for more versions of HMAC in snapshots/makefiles 24 May 2018, 08:11:00 UTC
2968421 Benjamin Beurdouche 24 May 2018, 08:05:55 UTC Support for more versions of HMAC in the top-level CMakeLists.txt 24 May 2018, 08:05:55 UTC
e2fa1ac Benjamin Beurdouche 24 May 2018, 08:03:26 UTC Refreshing snapshot after adding support for more versions of HMAC 24 May 2018, 08:03:26 UTC
85600ce Santiago Zanella-Beguelin 23 May 2018, 14:24:41 UTC Don't recheck FStar.* modules 23 May 2018, 14:24:41 UTC
0c11f71 Santiago Zanella-Beguelin 23 May 2018, 13:31:53 UTC Use hints 23 May 2018, 13:31:53 UTC
3730274 Santiago Zanella-Beguelin 23 May 2018, 10:09:42 UTC Chacha20-Poly1305 bytes interface test 23 May 2018, 10:10:04 UTC
8dc7625 Santiago Zanella-Beguelin 23 May 2018, 10:08:52 UTC Admit SMT queries for modules not yet ported to FStar@master 23 May 2018, 10:10:04 UTC
480acfd Benjamin Beurdouche 23 May 2018, 08:10:56 UTC Refresh some hints in code/salsa-family 23 May 2018, 08:10:56 UTC
6c58c50 Santiago Zanella-Beguelin 22 May 2018, 17:00:39 UTC Fix top-level test target 22 May 2018, 17:08:21 UTC
50db1fd Santiago Zanella-Beguelin 22 May 2018, 16:48:21 UTC Add tests for EverCrypt and revamp Makefile 22 May 2018, 16:48:21 UTC
8572400 Santiago Zanella-Beguelin 22 May 2018, 16:46:59 UTC Nits in README 22 May 2018, 16:46:59 UTC
6bc9440 Santiago Zanella-Beguelin 22 May 2018, 16:46:20 UTC Add Chacha20-Poly1305 from Hacl 22 May 2018, 16:46:20 UTC
94776d1 Antoine Delignat-Lavaud 21 May 2018, 16:00:18 UTC Turn off Vale GCM for now 21 May 2018, 16:00:32 UTC
dcad24c Santiago Zanella-Beguelin 21 May 2018, 09:39:15 UTC Adapt secure-api to changes in SHA2 interfaces 21 May 2018, 09:39:15 UTC
cce36d1 Santiago Zanella-Beguelin 21 May 2018, 09:30:53 UTC Add standalone test for Vale SHA2-256 21 May 2018, 09:31:51 UTC
997b067 Santiago Zanella-Beguelin 21 May 2018, 09:30:17 UTC Reverse byte order only in little-endian hosts 21 May 2018, 09:31:51 UTC
e86f0ff Benjamin Beurdouche 20 May 2018, 16:19:10 UTC Merge branch 'dev_beurdouche_hmac' into fstar-master 20 May 2018, 16:19:10 UTC
fff1dc1 Benjamin Beurdouche 20 May 2018, 16:18:59 UTC Ignore more build directories 20 May 2018, 16:18:59 UTC
3d505d9 Benjamin Beurdouche 20 May 2018, 15:43:29 UTC Snapshot modifications after SHA2_384 and SHA2_512 changes 20 May 2018, 15:43:29 UTC
ad57267 Benjamin Beurdouche 20 May 2018, 15:14:07 UTC Follow-up modifications after SHA2_384 and SHA2_512 changes 20 May 2018, 15:14:07 UTC
ff55ac8 Benjamin Beurdouche 20 May 2018, 14:31:07 UTC Follow-up modifications after SHA2_384 and SHA2_512 changes 20 May 2018, 14:31:07 UTC
75ced30 Benjamin Beurdouche 20 May 2018, 10:49:27 UTC Follow-up modifications after SHA2_384 and SHA2_512 changes 20 May 2018, 10:49:27 UTC
0d703a8 Benjamin Beurdouche 19 May 2018, 18:33:37 UTC Follow-up modifications after SHA2_384 and SHA2_512 changes 19 May 2018, 18:33:37 UTC
be5065a Benjamin Beurdouche 19 May 2018, 18:21:40 UTC Adjust Ed25519 code for changes in SHA2_512 19 May 2018, 18:21:40 UTC
a835b69 Benjamin Beurdouche 19 May 2018, 18:06:58 UTC Modules for HMAC_384 and HMAC_512 19 May 2018, 18:06:58 UTC
984a6ac Benjamin Beurdouche 19 May 2018, 18:06:23 UTC Change interface of SHA2_384 and SHA2_512 to match SHA2_256 19 May 2018, 18:06:23 UTC
0b0e5c6 Benjamin Beurdouche 19 May 2018, 16:47:58 UTC Drop more modules after changes in Kremlin 19 May 2018, 16:47:58 UTC
6cdb290 Benjamin Beurdouche 19 May 2018, 16:28:54 UTC Refreshing snapshot after renaming variables in Ed25519 19 May 2018, 16:28:54 UTC
79155b3 Benjamin Beurdouche 19 May 2018, 16:21:34 UTC Fix merging of master in fstar-master 19 May 2018, 16:21:34 UTC
746a0b8 Benjamin Beurdouche 19 May 2018, 15:26:05 UTC Refreshing snapshot after renaming variables in Ed25519 19 May 2018, 15:26:05 UTC
f292966 Benjamin Beurdouche 19 May 2018, 14:53:42 UTC Avoid issues when compiling HACL* in C++ mode by renaming variables called 'public' 19 May 2018, 14:53:42 UTC
back to top