Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 6287904204 Update tests for AEAD change main Eric Mertens 2025-09-09 20:55:16 -07:00
• a3d978a4b3 Fixup documentation for tag change Eric Mertens 2025-09-08 11:08:52 -07:00
• 8813e6066f Fixup saw proofs Eric Mertens 2025-09-07 20:27:48 -07:00
• 1acbbe633f Documentation and layout Eric Mertens 2025-09-07 17:37:10 -07:00
• 639ad1f1dd More inline equations from the spec Eric Mertens 2025-09-07 11:37:34 -07:00
• 8c9c356220 Add saw proof for AEAD inversion Eric Mertens 2025-09-07 10:41:52 -07:00
• 671aac130f Add a license file Eric Mertens 2025-09-05 22:37:07 -07:00
• 593a440b84 Documentation and visibility Eric Mertens 2025-09-05 09:12:08 -07:00
• 86aab13dc4 Comments and fix error introduce in previous cleanup Eric Mertens 2025-09-04 20:58:32 -07:00
• ce7c9a8798 Fixup the docstrings Eric Mertens 2025-09-04 20:37:05 -07:00
• be65d0dd4e Unify into a single implementation file Eric Mertens 2025-09-04 18:30:47 -07:00
• 51dbdbf415 Documentation and improved bit-order treatment Eric Mertens 2025-09-04 14:55:46 -07:00
• 676629dfe5 Add CXOF128 and AEAD128 Eric Mertens 2025-09-04 11:23:30 -07:00
• 3f41ee80e3 Add XOF mode Eric Mertens 2025-09-04 08:30:05 -07:00
• 338a68acf4 get the endianness working Eric Mertens 2025-09-03 17:01:03 -07:00
• 2186fd610f 🐣 Eric Mertens 2025-09-03 08:46:56 -07:00