-
Notifications
You must be signed in to change notification settings - Fork 106
Attack #848
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Open
mayaswissa
wants to merge
70
commits into
NeuralNetworkVerification:master
Choose a base branch
from
mayaswissa:attack
base: master
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Attack #848
Changes from 62 commits
Commits
Show all changes
70 commits
Select commit
Hold shift + click to select a range
b94fdde
add attack files
mayaswissa f7f4fdc
changes for attack
mayaswissa fb07f91
cmake
mayaswissa d7e67ef
fix
mayaswissa 96f31ef
all
mayaswissa 502118c
install torch
mayaswissa aac8eb1
fix attack and torch
mayaswissa 654619b
torch
mayaswissa 4cad1dc
fix attack and torch
mayaswissa ad2cb59
check nlr null
mayaswissa 336c3dc
output bounds check
mayaswissa 1b23749
onnexParser 975 &
mayaswissa 0e1f9a1
check _networkLevelReasoner not null in Engine.cpp
mayaswissa f524517
minor changes
mayaswissa 367abaa
minor changes
mayaswissa d159b78
change to cmake cluster
mayaswissa 5791447
fix activations
mayaswissa 7051166
fix bounds and output, improve loss and verify customDNN
mayaswissa 7c6385f
change num iters and CMakeLists.txt for cluster.
mayaswissa 476c519
maxPool and improve LR
mayaswissa 7b69540
update DEFAULT_NUM_RESTARTS
mayaswissa bc1375d
find delta to find example
mayaswissa 51c7090
improve loss
mayaswissa 1102cbf
pgd class &
mayaswissa 7cbe917
fix customDNN class &
mayaswissa 1d19289
fix customDNN
mayaswissa 343bbbf
exit if attack succeeded
mayaswissa 61d1cbf
change default restarts
mayaswissa 53738b6
change default restarts and iterations
mayaswissa 8b7aeb8
remove prints
mayaswissa def3a1c
change default restarts
mayaswissa 0ce47ba
change default restarts
mayaswissa 6b17d94
change default restarts
mayaswissa 3b70087
change default restarts
mayaswissa 5357411
change default restarts
mayaswissa a8a167d
implementation for backward of maxpool
idan0610 8977cc9
bug fix in CustomMaxPool backward + extract solution from PGD attack …
idan0610 d5b708c
Possible fix for building bug
idan0610 4683d77
bug fix in CustomMaxPool backward + extract solution from PGD attack …
idan0610 5e9fa7b
Merge remote-tracking branch 'origin/attack' into attack
idan0610 a3b8d33
minor
idan0610 780318a
fix advInput PGD.cpp
mayaswissa c9d75ad
improve loss
mayaswissa 0680f21
fix _findAdvExample
mayaswissa c5f0207
v
mayaswissa e091387
changes for pull request
mayaswissa a91dcf3
add timeout
mayaswissa 192b414
timeout
mayaswissa 57d1845
timeout
mayaswissa 31c32eb
timeout
mayaswissa 1099e15
CUSTOM_LOG
mayaswissa f54b12f
add build torch flag
mayaswissa 4e0b69d
ADD #ifdef BUILD_TORCH
mayaswissa 6b6711e
CMakeLists.txt
mayaswissa 18f367d
CMakeLists.txt
mayaswissa 105a769
CMakeLists.txt
mayaswissa 42cc2f6
CMakeLists.txt BUILD_TORCH ON
mayaswissa a5a6ff6
CMakeLists.txt : set(TORCH_CXX_FLAGS "-Wno-error=array-bounds")
mayaswissa 174bb45
change PGD logging
mayaswissa 7f4565c
ENGINE_LOGGING, CUSTOM_DNN_LOGGING, PGD_LOG=true
mayaswissa 46011cf
change model in PGD to std::unique_ptr<CustomDNN> _model.
mayaswissa 58723cc
Fix memory leak + change default for running pgd attack to false
idan0610 36d5b71
remove vscode files , Marabou_LOG to LOG , sources.popBack(); in Cust…
mayaswissa ddb068d
CHANGELOG.md
mayaswissa 77041b5
PGD_LOGGING, CUSTOM_DNN_LOGGING = false
mayaswissa 8bba518
Engine.cpp #ifdef BIULD_TORCH
mayaswissa dbd57d5
change attack time log
mayaswissa 88c90d5
change attack time log
mayaswissa d870652
change timeout attack error
mayaswissa 725327f
some bug fixes
idan0610 File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -35,6 +35,7 @@ _deps | |
| /tools/protobuf* | ||
| /tools/OpenBLAS* | ||
| /tools/onnx* | ||
| /tools/libtorch* | ||
|
|
||
|
|
||
| build | ||
|
|
||
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,7 @@ | ||
| { | ||
| // Use IntelliSense to learn about possible attributes. | ||
| // Hover to view descriptions of existing attributes. | ||
| // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387 | ||
| "version": "0.2.0", | ||
| "configurations": [] | ||
| } |
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,99 @@ | ||
| { | ||
| "files.associations": { | ||
| "cctype": "cpp", | ||
| "clocale": "cpp", | ||
| "cmath": "cpp", | ||
| "csetjmp": "cpp", | ||
| "csignal": "cpp", | ||
| "cstdarg": "cpp", | ||
| "cstddef": "cpp", | ||
| "cstdio": "cpp", | ||
| "cstdlib": "cpp", | ||
| "cstring": "cpp", | ||
| "ctime": "cpp", | ||
| "cwchar": "cpp", | ||
| "cwctype": "cpp", | ||
| "*.ipp": "cpp", | ||
| "any": "cpp", | ||
| "array": "cpp", | ||
| "atomic": "cpp", | ||
| "strstream": "cpp", | ||
| "barrier": "cpp", | ||
| "bit": "cpp", | ||
| "*.tcc": "cpp", | ||
| "bitset": "cpp", | ||
| "cfenv": "cpp", | ||
| "charconv": "cpp", | ||
| "chrono": "cpp", | ||
| "cinttypes": "cpp", | ||
| "codecvt": "cpp", | ||
| "compare": "cpp", | ||
| "complex": "cpp", | ||
| "concepts": "cpp", | ||
| "condition_variable": "cpp", | ||
| "coroutine": "cpp", | ||
| "cstdint": "cpp", | ||
| "deque": "cpp", | ||
| "forward_list": "cpp", | ||
| "list": "cpp", | ||
| "map": "cpp", | ||
| "set": "cpp", | ||
| "string": "cpp", | ||
| "unordered_map": "cpp", | ||
| "unordered_set": "cpp", | ||
| "vector": "cpp", | ||
| "exception": "cpp", | ||
| "expected": "cpp", | ||
| "algorithm": "cpp", | ||
| "functional": "cpp", | ||
| "iterator": "cpp", | ||
| "memory": "cpp", | ||
| "memory_resource": "cpp", | ||
| "numeric": "cpp", | ||
| "optional": "cpp", | ||
| "random": "cpp", | ||
| "ratio": "cpp", | ||
| "regex": "cpp", | ||
| "source_location": "cpp", | ||
| "string_view": "cpp", | ||
| "system_error": "cpp", | ||
| "tuple": "cpp", | ||
| "type_traits": "cpp", | ||
| "utility": "cpp", | ||
| "rope": "cpp", | ||
| "slist": "cpp", | ||
| "format": "cpp", | ||
| "fstream": "cpp", | ||
| "future": "cpp", | ||
| "initializer_list": "cpp", | ||
| "iomanip": "cpp", | ||
| "iosfwd": "cpp", | ||
| "iostream": "cpp", | ||
| "istream": "cpp", | ||
| "latch": "cpp", | ||
| "limits": "cpp", | ||
| "mutex": "cpp", | ||
| "new": "cpp", | ||
| "numbers": "cpp", | ||
| "ostream": "cpp", | ||
| "ranges": "cpp", | ||
| "scoped_allocator": "cpp", | ||
| "semaphore": "cpp", | ||
| "shared_mutex": "cpp", | ||
| "span": "cpp", | ||
| "spanstream": "cpp", | ||
| "sstream": "cpp", | ||
| "stacktrace": "cpp", | ||
| "stdexcept": "cpp", | ||
| "stdfloat": "cpp", | ||
| "stop_token": "cpp", | ||
| "streambuf": "cpp", | ||
| "syncstream": "cpp", | ||
| "thread": "cpp", | ||
| "typeindex": "cpp", | ||
| "typeinfo": "cpp", | ||
| "valarray": "cpp", | ||
| "variant": "cpp" | ||
| }, | ||
| "C_Cpp.errorSquiggles": "disabled" | ||
| } |
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
remove this file from PR