NeVerTools/pyNeVer issues and pull requests

#34 - Merge dev to align again

Pull Request - State: closed - Opened by sdemarch 17 days ago

#33 - Add accuracy to training and testing

Pull Request - State: closed - Opened by sdemarch 26 days ago

#32 - Bugfix and refactoring

Pull Request - State: closed - Opened by sdemarch 4 months ago

#31 - Refactor bounds propagation

Pull Request - State: closed - Opened by sdemarch 5 months ago

#30 - Upgrade Python version for release 1.0

Pull Request - State: closed - Opened by sdemarch 7 months ago

#29 - Merge from VNNCOMP and refactoring

Pull Request - State: closed - Opened by sdemarch 7 months ago

#28 - Vnncomp merge

Pull Request - State: closed - Opened by sdemarch 8 months ago

#27 - Refactor verification.py

Issue - State: closed - Opened by darioguidotti 10 months ago - 3 comments
Labels: enhancement

#26 - Refactor conversion.py

Issue - State: open - Opened by sdemarch 10 months ago
Labels: enhancement

#25 - Refactor abstraction.py

Issue - State: closed - Opened by sdemarch 10 months ago - 3 comments
Labels: enhancement

#24 - Refactor nodes.py

Issue - State: closed - Opened by sdemarch 10 months ago - 3 comments
Labels: enhancement

#23 - Refactor networks.py

Issue - State: closed - Opened by sdemarch 10 months ago - 1 comment
Labels: enhancement

#22 - Check commit 7d22b66

Issue - State: closed - Opened by sdemarch 11 months ago
Labels: help wanted

#21 - Incorrect property parsing

Issue - State: closed - Opened by KarimPedemonte about 1 year ago
Labels: bug

#20 - Variable coefficients in property parser

Issue - State: closed - Opened by sdemarch over 1 year ago
Labels: bug

#19 - Network pre-analysis for algorithm initialization

Issue - State: open - Opened by sdemarch over 1 year ago
Labels: enhancement

#18 - Numerical error with SMT?

Issue - State: closed - Opened by sdemarch over 1 year ago

#17 - Implementation

Pull Request - State: closed - Opened by AndreaGimelli over 1 year ago

#16 - ConversionStrategy.from_neural_network() cache

Issue - State: open - Opened by sdemarch almost 2 years ago
Labels: invalid

#15 - Remove Tensorflow dependencies and IEEEAccess

Pull Request - State: closed - Opened by sdemarch almost 2 years ago

#14 - Keras conversion for layers with padding

Issue - State: open - Opened by sdemarch almost 2 years ago - 1 comment
Labels: bug

#12 - Keras reading issue

Issue - State: closed - Opened by sdemarch almost 2 years ago
Labels: bug

#11 - Alt_Repr to Keras issue

Issue - State: closed - Opened by sdemarch almost 2 years ago
Labels: bug

#10 - Utility methods and assertion refactoring

Pull Request - State: closed - Opened by sdemarch almost 2 years ago

#9 - Add method delete_last_node for removing the last node consistently

Issue - State: closed - Opened by sdemarch almost 2 years ago
Labels: feature

#8 - Change assertions to exceptions in abstraction.NeuralNetwork

Issue - State: closed - Opened by sdemarch almost 2 years ago
Labels: bug, feature

#7 - Add method is_empty to abstraction.NeuralNetwork