-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathverdicts.txt
49 lines (49 loc) · 1.69 KB
/
verdicts.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
VERDICT: bitrev PARTIALLY PROVED (13/16)
VERDICT: ifft PARTIALLY PROVED (256/259)
VERDICT: ilog2 PARTIALLY PROVED (25/29)
VERDICT: list_add PARTIALLY PROVED (51/85)
VERDICT: list_chop PARTIALLY PROVED (75/99)
VERDICT: list_copy PARTIALLY PROVED (8/14)
VERDICT: list_force_insert PARTIALLY PROVED (49/86)
VERDICT: list_head PARTIALLY PROVED (8/10)
VERDICT: list_insert PARTIALLY PROVED (92/124)
VERDICT: list_item_next PARTIALLY PROVED (6/9)
VERDICT: list_length PARTIALLY PROVED (11/15)
VERDICT: list_pop PARTIALLY PROVED (13/22)
VERDICT: list_push PARTIALLY PROVED (24/31)
VERDICT: list_remove PARTIALLY PROVED (90/158)
VERDICT: list_split PARTIALLY PROVED (26/44)
VERDICT: list_tail PARTIALLY PROVED (21/32)
VERDICT: mic PARTIALLY PROVED (106/111)
VERDICT: ringbuf_elements PARTIALLY PROVED (7/8)
VERDICT: ringbuf_get PARTIALLY PROVED (16/17)
VERDICT: ringbuf_put PARTIALLY PROVED (17/18)
VERDICT: ringbufindex_elements PARTIALLY PROVED (7/8)
VERDICT: aead PROVED
VERDICT: cosI PROVED
VERDICT: crc16_add PROVED
VERDICT: crc16_data PROVED
VERDICT: ctr PROVED
VERDICT: ctr_step PROVED
VERDICT: encrypt PROVED
VERDICT: galois_mul2 PROVED
VERDICT: list_init PROVED
VERDICT: memb_alloc PROVED
VERDICT: memb_free PROVED
VERDICT: memb_init PROVED
VERDICT: memb_inmemb PROVED
VERDICT: memb_numfree PROVED
VERDICT: occ_a_split PROVED
VERDICT: ringbuf_init PROVED
VERDICT: ringbuf_size PROVED
VERDICT: ringbufindex_empty PROVED
VERDICT: ringbufindex_full PROVED
VERDICT: ringbufindex_get PROVED
VERDICT: ringbufindex_init PROVED
VERDICT: ringbufindex_peek_get PROVED
VERDICT: ringbufindex_peek_put PROVED
VERDICT: ringbufindex_put PROVED
VERDICT: ringbufindex_size PROVED
VERDICT: set_iv PROVED
VERDICT: set_key PROVED
VERDICT: sinI PROVED