issues
search
anmavrid
/
smart-contracts
https://cps-vo.org/group/smartcontracts
MIT License
119
stars
30
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Enhanced Property Templates
#25
Atefeh-Zareh
closed
11 months ago
0
Log fix extensions
#24
Atefeh-Zareh
closed
11 months ago
0
New template 16
#23
Atefeh-Zareh
closed
11 months ago
0
New template 15
#22
Atefeh-Zareh
closed
11 months ago
0
New template 14
#21
Atefeh-Zareh
closed
11 months ago
0
New template 13
#20
Atefeh-Zareh
closed
11 months ago
0
New template 12
#19
Atefeh-Zareh
closed
11 months ago
0
New template 11
#18
Atefeh-Zareh
closed
11 months ago
0
New template 10
#17
Atefeh-Zareh
closed
11 months ago
0
New template 9
#16
Atefeh-Zareh
closed
11 months ago
0
New template 8
#15
Atefeh-Zareh
closed
11 months ago
0
Template 7
#14
Atefeh-Zareh
closed
11 months ago
0
Property6 implementation
#13
Atefeh-Zareh
closed
1 year ago
0
Property5 implementation
#12
Atefeh-Zareh
closed
1 year ago
0
BugFix: Corrected NuXmv Translation for Property 3
#11
Atefeh-Zareh
closed
1 year ago
0
BugFix: Corrected NuXmv Translation for Property 2
#10
Atefeh-Zareh
closed
1 year ago
0
Bug Fix:Corrected NuXmv Translation for Property 2
#9
Atefeh-Zareh
closed
1 year ago
0
Incorrect Verification Result for Property Type 3
#8
Atefeh-Zareh
closed
1 year ago
1
Incorrect Verification Result for Property Type 2
#7
Atefeh-Zareh
closed
1 year ago
3
Changes needed for editor to work in Edge
#6
pmeijer
closed
6 years ago
0
Updated gitignore
#5
anmavrid
closed
6 years ago
0
Removed NuSMV.
#4
anmavrid
closed
6 years ago
0
Merge Verification
#3
anmavrid
closed
6 years ago
0
Uncaught exception on SolidityCodeEditor
#2
anmavrid
opened
7 years ago
1
Create LICENSE
#1
anmavrid
closed
7 years ago
0