• Joined on 2026年05月27日
manuklein pushed to join-over-arbitrary-domain at gavlegoat/pail 2026年07月10日 00:00:14 +02:00
625c9e3663 Bug was found but Tristan fixed everything magically.
manuklein pushed to join-over-arbitrary-domain at gavlegoat/pail 2026年07月08日 00:46:06 +02:00
9cd62ae499 Working on implementing join for zonotope over arbitrary sub-polyhedral underlying domain.
manuklein created branch join-over-arbitrary-domain in gavlegoat/pail 2026年07月08日 00:46:06 +02:00
manuklein pushed to zonotope-overhaul at gavlegoat/pail 2026年07月08日 00:35:34 +02:00
0275e49de7 Working on better join for zonotopes with arbitrary underlying domain.
manuklein pushed to zonotope-overhaul at gavlegoat/pail 2026年06月19日 00:45:12 +02:00
849770e4b9 Added expression bounds method to apron underlying domain.
ffb835f8df Apron domains are now underlying domains.
Compare 2 commits »
manuklein pushed to zonotope-overhaul at gavlegoat/pail 2026年06月18日 20:34:18 +02:00
0ca7f15fad Apron domains have unit type variables now.
1eda905fca Merge remote-tracking branch 'origin/apron' into zonotope-overhaul
a30b050641 Apron-based domains
Compare 3 commits »
manuklein pushed to zonotope-overhaul at gavlegoat/pail 2026年06月17日 23:52:48 +02:00
415bf9b5a6 WIP: Measure uses test on underlying domain rather than interval intersection.
manuklein pushed to zonotope-overhaul at gavlegoat/pail 2026年06月17日 22:18:53 +02:00
e024c4a132 WIP: Zonotope domain now takes underlying domain. Operations are still likely unsound outside of underlying interval domain.
manuklein created pull request gavlegoat/pail#23 2026年06月16日 01:02:37 +02:00
Added interval domain.
manuklein pushed to zonotope-overhaul at gavlegoat/pail 2026年06月13日 00:35:28 +02:00
4b24a8e07d Added expression bounds method to underlying domains to avoid losing information when calculating var bounds in zonotope domain.
manuklein pushed to zonotope-overhaul at gavlegoat/pail 2026年06月12日 01:38:20 +02:00
14d0499d97 Made an underlying domain builder and made interval domain an underlying domain.
766d28b686 Merge branch 'pad' into zonotope-overhaul
Compare 2 commits »
manuklein created branch zonotope-overhaul in gavlegoat/pail 2026年06月12日 01:38:19 +02:00
manuklein pushed to mutable-variable-set at gavlegoat/pail 2026年06月11日 20:41:08 +02:00
f5d4433d87 Made variables a unit function and added underlying domain module that allows for modification of variable list.
manuklein created pull request gavlegoat/pail#17 2026年06月10日 22:01:46 +02:00
Made variable list mutable and changed how domains are constructed.
manuklein pushed to mutable-variable-set at gavlegoat/pail 2026年06月10日 21:56:53 +02:00
cd3bbe638a Made variable list mutable and changed how domains are constructed.
manuklein created branch mutable-variable-set in gavlegoat/pail 2026年06月10日 21:56:53 +02:00
manuklein deleted branch mutable_variable_set from gavlegoat/pail 2026年06月09日 22:38:29 +02:00
manuklein pushed to mutable_variable_set at gavlegoat/pail 2026年06月09日 22:29:15 +02:00
2ba40818c7 Merge branch 'main' into mutable_variable_set
17eb66fa4b Merge pull request 'Integration tests' (#11) from integration into main
921fc05036 Integration tests
2f9a3958f6 Merge pull request 'Disable warning 42 in test' (#10) from disable-warning-42 into main
745e3d926c Disable warning 42 in test
Compare 16 commits »
manuklein pushed to pad at gavlegoat/pail 2026年06月09日 21:15:38 +02:00
0587e73ead Wrote test cases for interval domain.
manuklein pushed to pad at gavlegoat/pail 2026年06月09日 21:10:27 +02:00
5da0a92c9f Forgot the mli, sorry.