Branches performance
Pull requests
last run
15 days ago
feat: redesign of the API
22 days ago
03ec610
Dekker1:feat/api
-13%
last run
29 days ago
style: reorder rust-items in module files
29 days ago
a287f68
Dekker1:fix/overflow
0%
last run
1 month ago
perf: small optimization in finding maximum usage period in cumulative time profile
1 month ago
82118a0
AllenZzw:feat/max_period
0%
last run
1 month ago
update the default domain for unbounded integer variables to [i32::MIN,i32::MAX]
1 month ago
06e9c7b
AllenZzw:fix/unbounded_int
0%