tokenize_verilog: tokens can have a sign in general

[sebastianst]

This function is used in ABY's BooleanCircuit::PutGateFromFile. Tokens, in general, can have a sign so I propose to change the type of tokens to int. Will also shortly post a respective PR in the ABY repo.

[sebastianst]

Please merge or comment @lenerd

[lenerd]

What does a token actually represent (the naming is very generic), is it a wire id?
Maybe @dd23 should take a look at this.

[sebastianst]

What does a token actually represent (the naming is very generic), is it a wire id?
Maybe @dd23 should take a look at this.

Yes, it's a wire id, so it could be allowed to be negative. It doesn't hurt to parse it as an int instead of just a uint. I had a case where I wrote a script that output a circuit with positive and negative wire ids (because it made more sense there) and this extension came in handy. I think I maybe marked the input wires negative...

[lenerd]

And these wire ids are not used as indices to an array anywhere?

[dd23]

Commented there: encryptogroup/ABY#97