ReluVal

ReluVal copied to clipboard

when I make, I find Compilation Error. but I don't change the code. `/usr/bin/ld: split.o:(.bss+0x0): multiple definition of `lock'; network_test.o:(.bss+0x0): first defined here collect2: error: ld returned 1 exit status...

donfly-gyh

what does the parameter "target" 4 means?

1

i don't understand what the "target" means in nnet.c.

coding-fantasia

In nnet.c ``` if (PROPERTY==16) { float upper[] = {62000,-0.7,-3.141592+0.005,200,1200}; float lower[] = {12000,-3.141592,-3.141592,100,0}; memcpy(u, upper, sizeof(float)*inputSize); memcpy(l, lower, sizeof(float)*inputSize); } if (PROPERTY==26) { float upper[] = {62000,3.141592,-3.141592+0.005,200,1200}; float lower[]...

shchae7

The current master version of ReluVal can sometimes create more than `MAX_THREAD` threads. This can be seen by applying only the first commit in this pull request (track max simultaneous...

martinjos

If I change `check_max_constant` in `split.c` to use a threshold of -0.02 instead of 0.5011, I get a segfault during verification.

stanleybak

The function backward_prop in nnet.c assumes all hidden layers of the network have size maxLayerSize, and though this is true for the prototype ACAS Xu networks, this is not true...

kjulian3

I am trying to test a neural network that has different sized hidden layers, but I am getting a segfault. After some debugging, it looks like the indices used for...

kjulian3