integer.in

Branch :
Show log
Commit
Author : Thomas de Grivel
Date : 2023-08-09 08:41:50
Hash : 6ad7803d
Message : wip tag operations
test/ic3/integer.in
0x00
0x01
0x12
0x123
0x1234
0x12345
0x123456
0x1234567
0x12345678
0x123456789
0x123456789A
0x123456789AB
0x123456789ABC
0x123456789ABCD
0x123456789ABCDE
0x123456789ABCDEF
0x123456789ABCDEF0
0x123456789ABCDEF0123456789ABCDEF0
0x123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0
0x123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0
-0x00
-0x01
-0x12
-0x123
-0x1234
-0x12345
-0x123456
-0x1234567
-0x12345678
-0x123456789
-0x123456789A
-0x123456789AB
-0x123456789ABC
-0x123456789ABCD
-0x123456789ABCDE
-0x123456789ABCDEF
-0x123456789ABCDEF0
-0x123456789ABCDEF0123456789ABCDEF0
-0x123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0
-0x123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0
0
-0
1
-1
2
-2
1234567890
-1234567890
12345678901234567890
-12345678901234567890
123456789012345678901234567890
-123456789012345678901234567890
1234567890123456789012345678901234567890
-1234567890123456789012345678901234567890
12345678901234567890123456789012345678901234567890
-12345678901234567890123456789012345678901234567890
123456789012345678901234567890123456789012345678901234567890
-123456789012345678901234567890123456789012345678901234567890
1234567890123456789012345678901234567890123456789012345678901234567890
-1234567890123456789012345678901234567890123456789012345678901234567890
12345678901234567890123456789012345678901234567890123456789012345678901234567890
-12345678901234567890123456789012345678901234567890123456789012345678901234567890
123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
-123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
-1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
-1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
-1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
-18446744073709551616 + -18446744073709551616
-18446744073709551616 + -4294967296
-18446744073709551616 + -32769
-18446744073709551616 + -129
-18446744073709551616 + -1
-18446744073709551616 + 1
-18446744073709551616 + 256
-18446744073709551616 + 65536
-18446744073709551616 + 8589934592
-18446744073709551616 + 36893488147419103232
-4294967296 + -18446744073709551616
-4294967296 + -4294967296
-4294967296 + -32769
-4294967296 + -129
-4294967296 + -1
-4294967296 + 1
-4294967296 + 256
-4294967296 + 65536
-4294967296 + 8589934592
-4294967296 + 36893488147419103232
-32769 + -18446744073709551616
-32769 + -4294967296
-32769 + -32769
-32769 + -129
-32769 + -1
-32769 + 1
-32769 + 256
-32769 + 65536
-32769 + 8589934592
-32769 + 36893488147419103232
-129 + -18446744073709551616
-129 + -4294967296
-129 + -32769
-129 + -129
-129 + -1
-129 + 1
-129 + 256
-129 + 65536
-129 + 8589934592
-129 + 36893488147419103232
-1 + -18446744073709551616
-1 + -4294967296
-1 + -32769
-1 + -129
-1 + -1
-1 + 1
-1 + 256
-1 + 65536
-1 + 8589934592
-1 + 36893488147419103232
1 + -18446744073709551616
1 + -4294967296
1 + -32769
1 + -129
1 + -1
1 + 1
1 + 256
1 + 65536
1 + 8589934592
1 + 36893488147419103232
256 + -18446744073709551616
256 + -4294967296
256 + -32769
256 + -257
256 + -1
256 + 1
256 + 256
256 + 65536
256 + 8589934592
256 + 36893488147419103232
65536 + -18446744073709551616
65536 + -4294967296
65536 + -32769
65536 + -129
65536 + -1
65536 + 1
65536 + 256
65536 + 65536
65536 + 8589934592
65536 + 36893488147419103232
8589934592 + -18446744073709551616
8589934592 + -4294967296
8589934592 + -32769
8589934592 + -129
8589934592 + -1
8589934592 + 1
8589934592 + 256
8589934592 + 65536
8589934592 + 8589934592
8589934592 + 36893488147419103232
36893488147419103232 + -18446744073709551616
36893488147419103232 + -4294967296
36893488147419103232 + -32769
36893488147419103232 + -129
36893488147419103232 + -1
36893488147419103232 + 1
36893488147419103232 + 256
36893488147419103232 + 65536
36893488147419103232 + 8589934592
36893488147419103232 + 36893488147419103232
-18446744073709551616 - -18446744073709551616
-18446744073709551616 - -4294967296
-18446744073709551616 - -32769
-18446744073709551616 - -129
-18446744073709551616 - -1
-18446744073709551616 - 1
-18446744073709551616 - 256
-18446744073709551616 - 65536
-18446744073709551616 - 8589934592
-18446744073709551616 - 36893488147419103232
-4294967296 - -18446744073709551616
-4294967296 - -4294967296
-4294967296 - -32769
-4294967296 - -129
-4294967296 - -1
-4294967296 - 1
-4294967296 - 256
-4294967296 - 65536
-4294967296 - 8589934592
-4294967296 - 36893488147419103232
-32769 - -18446744073709551616
-32769 - -4294967296
-32769 - -32769
-32769 - -129
-32769 - -1
-32769 - 1
-32769 - 256
-32769 - 65536
-32769 - 8589934592
-32769 - 36893488147419103232
-129 - -18446744073709551616
-129 - -4294967296
-129 - -32769
-129 - -129
-129 - -1
-129 - 1
-129 - 256
-129 - 65536
-129 - 8589934592
-129 - 36893488147419103232
-1 - -18446744073709551616
-1 - -4294967296
-1 - -32769
-1 - -129
-1 - -1
-1 - 1
-1 - 256
-1 - 65536
-1 - 8589934592
-1 - 36893488147419103232
1 - -18446744073709551616
1 - -4294967296
1 - -32769
1 - -129
1 - -1
1 - 1
1 - 256
1 - 65536
1 - 8589934592
1 - 36893488147419103232
256 - -18446744073709551616
256 - -4294967296
256 - -32769
256 - -257
256 - -1
256 - 1
256 - 256
256 - 65536
256 - 8589934592
256 - 36893488147419103232
65536 - -18446744073709551616
65536 - -4294967296
65536 - -32769
65536 - -129
65536 - -1
65536 - 1
65536 - 256
65536 - 65536
65536 - 8589934592
65536 - 36893488147419103232
8589934592 - -18446744073709551616
8589934592 - -4294967296
8589934592 - -32769
8589934592 - -129
8589934592 - -1
8589934592 - 1
8589934592 - 256
8589934592 - 65536
8589934592 - 8589934592
8589934592 - 36893488147419103232
36893488147419103232 - -18446744073709551616
36893488147419103232 - -4294967296
36893488147419103232 - -32769
36893488147419103232 - -129
36893488147419103232 - -1
36893488147419103232 - 1
36893488147419103232 - 256
36893488147419103232 - 65536
36893488147419103232 - 8589934592
36893488147419103232 - 36893488147419103232
-18446744073709551616 * -18446744073709551616
-18446744073709551616 * -4294967296
-18446744073709551616 * -32769
-18446744073709551616 * -129
-18446744073709551616 * -1
-18446744073709551616 * 1
-18446744073709551616 * 256
-18446744073709551616 * 65536
-18446744073709551616 * 8589934592
-18446744073709551616 * 36893488147419103232
-4294967296 * -18446744073709551616
-4294967296 * -4294967296
-4294967296 * -32769
-4294967296 * -129
-4294967296 * -1
-4294967296 * 1
-4294967296 * 256
-4294967296 * 65536
-4294967296 * 8589934592
-4294967296 * 36893488147419103232
-32769 * -18446744073709551616
-32769 * -4294967296
-32769 * -32769
-32769 * -129
-32769 * -1
-32769 * 1
-32769 * 256
-32769 * 65536
-32769 * 8589934592
-32769 * 36893488147419103232
-129 * -18446744073709551616
-129 * -4294967296
-129 * -32769
-129 * -129
-129 * -1
-129 * 1
-129 * 256
-129 * 65536
-129 * 8589934592
-129 * 36893488147419103232
-1 * -18446744073709551616
-1 * -4294967296
-1 * -32769
-1 * -129
-1 * -1
-1 * 1
-1 * 256
-1 * 65536
-1 * 8589934592
-1 * 36893488147419103232
1 * -18446744073709551616
1 * -4294967296
1 * -32769
1 * -129
1 * -1
1 * 1
1 * 256
1 * 65536
1 * 8589934592
1 * 36893488147419103232
256 * -18446744073709551616
256 * -4294967296
256 * -32769
256 * -129
256 * -1
256 * 1
256 * 256
256 * 65536
256 * 8589934592
256 * 36893488147419103232
65536 * -18446744073709551616
65536 * -4294967296
65536 * -32769
65536 * -129
65536 * -1
65536 * 1
65536 * 256
65536 * 65536
65536 * 8589934592
65536 * 36893488147419103232
8589934592 * -18446744073709551616
8589934592 * -4294967296
8589934592 * -32769
8589934592 * -129
8589934592 * -1
8589934592 * 1
8589934592 * 256
8589934592 * 65536
8589934592 * 8589934592
8589934592 * 36893488147419103232
36893488147419103232 * -18446744073709551616
36893488147419103232 * -4294967296
36893488147419103232 * -32769
36893488147419103232 * -129
36893488147419103232 * -1
36893488147419103232 * 1
36893488147419103232 * 256
36893488147419103232 * 65536
36893488147419103232 * 8589934592
36893488147419103232 * 36893488147419103232
-18446744073709551616 / -18446744073709551616
-18446744073709551616 / -4294967296
-18446744073709551616 / -32769
-18446744073709551616 / -129
-18446744073709551616 / -1
-18446744073709551616 / 1
-18446744073709551616 / 256
-18446744073709551616 / 65536
-18446744073709551616 / 8589934592
-18446744073709551616 / 36893488147419103232
-4294967296 / -18446744073709551616
-4294967296 / -4294967296
-4294967296 / -32769
-4294967296 / -129
-4294967296 / -1
-4294967296 / 1
-4294967296 / 256
-4294967296 / 65536
-4294967296 / 8589934592
-4294967296 / 36893488147419103232
-32769 / -18446744073709551616
-32769 / -4294967296
-32769 / -32769
-32769 / -129
-32769 / -1
-32769 / 1
-32769 / 256
-32769 / 65536
-32769 / 8589934592
-32769 / 36893488147419103232
-129 / -18446744073709551616
-129 / -4294967296
-129 / -32769
-129 / -129
-129 / -1
-129 / 1
-129 / 256
-129 / 65536
-129 / 8589934592
-129 / 36893488147419103232
-1 / -18446744073709551616
-1 / -4294967296
-1 / -32769
-1 / -129
-1 / -1
-1 / 1
-1 / 256
-1 / 65536
-1 / 8589934592
-1 / 36893488147419103232
1 / -18446744073709551616
1 / -4294967296
1 / -32769
1 / -129
1 / -1
1 / 1
1 / 256
1 / 65536
1 / 8589934592
1 / 36893488147419103232
256 / -18446744073709551616
256 / -4294967296
256 / -32769
256 / -257
256 / -1
256 / 1
256 / 256
256 / 65536
256 / 8589934592
256 / 36893488147419103232
65536 / -18446744073709551616
65536 / -4294967296
65536 / -32769
65536 / -129
65536 / -1
65536 / 1
65536 / 256
65536 / 65536
65536 / 8589934592
65536 / 36893488147419103232
8589934592 / -18446744073709551616
8589934592 / -4294967296
8589934592 / -32769
8589934592 / -129
8589934592 / -1
8589934592 / 1
8589934592 / 256
8589934592 / 65536
8589934592 / 8589934592
8589934592 / 36893488147419103232
36893488147419103232 / -18446744073709551616
36893488147419103232 / -4294967296
36893488147419103232 / -32769
36893488147419103232 / -129
36893488147419103232 / -1
36893488147419103232 / 1
36893488147419103232 / 256
36893488147419103232 / 65536
36893488147419103232 / 8589934592
36893488147419103232 / 36893488147419103232
kc3-lang/kc3/test/ic3/integer.in

Commit

kc3-lang/kc3 /test/ic3/integer.in
