 Ariadne Devos
|
2bee9d4835
Merge branch 'ip' into odd-fixes
|
преди 5 години |
|
Ariadne Devos
|
6783ce8d69
Fail to contract bounds check and index masking
|
преди 5 години |
|
Ariadne Devos
|
085b0ad55b
Test failbit as sign bit
|
преди 5 години |
|
Ariadne Devos
|
d8dd0d8fc1
Add missing wrap-around theorem
|
преди 5 години |
|
Ariadne Devos
|
dc807d81a0
Correct operand order and types -- again
|
преди 5 години |
|
Ariadne Devos
|
e9731e2561
Add some remarks from the mutation testing
|
преди 5 години |
|
Ariadne Devos
|
adb21695c2
Make failbit compilation check more extensive
|
преди 5 години |
|
Ariadne Devos
|
5e2be17982
Test IPv4 parser
|
преди 5 години |
|
Ariadne Devos
|
e0855c4703
Correct s2_parse_ipv4 implementation name
|
преди 5 години |
|
Ariadne Devos
|
8a4fdbe149
Merge branch 'odd-fixes' into ip
|
преди 5 години |
|
Ariadne Devos
|
e312d90107
Number logical statements in <sHT/logic/failbit.h>
|
преди 5 години |
|
Ariadne Devos
|
76fe23f79f
Parse IPv4 addresses
|
преди 5 години |
|
Ariadne Devos
|
436e07ae5a
Formally specify sHT_index_nospec
|
преди 5 години |
|
Ariadne Devos
|
d6731abb96
Correct failure tests
|
преди 5 години |
|
Ariadne Devos
|
fa34d59142
Merge branch 'odd-fixes' into ip
|
преди 5 години |
|
Ariadne Devos
|
12471fdde3
Add missing semicolon
|
преди 5 години |
|
Ariadne Devos
|
45d3875f1d
Correct operand types
|
преди 5 години |
|
Ariadne Devos
|
6f14b8283f
Test different immediate modes
|
преди 5 години |
|
Ariadne Devos
|
4e782b4814
Check register / immediate operands
|
преди 5 години |
|
Ariadne Devos
|
de690ff71f
Delete unused saturated addition
|
преди 5 години |
|
Ariadne Devos
|
9b7e0811af
Git-Ignore nano leftovers
|
преди 5 години |
|
Ariadne Devos
|
9d35813c1b
Correct <sHT/lex/nat.h> and implementation
|
преди 5 години |
|
Ariadne Devos
|
991751ef26
Track arithmetic overflow in failbit
|
преди 5 години |
|
Ariadne Devos
|
11c6202a19
Better operations for the failbit
|
преди 5 години |
|
Ariadne Devos
|
6b156cc1b9
Correct obvious specification thinko
|
преди 5 години |
|
Ariadne Devos
|
e0bb854fc8
Remember test points while debugging
|
преди 5 години |
|
Ariadne Devos
|
c9821c73a9
Complete proof of natural lexing with failure bit
|
преди 5 години |
|
Ariadne Devos
|
316b54d25e
Formally introduce the failbit
|
преди 5 години |
|
Ariadne Devos
|
3d02eec5fa
Compile lex/nat.c
|
преди 5 години |
|
Ariadne Devos
|
3221570ff4
Document indices are natural
|
преди 5 години |
