(2 . 3)(2 . 4)
511300 phf vdiff_fixes_newline_gcc Fixes for C99 compatability, support for "No newline at end of file" directive.
511300 phf keccak Included diana_coman's keccak implementation.
511300 phf vdiff_keccak Vdiff hashing and output using Keccak instead of SHA512.
512600 phf vtools_fixes_bitrate_char_array Fixes for keccak from diana_coman, different approach to C interop.

(54 . 28)(54 . 41)
   end C_Begin;

   procedure C_Hash(Ctx: in C_Context_Access;
                    Input: Interfaces.C.Char_Array;
                    Len: Interfaces.C.Size_T) is
                    Input: Char_Star;
                    Len: Interfaces.C.size_t) is
      L: Natural := Natural(Len);
      S: String(1..L);
      B: Bitstream(1..S'Length*8);
      Ptr: Char_Star := Input;
   begin
      Interfaces.C.To_Ada(Input, S, L, Trim_Nul => False);
      if Input = null then
         raise C.Strings.Dereference_Error;
      end if;
      for Chr of S loop
         Chr := Character(Ptr.all);
         Char_Ptrs.Increment(Ptr);
      end loop;
      ToBitstream(S, B);
      KeccakHash(Ctx.all, B);
   end C_Hash;

   procedure C_End(Ctx: C_Context_Access;
                   Output: out Interfaces.C.Char_Array;
                   Output: Char_Star;
                   Len: Interfaces.C.Size_T) is
      L: Natural := Natural(Len);
      S: String(1..L);
      B: Bitstream(1..S'Length*8);
      Count: Interfaces.C.Size_T;
      Ptr: Char_Star := Output;
   begin
      if Output = null then
         raise C.Strings.Dereference_Error;
      end if;
      KeccakEnd(Ctx.all, B);
      ToString(B, S);
      Interfaces.C.To_C(S, Output(0..Len), Count, Append_Nul => False);
      for Chr of S loop
         Ptr.all := Interfaces.C.char(Chr);
         Char_Ptrs.Increment(Ptr);
      end loop;
      -- Len = Count
   end C_End;

(1 . 8)(1 . 17)
with Interfaces; use Interfaces;
with Interfaces.C; use Interfaces.C;
with Interfaces.C.Strings;
with Interfaces.C.Pointers;
with Ada.Unchecked_Deallocation;
with SMG_Keccak; use SMG_Keccak;
package Keccak_C is
   package Char_Ptrs is
      new Interfaces.C.Pointers (Index              => size_t,
                                 Element            => char,
                                 Element_Array      => char_array,
                                 Default_Terminator => nul);
   use type Char_Ptrs.Pointer;
   subtype Char_Star is Char_Ptrs.Pointer;
   subtype C_Context is Keccak_Context(Block_Len=>Default_Bitrate);
   type C_Context_Access is access C_Context;
   procedure C_Get_Size(Size: out Interfaces.C.size_t);
(10 . 11)(19 . 11)
   function C_Begin return C_Context_Access;
   pragma Export (C, C_Begin, "keccak_begin");
   procedure C_Hash(Ctx: C_Context_Access;
                    Input: Interfaces.C.Char_Array;
                    Input: Char_Star;
                    Len: Interfaces.C.Size_T);
   pragma Export (C, C_Hash, "keccak_hash");
   procedure C_End(Ctx: C_Context_Access;
                   Output: out Interfaces.C.Char_Array;
                   Output: Char_Star;
                   Len: Interfaces.C.Size_T);
   pragma Export (C, C_End, "keccak_end");
   procedure C_Deallocate(Ctx: in out C_Context_Access);

(217 . 7)(217 . 7)
      ToPos := Block'Last;
      FromPos := ToPos - SBB + 1;
      BWord := (others => 0);
      BWord(Bitword'First .. Bitword'First + SBB - 1) := Block(ToPos..FromPos);
      BWord(Bitword'First .. Bitword'First + SBB - 1) := Block(FromPos..ToPos);
      Word := BitsToWord( BWord );
      S( X, Y ) := S( X, Y ) xor Word;
    end if;