library ieee; use ieee.std_logic_1164.all; use ieee.numeric_std.all; entity assume2 is port (clk, rst: std_logic; cnt : out unsigned(3 downto 0)); end assume2; architecture behav of assume2 is signal val : unsigned (3 downto 0); begin process(clk) begin if rising_edge(clk) then if rst = '1' then val <= (others => '0'); else val <= val + 1; end if; end if; end process; cnt <= val; --psl default clock is (clk'event and clk = '1'); --psl assume always val < 50; end behav; t/cloud-email/cryptography' title='cloud-email/cryptography Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/src/_cffi_src/hazmat_src/padding.h
blob: 4d218b1ac928825f20b24e77f32e49cbad16ab56 (plain) 
1
2
3
4
5

// This file is dual licensed under the terms of the Apache License, Version
// 2.0, and the BSD License. See the LICENSE file in the root of this
// repository for complete details.

uint8_t Cryptography_check_pkcs7_padding(const uint8_t *, uint8_t);
generated by cgit v1.2.3 (git 2.25.1) at 2025-05-30 04:50:51 +0000