| .. |
|
lex
|
9d6c8f2707
Replace decimal parsing interface and implementation
|
5 years ago |
|
logic
|
26dbe4c159
Specify non-overflowing multiply-add
|
5 years ago |
|
math
|
59e884fdc9
Specialise sHT_X_to_u32 for decimal
|
5 years ago |
|
string
|
be0ae9854a
Specify sHT_merge16 in ACSL
|
5 years ago |
|
accept.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
bitvec.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
block.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
bugs.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
compiler.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
index.h
|
58668757f0
Add `a < b` comparison
|
5 years ago |
|
lex.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
nospec.h
|
c45315ee1f
Drop superfluous, overly strict precondition of sHT_index_nospec
|
5 years ago |
|
paper.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
resource.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
scheduling.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
stream.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
string.h
|
b6a4f27fb9
Specify sHT_min_size
|
5 years ago |
|
taint.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
task.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
taskset.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
test.h
|
886ba1f711
Correct <sHT/test.h> specifications
|
5 years ago |
|
vector.h
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
Ariadne Devos
9d6c8f2707
Replace decimal parsing interface and implementation