|
|
614e73bfb7
|
Added congruence domain
|
2024-06-04 23:46:00 +02:00 |
|
Granahir2
|
5a3177825f
|
Fixed results' styling
|
2024-06-02 12:45:53 +02:00 |
|
Granahir2
|
d2b9ba9ae0
|
Fixed compare() mishap
|
2024-06-02 12:13:42 +02:00 |
|
Granahir2
|
39f938226e
|
Ensure termination in while/for
|
2024-06-02 12:09:52 +02:00 |
|
Granahir2
|
432dbf32dc
|
Merge branch 'elias'
|
2024-06-02 12:01:07 +02:00 |
|
|
|
0ca8a19bf7
|
Smarter bwd_binary in interval domain
|
2024-06-02 00:49:58 +02:00 |
|
Granahir2
|
4981194070
|
Some more debug info
|
2024-06-01 21:46:44 +02:00 |
|
Granahir2
|
a422935884
|
More explicit logs
|
2024-06-01 21:32:05 +02:00 |
|
|
|
fe42e05286
|
Fixed interval
|
2024-06-01 21:23:14 +02:00 |
|
|
|
0ed5e6b81f
|
Added Selene's modification
|
2024-06-01 20:58:56 +02:00 |
|
|
|
ab1ba60b36
|
Fixed tests
|
2024-06-01 20:49:48 +02:00 |
|
|
|
d80653ef00
|
Added interval domains + fixed nix
|
2024-06-01 20:49:48 +02:00 |
|
|
|
7276f302c5
|
Added nix support
|
2024-06-01 20:49:48 +02:00 |
|
Granahir2
|
1fbdff1ec6
|
Let user choose domain
|
2024-06-01 19:35:36 +02:00 |
|
Granahir2
|
041d492986
|
Fixed up signs, less naive func support
|
2024-06-01 19:29:10 +02:00 |
|
Granahir2
|
f477edb789
|
Function support
|
2024-05-29 22:30:48 +02:00 |
|
Granahir2
|
e6ecc3e9b0
|
Init commit
|
2024-05-29 11:47:47 +02:00 |
|
|
|
1d3fb5eb85
|
Initial commit
|
2024-05-29 11:38:26 +02:00 |
|
