ulahello pushed to WIP-zon-widen-v2 at gavlegoat/pail 2026年07月06日 23:01:14 +02:00
68aa698cb9 Redesign zonotope widening, use interval widening component-wise
ulahello pushed to WIP-zon-widen-v2 at gavlegoat/pail 2026年07月02日 20:54:09 +02:00
db88e58c4b WIP/backup
336a735faa Add interval domain pretty printer
210b62c5a2 Wrote test cases for interval domain.
e05f0de643 Forgot the mli, sorry.
1583ad4b2d Added utility function that generates a map from a function and its support.
Compare 6 commits »
ulahello pushed to WIP-zon-widen-v2 at gavlegoat/pail 2026年07月02日 20:50:08 +02:00
5ba0f9f331 WIP/backup
ulahello created branch WIP-zon-widen-v2 in gavlegoat/pail 2026年07月02日 20:50:08 +02:00
ulahello pushed to polyhedra-widening at gavlegoat/pail 2026年06月22日 22:04:23 +02:00
87c81c2634 Shorten Expr.sum
336a735faa Add interval domain pretty printer
210b62c5a2 Wrote test cases for interval domain.
e05f0de643 Forgot the mli, sorry.
1583ad4b2d Added utility function that generates a map from a function and its support.
Compare 6 commits »
ulahello created branch polyhedra-widening in gavlegoat/pail 2026年06月22日 22:04:22 +02:00
ulahello pushed to pad at gavlegoat/pail 2026年06月17日 21:26:40 +02:00
336a735faa Add interval domain pretty printer
ulahello pushed to pad at gavlegoat/pail 2026年06月17日 21:18:08 +02:00
06a4f4016c Add interval domain pretty printer
210b62c5a2 Wrote test cases for interval domain.
e05f0de643 Forgot the mli, sorry.
1583ad4b2d Added utility function that generates a map from a function and its support.
5066b10fb4 Add interval domain
Compare 34 commits »
ulahello deleted branch split from gavlegoat/pail 2026年06月15日 20:55:53 +02:00
ulahello pushed to widening-v3 at gavlegoat/pail 2026年06月13日 02:26:29 +02:00
7378567eb3 Add unit test for tree widening
ulahello pushed to widening-v3 at gavlegoat/pail 2026年06月13日 02:13:12 +02:00
c0c460893f Add unit tests for tree variable comparison
f420315fc0 Fix tree's var_equal_domains, should consider probability bounds
Compare 2 commits »
ulahello pushed to widening-v3 at gavlegoat/pail 2026年06月13日 01:53:43 +02:00
60a7880da0 Add unit tests for tree variable comparison
ulahello pushed to widening-v3 at gavlegoat/pail 2026年06月13日 01:52:14 +02:00
6d9da8df17 Add unit tests for tree variable comparison
ulahello pushed to widening-v3 at gavlegoat/pail 2026年06月11日 01:52:13 +02:00
b4ef0f5514 Add unit tests for zonotope widening and variable comparison
ulahello pushed to widening-v3 at gavlegoat/pail 2026年06月11日 00:12:17 +02:00
cd20334d60 Run DomainAnalysis tests for both zonotopes and Topaz
ulahello pushed to widening-v3 at gavlegoat/pail 2026年06月10日 23:44:42 +02:00
0154740048 Add unit tests for DomainAnalysis module
ulahello pushed to widening-v3 at gavlegoat/pail 2026年06月10日 22:04:53 +02:00
095aba459b Add some integration tests for widening
9dfe792098 Add widening operator to domains, find fixed point to widen loops
Compare 2 commits »
ulahello created pull request gavlegoat/pail#16 2026年06月10日 21:29:52 +02:00
Fix regression in expression pretty printing, add test case
ulahello pushed to widening-v3 at gavlegoat/pail 2026年06月10日 21:24:50 +02:00
86cb3e37aa Add some integration tests for widening
2702fbdf45 Add widening operator to domains, find fixed point to widen loops
Compare 2 commits »
ulahello pushed to expr-pp-fix at gavlegoat/pail 2026年06月10日 03:04:31 +02:00
f5c67f7e48 Fix regression in expression pretty printing, add test case