Nightly

nightly build

Changes:

• be8febe add throttle, fixup bp.init() for proper initialization
• c79967b using iterators
• 17f239c base line specbot
• 589fb1b base line specbot
• 67d77e2 remove a parameter when calling bound_analyzer_on_row
• b985838 do not pass row index to bound_analyzer_on_row
• 10c2af8 try for mixed-mode
• ead8478 fix build per new API for analyze_row
• 1a3d1ad add base line bounds tightening utility
• 7044bb8 remove an unused parameter in bound_analyzer_on_row

See More

• fbfbfa5 print column value
• f50f211 Fix #7505 (#7565)
• bd3d288 tighten only core constrants
• 45ad614 added logging
• 1fec0fa remove verbose output
• 01fbc0e fix #7563
• 712231d fix #7560
• 075773e remove proviso for single index arrays
• 3e5abef fix #7549
• e0945f5 fix #7554
• 28f3f80 #7559
• 1106648 #7559
• 991cffb handle multi-arity arrays
• 674e1b8 remove equality check on container
• ce69b54 adjust select/store rule for n-ary arrays
• 42f6e13 more review of mbp_arrays
• a4a84ed arrays are not necessarily unary
• a5e5a35 code simplification
• a143ed3 taking a look at mbp_qel for arrays
• dda6073 updated release notes
• fb6ec7d increase version number
• 30dba9b use down-level setup tools on hosted machines to avoid https://stackoverflow.com/questions/79252233/canonicalize-versionversion-strip-trailing-zero-false-while-doing-colcon-buil

This list of changes was auto generated.