 Ariadne Devos
|
085b0ad55b
Test failbit as sign bit
|
5 rokov pred |
|
Ariadne Devos
|
adb21695c2
Make failbit compilation check more extensive
|
5 rokov pred |
|
Ariadne Devos
|
e312d90107
Number logical statements in <sHT/logic/failbit.h>
|
5 rokov pred |
|
Ariadne Devos
|
d6731abb96
Correct failure tests
|
5 rokov pred |
|
Ariadne Devos
|
11c6202a19
Better operations for the failbit
|
5 rokov pred |
|
Ariadne Devos
|
6b156cc1b9
Correct obvious specification thinko
|
5 rokov pred |
|
Ariadne Devos
|
316b54d25e
Formally introduce the failbit
|
5 rokov pred |
