nishantparekh01 Solidity_to_EFSM issues

nishantparekh01 / Solidity_to_EFSM

casino conversion

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update for withdraw in escrow required to prevent generating redundant transitions for _buyer and _supplier

#51 nishantparekh01 opened 2 weeks ago
0
A variable of address type can be assigned a new address in Solidity. Can this be also done in EFSM ?

#50 nishantparekh01 closed 1 week ago
1
Developing code for `payable(msg.sender).transfer(amt);` does it also work for `payable(withdrawable[msg.sender]).transfer(amt)`

#49 nishantparekh01 opened 3 weeks ago
0
Different model of assignSender for nonblocking models

#48 nishantparekh01 closed 3 weeks ago
1
Model is blocking when no spec is added

#47 nishantparekh01 closed 1 week ago
1
Revert "Trial different efsm framewrok"

#46 nishantparekh01 opened 1 month ago
0
Trial different efsm framewrok

#45 nishantparekh01 closed 1 month ago
0
parameter assignment appears twice in placeBet

#44 nishantparekh01 closed 1 month ago
1
function `ignore_list` should be in python file where we load the files

#43 nishantparekh01 closed 1 week ago
1
Assignment of value for sender variable

#42 nishantparekh01 opened 2 months ago
0
Argument value in placeBet _guess should convert to a guard representing possible assignment of _guess

#41 nishantparekh01 closed 1 month ago
1
write a function where we can just input variables that we want to ignore

#40 nishantparekh01 closed 1 week ago
1
'False' at the end of guard_transition_template'

#39 nishantparekh01 closed 2 months ago
1
We don't have a OperatorWinsFail ? So, should that be a rule when defining transitions for functioncalls ?

#38 nishantparekh01 closed 1 week ago
1
removeFromPotX does not show up in EFSM events

#37 nishantparekh01 closed 2 months ago
1
What do we do about assign Sender ?

#36 nishantparekh01 closed 2 months ago
2
Generate correct node numbers and transitions for if-else statements

#35 nishantparekh01 opened 2 months ago
1
Need to add a self-loop wherever there is a function call.

#34 nishantparekh01 closed 2 months ago
3
Add a separate variable 'value' which represents msg.value

#33 nishantparekh01 closed 4 months ago
1
EFSM in Supremica appear red. and not green. Not sure why.

#32 nishantparekh01 closed 4 months ago
3
Why are there two <NodeLists> being created ?

#31 nishantparekh01 closed 4 months ago
1
Only the last transition is being added to xml. Why is this happening ?

#30 nishantparekh01 closed 4 months ago
0
Do something about the constructor and its events

#29 nishantparekh01 closed 2 months ago
1
Generate the final xml structure. Keep adding to it, so that we can directly print and use it later

#28 nishantparekh01 closed 4 months ago
0
Wat should we do with the constructor and events associated with it ?

#27 nishantparekh01 closed 2 months ago
1
Why are there double events added in xml EventDeclList ?

#26 nishantparekh01 closed 4 months ago
1
Variable Marking ? state == IDLE marked ? Check this

#25 nishantparekh01 closed 1 week ago
2
Add 'sender' variable as enum with values "x0001" and "x0002"

#24 nishantparekh01 closed 4 months ago
2
Add newly generated events to a list for xml <EventDecl kind="Controllable" Name="event_name">

#23 nishantparekh01 closed 4 months ago
0
attributes of structs may be different for different variables.

#22 nishantparekh01 closed 1 month ago
1
Handle if statement xml accept

#21 nishantparekh01 closed 4 months ago
0
Need to pass dictionaries rather than output of json.dumps() to avoid additional front slashses.

#20 nishantparekh01 closed 4 months ago
1
Adding numeric variables to the AST

#19 nishantparekh01 closed 4 months ago
0
Handling and adding integer variables to AST

#18 nishantparekh01 closed 4 months ago
0
Adding enum variables to the AST structure

#17 nishantparekh01 closed 4 months ago
0
Generate transitions when event 'transfer' occurs

#16 nishantparekh01 closed 2 months ago
1
Does each transition have to have an event ?

#15 nishantparekh01 closed 4 months ago
1
Sort out wager.

#14 nishantparekh01 closed 1 month ago
2
Keep in mind that the value of hashedNumber and secretNumber should be same. Either zero or 1

#13 nishantparekh01 opened 4 months ago
0
Model is blocking with value == 1 and pot == 0

#12 nishantparekh01 closed 1 week ago
0
Why double 'and' in guard_exp for placebet

#11 nishantparekh01 closed 4 months ago
4
wagerbet should be only bet

#10 nishantparekh01 closed 4 months ago
0
stateGAME_AVAILABLE should be only GAME_AVAILABLE

#9 nishantparekh01 closed 4 months ago
0
msgsender should be sender

#8 nishantparekh01 closed 4 months ago
0
createGameX does not show up

#7 nishantparekh01 closed 4 months ago
0
Adding nodes to node_list

#6 nishantparekh01 closed 4 months ago
0
attribute 'event' in byOperator has value 'byOperator1' and eventList has events without the number 1

#5 nishantparekh01 closed 4 months ago
0
Generate self-loop transition if there is only one transition for efsm

#4 nishantparekh01 closed 4 months ago
0
expression['ntype'] == 'FunctionCall' Error

#3 nishantparekh01 closed 4 months ago
0
Handle variable declaration with assignment as conditional

#2 nishantparekh01 closed 4 months ago
0