|
|
63f0e88788
|
Fixed Karr domain
|
2024-06-09 22:03:01 +02:00 |
|
|
|
0c1e540883
|
Finished Karr
|
2024-06-09 20:30:36 +02:00 |
|
|
|
f34d1b9e52
|
Correctly renamed & began karr domain
|
2024-06-09 20:30:36 +02:00 |
|
|
|
a930045006
|
Added matrices
|
2024-06-09 20:30:36 +02:00 |
|
Granahir2
|
d838756d0e
|
Preparing for final commit
|
2024-06-09 18:11:53 +02:00 |
|
Granahir2
|
d26445d151
|
init : int -> t
|
2024-06-09 00:23:46 +02:00 |
|
Granahir2
|
a41dedd362
|
More congruence precision, backprop bug fix, disjunctive analysis!
|
2024-06-08 21:54:06 +02:00 |
|
Granahir2
|
185f016303
|
Improved congruence, implemented RP, fixed whitespace.
|
2024-06-08 10:48:13 +02:00 |
|
Granahir2
|
5d3416bae9
|
Reduced product functor
|
2024-06-06 16:09:13 +02:00 |
|
|
|
43edb5714d
|
Fixed congruence domain
|
2024-06-06 15:44:16 +02:00 |
|
|
|
614e73bfb7
|
Added congruence domain
|
2024-06-04 23:46:00 +02:00 |
|
Granahir2
|
d2b9ba9ae0
|
Fixed compare() mishap
|
2024-06-02 12:13:42 +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 |
|
|
|
fe42e05286
|
Fixed interval
|
2024-06-01 21:23:14 +02:00 |
|
|
|
0ed5e6b81f
|
Added Selene's modification
|
2024-06-01 20:58:56 +02:00 |
|
|
|
d80653ef00
|
Added interval domains + fixed nix
|
2024-06-01 20:49:48 +02:00 |
|
Granahir2
|
041d492986
|
Fixed up signs, less naive func support
|
2024-06-01 19:29:10 +02:00 |
|
Granahir2
|
e6ecc3e9b0
|
Init commit
|
2024-05-29 11:47:47 +02:00 |
|
