upstream/mercurial-mirror Files · mercurial/thirdparty/sha1dc/lib/ubc_check.h

typing: add type annotations to the dirstate classes...

typing: add type annotations to the dirstate classes The basic procedure here was to use `merge-pyi` to merge the `git/dirstate.pyi` file in (after renaming the interface class to match), cleaning up the import statement mess, and then repeating the procedure for `mercurial/dirstate.pyi`. Surprisingly, git's dirstate had more hints inferred in its *.pyi file. After that, it was a manual examination of each method in the interface, and how they were implemented in the core and git classes to verify what was inferred by pytype, and fill in the missing gaps. Since this involved jumping around between three different files, I applied the same type info to all three at the same time. Complex types I rolled up into type aliases in the interface module, and used that as needed. That way if it changes, there's one place to edit. There are some hints still missing, and some documentation that doesn't match the signatures. They should all be marked with TODOs. There are also a bunch of methods on the core class that aren't on the Protocol class that seem like maybe they should be (like `set_tracked()`). There are even more methods missing from the git class. But that's a project for another time.

Matt Harbison - - Load All Authors

File last commit:

r44558:b4420cea default


                r52822:93d872a0

default

Download file

             ubc_check.h
        
                    57 lines
            
             | 1.8 KiB
            
                | text/x-c
            
             |
                CLexer
            
             / mercurial / thirdparty / sha1dc / lib / ubc_check.h
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content
                 |Copy permalink

        Augie Fackler
    
sha1dc: import latest version from github...

              r44509
            
      /***

      * Copyright 2017 Marc Stevens <marc@marc-stevens.nl>, Dan Shumow <danshu@microsoft.com>

      * Distributed under the MIT Software License.

      * See accompanying file LICENSE.txt or copy at

      * https://opensource.org/licenses/MIT

      ***/

      /*

      // this file was generated by the 'parse_bitrel' program in the tools section

      // using the data files from directory 'tools/data/3565'

      //

      // sha1_dvs contains a list of SHA-1 Disturbance Vectors (DV) to check

      // dvType, dvK and dvB define the DV: I(K,B) or II(K,B) (see the paper)

      // dm[80] is the expanded message block XOR-difference defined by the DV

      // testt is the step to do the recompression from for collision detection

      // maski and maskb define the bit to check for each DV in the dvmask returned by ubc_check

      //

      // ubc_check takes as input an expanded message block and verifies the unavoidable bitconditions for all listed DVs

      // it returns a dvmask where each bit belonging to a DV is set if all unavoidable bitconditions for that DV have been met

      // thus one needs to do the recompression check for each DV that has its bit set

      */

      #ifndef SHA1DC_UBC_CHECK_H

      #define SHA1DC_UBC_CHECK_H

      #if defined(__cplusplus)

      extern "C" {

      #endif

      #ifndef SHA1DC_NO_STANDARD_INCLUDES

        Matt Harbison
    
sha1dc: avoid including the nonexistent stdint.h with Visual Studio 2008...

              r44558
            
      #if !defined(_MSC_VER) || _MSC_VER >= 1600

        Augie Fackler
    
sha1dc: import latest version from github...

              r44509
            
      #include <stdint.h>

        Matt Harbison
    
sha1dc: avoid including the nonexistent stdint.h with Visual Studio 2008...

              r44558
            
      #else

      /* prior to Visual Studio 2010 */

      typedef unsigned __int32 uint32_t;

      #endif

        Augie Fackler
    
sha1dc: import latest version from github...

              r44509
            
      #endif

      #define DVMASKSIZE 1

      typedef struct { int dvType; int dvK; int dvB; int testt; int maski; int maskb; uint32_t dm[80]; } dv_info_t;

      extern dv_info_t sha1_dvs[];

      void ubc_check(const uint32_t W[80], uint32_t dvmask[DVMASKSIZE]);

      #define DOSTORESTATE58

      #define DOSTORESTATE65

      #define CHECK_DVMASK(_DVMASK) (0 != _DVMASK[0])

      #if defined(__cplusplus)

      }

      #endif

      #ifdef SHA1DC_CUSTOM_TRAILING_INCLUDE_UBC_CHECK_H

      #include SHA1DC_CUSTOM_TRAILING_INCLUDE_UBC_CHECK_H

      #endif

      #endif

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

Augie Fackler sha1dc: import latest version from github...	r44509	/***
		* Copyright 2017 Marc Stevens <marc@marc-stevens.nl>, Dan Shumow <danshu@microsoft.com>
		* Distributed under the MIT Software License.
		* See accompanying file LICENSE.txt or copy at
		* https://opensource.org/licenses/MIT
		***/

		/*
		// this file was generated by the 'parse_bitrel' program in the tools section
		// using the data files from directory 'tools/data/3565'
		//
		// sha1_dvs contains a list of SHA-1 Disturbance Vectors (DV) to check
		// dvType, dvK and dvB define the DV: I(K,B) or II(K,B) (see the paper)
		// dm[80] is the expanded message block XOR-difference defined by the DV
		// testt is the step to do the recompression from for collision detection
		// maski and maskb define the bit to check for each DV in the dvmask returned by ubc_check
		//
		// ubc_check takes as input an expanded message block and verifies the unavoidable bitconditions for all listed DVs
		// it returns a dvmask where each bit belonging to a DV is set if all unavoidable bitconditions for that DV have been met
		// thus one needs to do the recompression check for each DV that has its bit set
		*/

		#ifndef SHA1DC_UBC_CHECK_H
		#define SHA1DC_UBC_CHECK_H

		#if defined(__cplusplus)
		extern "C" {
		#endif

		#ifndef SHA1DC_NO_STANDARD_INCLUDES
Matt Harbison sha1dc: avoid including the nonexistent stdint.h with Visual Studio 2008...	r44558	#if !defined(_MSC_VER) \|\| _MSC_VER >= 1600
Augie Fackler sha1dc: import latest version from github...	r44509	#include <stdint.h>
Matt Harbison sha1dc: avoid including the nonexistent stdint.h with Visual Studio 2008...	r44558	#else
		/* prior to Visual Studio 2010 */
		typedef unsigned __int32 uint32_t;
		#endif
Augie Fackler sha1dc: import latest version from github...	r44509	#endif

		#define DVMASKSIZE 1
		typedef struct { int dvType; int dvK; int dvB; int testt; int maski; int maskb; uint32_t dm[80]; } dv_info_t;
		extern dv_info_t sha1_dvs[];
		void ubc_check(const uint32_t W[80], uint32_t dvmask[DVMASKSIZE]);

		#define DOSTORESTATE58
		#define DOSTORESTATE65

		#define CHECK_DVMASK(_DVMASK) (0 != _DVMASK[0])

		#if defined(__cplusplus)
		}
		#endif

		#ifdef SHA1DC_CUSTOM_TRAILING_INCLUDE_UBC_CHECK_H
		#include SHA1DC_CUSTOM_TRAILING_INCLUDE_UBC_CHECK_H
		#endif

		#endif