1 Pull request merged by 1 person

• work in progress, fix github issues

  #238 merged Aug 20, 2024

5 Issues closed by 2 people

• error when running -nodesktop/-nodisplay importONNXNetwork

  #161 closed Aug 21, 2024

• Maintaining reachable sets for only two layers in memory at a time

  #229 closed Aug 21, 2024

• Improving efficiency of Max-Pooling Layer

  #236 closed Aug 20, 2024

• Empty Sets in output of MaxPooling2DLayer

  #234 closed Aug 20, 2024

• Switching devices to CPU for MaxPooling2DLayer

  #233 closed Aug 20, 2024

1 Issue opened by 1 person

• Potentially Redundant LPs in verify_specification

  #239 opened Aug 22, 2024

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Slightly more efficient fully-connected layer

  #235 commented on Aug 20, 2024 • 0 new comments

• Issue in ImageStar estimateRanges

  #237 commented on Aug 22, 2024 • 0 new comments