Commit graph

Select branches

Hide pull requests

elias

main

Mono Color

• 63f0e88788 Fixed Karr domain elias soyouzpanda 2024-06-09 22:01:48 +0200
• 2808f0bd8c Integration main Granahir2 2024-06-09 21:30:20 +0200
• 0c1e540883 Finished Karr soyouzpanda 2024-06-09 20:30:11 +0200
• f34d1b9e52 Correctly renamed & began karr domain soyouzpanda 2024-06-08 23:57:48 +0200
• a930045006 Added matrices soyouzpanda 2024-06-08 22:40:20 +0200
• d838756d0e Preparing for final commit Granahir2 2024-06-09 18:11:53 +0200
• d26445d151 init : int -> t Granahir2 2024-06-09 00:23:46 +0200
• a41dedd362 More congruence precision, backprop bug fix, disjunctive analysis! Granahir2 2024-06-08 21:54:06 +0200
• 185f016303 Improved congruence, implemented RP, fixed whitespace. Granahir2 2024-06-08 10:48:13 +0200
• 5d3416bae9 Reduced product functor Granahir2 2024-06-06 16:09:13 +0200
• 0a3e5d6710 Merge branch 'elias' Granahir2 2024-06-06 16:05:06 +0200
• 43edb5714d Fixed congruence domain soyouzpanda 2024-06-06 15:44:16 +0200
• 614e73bfb7 Added congruence domain soyouzpanda 2024-06-04 23:46:00 +0200
• 2fc13a3ec4 Goto loop termination support Granahir2 2024-06-04 17:55:32 +0200
• 5a3177825f Fixed results' styling Granahir2 2024-06-02 12:45:53 +0200
• d2b9ba9ae0 Fixed compare() mishap Granahir2 2024-06-02 12:13:42 +0200
• 39f938226e Ensure termination in while/for Granahir2 2024-06-02 12:09:52 +0200
• 432dbf32dc Merge branch 'elias' Granahir2 2024-06-02 12:01:07 +0200
• 0ca8a19bf7 Smarter bwd_binary in interval domain soyouzpanda 2024-06-02 00:49:58 +0200
• 4981194070 Some more debug info Granahir2 2024-06-01 21:46:44 +0200
• a422935884 More explicit logs Granahir2 2024-06-01 21:32:05 +0200
• fe42e05286 Fixed interval soyouzpanda 2024-06-01 21:23:14 +0200
• 0ed5e6b81f Added Selene's modification soyouzpanda 2024-06-01 20:58:56 +0200
• ab1ba60b36 Fixed tests soyouzpanda 2024-06-01 20:38:34 +0200
• d80653ef00 Added interval domains + fixed nix soyouzpanda 2024-05-31 00:05:54 +0200
• 7276f302c5 Added nix support soyouzpanda 2024-05-30 23:22:41 +0200
• 1fbdff1ec6 Let user choose domain Granahir2 2024-06-01 19:35:36 +0200
• 041d492986 Fixed up signs, less naive func support Granahir2 2024-06-01 19:29:10 +0200
• f477edb789 Function support Granahir2 2024-05-29 22:30:48 +0200
• e6ecc3e9b0 Init commit Granahir2 2024-05-29 11:47:47 +0200
• 1d3fb5eb85 Initial commit Selene 2024-05-29 11:38:26 +0200