An overview of commit and contributor trends.
Timeline
Per Year
Latest commit date: 2020-05-27
| Commits |
107 |
742 |
| Contributors |
8 |
15 |
| 2020 | 2019 |
Per Month
Latest commit date: 2020-05-27
| Commits |
13 |
31 |
8 |
22 |
33 |
0 |
35 |
118 |
153 |
84 |
70 |
13 |
4 |
54 |
41 |
47 |
123 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
| Contributors |
5 |
3 |
4 |
4 |
6 |
0 |
4 |
7 |
7 |
5 |
5 |
4 |
1 |
4 |
3 |
7 |
7 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
| 2020 05 |
2020 04 |
2020 03 |
2020 02 |
2020 01 |
2019 12 |
2019 11 |
2019 10 |
2019 09 |
2019 08 |
2019 07 |
2019 06 |
2019 05 |
2019 04 |
2019 03 |
2019 02 |
2019 01 |
2018 12 |
2018 11 |
2018 10 |
2018 09 |
2018 08 |
2018 07 |
2018 06 |
Per Week
Latest commit date: 2020-05-27
| Commits |
3 |
5 |
2 |
3 |
0 |
0 |
9 |
17 |
6 |
3 |
2 |
2 |
0 |
6 |
6 |
8 |
2 |
9 |
5 |
9 |
10 |
0 |
0 |
0 |
0 |
0 |
12 |
4 |
18 |
0 |
4 |
2 |
13 |
26 |
75 |
25 |
29 |
17 |
81 |
29 |
13 |
12 |
5 |
30 |
30 |
12 |
5 |
18 |
1 |
0 |
0 |
12 |
3 |
0 |
0 |
0 |
3 |
0 |
15 |
37 |
0 |
28 |
11 |
2 |
0 |
2 |
11 |
26 |
4 |
27 |
56 |
11 |
21 |
12 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
| Contributors |
3 |
3 |
2 |
2 |
0 |
0 |
2 |
3 |
1 |
2 |
1 |
2 |
0 |
3 |
3 |
2 |
1 |
3 |
3 |
2 |
3 |
0 |
0 |
0 |
0 |
0 |
3 |
3 |
3 |
0 |
1 |
2 |
4 |
5 |
6 |
4 |
5 |
4 |
5 |
4 |
4 |
3 |
2 |
5 |
4 |
2 |
3 |
3 |
1 |
0 |
0 |
4 |
1 |
0 |
0 |
0 |
2 |
0 |
4 |
4 |
0 |
2 |
2 |
2 |
0 |
2 |
3 |
5 |
2 |
4 |
6 |
3 |
3 |
3 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
| 2020 05 25 |
2020 05 18 |
2020 05 11 |
2020 05 04 |
2020 04 27 |
2020 04 20 |
2020 04 13 |
2020 04 06 |
2020 03 30 |
2020 03 23 |
2020 03 16 |
2020 03 09 |
2020 03 02 |
2020 02 24 |
2020 02 17 |
2020 02 10 |
2020 02 03 |
2020 01 27 |
2020 01 20 |
2020 01 13 |
2020 01 06 |
2019 12 30 |
2019 12 23 |
2019 12 16 |
2019 12 09 |
2019 12 02 |
2019 11 25 |
2019 11 18 |
2019 11 11 |
2019 11 04 |
2019 10 28 |
2019 10 21 |
2019 10 14 |
2019 10 07 |
2019 09 30 |
2019 09 23 |
2019 09 16 |
2019 09 09 |
2019 09 02 |
2019 08 26 |
2019 08 19 |
2019 08 12 |
2019 08 05 |
2019 07 29 |
2019 07 22 |
2019 07 15 |
2019 07 08 |
2019 07 01 |
2019 06 24 |
2019 06 17 |
2019 06 10 |
2019 06 03 |
2019 05 27 |
2019 05 20 |
2019 05 13 |
2019 05 06 |
2019 04 29 |
2019 04 22 |
2019 04 15 |
2019 04 08 |
2019 04 01 |
2019 03 25 |
2019 03 18 |
2019 03 11 |
2019 03 04 |
2019 02 25 |
2019 02 18 |
2019 02 11 |
2019 02 04 |
2019 01 28 |
2019 01 21 |
2019 01 14 |
2019 01 07 |
2018 12 31 |
2018 12 24 |
2018 12 17 |
2018 12 10 |
2018 12 03 |
2018 11 26 |
2018 11 19 |
2018 11 12 |
2018 11 05 |
2018 10 29 |
2018 10 22 |
2018 10 15 |
2018 10 08 |
2018 10 01 |
2018 09 24 |
2018 09 17 |
2018 09 10 |
2018 09 03 |
2018 08 27 |
2018 08 20 |
2018 08 13 |
2018 08 06 |
2018 07 30 |
2018 07 23 |
2018 07 16 |
2018 07 09 |
2018 07 02 |
2018 06 25 |
2018 06 18 |
2018 06 11 |
2018 06 04 |
Per Day
Latest commit date: 2020-05-27
| Commits |
3 |
0 |
0 |
0 |
0 |
0 |
3 |
0 |
0 |
2 |
0 |
0 |
0 |
0 |
2 |
0 |
0 |
0 |
0 |
1 |
0 |
2 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
5 |
0 |
0 |
0 |
4 |
0 |
2 |
15 |
0 |
0 |
0 |
0 |
0 |
0 |
5 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
4 |
1 |
0 |
1 |
0 |
0 |
1 |
5 |
0 |
0 |
0 |
0 |
0 |
0 |
8 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
4 |
2 |
3 |
0 |
1 |
1 |
0 |
2 |
1 |
0 |
0 |
0 |
1 |
4 |
2 |
2 |
0 |
0 |
0 |
2 |
4 |
3 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
8 |
3 |
3 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
2 |
0 |
12 |
1 |
2 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
2 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
5 |
6 |
0 |
0 |
0 |
1 |
2 |
5 |
5 |
13 |
18 |
2 |
14 |
18 |
6 |
16 |
1 |
0 |
0 |
8 |
6 |
8 |
1 |
2 |
7 |
2 |
2 |
2 |
10 |
6 |
0 |
2 |
0 |
1 |
1 |
0 |
1 |
12 |
8 |
45 |
17 |
2 |
7 |
2 |
0 |
0 |
5 |
5 |
6 |
5 |
8 |
0 |
0 |
5 |
6 |
1 |
1 |
0 |
0 |
0 |
0 |
5 |
2 |
0 |
4 |
1 |
0 |
0 |
1 |
0 |
2 |
0 |
2 |
3 |
2 |
19 |
1 |
3 |
2 |
0 |
0 |
0 |
8 |
3 |
13 |
2 |
4 |
2 |
0 |
3 |
4 |
1 |
0 |
2 |
0 |
0 |
1 |
0 |
0 |
3 |
1 |
5 |
9 |
1 |
0 |
0 |
0 |
3 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
3 |
0 |
3 |
6 |
0 |
0 |
3 |
0 |
0 |
| Contributors |
3 |
0 |
0 |
0 |
0 |
0 |
3 |
0 |
0 |
2 |
0 |
0 |
0 |
0 |
2 |
0 |
0 |
0 |
0 |
1 |
0 |
2 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
2 |
0 |
0 |
0 |
2 |
0 |
2 |
3 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
3 |
1 |
0 |
1 |
0 |
0 |
1 |
2 |
0 |
0 |
0 |
0 |
0 |
0 |
2 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
2 |
1 |
2 |
0 |
1 |
1 |
0 |
2 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
2 |
3 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
3 |
2 |
2 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
3 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
3 |
2 |
0 |
0 |
0 |
1 |
1 |
3 |
3 |
3 |
3 |
1 |
3 |
5 |
3 |
2 |
1 |
0 |
0 |
3 |
3 |
3 |
1 |
1 |
2 |
1 |
2 |
1 |
3 |
2 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
3 |
2 |
3 |
4 |
2 |
2 |
1 |
0 |
0 |
2 |
3 |
2 |
3 |
3 |
0 |
0 |
3 |
2 |
1 |
1 |
0 |
0 |
0 |
0 |
3 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
3 |
1 |
2 |
2 |
0 |
0 |
0 |
3 |
2 |
2 |
1 |
1 |
1 |
0 |
2 |
2 |
1 |
0 |
2 |
0 |
0 |
1 |
0 |
0 |
2 |
1 |
2 |
2 |
1 |
0 |
0 |
0 |
2 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
2 |
0 |
2 |
2 |
0 |
0 |
1 |
0 |
0 |
| 2020 05 27 |
2020 05 26 |
2020 05 25 |
2020 05 24 |
2020 05 23 |
2020 05 22 |
2020 05 21 |
2020 05 20 |
2020 05 19 |
2020 05 18 |
2020 05 17 |
2020 05 16 |
2020 05 15 |
2020 05 14 |
2020 05 13 |
2020 05 12 |
2020 05 11 |
2020 05 10 |
2020 05 09 |
2020 05 08 |
2020 05 07 |
2020 05 06 |
2020 05 05 |
2020 05 04 |
2020 05 03 |
2020 05 02 |
2020 05 01 |
2020 04 30 |
2020 04 29 |
2020 04 28 |
2020 04 27 |
2020 04 26 |
2020 04 25 |
2020 04 24 |
2020 04 23 |
2020 04 22 |
2020 04 21 |
2020 04 20 |
2020 04 19 |
2020 04 18 |
2020 04 17 |
2020 04 16 |
2020 04 15 |
2020 04 14 |
2020 04 13 |
2020 04 12 |
2020 04 11 |
2020 04 10 |
2020 04 09 |
2020 04 08 |
2020 04 07 |
2020 04 06 |
2020 04 05 |
2020 04 04 |
2020 04 03 |
2020 04 02 |
2020 04 01 |
2020 03 31 |
2020 03 30 |
2020 03 29 |
2020 03 28 |
2020 03 27 |
2020 03 26 |
2020 03 25 |
2020 03 24 |
2020 03 23 |
2020 03 22 |
2020 03 21 |
2020 03 20 |
2020 03 19 |
2020 03 18 |
2020 03 17 |
2020 03 16 |
2020 03 15 |
2020 03 14 |
2020 03 13 |
2020 03 12 |
2020 03 11 |
2020 03 10 |
2020 03 09 |
2020 03 08 |
2020 03 07 |
2020 03 06 |
2020 03 05 |
2020 03 04 |
2020 03 03 |
2020 03 02 |
2020 03 01 |
2020 02 29 |
2020 02 28 |
2020 02 27 |
2020 02 26 |
2020 02 25 |
2020 02 24 |
2020 02 23 |
2020 02 22 |
2020 02 21 |
2020 02 20 |
2020 02 19 |
2020 02 18 |
2020 02 17 |
2020 02 16 |
2020 02 15 |
2020 02 14 |
2020 02 13 |
2020 02 12 |
2020 02 11 |
2020 02 10 |
2020 02 09 |
2020 02 08 |
2020 02 07 |
2020 02 06 |
2020 02 05 |
2020 02 04 |
2020 02 03 |
2020 02 02 |
2020 02 01 |
2020 01 31 |
2020 01 30 |
2020 01 29 |
2020 01 28 |
2020 01 27 |
2020 01 26 |
2020 01 25 |
2020 01 24 |
2020 01 23 |
2020 01 22 |
2020 01 21 |
2020 01 20 |
2020 01 19 |
2020 01 18 |
2020 01 17 |
2020 01 16 |
2020 01 15 |
2020 01 14 |
2020 01 13 |
2020 01 12 |
2020 01 11 |
2020 01 10 |
2020 01 09 |
2020 01 08 |
2020 01 07 |
2020 01 06 |
2020 01 05 |
2020 01 04 |
2020 01 03 |
2020 01 02 |
2020 01 01 |
2019 12 31 |
2019 12 30 |
2019 12 29 |
2019 12 28 |
2019 12 27 |
2019 12 26 |
2019 12 25 |
2019 12 24 |
2019 12 23 |
2019 12 22 |
2019 12 21 |
2019 12 20 |
2019 12 19 |
2019 12 18 |
2019 12 17 |
2019 12 16 |
2019 12 15 |
2019 12 14 |
2019 12 13 |
2019 12 12 |
2019 12 11 |
2019 12 10 |
2019 12 09 |
2019 12 08 |
2019 12 07 |
2019 12 06 |
2019 12 05 |
2019 12 04 |
2019 12 03 |
2019 12 02 |
2019 12 01 |
2019 11 30 |
2019 11 29 |
2019 11 28 |
2019 11 27 |
2019 11 26 |
2019 11 25 |
2019 11 24 |
2019 11 23 |
2019 11 22 |
2019 11 21 |
2019 11 20 |
2019 11 19 |
2019 11 18 |
2019 11 17 |
2019 11 16 |
2019 11 15 |
2019 11 14 |
2019 11 13 |
2019 11 12 |
2019 11 11 |
2019 11 10 |
2019 11 09 |
2019 11 08 |
2019 11 07 |
2019 11 06 |
2019 11 05 |
2019 11 04 |
2019 11 03 |
2019 11 02 |
2019 11 01 |
2019 10 31 |
2019 10 30 |
2019 10 29 |
2019 10 28 |
2019 10 27 |
2019 10 26 |
2019 10 25 |
2019 10 24 |
2019 10 23 |
2019 10 22 |
2019 10 21 |
2019 10 20 |
2019 10 19 |
2019 10 18 |
2019 10 17 |
2019 10 16 |
2019 10 15 |
2019 10 14 |
2019 10 13 |
2019 10 12 |
2019 10 11 |
2019 10 10 |
2019 10 09 |
2019 10 08 |
2019 10 07 |
2019 10 06 |
2019 10 05 |
2019 10 04 |
2019 10 03 |
2019 10 02 |
2019 10 01 |
2019 09 30 |
2019 09 29 |
2019 09 28 |
2019 09 27 |
2019 09 26 |
2019 09 25 |
2019 09 24 |
2019 09 23 |
2019 09 22 |
2019 09 21 |
2019 09 20 |
2019 09 19 |
2019 09 18 |
2019 09 17 |
2019 09 16 |
2019 09 15 |
2019 09 14 |
2019 09 13 |
2019 09 12 |
2019 09 11 |
2019 09 10 |
2019 09 09 |
2019 09 08 |
2019 09 07 |
2019 09 06 |
2019 09 05 |
2019 09 04 |
2019 09 03 |
2019 09 02 |
2019 09 01 |
2019 08 31 |
2019 08 30 |
2019 08 29 |
2019 08 28 |
2019 08 27 |
2019 08 26 |
2019 08 25 |
2019 08 24 |
2019 08 23 |
2019 08 22 |
2019 08 21 |
2019 08 20 |
2019 08 19 |
2019 08 18 |
2019 08 17 |
2019 08 16 |
2019 08 15 |
2019 08 14 |
2019 08 13 |
2019 08 12 |
2019 08 11 |
2019 08 10 |
2019 08 09 |
2019 08 08 |
2019 08 07 |
2019 08 06 |
2019 08 05 |
2019 08 04 |
2019 08 03 |
2019 08 02 |
2019 08 01 |
2019 07 31 |
2019 07 30 |
2019 07 29 |
2019 07 28 |
2019 07 27 |
2019 07 26 |
2019 07 25 |
2019 07 24 |
2019 07 23 |
2019 07 22 |
2019 07 21 |
2019 07 20 |
2019 07 19 |
2019 07 18 |
2019 07 17 |
2019 07 16 |
2019 07 15 |
2019 07 14 |
2019 07 13 |
2019 07 12 |
2019 07 11 |
2019 07 10 |
2019 07 09 |
2019 07 08 |
2019 07 07 |
2019 07 06 |
2019 07 05 |
2019 07 04 |
2019 07 03 |
2019 07 02 |
2019 07 01 |
2019 06 30 |
2019 06 29 |
2019 06 28 |
2019 06 27 |
2019 06 26 |
2019 06 25 |
2019 06 24 |
2019 06 23 |
2019 06 22 |
2019 06 21 |
2019 06 20 |
2019 06 19 |
2019 06 18 |
2019 06 17 |
2019 06 16 |
2019 06 15 |
2019 06 14 |
2019 06 13 |
2019 06 12 |
2019 06 11 |
2019 06 10 |
2019 06 09 |
2019 06 08 |
2019 06 07 |
2019 06 06 |
2019 06 05 |
2019 06 04 |
2019 06 03 |
2019 06 02 |
2019 06 01 |
2019 05 31 |
2019 05 30 |
2019 05 29 |
Contributors
Recent Contributors (0 = 0 veterans + 0 rookies)
Contributed in past 6 months (a rookie = the first contribution in past year)
No contributors in past 30 days.
No contributors in past 31 to 90 days.
No contributors in past 91 to 180 days.
Historical Contributors (18)
Last contributed more than 6 months ago
Contributors Matrix (Per Month)
| Commits (3m) |
Commit Days |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
5
|
3
|
4
|
4
|
6
|
|
| shuvendu-lahiri@users.noreply.github.com | - | 110 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
|
|
|
|
| ellab@microsoft.com | - | 57 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
|
|
|
| ellab123@users.noreply.github.com | - | 1 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
-
|
-
|
-
|
| shuvendu@microsoft.com | - | 54 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
|
|
-
|
|
| yxliang01@users.noreply.github.com | - | 1 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
-
|
-
|
-
|
-
|
| jon@users-MacBook-Pro.local | - | 6 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
|
-
|
|
| kferles@gmail.com | - | 12 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
|
| Shuvendu@microsoft.com | - | 70 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
|
|
| xinxl@microsoft.com | - | 5 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| shenshanpku@gmail.com | - | 1 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| diego.garbervetsky@gmail.com | - | 10 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| verabogdanichespina@gmail.com | - | 1 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| yuepeng.ypwang@gmail.com | - | 3 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| rok@kowalski.gd | - | 1 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| rongpan17@gmail.com | - | 11 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| shuochen@microsoft.com | - | 4 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| shuochen@live.com | - | 2 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| microsoftopensource@users.noreply.github.com | - | 1 |
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
| Commits |
|
||||||||||||||||||||||||
| Contributors |
|
18 contributors (849 commits):
| # | Contributor |
First Commit |
Latest Commit |
Commits Count |
File Updates (per extension) |
|---|---|---|---|---|---|
| 1. | shuvendu-lahiri@users.noreply.github.com | 2019-01-04 | 2020-05-27 | 252 (29%) | sol (419), cs (360), json (211), md (94), txt (59) |
| 2. | Shuvendu@microsoft.com | 2019-01-05 | 2020-02-22 | 221 (26%) | cs (336), sol (191), json (69), txt (54), csproj (48) |
| 3. | shuvendu@microsoft.com | 2019-01-12 | 2020-05-21 | 133 (15%) | sol (265), cs (203), csproj (31), txt (26), md (26) |
| 4. | ellab@microsoft.com | 2019-07-01 | 2020-05-27 | 94 (11%) | sol (265), cs (80), json (73), txt (18), (4) |
| 5. | rongpan17@gmail.com | 2019-01-17 | 2019-03-13 | 40 (4%) | sol (152), json (145), cs (55), txt (18), cmd (2) |
| 6. | xinxl@microsoft.com | 2019-09-17 | 2019-10-09 | 26 (3%) | cs (49), json (19), sol (18), csproj (14), yml (14) |
| 7. | diego.garbervetsky@gmail.com | 2019-04-11 | 2019-09-26 | 25 (2%) | sol (157), cs (40), json (14), md (6), csproj (4) |
| 8. | kferles@gmail.com | 2019-09-05 | 2020-02-28 | 20 (2%) | cs (60), sol (20), json (7), md (6), txt (4) |
| 9. | jon@users-MacBook-Pro.local | 2020-01-24 | 2020-04-10 | 12 (1%) | sol (57), cs (44), json (40), csproj (8), txt (2) |
| 10. | shuochen@microsoft.com | 2019-01-25 | 2019-02-15 | 9 (1%) | cs (13), sol (7), json (5), txt (5) |
| 11. | yuepeng.ypwang@gmail.com | 2019-01-23 | 2019-06-06 | 5 (<1%) | cs (3), txt (3), json (2), sol (2) |
| 12. | verabogdanichespina@gmail.com | 2019-08-04 | 2019-08-04 | 3 (<1%) | cs (3), csproj (1) |
| 13. | shenshanpku@gmail.com | 2019-10-08 | 2019-10-08 | 2 (<1%) | cs (2), json (1), md (1) |
| 14. | shuochen@live.com | 2019-02-11 | 2019-02-12 | 2 (<1%) | cs (3), json (3), sol (3), txt (1) |
| 15. | microsoftopensource@users.noreply.github.com | 2019-01-04 | 2019-01-04 | 2 (<1%) | md (1), (1) |
| 16. | ellab123@users.noreply.github.com | 2020-05-27 | 2020-05-27 | 1 (<1%) | md (1), props (1) |
| 17. | yxliang01@users.noreply.github.com | 2020-05-13 | 2020-05-13 | 1 (<1%) | gitattributes (1) |
| 18. | rok@kowalski.gd | 2019-06-04 | 2019-06-04 | 1 (<1%) | md (1) |
Contributor Dependencies
A contributor dependency is detected if two contributors have changed the same files in the past 35600 days.
C-median: 12.0
A half of the contributors has more than 12.0 connections, and a half has less than this number.
C-mean: 12.0
An average number of connections a contributor has with other contributors.
C-index: 11.0
There are 11.0 contributors with 11.0 or more connections.
Most Connected Contributors
| Contributor | # connections | # commits | |
|---|---|---|---|
| 1. | shuvendu-lahiri@users.noreply.github.com | 17 | 252 |
| 2. | kferles@gmail.com | 16 | 20 |
| 3. | Shuvendu@microsoft.com | 15 | 221 |
| 4. | shuvendu@microsoft.com | 15 | 133 |
| 5. | ellab@microsoft.com | 15 | 94 |
| 6. | xinxl@microsoft.com | 15 | 26 |
| 7. | diego.garbervetsky@gmail.com | 15 | 25 |
| 8. | jon@users-MacBook-Pro.local | 15 | 12 |
| 9. | rongpan17@gmail.com | 12 | 40 |
| 10. | yuepeng.ypwang@gmail.com | 12 | 5 |
| 11. | shuochen@live.com | 12 | 2 |
| 12. | shuochen@microsoft.com | 11 | 9 |
| 13. | verabogdanichespina@gmail.com | 11 | 3 |
| 14. | shenshanpku@gmail.com | 10 | 2 |
| 15. | ellab123@users.noreply.github.com | 10 | 1 |
| 16. | rok@kowalski.gd | 10 | 1 |
| 17. | microsoftopensource@users.noreply.github.com | 4 | 2 |
| 18. | yxliang01@users.noreply.github.com | 1 | 1 |
Contributor Dependencies via Shared Files
show graph...
The number on lines shows the number of same files that both persons changed in past 35600 days.
- open 3D force graph
Contributor 1
Contributor 2
# shared files
1.
shuvendu-lahiri@users.noreply.github.com
ellab@microsoft.com
297 shared files
Test/regressions/Revert.sol
Test/config/Overflow10.json
Test/regressions/EventInBase.sol
Test/regressions/InheritWithConstructorArgs.sol
Test/regressions/Overflow12.sol
Test/regressions/Overflow-Literals2.sol
Test/regressions/InternalRecursiveFunctionCall.sol
Test/regressions/ArrayAlias.sol
Test/regressions/DeleteScalar.sol
Test/config/Overflow9.json
Sources/SolToBoogie/TranslatorFlags.cs
Test/regressions/ArrayParamCopy_fail.sol
Test/config/Overflow10Mod.json
Test/regressions/FieldAccess.sol
Test/regressions/IncDec.sol
Test/config/Uint8-Overflow-NegMod.json
Test/regressions/Overflow2.sol
Test/config/UInt-2Mod.json
Test/regressions/ArrayLength.sol
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/Overflow9.sol
Test/regressions/Uint8-Overflow-Neg.sol
Test/regressions/StateVarInit.sol
Test/regressions/Uint8-Overflow-DownCasts.sol
Test/regressions/ArrayLengthParam.sol
Test/regressions/ConstructorLinearizedWithArgs3.sol
Test/config/Overflow2.json
Test/records.txt
Test/regressions/Getters.sol
Test/config/Overflow5.json
Test/config/ConstructorLinearizedWithArgs2.json
Sources/VeriSol/Program.cs
Test/regressions/Overflow-Literals3.sol
Test/regressions/StructTypeNoTemporaries.sol
Test/regressions/Error.sol
Test/regressions/ConstructorChaining_fail.sol
Test/regressions/SafeMath.sol
Test/regressions/InheritanceWithContractArg.sol
INSTALL.md
Test/regressions/ArrayNestedFixedSize.sol
Test/config/UInt-2.json
Test/config/Overflow2Mod.json
Test/regressions/ArrayLowerDimCopy.sol
Test/regressions/LoopNestedWhile.sol
Test/config/Uint8-Overflow-DownCastsMod.json
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/DynDispatch.sol
Test/regressions/ReturnNamedParam.sol
Test/regressions/ConstructorChaining3_fail.sol
Test/regressions/EmbeddedCalls_fail.sol
Test/regressions/ContractAsFunctionArg_fail.sol
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/MethodInConditional.sol
Sources/VeriSol.props
Test/regressions/LoopDoWhile.sol
Test/config/ConstructorLinearized.json
Sources/SolToBoogie/ParseUtils.cs
Test/config/Overflow1.json
Test/regressions/Uint8-Overflow-NegMod.sol
Test/regressions/StructNestedConstructor.sol
Test/config/Overflow6.json
Test/regressions/Overflow5Mod.sol
Test/regressions/ConstructorModifier.sol
Test/config/Overflow5Mod.json
Test/regressions/Overflow2Mod.sol
Test/regressions/CreateContract_fail.sol
Test/config/ConstructorLinearizedWithArgs3.json
Test/config/ConstructorLinearized_fail.json
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/EnumParam.sol
Test/regressions/ExternalFunctionCall_fail.sol
azure-pipelines.yml
Test/config/Assembly4.json
Test/regressions/TypeCast.sol
Test/regressions/Getter.sol
Test/regressions/ArrayDynamicStorage.sol
Test/regressions/EmptyContract_fail.sol
Test/regressions/Overflow3.sol
Test/regressions/Uint256-OverflowMod.sol
Test/regressions/Overflow13.sol
Test/config/Overflow8Mod.json
Test/regressions/CreateContract.sol
Test/regressions/NoConstructor.sol
Test/config/InternalFunctionCall_fail.json
Test/regressions/LoopNestedFor.sol
Test/regressions/ContractInvUsageExample_fail.sol
Test/regressions/DeleteArray.sol
Test/regressions/StringToBytes2.sol
Test/regressions/ArrayLowerDimRef.sol
Test/regressions/UInt-1.sol
Sources/VeriSol.sln
Test/regressions/Mapping.sol
Test/config/Overflow11.json
Test/regressions/StructOfMapping.sol
Test/regressions/ReturnMult.sol
Test/regressions/Overflow8.sol
Test/regressions/ModifierWithInvocations.sol
Test/regressions/StructOfDynamicArray.sol
...
2.
shuvendu@microsoft.com
shuvendu-lahiri@users.noreply.github.com
230 shared files
Test/regressions/Revert.sol
Test/regressions/EventInBase.sol
Test/regressions/InheritWithConstructorArgs.sol
Test/workbench/PingPongGame/WrapperFiles/PingPongGame.sol
Test/regressions/InternalRecursiveFunctionCall.sol
Test/regressions/ArrayAlias.sol
Test/regressions/DeleteScalar.sol
Sources/VeriSolRunner/Program.cs
Test/regressions/ArrayParamCopy.sol
Sources/SolToBoogie/TranslatorFlags.cs
Sources/VeriSolRunner/VeriSolOutOfBandSpecsRunner.nuspec
Sources/SolidityAST/IASTVisitor.cs
Test/regressions/FieldAccess.sol
Test/workbench/README.md
Test/regressions/IncDec.sol
Test/config/ERC20-simplified.json
Test/config/ModifierWithArgs.json
Sources/SolToBoogie/StateVariableCollector.cs
Test/regressions/ERC20-simp-fail.sol
Test/config/TypeCast.json
Test/regressions/ArrayLength.sol
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/StateVarInit.sol
Test/regressions/ArrayLengthParam.sol
Test/records.txt
Test/regressions/Getters.sol
Sources/SolidityCFG/CFGBuilder.cs
Test/config/ConstructorChainingUnsoundSmall.json
Sources/VeriSol/Program.cs
Test/regressions/IERC20.sol
Test/regressions/StructTypeNoTemporaries.sol
Test/regressions/Error.sol
Test/regressions/SafeMath.sol
Test/regressions/InheritanceWithContractArg.sol
Test/regressions/EnsuresUsageExample.sol
INSTALL.md
Test/regressions/ArrayNestedFixedSize.sol
Test/config/DAO-Sim-Buggy.json
Test/regressions/ArrayLowerDimCopy.sol
Test/regressions/LoopNestedWhile.sol
Test/config/ModifierLocal.json
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/DynDispatch.sol
Test/regressions/ReturnNamedParam.sol
Test/config/ArrayParamCopy.json
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/MethodInConditional.sol
Sources/VeriSol.props
Sources/SolidityAST/IASTGenericVisitor.cs
Test/regressions/LoopDoWhile.sol
Sources/SolToBoogie/ParseUtils.cs
Test/regressions/StructNestedConstructor.sol
Test/regressions/ConstructorModifier.sol
Test/regressions/ArrayAlloc.sol
Test/config/Library.json
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/EnumParam.sol
Sources/SolToBoogie/InheritanceCollector.cs
Test/config/ConstructorChainingImplicit.json
azure-pipelines.yml
Test/regressions/TypeCast.sol
Test/regressions/Getter.sol
Libraries/VeriSolContracts.sol
Test/regressions/ArrayDynamicStorage.sol
Sources/SolToBoogie/HoudiniHelper.cs
Sources/SolToBoogie/BoogieTranslator.cs
Test/regressions/ConstructorChainingUnsound.sol
Test/regressions/CreateContract.sol
Test/regressions/NoConstructor.sol
Test/regressions/LoopNestedFor.sol
Test/regressions/DAO-demo.sol
Sources/VeriSolRunner/VeriSolExecuter.cs
Test/regressions/DeleteArray.sol
Test/regressions/Libraries/VeriSolContracts.sol
Test/regressions/ArrayLowerDimRef.sol
Test/regressions/UInt-1.sol
Sources/SolToBoogie/SourceInfoCollector.cs
Test/regressions/FuncsWithUnnamedParams.sol
Test/regressions/Mapping.sol
Sources/SolidityAST/SolidityAST.csproj
Test/regressions/StructOfMapping.sol
Test/regressions/ReturnMult.sol
Test/regressions/ModifierWithInvocations.sol
Test/regressions/StructOfDynamicArray.sol
Test/regressions/EmptyContract.sol
Test/regressions/ExplicitGetters.sol
Test/regressions/ERC20-modifies.sol
Test/regressions/Constructor.sol
Sources/SolToBoogie/SolToBoogie.csproj
Test/regressions/FuncCallInIfCondition.sol
Test/regressions/StaticDispatching.sol
Test/regressions/MappingNested.sol
Test/regressions/DoWhileLoop.sol
Sources/SolidityCFG/SolidityCFG.csproj
Sources/SolToBoogie/TestMain.cs
Test/regressions/InitOutsideCtors.sol
scripts/run_verisol_win.cmd
Test/regressions/Const.sol
...
3.
diego.garbervetsky@gmail.com
shuvendu-lahiri@users.noreply.github.com
192 shared files
Test/regressions/Revert.sol
Test/regressions/InheritWithConstructorArgs.sol
Test/workbench/PingPongGame/WrapperFiles/PingPongGame.sol
Test/regressions/InternalRecursiveFunctionCall.sol
Test/regressions/ArrayAlias.sol
Test/regressions/DeleteScalar.sol
Sources/VeriSolRunner/Program.cs
Test/regressions/ArrayParamCopy.sol
Test/regressions/FieldAccess.sol
Test/workbench/PingPongGame/WrapperFiles/A__PingPongGame_Workbench_exp.bpl
Test/workbench/BazaarItemListing/ItemListing.sol
Test/workbench/README.md
Test/regressions/IncDec.sol
Test/workbench/PingPongGame/WrapperFiles/README
Test/regressions/ArrayLength.sol
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/StateVarInit.sol
Test/regressions/ArrayLengthParam.sol
Test/records.txt
Test/regressions/Getters.sol
Sources/VeriSol/Program.cs
Test/regressions/StructTypeNoTemporaries.sol
Test/regressions/Error.sol
Test/workbench/AssetTransfer/WrapperFiles/AssetTransfer.sol
Test/workbench/FrequentFlyerRewardsCalculator/FrequentFlyerRewardsCalculator.sol
Test/regressions/InheritanceWithContractArg.sol
INSTALL.md
Test/regressions/ArrayNestedFixedSize.sol
Test/workbench/RoomThermostat/RoomThermostat.json
Test/regressions/ArrayLowerDimCopy.sol
Test/regressions/LoopNestedWhile.sol
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/DynDispatch.sol
Test/regressions/ReturnNamedParam.sol
Test/workbench/DefectiveComponentCounter/DefectiveComponentCounter.json
Test/workbench/AssetTransfer/AssetTransfer.json
Test/regressions/UInt.sol
Test/config/ArrayParamCopy.json
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/workbench/BazaarItemListing/BazaarItemListing.json
Test/regressions/MethodInConditional.sol
Test/regressions/LoopDoWhile.sol
Test/regressions/StructNestedConstructor.sol
Test/regressions/ConstructorModifier.sol
Test/workbench/DigitalLocker/DigitalLocker.sol
Test/workbench/AssetTransfer/WorkbenchBase.sol
Test/workbench/RefrigeratedTransportation/WrapperFiles/A__RefrigeratedTransportation_Workbench.sol
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/EnumParam.sol
Test/regressions/TypeCast.sol
Test/workbench/AssetTransfer/WrapperFiles/A__AssetTransfer_Workbench.sol
Test/regressions/Getter.sol
Libraries/VeriSolContracts.sol
Test/regressions/ArrayDynamicStorage.sol
Sources/SolToBoogie/BoogieTranslator.cs
Test/workbench/DefectiveComponentCounter/WrapperFiles/A__DefectiveComponentCounter_Workbench.sol
Test/workbench/FrequentFlyerRewardsCalculator/WrapperFiles/A__FrequentFlyerRewardsCalculator_Workbench.sol
Test/regressions/CreateContract.sol
Test/regressions/NoConstructor.sol
Test/regressions/LoopNestedFor.sol
Test/workbench/HelloBlockchain/WorkbenchBase.sol
Sources/VeriSolRunner/VeriSolExecuter.cs
Test/regressions/DeleteArray.sol
Test/regressions/ArrayLowerDimRef.sol
Test/workbench/PingPongGame/PingPongGame.json
Test/regressions/Mapping.sol
Test/regressions/StructOfMapping.sol
Test/regressions/ReturnMult.sol
Test/workbench/SimpleMarketplace/WrapperFiles/A__SimpleMarketplace_Workbench.sol
Test/regressions/ModifierWithInvocations.sol
Test/regressions/StructOfDynamicArray.sol
Test/regressions/EmptyContract.sol
Test/regressions/ExplicitGetters.sol
Test/workbench/RoomThermostat/WrapperFiles/A__RoomThermostat_Workbench.sol
Test/regressions/Constructor.sol
Sources/SolToBoogie/SolToBoogie.csproj
Test/workbench/RefrigeratedTransportation/RefrigeratedTransportation.json
Test/regressions/FuncCallInIfCondition.sol
Test/workbench/SimpleMarketplace/SimpleMarketplace.json
Test/regressions/StaticDispatching.sol
Test/workbench/DigitalLocker/WrapperFiles/A__DigitalLocker_Workbench.sol
Test/regressions/MappingNested.sol
Test/regressions/DoWhileLoop.sol
Test/regressions/InitOutsideCtors.sol
Test/regressions/Const.sol
Test/regressions/Library.sol
Test/workbench/DefectiveComponentCounter/DefectiveComponentCounter.sol
Test/regressions/StateVarCall.sol
Sources/VeriSolRunner/VeriSolOutOfBandSpecsRunner.csproj
Test/regressions/abiLibrary.sol
Test/regressions/Logical.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Test/regressions/ArrayFixedSize.sol
Test/regressions/NestedArray.sol
Test/workbench/PingPongGame/PingPongGame.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/StructType.sol
Test/regressions/InputParameters.sol
...
4.
shuvendu-lahiri@users.noreply.github.com
Shuvendu@microsoft.com
179 shared files
Test/config/ConstructorChaining.json
Test/regressions/EventInBase.sol
Test/regressions/InheritWithConstructorArgs.sol
Sources/VeriSolRunner/Program.cs
Sources/SolToBoogie/TranslatorFlags.cs
Sources/ExternalToolsManager/toolsourcesettings.json
Sources/VeriSolRunner/VeriSolOutOfBandSpecsRunner.nuspec
Test/regressions/IncDec.sol
Test/regressions/ERC20-simp-fail.sol
Test/config/TypeCast.json
Test/config/EventInBase.json
Test/regressions/ConstructorChaining.sol
Test/config/A__AssetTransfer_Workbench.json
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/StateVarInit.sol
Test/config/NestedArray.json
Test/records.txt
Test/regressions/Error3.sol
Test/config/FuncsWithUnnamedParams.json
Sources/VeriSol/Program.cs
Test/regressions/StructTypeNoTemporaries.sol
Test/regressions/Error.sol
Test/workbench/AssetTransfer/WrapperFiles/AssetTransfer.sol
Test/regressions/InheritanceWithContractArg.sol
Test/regressions/EnsuresUsageExample.sol
Test/regressions/DAO-modular-buggy-call.sol
INSTALL.md
Test/regressions/ArrayNestedFixedSize.sol
Test/config/ERC20.json
scripts/setup_windows.cmd
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/UInt.sol
Test/regressions/DAO-fixed-call.sol
Sources/ExternalToolsManager/DownloadedToolManager.cs
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/MethodInConditional.sol
Sources/VeriSol.props
Sources/SolToBoogie/ParseUtils.cs
Test/regressions/StructNestedConstructor.sol
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/Error2.sol
Test/regressions/EnumParam.sol
azure-pipelines.yml
Test/regressions/TypeCast.sol
Test/config/UsingForComplex.json
Test/workbench/AssetTransfer/WrapperFiles/A__AssetTransfer_Workbench.sol
Test/regressions/Getter.sol
Libraries/VeriSolContracts.sol
Test/regressions/DAO-buggy-transfer.sol
Sources/SolToBoogie/BoogieTranslator.cs
Test/regressions/transfer.sol
Sources/VeriSolRunner/VeriSolExecuter.cs
Test/config/DAO-buggy-transfer.json
Test/regressions/Libraries/VeriSolContracts.sol
Test/regressions/StringToBytes2.sol
Sources/SolToBoogie/SourceInfoCollector.cs
Test/regressions/A__AssetTransfer_Workbench.sol
Sources/VeriSol.sln
Test/regressions/FuncsWithUnnamedParams.sol
Sources/SolidityAST/SolidityAST.csproj
Test/regressions/EmptyContract.sol
Test/regressions/ExplicitGetters.sol
Test/regressions/DAO-buggy-value.sol
Test/config/ContractInvUsageExample.json
Sources/SolToBoogie/SolToBoogie.csproj
Test/config/Error3.json
Test/config/InheritanceWithContractArg.json
Test/regressions/MappingNested.sol
Test/regressions/UIntMod.sol
Sources/SolidityCFG/SolidityCFG.csproj
Sources/SolToBoogie/TestMain.cs
scripts/run_verisol_win.cmd
Test/regressions/Const.sol
Test/config/InheritWithConstructorArgs.json
Test/config/LoopInvUsageExample.json
Test/regressions/StateVarCall.sol
Sources/VeriSolRunner/VeriSolOutOfBandSpecsRunner.csproj
Test/config/harness.json
Sources/SolidityAST/SolidityCompiler.cs
Test/regressions/ERC20.sol
Test/regressions/abiLibrary.sol
Test/config/Error.json
README.md
Test/config/IntTypes.json
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Test/regressions/NestedArray.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/StructType.sol
Sources/SolToBoogie/FunctionEventResolver.cs
Test/config/abiLibrary.json
Test/regressions/StructArray.sol
Test/regressions/StructTutorial.sol
Test/regressions/InheritInitializer.sol
Sources/VeriSol/VeriSol.csproj
Sources/SolidityAST/SolidityAST.cs
Test/config/StructNestedConstructor.json
Test/regressions/Keccak.sol
Test/regressions/ContractInvUsageExample.sol
Test/regressions/LoopFor2.sol
...
5.
shuvendu-lahiri@users.noreply.github.com
rongpan17@gmail.com
167 shared files
Test/regressions/Revert.sol
Test/regressions/InternalRecursiveFunctionCall.sol
Test/config/LoopContinue.json
Test/regressions/ArrayAlias.sol
Test/config/ModifierReturn.json
Test/regressions/FieldAccess.sol
Test/config/StructOfFixedSizeArray.json
Test/regressions/IncDec.sol
Test/config/TypeCast.json
Test/regressions/ArrayLength.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/StateVarInit.sol
Test/regressions/ArrayLengthParam.sol
Test/config/ArrayLengthParam.json
Test/records.txt
Test/regressions/ArrayNestedFixedSize.sol
Test/regressions/ArrayLowerDimCopy.sol
Test/regressions/LoopNestedWhile.sol
Test/config/MappingReference.json
Test/regressions/DynDispatch.sol
Test/config/Bytes.json
Test/config/StructOfDynamicArray.json
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/MethodInConditional.sol
Test/regressions/LoopDoWhile.sol
Test/config/ConstructorLinearized.json
Test/config/Require.json
Test/regressions/ConstructorModifier.sol
Test/config/StructNested.json
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/TypeCast.sol
Test/regressions/ArrayDynamicStorage.sol
Sources/SolToBoogie/BoogieTranslator.cs
Test/config/DoWhileLoop.json
Test/config/ReturnMult.json
Test/config/ArrayDynamicStorage.json
Test/regressions/CreateContract.sol
Test/regressions/NoConstructor.sol
Test/regressions/LoopNestedFor.sol
Test/config/AssertFalse.json
Test/config/StructOfMapping.json
Test/regressions/ArrayLowerDimRef.sol
Test/config/ArrayInitialization.json
Test/regressions/Mapping.sol
Test/regressions/StructOfMapping.sol
Test/regressions/ReturnMult.sol
Test/config/DynDispatch.json
Test/regressions/ModifierWithInvocations.sol
Test/regressions/StructOfDynamicArray.sol
Test/regressions/EmptyContract.sol
Test/regressions/ExplicitGetters.sol
Test/config/LoopDoWhile.json
Test/regressions/Constructor.sol
Test/config/LoopWhile.json
Test/regressions/StaticDispatching.sol
Test/regressions/MappingNested.sol
Test/regressions/DoWhileLoop.sol
Sources/SolToBoogie/TestMain.cs
scripts/run_verisol_win.cmd
Test/config/FieldAccess.json
Test/regressions/Const.sol
Test/config/ArrayLowerDimCopy.json
Test/config/Throw.json
Test/regressions/Logical.sol
Test/config/IntTypes.json
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Test/regressions/ArrayFixedSize.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/StructType.sol
Test/config/ArrayLength.json
Test/regressions/InputParameters.sol
Test/config/LoopBreak.json
Test/regressions/Throw.sol
Sources/SolidityAST/CompilerOutput.cs
Test/config/LoopNestedWhile.json
Test/config/Event.json
Test/regressions/ArrayInitialization.sol
Test/config/InputParameters.json
Test/regressions/InheritInitializer.sol
Test/regressions/Keccak.sol
Test/config/AssertTrue.json
Test/config/Logical.json
Test/regressions/StructOfFixedSizeArray.sol
Test/config/CreateContract.json
Test/regressions/ExternalFunctionCall.sol
Test/config/EmptyContract.json
Test/config/Constructor.json
Test/regressions/Event.sol
Test/regressions/UsingFor.sol
Sources/SolToBoogie/ModifierCollector.cs
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/MappingToStruct.sol
Test/config/Inheritance.json
Test/config/StaticDispatching.json
Test/regressions/Require.sol
Test/config/StringMapping.json
Test/config/InternalRecursiveFunctionCall.json
Test/config/Mapping.json
Test/regressions/LoopWhile.sol
...
6.
diego.garbervetsky@gmail.com
shuvendu@microsoft.com
137 shared files
Test/regressions/Revert.sol
Test/regressions/InheritWithConstructorArgs.sol
Test/workbench/PingPongGame/WrapperFiles/PingPongGame.sol
Test/regressions/InternalRecursiveFunctionCall.sol
Test/regressions/ArrayAlias.sol
Test/regressions/DeleteScalar.sol
Sources/VeriSolRunner/Program.cs
Test/regressions/ArrayParamCopy.sol
Test/regressions/FieldAccess.sol
Test/workbench/README.md
Test/regressions/IncDec.sol
Test/regressions/ArrayLength.sol
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/StateVarInit.sol
Test/regressions/ArrayLengthParam.sol
Test/records.txt
Test/regressions/Getters.sol
Sources/VeriSol/Program.cs
Test/regressions/StructTypeNoTemporaries.sol
Test/regressions/Error.sol
Test/regressions/InheritanceWithContractArg.sol
INSTALL.md
Test/regressions/ArrayNestedFixedSize.sol
Test/regressions/ArrayLowerDimCopy.sol
Test/regressions/LoopNestedWhile.sol
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/DynDispatch.sol
Test/regressions/ReturnNamedParam.sol
Test/config/ArrayParamCopy.json
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/MethodInConditional.sol
Test/regressions/LoopDoWhile.sol
Test/regressions/StructNestedConstructor.sol
Test/regressions/ConstructorModifier.sol
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/EnumParam.sol
Test/regressions/TypeCast.sol
Test/regressions/Getter.sol
Libraries/VeriSolContracts.sol
Test/regressions/ArrayDynamicStorage.sol
Sources/SolToBoogie/BoogieTranslator.cs
Test/regressions/CreateContract.sol
Test/regressions/NoConstructor.sol
Test/regressions/LoopNestedFor.sol
Sources/VeriSolRunner/VeriSolExecuter.cs
Test/regressions/DeleteArray.sol
Test/regressions/ArrayLowerDimRef.sol
Test/regressions/Mapping.sol
Test/regressions/StructOfMapping.sol
Test/regressions/ReturnMult.sol
Test/regressions/ModifierWithInvocations.sol
Test/regressions/StructOfDynamicArray.sol
Test/regressions/EmptyContract.sol
Test/regressions/ExplicitGetters.sol
Test/regressions/Constructor.sol
Sources/SolToBoogie/SolToBoogie.csproj
Test/regressions/FuncCallInIfCondition.sol
Test/regressions/StaticDispatching.sol
Test/regressions/MappingNested.sol
Test/regressions/DoWhileLoop.sol
Test/regressions/InitOutsideCtors.sol
Test/regressions/Const.sol
Test/regressions/Library.sol
Test/regressions/StateVarCall.sol
Sources/VeriSolRunner/VeriSolOutOfBandSpecsRunner.csproj
Test/regressions/abiLibrary.sol
Test/regressions/Logical.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Test/regressions/ArrayFixedSize.sol
Test/regressions/NestedArray.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/StructType.sol
Test/regressions/InputParameters.sol
Test/regressions/Throw.sol
Test/regressions/ArrayInitialization.sol
Test/scripts/ReplacePragma.pl
Test/regressions/StructArray.sol
Test/regressions/StructTutorial.sol
Test/regressions/InheritInitializer.sol
Sources/VeriSol/VeriSol.csproj
Sources/SolidityAST/SolidityAST.cs
Test/regressions/Keccak.sol
Test/regressions/LoopFor2.sol
Test/regressions/StructOfFixedSizeArray.sol
Test/regressions/ExternalFunctionCall.sol
Test/regressions/Event.sol
Test/regressions/UsingFor.sol
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/MappingToStruct.sol
Test/regressions/ModifierWithArgs.sol
Test/regressions/Require.sol
Test/workbench/runall.cmd
Test/regressions/LoopWhile.sol
Sources/SolToBoogie/ConstructorCollector.cs
Test/regressions/LoopBreak.sol
Test/regressions/Bytes.sol
Sources/SolidityAST/RegressionExecutor.cs
Test/regressions/ConstructorLinearized.sol
...
7.
shuvendu@microsoft.com
ellab@microsoft.com
134 shared files
Test/regressions/Revert.sol
Test/regressions/EventInBase.sol
Test/regressions/InheritWithConstructorArgs.sol
Test/regressions/InternalRecursiveFunctionCall.sol
Test/regressions/ArrayAlias.sol
Test/regressions/DeleteScalar.sol
Sources/SolToBoogie/TranslatorFlags.cs
Test/regressions/FieldAccess.sol
Test/regressions/IncDec.sol
Test/regressions/ArrayLength.sol
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/StateVarInit.sol
Test/regressions/ArrayLengthParam.sol
Test/records.txt
Test/regressions/Getters.sol
Sources/VeriSol/Program.cs
Test/regressions/StructTypeNoTemporaries.sol
Test/regressions/Error.sol
Test/regressions/SafeMath.sol
Test/regressions/InheritanceWithContractArg.sol
INSTALL.md
Test/regressions/ArrayNestedFixedSize.sol
Test/regressions/ArrayLowerDimCopy.sol
Test/regressions/LoopNestedWhile.sol
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/DynDispatch.sol
Test/regressions/ReturnNamedParam.sol
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/MethodInConditional.sol
Sources/VeriSol.props
Test/regressions/LoopDoWhile.sol
Sources/SolToBoogie/ParseUtils.cs
Test/regressions/StructNestedConstructor.sol
Test/regressions/ConstructorModifier.sol
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/EnumParam.sol
azure-pipelines.yml
Test/regressions/TypeCast.sol
Test/regressions/Getter.sol
Test/regressions/ArrayDynamicStorage.sol
Test/regressions/CreateContract.sol
Test/regressions/NoConstructor.sol
Test/regressions/LoopNestedFor.sol
Test/regressions/DeleteArray.sol
Test/regressions/ArrayLowerDimRef.sol
Test/regressions/UInt-1.sol
Test/regressions/Mapping.sol
Test/regressions/StructOfMapping.sol
Test/regressions/ReturnMult.sol
Test/regressions/ModifierWithInvocations.sol
Test/regressions/StructOfDynamicArray.sol
Test/regressions/EmptyContract.sol
Test/regressions/ExplicitGetters.sol
Test/regressions/Constructor.sol
Sources/SolToBoogie/SolToBoogie.csproj
Test/regressions/FuncCallInIfCondition.sol
Test/regressions/StaticDispatching.sol
Test/regressions/MappingNested.sol
Test/regressions/DoWhileLoop.sol
Test/regressions/InitOutsideCtors.sol
Test/regressions/Const.sol
Test/regressions/UInt-2.sol
Test/regressions/Library.sol
Test/regressions/StateVarCall.sol
Test/regressions/ERC20.sol
Test/regressions/abiLibrary.sol
Test/regressions/NamesWithUnderscores_fail.sol
Test/regressions/Logical.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Test/regressions/ArrayFixedSize.sol
Test/regressions/NestedArray.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/StructType.sol
Test/regressions/ERC20-demo.sol
Test/regressions/InputParameters.sol
Test/regressions/Throw.sol
Test/regressions/ArrayInitialization.sol
Test/scripts/ReplacePragma.pl
Test/regressions/StructArray.sol
Test/regressions/StructTutorial.sol
Test/regressions/InheritInitializer.sol
Sources/VeriSol/VeriSol.csproj
Test/regressions/Keccak.sol
Test/regressions/LoopFor2.sol
Test/regressions/StructOfFixedSizeArray.sol
Test/regressions/ExternalFunctionCall.sol
Test/regressions/Event.sol
Test/regressions/UsingFor.sol
Test/regressions/Uint8-Overflow.sol
Sources/SolToBoogie/ModifierCollector.cs
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/MappingToStruct.sol
Test/regressions/ModifierWithArgs.sol
Test/regressions/Require.sol
Test/regressions/LoopWhile.sol
Test/regressions/LoopBreak.sol
Test/regressions/Bytes.sol
Test/regressions/ConstructorLinearized.sol
...
8.
diego.garbervetsky@gmail.com
ellab@microsoft.com
118 shared files
Test/regressions/Revert.sol
Test/regressions/InheritWithConstructorArgs.sol
Test/regressions/InternalRecursiveFunctionCall.sol
Test/regressions/ArrayAlias.sol
Test/regressions/DeleteScalar.sol
Test/regressions/FieldAccess.sol
Test/regressions/IncDec.sol
Test/regressions/ArrayLength.sol
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/StateVarInit.sol
Test/regressions/ArrayLengthParam.sol
Test/records.txt
Test/regressions/Getters.sol
Sources/VeriSol/Program.cs
Test/regressions/StructTypeNoTemporaries.sol
Test/regressions/Error.sol
Test/regressions/InheritanceWithContractArg.sol
INSTALL.md
Test/regressions/ArrayNestedFixedSize.sol
Test/regressions/ArrayLowerDimCopy.sol
Test/regressions/LoopNestedWhile.sol
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/DynDispatch.sol
Test/regressions/ReturnNamedParam.sol
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/MethodInConditional.sol
Test/regressions/LoopDoWhile.sol
Test/regressions/StructNestedConstructor.sol
Test/regressions/ConstructorModifier.sol
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/EnumParam.sol
Test/regressions/TypeCast.sol
Test/regressions/Getter.sol
Test/regressions/ArrayDynamicStorage.sol
Test/regressions/CreateContract.sol
Test/regressions/NoConstructor.sol
Test/regressions/LoopNestedFor.sol
Test/regressions/DeleteArray.sol
Test/regressions/ArrayLowerDimRef.sol
Test/regressions/Mapping.sol
Test/regressions/StructOfMapping.sol
Test/regressions/ReturnMult.sol
Test/regressions/ModifierWithInvocations.sol
Test/regressions/StructOfDynamicArray.sol
Test/regressions/EmptyContract.sol
Test/regressions/ExplicitGetters.sol
Test/regressions/Constructor.sol
Sources/SolToBoogie/SolToBoogie.csproj
Test/regressions/FuncCallInIfCondition.sol
Test/regressions/StaticDispatching.sol
Test/regressions/MappingNested.sol
Test/regressions/DoWhileLoop.sol
Test/regressions/InitOutsideCtors.sol
Test/regressions/Const.sol
Test/regressions/Library.sol
Test/regressions/StateVarCall.sol
Test/regressions/abiLibrary.sol
Test/regressions/Logical.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Test/regressions/ArrayFixedSize.sol
Test/regressions/NestedArray.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/StructType.sol
Test/regressions/InputParameters.sol
Test/regressions/Throw.sol
Test/regressions/ArrayInitialization.sol
Test/scripts/ReplacePragma.pl
Test/regressions/StructArray.sol
Test/regressions/StructTutorial.sol
Test/regressions/InheritInitializer.sol
Sources/VeriSol/VeriSol.csproj
Test/regressions/Keccak.sol
Test/regressions/LoopFor2.sol
Test/regressions/StructOfFixedSizeArray.sol
Test/regressions/ExternalFunctionCall.sol
Test/regressions/Event.sol
Test/regressions/UsingFor.sol
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/MappingToStruct.sol
Test/regressions/ModifierWithArgs.sol
Test/regressions/Require.sol
Test/regressions/LoopWhile.sol
Test/regressions/LoopBreak.sol
Test/regressions/Bytes.sol
Test/regressions/ConstructorLinearized.sol
Test/regressions/EmbeddedCalls.sol
Test/regressions/Inheritance.sol
Test/regressions/LoopFor.sol
Test/regressions/LibraryStruct.sol
Test/regressions/StructMemory.sol
Test/regressions/ModifierPost.sol
Test/regressions/StructNested.sol
Test/regressions/AssertTrue.sol
Test/regressions/LoopContinue.sol
Test/regressions/MethodDecl.sol
Test/regressions/ModifierReturn.sol
Test/regressions/Branch.sol
Test/regressions/NestedFunctionCall.sol
...
9.
shuvendu@microsoft.com
rongpan17@gmail.com
95 shared files
Test/regressions/Revert.sol
Test/regressions/InternalRecursiveFunctionCall.sol
Test/regressions/ArrayAlias.sol
Test/regressions/FieldAccess.sol
Test/regressions/IncDec.sol
Test/config/TypeCast.json
Test/regressions/ArrayLength.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/StateVarInit.sol
Test/regressions/ArrayLengthParam.sol
Test/records.txt
Test/regressions/ArrayNestedFixedSize.sol
Test/regressions/ArrayLowerDimCopy.sol
Test/regressions/LoopNestedWhile.sol
Test/regressions/DynDispatch.sol
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/MethodInConditional.sol
Test/regressions/LoopDoWhile.sol
Test/regressions/ConstructorModifier.sol
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/TypeCast.sol
Test/regressions/ArrayDynamicStorage.sol
Sources/SolToBoogie/BoogieTranslator.cs
Test/regressions/CreateContract.sol
Test/regressions/NoConstructor.sol
Test/regressions/LoopNestedFor.sol
Test/regressions/ArrayLowerDimRef.sol
Test/regressions/Mapping.sol
Test/regressions/StructOfMapping.sol
Test/regressions/ReturnMult.sol
Test/regressions/ModifierWithInvocations.sol
Test/regressions/StructOfDynamicArray.sol
Test/regressions/EmptyContract.sol
Test/regressions/ExplicitGetters.sol
Test/regressions/Constructor.sol
Test/regressions/StaticDispatching.sol
Test/regressions/MappingNested.sol
Test/regressions/DoWhileLoop.sol
Sources/SolToBoogie/TestMain.cs
scripts/run_verisol_win.cmd
Test/regressions/Const.sol
Test/regressions/Logical.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Test/regressions/ArrayFixedSize.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/StructType.sol
Test/regressions/InputParameters.sol
Test/regressions/Throw.sol
Sources/SolidityAST/CompilerOutput.cs
Test/regressions/ArrayInitialization.sol
Test/regressions/InheritInitializer.sol
Test/regressions/Keccak.sol
Test/regressions/StructOfFixedSizeArray.sol
Test/regressions/ExternalFunctionCall.sol
Test/regressions/Event.sol
Test/regressions/UsingFor.sol
Sources/SolToBoogie/ModifierCollector.cs
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/MappingToStruct.sol
Test/regressions/Require.sol
Test/regressions/LoopWhile.sol
Test/regressions/LoopBreak.sol
Test/regressions/Bytes.sol
Test/regressions/ConstructorLinearized.sol
Sources/SolToBoogieTest/Program.cs
Test/regressions/Inheritance.sol
Test/regressions/LoopFor.sol
Test/regressions/ModifierPost.sol
Test/regressions/StructNested.sol
Test/regressions/AssertTrue.sol
Test/regressions/LoopContinue.sol
Test/regressions/MethodDecl.sol
Test/regressions/ModifierReturn.sol
Test/regressions/Branch.sol
Test/regressions/NestedFunctionCall.sol
Test/regressions/StringMapping.sol
Sources/SolToBoogie.sln
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Test/regressions/OutputParameters.sol
Test/regressions/MappingLowerDimRef.sol
Test/regressions/MappingReference.sol
Test/regressions/AssertFalse.sol
Sources/SolToBoogie/TransUtils.cs
Test/regressions/Arithmetics.sol
Test/regressions/EnumType.sol
Test/regressions/InternalFunctionCall.sol
Sources/BoogieAST/BoogieAST.cs
Test/regressions/This.sol
Test/regressions/ConstructorSpecifier.sol
Test/regressions/MappingInitialize.sol
Test/regressions/IntTypes.sol
Sources/SolToBoogie/MapArrayHelper.cs
Test/regressions/ArrayParamAlias.sol
Test/regressions/InheritanceMultiple.sol
10.
diego.garbervetsky@gmail.com
rongpan17@gmail.com
88 shared files
Test/regressions/Revert.sol
Test/regressions/InternalRecursiveFunctionCall.sol
Test/regressions/ArrayAlias.sol
Test/regressions/FieldAccess.sol
Test/regressions/IncDec.sol
Test/regressions/ArrayLength.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/StateVarInit.sol
Test/regressions/ArrayLengthParam.sol
Test/records.txt
Test/regressions/ArrayNestedFixedSize.sol
Test/regressions/ArrayLowerDimCopy.sol
Test/regressions/LoopNestedWhile.sol
Test/regressions/DynDispatch.sol
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/MethodInConditional.sol
Test/regressions/LoopDoWhile.sol
Test/regressions/ConstructorModifier.sol
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/TypeCast.sol
Test/regressions/ArrayDynamicStorage.sol
Sources/SolToBoogie/BoogieTranslator.cs
Test/regressions/CreateContract.sol
Test/regressions/NoConstructor.sol
Test/regressions/LoopNestedFor.sol
Test/regressions/ArrayLowerDimRef.sol
Test/regressions/Mapping.sol
Test/regressions/StructOfMapping.sol
Test/regressions/ReturnMult.sol
Test/regressions/ModifierWithInvocations.sol
Test/regressions/StructOfDynamicArray.sol
Test/regressions/EmptyContract.sol
Test/regressions/ExplicitGetters.sol
Test/regressions/Constructor.sol
Test/regressions/StaticDispatching.sol
Test/regressions/MappingNested.sol
Test/regressions/DoWhileLoop.sol
Test/regressions/Const.sol
Test/regressions/Logical.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Test/regressions/ArrayFixedSize.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/StructType.sol
Test/regressions/InputParameters.sol
Test/regressions/Throw.sol
Test/regressions/ArrayInitialization.sol
Test/regressions/InheritInitializer.sol
Test/regressions/Keccak.sol
Test/regressions/StructOfFixedSizeArray.sol
Test/regressions/ExternalFunctionCall.sol
Test/regressions/Event.sol
Test/regressions/UsingFor.sol
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/MappingToStruct.sol
Test/regressions/Require.sol
Test/regressions/LoopWhile.sol
Test/regressions/LoopBreak.sol
Test/regressions/Bytes.sol
Test/regressions/ConstructorLinearized.sol
Test/regressions/Inheritance.sol
Test/regressions/LoopFor.sol
Test/regressions/ModifierPost.sol
Test/regressions/StructNested.sol
Test/regressions/AssertTrue.sol
Test/regressions/LoopContinue.sol
Test/regressions/MethodDecl.sol
Test/regressions/ModifierReturn.sol
Test/regressions/Branch.sol
Test/regressions/NestedFunctionCall.sol
Test/regressions/StringMapping.sol
Sources/SolToBoogie.sln
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Test/regressions/OutputParameters.sol
Test/regressions/MappingLowerDimRef.sol
Test/regressions/MappingReference.sol
Test/regressions/AssertFalse.sol
Sources/SolToBoogie/TransUtils.cs
Test/regressions/Arithmetics.sol
Test/regressions/EnumType.sol
Test/regressions/InternalFunctionCall.sol
Test/regressions/This.sol
Test/regressions/ConstructorSpecifier.sol
Test/regressions/MappingInitialize.sol
Test/regressions/IntTypes.sol
Sources/SolToBoogie/MapArrayHelper.cs
Test/regressions/ArrayParamAlias.sol
Test/regressions/InheritanceMultiple.sol
11.
ellab@microsoft.com
rongpan17@gmail.com
88 shared files
Test/regressions/Revert.sol
Test/regressions/InternalRecursiveFunctionCall.sol
Test/regressions/ArrayAlias.sol
Test/regressions/FieldAccess.sol
Test/regressions/IncDec.sol
Test/regressions/ArrayLength.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/StateVarInit.sol
Test/regressions/ArrayLengthParam.sol
Test/records.txt
Test/regressions/ArrayNestedFixedSize.sol
Test/regressions/ArrayLowerDimCopy.sol
Test/regressions/LoopNestedWhile.sol
Test/regressions/DynDispatch.sol
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/MethodInConditional.sol
Test/regressions/LoopDoWhile.sol
Test/config/ConstructorLinearized.json
Test/regressions/ConstructorModifier.sol
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/TypeCast.sol
Test/regressions/ArrayDynamicStorage.sol
Test/regressions/CreateContract.sol
Test/regressions/NoConstructor.sol
Test/regressions/LoopNestedFor.sol
Test/regressions/ArrayLowerDimRef.sol
Test/regressions/Mapping.sol
Test/regressions/StructOfMapping.sol
Test/regressions/ReturnMult.sol
Test/regressions/ModifierWithInvocations.sol
Test/regressions/StructOfDynamicArray.sol
Test/regressions/EmptyContract.sol
Test/regressions/ExplicitGetters.sol
Test/regressions/Constructor.sol
Test/regressions/StaticDispatching.sol
Test/regressions/MappingNested.sol
Test/regressions/DoWhileLoop.sol
Test/regressions/Const.sol
Test/regressions/Logical.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Test/regressions/ArrayFixedSize.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/StructType.sol
Test/regressions/InputParameters.sol
Test/regressions/Throw.sol
Test/regressions/ArrayInitialization.sol
Test/regressions/InheritInitializer.sol
Test/regressions/Keccak.sol
Test/regressions/StructOfFixedSizeArray.sol
Test/regressions/ExternalFunctionCall.sol
Test/regressions/Event.sol
Test/regressions/UsingFor.sol
Sources/SolToBoogie/ModifierCollector.cs
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/MappingToStruct.sol
Test/regressions/Require.sol
Test/regressions/LoopWhile.sol
Test/regressions/LoopBreak.sol
Test/regressions/Bytes.sol
Test/regressions/ConstructorLinearized.sol
Test/regressions/Inheritance.sol
Test/regressions/LoopFor.sol
Test/regressions/ModifierPost.sol
Test/regressions/StructNested.sol
Test/regressions/AssertTrue.sol
Test/regressions/LoopContinue.sol
Test/regressions/MethodDecl.sol
Test/regressions/ModifierReturn.sol
Test/regressions/Branch.sol
Test/regressions/NestedFunctionCall.sol
Test/regressions/StringMapping.sol
Test/regressions/OutputParameters.sol
Test/regressions/MappingLowerDimRef.sol
Test/regressions/MappingReference.sol
Sources/SolToBoogieTest/CorralConfiguration.cs
Test/regressions/AssertFalse.sol
Sources/SolToBoogie/TransUtils.cs
Test/regressions/Arithmetics.sol
Test/regressions/EnumType.sol
Test/regressions/InternalFunctionCall.sol
Test/regressions/This.sol
Test/regressions/ConstructorSpecifier.sol
Test/regressions/MappingInitialize.sol
Test/regressions/IntTypes.sol
Sources/SolToBoogie/MapArrayHelper.cs
Test/regressions/ArrayParamAlias.sol
Test/regressions/InheritanceMultiple.sol
12.
shuvendu-lahiri@users.noreply.github.com
jon@users-MacBook-Pro.local
74 shared files
Sources/SolToBoogie/TranslatorFlags.cs
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/ConstructorLinearizedWithArgs3.sol
Test/records.txt
Test/config/ConstructorLinearizedWithArgs2.json
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/ConstructorChaining3_fail.sol
Test/regressions/DAO-fixed-call.sol
Test/config/ConstructorLinearized.json
Sources/SolToBoogie/ParseUtils.cs
Test/config/ConstructorLinearizedWithArgs3.json
Test/config/ConstructorLinearized_fail.json
Test/config/Assembly4.json
Test/regressions/DAO-buggy-transfer.sol
Sources/SolToBoogie/BoogieTranslator.cs
Test/regressions/ConstructorChainingUnsound.sol
Sources/SolidityAST/SolidityAST.csproj
Test/regressions/ConstructorLinearizedWithArgs1.sol
Test/regressions/DAO-buggy-value.sol
Test/config/InternalFunctionInLibrary.json
Sources/ExternalToolsManager/ExternalToolsManager.csproj
Test/config/ConstructorLinearizedWithArgs1.json
Test/config/ConstructorChaining4.json
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/UsingInTwoLibraries.sol
Test/regressions/ERC20-demo.sol
Test/regressions/InternalFunctionCallStruct.sol
Test/config/Assembly1.json
Sources/VeriSol/VeriSol.csproj
Test/regressions/ConstructorLinearizedWithArgs2.sol
Test/regressions/Assembly3.sol
Test/regressions/DAO-buggy-call.sol
Test/regressions/calldata.sol
Test/config/UsingInTwoLibraries.json
Test/regressions/InternalFunctionInLibrary.sol
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/DAO-buggy.sol
Test/config/UintCast.json
Sources/SolToBoogie/RevertLogicGenerator.cs
Sources/SolidityAST/TestMain.cs
Test/regressions/UsingInTwoLibrariesArrayInStruct.sol
Test/regressions/ConstructorLinearized.sol
Sources/SolToBoogieTest/Program.cs
Test/regressions/UsingInTwoLibrariesNoStruct.sol
Test/regressions/ConstructorChainingUnsoundSmall.sol
Test/config/Assembly3.json
Test/regressions/StringToBytes.sol
Test/config/InternalFunctionCallStruct.json
Test/regressions/DAO-buggy-send.sol
Test/regressions/DAO-fixed-transfer.sol
Test/regressions/Assembly1.sol
Test/config/calldata.json
Test/config/UsingInTwoLibrariesArrayInStruct.json
Test/config/ConstructorChaining3_fail.json
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Test/config/ConstructorChaining2_fail.json
Test/regressions/ConstructorChaining4.sol
Test/regressions/Assembly4.sol
Test/regressions/Assembly2.sol
Sources/SolToBoogie/TransUtils.cs
Test/config/StringToBytes.json
Test/config/Assembly2.json
Test/config/UsingInTwoLibrariesNoStruct.json
Sources/ExternalToolsManager/ExternalToolsManager.cs
Test/regressions/DAO-fixed-value.sol
Test/regressions/ConstructorChaining2_fail.sol
Sources/BoogieAST/BoogieAST.cs
Test/regressions/ConstructorLinearizedWithArgs-SolcError.sol
Sources/SolToBoogie/MapArrayHelper.cs
Test/regressions/DAO-fixed-send.sol
Test/regressions/UintCast.sol
13.
shuvendu-lahiri@users.noreply.github.com
xinxl@microsoft.com
73 shared files
Sources/SolToBoogie/TranslatorFlags.cs
Sources/ExternalToolsManager/toolsourcesettings.json
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Sources/VeriSol/Program.cs
Test/regressions/DAO-modular-buggy-call.sol
INSTALL.md
Test/config/ERC20.json
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/DAO-fixed-call.sol
Sources/ExternalToolsManager/DownloadedToolManager.cs
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/VeriSol.props
azure-pipelines.yml
Test/config/UsingForComplex.json
Test/regressions/DAO-buggy-transfer.sol
Sources/SolToBoogie/BoogieTranslator.cs
Test/config/DAO-buggy-transfer.json
Sources/VeriSol.sln
Sources/SolidityAST/SolidityAST.csproj
LICENSE.txt
Test/regressions/DAO-buggy-value.sol
Sources/SolToBoogie/SolToBoogie.csproj
Sources/SolidityCFG/SolidityCFG.csproj
Sources/SolToBoogie/TestMain.cs
Sources/ExternalToolsManager/ExternalToolsManager.csproj
Test/config/harness.json
Test/regressions/ERC20.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Sources/SolidityAST/SolidityAST.cs
Sources/ExternalToolsManager/DotnetCliToolManager.cs
Test/regressions/DAO-buggy-call.sol
Sources/ExternalToolsManager/ToolManager.cs
Test/regressions/UsingFor.sol
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/DAO-buggy.sol
Sources/SolToBoogie/RevertLogicGenerator.cs
Test/regressions/DAO-modular-fixed-call.sol
Test/regressions/bigintinit.sol
Sources/SolToBoogie/ConstructorCollector.cs
Test/config/bigintinit.json
Sources/SolToBoogieTest/Program.cs
Test/config/DAO-fixed-send.json
Test/regressions/DAO-modular-fixed-call-w-prints.sol
.gitignore
Test/config/block.json
Test/regressions/UsingForComplex.sol
Test/config/DAO-modular-buggy-call.json
Test/config/DAO-fixed-transfer.json
Test/config/DAO-buggy-call.json
Test/regressions/DAO-buggy-send.sol
Test/regressions/DAO-fixed-transfer.sol
Test/regressions/tx.sol
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Test/config/tx.json
Sources/SolToBoogie/FallbackGenerator.cs
Test/regressions/harness.sol
Sources/ExternalToolsManager/SolcManager.cs
Sources/SolToBoogie/TransUtils.cs
Test/config/DAO-fixed-value.json
Sources/ExternalToolsManager/ExternalToolsManager.cs
Test/config/DAO-buggy-value.json
Sources/BoogieAST/BoogieAST.csproj
Sources/ExternalToolsManager/ToolSourceSettings.cs
Test/config/DAO-fixed-call.json
Test/regressions/DAO-fixed-value.sol
Sources/BoogieAST/BoogieAST.cs
Sources/SolToBoogie/SolidityDesugaring.cs
Sources/SolToBoogie/MapArrayHelper.cs
Test/config/DAO-buggy-send.json
Test/regressions/DAO-fixed-send.sol
14.
ellab@microsoft.com
Shuvendu@microsoft.com
71 shared files
Test/regressions/EventInBase.sol
Test/regressions/InheritWithConstructorArgs.sol
Sources/SolToBoogie/TranslatorFlags.cs
Test/regressions/IncDec.sol
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/StateVarInit.sol
Test/records.txt
Sources/VeriSol/Program.cs
Test/regressions/StructTypeNoTemporaries.sol
Test/regressions/Error.sol
Test/regressions/InheritanceWithContractArg.sol
INSTALL.md
Test/regressions/ArrayNestedFixedSize.sol
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/MethodInConditional.sol
Sources/VeriSol.props
Sources/SolToBoogie/ParseUtils.cs
Test/regressions/StructNestedConstructor.sol
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/EnumParam.sol
azure-pipelines.yml
Test/regressions/TypeCast.sol
Test/regressions/Getter.sol
Test/regressions/StringToBytes2.sol
Sources/VeriSol.sln
Test/regressions/EmptyContract.sol
Test/regressions/ExplicitGetters.sol
Sources/SolToBoogie/SolToBoogie.csproj
Test/regressions/MappingNested.sol
Test/regressions/UIntMod.sol
Test/regressions/Const.sol
Test/regressions/StateVarCall.sol
Test/regressions/ERC20.sol
Test/regressions/abiLibrary.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Test/regressions/NestedArray.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/StructType.sol
Test/regressions/StructArray.sol
Test/regressions/StructTutorial.sol
Test/regressions/InheritInitializer.sol
Sources/VeriSol/VeriSol.csproj
Test/regressions/Keccak.sol
Test/regressions/LoopFor2.sol
Test/config/NestedMappingAlias.json
Test/regressions/UsingFor.sol
Sources/SolToBoogie/ModifierCollector.cs
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/ModifierWithArgs.sol
Test/regressions/StructMemory.sol
Test/regressions/StringToBytes.sol
Test/config/UIntMod.json
Test/regressions/NestedFunctionCall.sol
Test/regressions/StringMapping.sol
Sources/SolToBoogie/FallbackGenerator.cs
Test/regressions/NestedMappingAlias.sol
Sources/SolToBoogieTest/CorralConfiguration.cs
Test/config/BytesTypes.json
Sources/SolToBoogie/TransUtils.cs
corral
Test/regressions/BytesTypes.sol
Test/regressions/TwoLibraries.sol
Test/regressions/abiEncoded.sol
Test/regressions/MappingInitialize.sol
Test/regressions/IntTypes.sol
Test/regressions/tuples.sol
Sources/SolToBoogie/MapArrayHelper.cs
Test/regressions/ArrayParamAlias.sol
15.
diego.garbervetsky@gmail.com
Shuvendu@microsoft.com
68 shared files
Test/regressions/InheritWithConstructorArgs.sol
Sources/VeriSolRunner/Program.cs
Test/regressions/IncDec.sol
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/StateVarInit.sol
Test/records.txt
Sources/VeriSol/Program.cs
Test/regressions/StructTypeNoTemporaries.sol
Test/regressions/Error.sol
Test/workbench/AssetTransfer/WrapperFiles/AssetTransfer.sol
Test/regressions/InheritanceWithContractArg.sol
INSTALL.md
Test/regressions/ArrayNestedFixedSize.sol
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/UInt.sol
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/MethodInConditional.sol
Test/regressions/StructNestedConstructor.sol
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/EnumParam.sol
Test/regressions/TypeCast.sol
Test/workbench/AssetTransfer/WrapperFiles/A__AssetTransfer_Workbench.sol
Test/regressions/Getter.sol
Libraries/VeriSolContracts.sol
Sources/SolToBoogie/BoogieTranslator.cs
Sources/VeriSolRunner/VeriSolExecuter.cs
Test/regressions/EmptyContract.sol
Test/regressions/ExplicitGetters.sol
Sources/SolToBoogie/SolToBoogie.csproj
Test/regressions/MappingNested.sol
Test/regressions/Const.sol
Test/regressions/StateVarCall.sol
Sources/VeriSolRunner/VeriSolOutOfBandSpecsRunner.csproj
Test/regressions/abiLibrary.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Test/regressions/NestedArray.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/StructType.sol
Test/config/LoopFor2.json
Test/regressions/StructArray.sol
Test/regressions/StructTutorial.sol
Test/regressions/InheritInitializer.sol
Sources/VeriSol/VeriSol.csproj
Sources/SolidityAST/SolidityAST.cs
Test/regressions/Keccak.sol
Test/regressions/LoopFor2.sol
Test/regressions/UsingFor.sol
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/ModifierWithArgs.sol
Sources/SolToBoogie/ConstructorCollector.cs
Test/workbench/AssetTransfer/FixedVersion/AssetTransfer.sol
Test/regressions/StructMemory.sol
Test/regressions/NestedFunctionCall.sol
Test/regressions/StringMapping.sol
Sources/SolToBoogie.sln
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/TransUtils.cs
Sources/SolToBoogie/SolidityDesugaring.cs
Test/regressions/abiEncoded.sol
Test/regressions/MappingInitialize.sol
Test/regressions/IntTypes.sol
Test/regressions/tuples.sol
Sources/SolToBoogie/MapArrayHelper.cs
Test/regressions/ArrayParamAlias.sol
Test/workbench/AssetTransfer/FixedVersion/A__AssetTransfer_Workbench.sol
Test/config/UInt.json
16.
Shuvendu@microsoft.com
xinxl@microsoft.com
67 shared files
Sources/SolToBoogie/TranslatorFlags.cs
Sources/ExternalToolsManager/toolsourcesettings.json
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Sources/VeriSol/Program.cs
Test/regressions/DAO-modular-buggy-call.sol
INSTALL.md
Test/config/ERC20.json
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/DAO-fixed-call.sol
Sources/ExternalToolsManager/DownloadedToolManager.cs
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/VeriSol.props
azure-pipelines.yml
Test/config/UsingForComplex.json
Test/regressions/DAO-buggy-transfer.sol
Sources/SolToBoogie/BoogieTranslator.cs
Test/config/DAO-buggy-transfer.json
Sources/VeriSol.sln
Sources/SolidityAST/SolidityAST.csproj
Test/regressions/DAO-buggy-value.sol
Sources/SolToBoogie/SolToBoogie.csproj
Sources/SolidityCFG/SolidityCFG.csproj
Sources/SolToBoogie/TestMain.cs
Test/config/harness.json
Test/regressions/ERC20.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Sources/SolidityAST/SolidityAST.cs
Sources/ExternalToolsManager/DotnetCliToolManager.cs
Test/regressions/DAO-buggy-call.sol
Test/regressions/UsingFor.sol
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/DAO-buggy.sol
Sources/SolToBoogie/RevertLogicGenerator.cs
Test/regressions/DAO-modular-fixed-call.sol
Test/regressions/bigintinit.sol
Sources/SolToBoogie/ConstructorCollector.cs
Test/config/bigintinit.json
Sources/SolToBoogieTest/Program.cs
Test/config/DAO-fixed-send.json
Test/regressions/DAO-modular-fixed-call-w-prints.sol
Test/config/block.json
Test/regressions/UsingForComplex.sol
Test/config/DAO-modular-buggy-call.json
Test/config/DAO-fixed-transfer.json
Test/config/DAO-buggy-call.json
Test/regressions/DAO-buggy-send.sol
Test/regressions/DAO-fixed-transfer.sol
Test/regressions/tx.sol
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Test/config/tx.json
Sources/SolToBoogie/FallbackGenerator.cs
Test/regressions/harness.sol
Sources/ExternalToolsManager/SolcManager.cs
Sources/SolToBoogie/TransUtils.cs
Test/config/DAO-fixed-value.json
Test/config/DAO-buggy-value.json
Sources/BoogieAST/BoogieAST.csproj
Test/config/DAO-fixed-call.json
Test/regressions/DAO-fixed-value.sol
Sources/BoogieAST/BoogieAST.cs
Sources/SolToBoogie/SolidityDesugaring.cs
Sources/SolToBoogie/MapArrayHelper.cs
Test/config/DAO-buggy-send.json
Test/regressions/DAO-fixed-send.sol
17.
kferles@gmail.com
shuvendu-lahiri@users.noreply.github.com
55 shared files
Sources/VeriSolRunner/Program.cs
Sources/SolToBoogie/TranslatorFlags.cs
Test/regressions/ConstructorChaining.sol
Test/config/A__AssetTransfer_Workbench.json
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Test/config/FuncsWithUnnamedParams.json
Sources/VeriSol/Program.cs
Test/regressions/ConstructorChaining_fail.sol
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/ParseUtils.cs
Test/config/ConstructorChainingImplicit.json
azure-pipelines.yml
Sources/SolToBoogie/BoogieTranslator.cs
Test/regressions/transfer.sol
Test/regressions/StringToBytes2.sol
Test/regressions/A__AssetTransfer_Workbench.sol
Test/regressions/FuncsWithUnnamedParams.sol
Sources/SolToBoogie/SolToBoogie.csproj
Test/regressions/ERC20.sol
Test/regressions/InheritanceMultiple_fail.sol
Test/regressions/NamesWithUnderscores_fail.sol
README.md
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Sources/SolidityAST/SolidityAST.cs
Test/regressions/LoopFor2.sol
Binaries/README.md
Sources/SolToBoogie/UsingCollector.cs
Sources/SolToBoogie/HarnessGenerator.cs
Sources/SolToBoogie/RevertLogicGenerator.cs
Test/regressions/InitOutsideCtors_fail.sol
Sources/SolToBoogieTest/Program.cs
Test/regressions/MethodInConditional_fail.sol
Test/regressions/StringToBytes.sol
Sources/SolToBoogie/ModSetAnalysis.cs
Test/regressions/AssetTransfer.sol
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Test/regressions/ConstructorChainingImplicit.sol
Sources/SolToBoogie/FallbackGenerator.cs
Test/regressions/UsingInBase.sol
Test/config/transfer.json
Test/config/UsingInBase.json
Test/config/BytesTypes.json
Sources/SolToBoogie/TransUtils.cs
Test/regressions/Modifier_fail.sol
corral
Test/config/Ownable.json
Test/regressions/BytesTypes.sol
Test/regressions/ConstructorChaining2_fail.sol
Test/regressions/TwoLibraries.sol
Sources/SolToBoogie/MapArrayHelper.cs
18.
jon@users-MacBook-Pro.local
ellab@microsoft.com
50 shared files
Sources/SolToBoogie/TranslatorFlags.cs
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/ConstructorLinearizedWithArgs3.sol
Test/records.txt
Test/config/ConstructorLinearizedWithArgs2.json
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/ConstructorChaining3_fail.sol
Test/config/ConstructorLinearized.json
Sources/SolToBoogie/ParseUtils.cs
Test/config/ConstructorLinearizedWithArgs3.json
Test/config/ConstructorLinearized_fail.json
Test/config/Assembly4.json
Test/regressions/ConstructorLinearizedWithArgs1.sol
Test/config/InternalFunctionInLibrary.json
Test/config/ConstructorLinearizedWithArgs1.json
Test/config/ConstructorChaining4.json
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/UsingInTwoLibraries.sol
Test/regressions/ERC20-demo.sol
Test/regressions/InternalFunctionCallStruct.sol
Test/config/Assembly1.json
Sources/VeriSol/VeriSol.csproj
Test/regressions/ConstructorLinearizedWithArgs2.sol
Test/regressions/Assembly3.sol
Test/config/UsingInTwoLibraries.json
Test/regressions/InternalFunctionInLibrary.sol
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/UsingInTwoLibrariesArrayInStruct.sol
Test/regressions/ConstructorLinearized.sol
Test/regressions/UsingInTwoLibrariesNoStruct.sol
Test/config/Assembly3.json
Test/regressions/StringToBytes.sol
Test/config/InternalFunctionCallStruct.json
Test/regressions/Assembly1.sol
Test/config/UsingInTwoLibrariesArrayInStruct.json
Test/config/ConstructorChaining3_fail.json
Test/config/ConstructorChaining2_fail.json
Test/regressions/ConstructorChaining4.sol
Test/regressions/Assembly4.sol
Test/regressions/Assembly2.sol
Sources/SolToBoogie/TransUtils.cs
Test/config/StringToBytes.json
Test/config/Assembly2.json
Test/config/UsingInTwoLibrariesNoStruct.json
Test/regressions/ConstructorChaining2_fail.sol
Test/regressions/ConstructorLinearizedWithArgs-SolcError.sol
Sources/SolToBoogie/MapArrayHelper.cs
19.
kferles@gmail.com
Shuvendu@microsoft.com
45 shared files
Sources/VeriSolRunner/Program.cs
Sources/SolToBoogie/TranslatorFlags.cs
Test/regressions/ConstructorChaining.sol
Test/config/A__AssetTransfer_Workbench.json
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Test/config/FuncsWithUnnamedParams.json
Sources/VeriSol/Program.cs
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/ParseUtils.cs
azure-pipelines.yml
Sources/SolToBoogie/BoogieTranslator.cs
Test/regressions/transfer.sol
Test/regressions/StringToBytes2.sol
Test/regressions/A__AssetTransfer_Workbench.sol
Test/regressions/FuncsWithUnnamedParams.sol
Sources/SolToBoogie/SolToBoogie.csproj
Test/regressions/ERC20.sol
README.md
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Sources/SolidityAST/SolidityAST.cs
Test/regressions/LoopFor2.sol
Sources/SolToBoogie/UsingCollector.cs
Sources/SolToBoogie/HarnessGenerator.cs
Sources/SolToBoogie/RevertLogicGenerator.cs
Sources/SolToBoogieTest/Program.cs
Test/regressions/StringToBytes.sol
Sources/SolToBoogie/ModSetAnalysis.cs
Test/regressions/AssetTransfer.sol
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/FallbackGenerator.cs
Test/regressions/UsingInBase.sol
Test/config/transfer.json
Test/config/UsingInBase.json
Test/config/BytesTypes.json
Sources/SolToBoogie/TransUtils.cs
corral
Test/config/Ownable.json
Test/regressions/BytesTypes.sol
Test/regressions/TwoLibraries.sol
Sources/SolToBoogie/MapArrayHelper.cs
20.
Shuvendu@microsoft.com
rongpan17@gmail.com
42 shared files
Test/regressions/IncDec.sol
Test/config/TypeCast.json
Sources/SolToBoogie/TranslatorContext.cs
Test/regressions/StateVarInit.sol
Test/records.txt
Test/regressions/ArrayNestedFixedSize.sol
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/MethodInConditional.sol
Test/regressions/StringMappingNoConstructor.sol
Test/regressions/Modifier.sol
Test/regressions/TypeCast.sol
Sources/SolToBoogie/BoogieTranslator.cs
Test/regressions/EmptyContract.sol
Test/regressions/ExplicitGetters.sol
Test/regressions/MappingNested.sol
Sources/SolToBoogie/TestMain.cs
scripts/run_verisol_win.cmd
Test/regressions/Const.sol
Test/config/IntTypes.json
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/StructType.sol
Test/regressions/InheritInitializer.sol
Test/regressions/Keccak.sol
Test/config/EmptyContract.json
Test/regressions/UsingFor.sol
Sources/SolToBoogie/ModifierCollector.cs
Sources/SolToBoogie/HarnessGenerator.cs
Test/config/StringMapping.json
Sources/SolToBoogieTest/Program.cs
Test/config/InheritInitializer.json
Test/regressions/NestedFunctionCall.sol
Test/regressions/StringMapping.sol
Sources/SolToBoogie.sln
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogieTest/CorralConfiguration.cs
Sources/SolToBoogie/TransUtils.cs
Sources/BoogieAST/BoogieAST.cs
Test/regressions/MappingInitialize.sol
Test/regressions/IntTypes.sol
Sources/SolToBoogie/MapArrayHelper.cs
Test/regressions/ArrayParamAlias.sol
21.
shuvendu@microsoft.com
xinxl@microsoft.com
34 shared files
Sources/SolToBoogie/TranslatorFlags.cs
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Sources/VeriSol/Program.cs
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/VeriSol.props
azure-pipelines.yml
Sources/SolToBoogie/BoogieTranslator.cs
Sources/SolidityAST/SolidityAST.csproj
Sources/SolToBoogie/SolToBoogie.csproj
Sources/SolidityCFG/SolidityCFG.csproj
Sources/SolToBoogie/TestMain.cs
Sources/ExternalToolsManager/ExternalToolsManager.csproj
Test/regressions/ERC20.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Sources/SolidityAST/SolidityAST.cs
Test/regressions/UsingFor.sol
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/DAO-buggy.sol
Test/regressions/DAO-modular-fixed-call.sol
Sources/SolToBoogie/ConstructorCollector.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/FallbackGenerator.cs
Sources/SolToBoogie/TransUtils.cs
Sources/ExternalToolsManager/ExternalToolsManager.cs
Sources/BoogieAST/BoogieAST.csproj
Sources/BoogieAST/BoogieAST.cs
Sources/SolToBoogie/SolidityDesugaring.cs
Sources/SolToBoogie/MapArrayHelper.cs
22.
kferles@gmail.com
shuvendu@microsoft.com
33 shared files
Sources/VeriSolRunner/Program.cs
Sources/SolToBoogie/TranslatorFlags.cs
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Sources/VeriSol/Program.cs
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/ParseUtils.cs
Test/config/ConstructorChainingImplicit.json
azure-pipelines.yml
Sources/SolToBoogie/BoogieTranslator.cs
Test/regressions/FuncsWithUnnamedParams.sol
Sources/SolToBoogie/SolToBoogie.csproj
Test/regressions/ERC20.sol
Test/regressions/NamesWithUnderscores_fail.sol
README.md
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Sources/SolidityAST/SolidityAST.cs
Test/regressions/LoopFor2.sol
Binaries/README.md
Sources/SolToBoogie/HarnessGenerator.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogie/ModSetAnalysis.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Test/regressions/ConstructorChainingImplicit.sol
Sources/SolToBoogie/FallbackGenerator.cs
Sources/SolToBoogie/TransUtils.cs
corral
Sources/SolToBoogie/MapArrayHelper.cs
23.
kferles@gmail.com
ellab@microsoft.com
33 shared files
Sources/SolToBoogie/TranslatorFlags.cs
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Sources/VeriSol/Program.cs
Test/regressions/ConstructorChaining_fail.sol
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/ParseUtils.cs
azure-pipelines.yml
Test/regressions/StringToBytes2.sol
Sources/SolToBoogie/SolToBoogie.csproj
Test/regressions/ERC20.sol
Test/regressions/InheritanceMultiple_fail.sol
Test/regressions/NamesWithUnderscores_fail.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Test/regressions/LoopFor2.sol
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/InitOutsideCtors_fail.sol
Test/regressions/MethodInConditional_fail.sol
Test/regressions/StringToBytes.sol
Sources/SolToBoogie/FallbackGenerator.cs
Test/config/BytesTypes.json
Sources/SolToBoogie/TransUtils.cs
Test/regressions/Modifier_fail.sol
corral
Test/regressions/BytesTypes.sol
Test/regressions/ConstructorChaining2_fail.sol
Test/regressions/TwoLibraries.sol
Sources/SolToBoogie/MapArrayHelper.cs
24.
jon@users-MacBook-Pro.local
shuvendu@microsoft.com
30 shared files
Sources/SolToBoogie/TranslatorFlags.cs
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogie/ParseUtils.cs
Sources/SolToBoogie/BoogieTranslator.cs
Test/regressions/ConstructorChainingUnsound.sol
Sources/SolidityAST/SolidityAST.csproj
Sources/ExternalToolsManager/ExternalToolsManager.csproj
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/ERC20-demo.sol
Sources/VeriSol/VeriSol.csproj
Test/regressions/calldata.sol
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/DAO-buggy.sol
Test/config/UintCast.json
Sources/SolidityAST/TestMain.cs
Test/regressions/ConstructorLinearized.sol
Sources/SolToBoogieTest/Program.cs
Test/regressions/ConstructorChainingUnsoundSmall.sol
Test/config/calldata.json
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/TransUtils.cs
Sources/ExternalToolsManager/ExternalToolsManager.cs
Sources/BoogieAST/BoogieAST.cs
Sources/SolToBoogie/MapArrayHelper.cs
Test/regressions/UintCast.sol
25.
jon@users-MacBook-Pro.local
Shuvendu@microsoft.com
29 shared files
Sources/SolToBoogie/TranslatorFlags.cs
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/DAO-fixed-call.sol
Sources/SolToBoogie/ParseUtils.cs
Test/regressions/DAO-buggy-transfer.sol
Sources/SolToBoogie/BoogieTranslator.cs
Sources/SolidityAST/SolidityAST.csproj
Test/regressions/DAO-buggy-value.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Test/regressions/DAO-buggy-call.sol
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/DAO-buggy.sol
Sources/SolToBoogie/RevertLogicGenerator.cs
Sources/SolToBoogieTest/Program.cs
Test/regressions/StringToBytes.sol
Test/regressions/DAO-buggy-send.sol
Test/regressions/DAO-fixed-transfer.sol
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/TransUtils.cs
Test/regressions/DAO-fixed-value.sol
Sources/BoogieAST/BoogieAST.cs
Sources/SolToBoogie/MapArrayHelper.cs
Test/regressions/DAO-fixed-send.sol
26.
jon@users-MacBook-Pro.local
xinxl@microsoft.com
28 shared files
Sources/SolToBoogie/TranslatorFlags.cs
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Test/regressions/DAO-fixed-call.sol
Test/regressions/DAO-buggy-transfer.sol
Sources/SolToBoogie/BoogieTranslator.cs
Sources/SolidityAST/SolidityAST.csproj
Test/regressions/DAO-buggy-value.sol
Sources/ExternalToolsManager/ExternalToolsManager.csproj
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Test/regressions/DAO-buggy-call.sol
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/DAO-buggy.sol
Sources/SolToBoogie/RevertLogicGenerator.cs
Sources/SolToBoogieTest/Program.cs
Test/regressions/DAO-buggy-send.sol
Test/regressions/DAO-fixed-transfer.sol
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/TransUtils.cs
Sources/ExternalToolsManager/ExternalToolsManager.cs
Test/regressions/DAO-fixed-value.sol
Sources/BoogieAST/BoogieAST.cs
Sources/SolToBoogie/MapArrayHelper.cs
Test/regressions/DAO-fixed-send.sol
27.
kferles@gmail.com
xinxl@microsoft.com
22 shared files
Sources/SolToBoogie/TranslatorFlags.cs
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Sources/VeriSol/Program.cs
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/RegressionExecutor.cs
azure-pipelines.yml
Sources/SolToBoogie/BoogieTranslator.cs
Sources/SolToBoogie/SolToBoogie.csproj
Test/regressions/ERC20.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Sources/SolidityAST/SolidityAST.cs
Sources/SolToBoogie/HarnessGenerator.cs
Sources/SolToBoogie/RevertLogicGenerator.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/FallbackGenerator.cs
Sources/SolToBoogie/TransUtils.cs
Sources/SolToBoogie/MapArrayHelper.cs
28.
ellab@microsoft.com
xinxl@microsoft.com
20 shared files
Sources/SolToBoogie/TranslatorFlags.cs
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Sources/VeriSol/Program.cs
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/VeriSol.props
azure-pipelines.yml
Sources/VeriSol.sln
Sources/SolToBoogie/SolToBoogie.csproj
Test/regressions/ERC20.sol
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Test/regressions/UsingFor.sol
Sources/SolToBoogie/HarnessGenerator.cs
Sources/SolToBoogie/FallbackGenerator.cs
Sources/SolToBoogie/TransUtils.cs
Sources/SolToBoogie/MapArrayHelper.cs
29.
kferles@gmail.com
diego.garbervetsky@gmail.com
19 shared files
Sources/VeriSolRunner/Program.cs
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Sources/VeriSol/Program.cs
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/BoogieTranslator.cs
Sources/SolToBoogie/SolToBoogie.csproj
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Sources/SolidityAST/SolidityAST.cs
Test/regressions/LoopFor2.sol
Sources/SolToBoogie/HarnessGenerator.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/TransUtils.cs
Sources/SolToBoogie/MapArrayHelper.cs
30.
jon@users-MacBook-Pro.local
kferles@gmail.com
19 shared files
Sources/SolToBoogie/TranslatorFlags.cs
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogie/ParseUtils.cs
Sources/SolToBoogie/BoogieTranslator.cs
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Sources/SolToBoogie/HarnessGenerator.cs
Sources/SolToBoogie/RevertLogicGenerator.cs
Sources/SolToBoogieTest/Program.cs
Test/regressions/StringToBytes.sol
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/TransUtils.cs
Test/regressions/ConstructorChaining2_fail.sol
Sources/SolToBoogie/MapArrayHelper.cs
31.
xinxl@microsoft.com
diego.garbervetsky@gmail.com
19 shared files
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Sources/VeriSol/Program.cs
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/BoogieTranslator.cs
Sources/SolToBoogie/SolToBoogie.csproj
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Sources/SolidityAST/SolidityAST.cs
Test/regressions/UsingFor.sol
Sources/SolToBoogie/HarnessGenerator.cs
Sources/SolToBoogie/ConstructorCollector.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/TransUtils.cs
Sources/SolToBoogie/SolidityDesugaring.cs
Sources/SolToBoogie/MapArrayHelper.cs
32.
shuochen@microsoft.com
shuvendu-lahiri@users.noreply.github.com
14 shared files
Test/config/ModifierWithArgs.json
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/config/InitOutsideCtors.json
Sources/SolToBoogie/SourceInfoCollector.cs
Test/config/EmbeddedCalls.json
Test/regressions/FuncCallInIfCondition.sol
Test/regressions/InitOutsideCtors.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogie/ModifierCollector.cs
Test/regressions/ModifierWithArgs.sol
Test/config/FuncCallInIfCondition.json
Test/regressions/EmbeddedCalls.sol
Sources/SolToBoogie/TransUtils.cs
33.
jon@users-MacBook-Pro.local
diego.garbervetsky@gmail.com
14 shared files
Test/regressions/ConstructorChaining.sol
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
INSTALL.md
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogie/BoogieTranslator.cs
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/VeriSol/VeriSol.csproj
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/ConstructorLinearized.sol
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/TransUtils.cs
Sources/SolToBoogie/MapArrayHelper.cs
34.
xinxl@microsoft.com
rongpan17@gmail.com
14 shared files
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/BoogieTranslator.cs
Sources/SolToBoogie/TestMain.cs
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/UsingFor.sol
Sources/SolToBoogie/HarnessGenerator.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/TransUtils.cs
Sources/BoogieAST/BoogieAST.cs
Sources/SolToBoogie/MapArrayHelper.cs
35.
jon@users-MacBook-Pro.local
rongpan17@gmail.com
13 shared files
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Test/config/ConstructorLinearized.json
Sources/SolToBoogie/BoogieTranslator.cs
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogie/HarnessGenerator.cs
Test/regressions/ConstructorLinearized.sol
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/TransUtils.cs
Sources/BoogieAST/BoogieAST.cs
Sources/SolToBoogie/MapArrayHelper.cs
36.
shuochen@microsoft.com
shuvendu@microsoft.com
12 shared files
Test/config/ModifierWithArgs.json
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/SourceInfoCollector.cs
Test/regressions/FuncCallInIfCondition.sol
Test/regressions/InitOutsideCtors.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogie/ModifierCollector.cs
Test/regressions/ModifierWithArgs.sol
Test/config/FuncCallInIfCondition.json
Test/regressions/EmbeddedCalls.sol
Sources/SolToBoogie/TransUtils.cs
37.
kferles@gmail.com
rongpan17@gmail.com
11 shared files
Sources/SolToBoogie/TranslatorContext.cs
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/BoogieTranslator.cs
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogie/HarnessGenerator.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
Sources/SolToBoogie/TransUtils.cs
Sources/SolToBoogie/MapArrayHelper.cs
38.
shuvendu@microsoft.com
shuochen@live.com
10 shared files
Test/regressions/DeleteScalar.sol
Test/records.txt
Test/regressions/Getters.sol
Test/config/StateVarInit.json
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/DeleteArray.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
Test/config/DeleteScalar.json
Test/config/Getters.json
39.
ellab@microsoft.com
shuochen@microsoft.com
9 shared files
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/FuncCallInIfCondition.sol
Test/regressions/InitOutsideCtors.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogie/ModifierCollector.cs
Test/regressions/ModifierWithArgs.sol
Test/regressions/EmbeddedCalls.sol
Sources/SolToBoogie/TransUtils.cs
40.
shuvendu-lahiri@users.noreply.github.com
yuepeng.ypwang@gmail.com
8 shared files
Test/records.txt
Test/regressions/ReturnNamedParam.sol
Test/regressions/EnumParam.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Test/config/ReturnNamedParam.json
Test/config/EnumParam.json
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogie/TransUtils.cs
41.
diego.garbervetsky@gmail.com
shuochen@microsoft.com
8 shared files
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/FuncCallInIfCondition.sol
Test/regressions/InitOutsideCtors.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Test/regressions/ModifierWithArgs.sol
Test/regressions/EmbeddedCalls.sol
Sources/SolToBoogie/TransUtils.cs
42.
shuvendu-lahiri@users.noreply.github.com
shuochen@live.com
7 shared files
Test/regressions/DeleteScalar.sol
Test/records.txt
Test/regressions/Getters.sol
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/DeleteArray.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
43.
Shuvendu@microsoft.com
shuochen@microsoft.com
7 shared files
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/SourceInfoCollector.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogie/ModifierCollector.cs
Test/regressions/ModifierWithArgs.sol
Sources/SolToBoogie/TransUtils.cs
44.
diego.garbervetsky@gmail.com
shuochen@live.com
6 shared files
Test/regressions/DeleteScalar.sol
Test/records.txt
Test/regressions/Getters.sol
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/DeleteArray.sol
Sources/SolToBoogie/ProcedureTranslator.cs
45.
ellab@microsoft.com
shuochen@live.com
6 shared files
Test/regressions/DeleteScalar.sol
Test/records.txt
Test/regressions/Getters.sol
Sources/SolToBoogieTest/RegressionExecutor.cs
Test/regressions/DeleteArray.sol
Sources/SolToBoogie/ProcedureTranslator.cs
46.
shuvendu@microsoft.com
yuepeng.ypwang@gmail.com
6 shared files
Test/records.txt
Test/regressions/ReturnNamedParam.sol
Test/regressions/EnumParam.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogie/TransUtils.cs
47.
ellab@microsoft.com
yuepeng.ypwang@gmail.com
5 shared files
Test/records.txt
Test/regressions/ReturnNamedParam.sol
Test/regressions/EnumParam.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogie/TransUtils.cs
48.
Shuvendu@microsoft.com
yuepeng.ypwang@gmail.com
5 shared files
Test/records.txt
Test/regressions/EnumParam.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogie/TransUtils.cs
49.
diego.garbervetsky@gmail.com
yuepeng.ypwang@gmail.com
5 shared files
Test/records.txt
Test/regressions/ReturnNamedParam.sol
Test/regressions/EnumParam.sol
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogie/TransUtils.cs
50.
rongpan17@gmail.com
shuochen@microsoft.com
5 shared files
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogie/ModifierCollector.cs
Sources/SolToBoogie/TransUtils.cs
51.
shuvendu-lahiri@users.noreply.github.com
shenshanpku@gmail.com
4 shared files
Sources/ExternalToolsManager/toolsourcesettings.json
INSTALL.md
Sources/ExternalToolsManager/DownloadedToolManager.cs
Sources/ExternalToolsManager/SolcManager.cs
52.
shenshanpku@gmail.com
Shuvendu@microsoft.com
4 shared files
Sources/ExternalToolsManager/toolsourcesettings.json
INSTALL.md
Sources/ExternalToolsManager/DownloadedToolManager.cs
Sources/ExternalToolsManager/SolcManager.cs
53.
shenshanpku@gmail.com
xinxl@microsoft.com
4 shared files
Sources/ExternalToolsManager/toolsourcesettings.json
INSTALL.md
Sources/ExternalToolsManager/DownloadedToolManager.cs
Sources/ExternalToolsManager/SolcManager.cs
54.
jon@users-MacBook-Pro.local
yuepeng.ypwang@gmail.com
4 shared files
Test/records.txt
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogie/TransUtils.cs
55.
kferles@gmail.com
yuepeng.ypwang@gmail.com
4 shared files
Test/records.txt
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogie/TransUtils.cs
56.
kferles@gmail.com
shuochen@microsoft.com
4 shared files
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogie/TransUtils.cs
57.
kferles@gmail.com
shuochen@live.com
4 shared files
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
58.
Shuvendu@microsoft.com
shuochen@live.com
4 shared files
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
59.
xinxl@microsoft.com
yuepeng.ypwang@gmail.com
4 shared files
Test/records.txt
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogie/TransUtils.cs
60.
xinxl@microsoft.com
shuochen@microsoft.com
4 shared files
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogie/TransUtils.cs
61.
xinxl@microsoft.com
shuochen@live.com
4 shared files
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
62.
rongpan17@gmail.com
yuepeng.ypwang@gmail.com
4 shared files
Test/records.txt
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogie/TransUtils.cs
63.
rongpan17@gmail.com
shuochen@live.com
4 shared files
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
64.
jon@users-MacBook-Pro.local
shuochen@microsoft.com
3 shared files
Test/records.txt
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogie/TransUtils.cs
65.
jon@users-MacBook-Pro.local
shuochen@live.com
3 shared files
Test/records.txt
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
66.
yuepeng.ypwang@gmail.com
shuochen@microsoft.com
3 shared files
Test/records.txt
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogie/TransUtils.cs
67.
yuepeng.ypwang@gmail.com
shuochen@live.com
3 shared files
Test/records.txt
Sources/SolToBoogie/ProcedureTranslator.cs
Sources/SolToBoogieTest/Program.cs
68.
shuochen@microsoft.com
shuochen@live.com
3 shared files
Test/records.txt
Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/SolToBoogie/ProcedureTranslator.cs
69.
shuvendu-lahiri@users.noreply.github.com
verabogdanichespina@gmail.com
3 shared files
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
70.
jon@users-MacBook-Pro.local
verabogdanichespina@gmail.com
3 shared files
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
71.
shuvendu@microsoft.com
verabogdanichespina@gmail.com
3 shared files
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
72.
Shuvendu@microsoft.com
verabogdanichespina@gmail.com
3 shared files
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
73.
kferles@gmail.com
verabogdanichespina@gmail.com
3 shared files
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
74.
xinxl@microsoft.com
verabogdanichespina@gmail.com
3 shared files
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
75.
shuvendu-lahiri@users.noreply.github.com
ellab123@users.noreply.github.com
2 shared files
INSTALL.md
Sources/VeriSol.props
76.
ellab123@users.noreply.github.com
ellab@microsoft.com
2 shared files
INSTALL.md
Sources/VeriSol.props
77.
ellab123@users.noreply.github.com
shuvendu@microsoft.com
2 shared files
INSTALL.md
Sources/VeriSol.props
78.
ellab123@users.noreply.github.com
Shuvendu@microsoft.com
2 shared files
INSTALL.md
Sources/VeriSol.props
79.
ellab123@users.noreply.github.com
xinxl@microsoft.com
2 shared files
INSTALL.md
Sources/VeriSol.props
80.
verabogdanichespina@gmail.com
diego.garbervetsky@gmail.com
2 shared files
Sources/VeriSol/VeriSolExecuter.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
81.
shuvendu-lahiri@users.noreply.github.com
microsoftopensource@users.noreply.github.com
2 shared files
LICENSE
README.md
82.
verabogdanichespina@gmail.com
rongpan17@gmail.com
2 shared files
Sources/SolToBoogieTest/Program.cs
Sources/SolToBoogieTest/SolToBoogieTest.csproj
83.
shuvendu-lahiri@users.noreply.github.com
rok@kowalski.gd
1 shared file
INSTALL.md
84.
ellab123@users.noreply.github.com
kferles@gmail.com
1 shared file
INSTALL.md
85.
ellab123@users.noreply.github.com
jon@users-MacBook-Pro.local
1 shared file
INSTALL.md
86.
ellab123@users.noreply.github.com
shenshanpku@gmail.com
1 shared file
INSTALL.md
87.
ellab123@users.noreply.github.com
diego.garbervetsky@gmail.com
1 shared file
INSTALL.md
88.
ellab123@users.noreply.github.com
rok@kowalski.gd
1 shared file
INSTALL.md
89.
ellab@microsoft.com
shenshanpku@gmail.com
1 shared file
INSTALL.md
90.
ellab@microsoft.com
rok@kowalski.gd
1 shared file
INSTALL.md
91.
shuvendu@microsoft.com
shenshanpku@gmail.com
1 shared file
INSTALL.md
92.
shuvendu@microsoft.com
rok@kowalski.gd
1 shared file
INSTALL.md
93.
Shuvendu@microsoft.com
rok@kowalski.gd
1 shared file
INSTALL.md
94.
kferles@gmail.com
shenshanpku@gmail.com
1 shared file
INSTALL.md
95.
kferles@gmail.com
rok@kowalski.gd
1 shared file
INSTALL.md
96.
jon@users-MacBook-Pro.local
shenshanpku@gmail.com
1 shared file
INSTALL.md
97.
jon@users-MacBook-Pro.local
rok@kowalski.gd
1 shared file
INSTALL.md
98.
shenshanpku@gmail.com
diego.garbervetsky@gmail.com
1 shared file
INSTALL.md
99.
shenshanpku@gmail.com
rok@kowalski.gd
1 shared file
INSTALL.md
100.
xinxl@microsoft.com
rok@kowalski.gd
1 shared file
INSTALL.md
| Contributor 1 | Contributor 2 | # shared files | |
|---|---|---|---|
| 1. | shuvendu-lahiri@users.noreply.github.com | ellab@microsoft.com |
297 shared files
Test/regressions/Revert.sol Test/config/Overflow10.json Test/regressions/EventInBase.sol Test/regressions/InheritWithConstructorArgs.sol Test/regressions/Overflow12.sol Test/regressions/Overflow-Literals2.sol Test/regressions/InternalRecursiveFunctionCall.sol Test/regressions/ArrayAlias.sol Test/regressions/DeleteScalar.sol Test/config/Overflow9.json Sources/SolToBoogie/TranslatorFlags.cs Test/regressions/ArrayParamCopy_fail.sol Test/config/Overflow10Mod.json Test/regressions/FieldAccess.sol Test/regressions/IncDec.sol Test/config/Uint8-Overflow-NegMod.json Test/regressions/Overflow2.sol Test/config/UInt-2Mod.json Test/regressions/ArrayLength.sol Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/Overflow9.sol Test/regressions/Uint8-Overflow-Neg.sol Test/regressions/StateVarInit.sol Test/regressions/Uint8-Overflow-DownCasts.sol Test/regressions/ArrayLengthParam.sol Test/regressions/ConstructorLinearizedWithArgs3.sol Test/config/Overflow2.json Test/records.txt Test/regressions/Getters.sol Test/config/Overflow5.json Test/config/ConstructorLinearizedWithArgs2.json Sources/VeriSol/Program.cs Test/regressions/Overflow-Literals3.sol Test/regressions/StructTypeNoTemporaries.sol Test/regressions/Error.sol Test/regressions/ConstructorChaining_fail.sol Test/regressions/SafeMath.sol Test/regressions/InheritanceWithContractArg.sol INSTALL.md Test/regressions/ArrayNestedFixedSize.sol Test/config/UInt-2.json Test/config/Overflow2Mod.json Test/regressions/ArrayLowerDimCopy.sol Test/regressions/LoopNestedWhile.sol Test/config/Uint8-Overflow-DownCastsMod.json Sources/VeriSol/VeriSolExecuter.cs Test/regressions/DynDispatch.sol Test/regressions/ReturnNamedParam.sol Test/regressions/ConstructorChaining3_fail.sol Test/regressions/EmbeddedCalls_fail.sol Test/regressions/ContractAsFunctionArg_fail.sol Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/MethodInConditional.sol Sources/VeriSol.props Test/regressions/LoopDoWhile.sol Test/config/ConstructorLinearized.json Sources/SolToBoogie/ParseUtils.cs Test/config/Overflow1.json Test/regressions/Uint8-Overflow-NegMod.sol Test/regressions/StructNestedConstructor.sol Test/config/Overflow6.json Test/regressions/Overflow5Mod.sol Test/regressions/ConstructorModifier.sol Test/config/Overflow5Mod.json Test/regressions/Overflow2Mod.sol Test/regressions/CreateContract_fail.sol Test/config/ConstructorLinearizedWithArgs3.json Test/config/ConstructorLinearized_fail.json Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/EnumParam.sol Test/regressions/ExternalFunctionCall_fail.sol azure-pipelines.yml Test/config/Assembly4.json Test/regressions/TypeCast.sol Test/regressions/Getter.sol Test/regressions/ArrayDynamicStorage.sol Test/regressions/EmptyContract_fail.sol Test/regressions/Overflow3.sol Test/regressions/Uint256-OverflowMod.sol Test/regressions/Overflow13.sol Test/config/Overflow8Mod.json Test/regressions/CreateContract.sol Test/regressions/NoConstructor.sol Test/config/InternalFunctionCall_fail.json Test/regressions/LoopNestedFor.sol Test/regressions/ContractInvUsageExample_fail.sol Test/regressions/DeleteArray.sol Test/regressions/StringToBytes2.sol Test/regressions/ArrayLowerDimRef.sol Test/regressions/UInt-1.sol Sources/VeriSol.sln Test/regressions/Mapping.sol Test/config/Overflow11.json Test/regressions/StructOfMapping.sol Test/regressions/ReturnMult.sol Test/regressions/Overflow8.sol Test/regressions/ModifierWithInvocations.sol Test/regressions/StructOfDynamicArray.sol ... |
| 2. | shuvendu@microsoft.com | shuvendu-lahiri@users.noreply.github.com |
230 shared files
Test/regressions/Revert.sol Test/regressions/EventInBase.sol Test/regressions/InheritWithConstructorArgs.sol Test/workbench/PingPongGame/WrapperFiles/PingPongGame.sol Test/regressions/InternalRecursiveFunctionCall.sol Test/regressions/ArrayAlias.sol Test/regressions/DeleteScalar.sol Sources/VeriSolRunner/Program.cs Test/regressions/ArrayParamCopy.sol Sources/SolToBoogie/TranslatorFlags.cs Sources/VeriSolRunner/VeriSolOutOfBandSpecsRunner.nuspec Sources/SolidityAST/IASTVisitor.cs Test/regressions/FieldAccess.sol Test/workbench/README.md Test/regressions/IncDec.sol Test/config/ERC20-simplified.json Test/config/ModifierWithArgs.json Sources/SolToBoogie/StateVariableCollector.cs Test/regressions/ERC20-simp-fail.sol Test/config/TypeCast.json Test/regressions/ArrayLength.sol Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/StateVarInit.sol Test/regressions/ArrayLengthParam.sol Test/records.txt Test/regressions/Getters.sol Sources/SolidityCFG/CFGBuilder.cs Test/config/ConstructorChainingUnsoundSmall.json Sources/VeriSol/Program.cs Test/regressions/IERC20.sol Test/regressions/StructTypeNoTemporaries.sol Test/regressions/Error.sol Test/regressions/SafeMath.sol Test/regressions/InheritanceWithContractArg.sol Test/regressions/EnsuresUsageExample.sol INSTALL.md Test/regressions/ArrayNestedFixedSize.sol Test/config/DAO-Sim-Buggy.json Test/regressions/ArrayLowerDimCopy.sol Test/regressions/LoopNestedWhile.sol Test/config/ModifierLocal.json Sources/VeriSol/VeriSolExecuter.cs Test/regressions/DynDispatch.sol Test/regressions/ReturnNamedParam.sol Test/config/ArrayParamCopy.json Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/MethodInConditional.sol Sources/VeriSol.props Sources/SolidityAST/IASTGenericVisitor.cs Test/regressions/LoopDoWhile.sol Sources/SolToBoogie/ParseUtils.cs Test/regressions/StructNestedConstructor.sol Test/regressions/ConstructorModifier.sol Test/regressions/ArrayAlloc.sol Test/config/Library.json Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/EnumParam.sol Sources/SolToBoogie/InheritanceCollector.cs Test/config/ConstructorChainingImplicit.json azure-pipelines.yml Test/regressions/TypeCast.sol Test/regressions/Getter.sol Libraries/VeriSolContracts.sol Test/regressions/ArrayDynamicStorage.sol Sources/SolToBoogie/HoudiniHelper.cs Sources/SolToBoogie/BoogieTranslator.cs Test/regressions/ConstructorChainingUnsound.sol Test/regressions/CreateContract.sol Test/regressions/NoConstructor.sol Test/regressions/LoopNestedFor.sol Test/regressions/DAO-demo.sol Sources/VeriSolRunner/VeriSolExecuter.cs Test/regressions/DeleteArray.sol Test/regressions/Libraries/VeriSolContracts.sol Test/regressions/ArrayLowerDimRef.sol Test/regressions/UInt-1.sol Sources/SolToBoogie/SourceInfoCollector.cs Test/regressions/FuncsWithUnnamedParams.sol Test/regressions/Mapping.sol Sources/SolidityAST/SolidityAST.csproj Test/regressions/StructOfMapping.sol Test/regressions/ReturnMult.sol Test/regressions/ModifierWithInvocations.sol Test/regressions/StructOfDynamicArray.sol Test/regressions/EmptyContract.sol Test/regressions/ExplicitGetters.sol Test/regressions/ERC20-modifies.sol Test/regressions/Constructor.sol Sources/SolToBoogie/SolToBoogie.csproj Test/regressions/FuncCallInIfCondition.sol Test/regressions/StaticDispatching.sol Test/regressions/MappingNested.sol Test/regressions/DoWhileLoop.sol Sources/SolidityCFG/SolidityCFG.csproj Sources/SolToBoogie/TestMain.cs Test/regressions/InitOutsideCtors.sol scripts/run_verisol_win.cmd Test/regressions/Const.sol ... |
| 3. | diego.garbervetsky@gmail.com | shuvendu-lahiri@users.noreply.github.com |
192 shared files
Test/regressions/Revert.sol Test/regressions/InheritWithConstructorArgs.sol Test/workbench/PingPongGame/WrapperFiles/PingPongGame.sol Test/regressions/InternalRecursiveFunctionCall.sol Test/regressions/ArrayAlias.sol Test/regressions/DeleteScalar.sol Sources/VeriSolRunner/Program.cs Test/regressions/ArrayParamCopy.sol Test/regressions/FieldAccess.sol Test/workbench/PingPongGame/WrapperFiles/A__PingPongGame_Workbench_exp.bpl Test/workbench/BazaarItemListing/ItemListing.sol Test/workbench/README.md Test/regressions/IncDec.sol Test/workbench/PingPongGame/WrapperFiles/README Test/regressions/ArrayLength.sol Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/StateVarInit.sol Test/regressions/ArrayLengthParam.sol Test/records.txt Test/regressions/Getters.sol Sources/VeriSol/Program.cs Test/regressions/StructTypeNoTemporaries.sol Test/regressions/Error.sol Test/workbench/AssetTransfer/WrapperFiles/AssetTransfer.sol Test/workbench/FrequentFlyerRewardsCalculator/FrequentFlyerRewardsCalculator.sol Test/regressions/InheritanceWithContractArg.sol INSTALL.md Test/regressions/ArrayNestedFixedSize.sol Test/workbench/RoomThermostat/RoomThermostat.json Test/regressions/ArrayLowerDimCopy.sol Test/regressions/LoopNestedWhile.sol Sources/VeriSol/VeriSolExecuter.cs Test/regressions/DynDispatch.sol Test/regressions/ReturnNamedParam.sol Test/workbench/DefectiveComponentCounter/DefectiveComponentCounter.json Test/workbench/AssetTransfer/AssetTransfer.json Test/regressions/UInt.sol Test/config/ArrayParamCopy.json Sources/SolToBoogieTest/RegressionExecutor.cs Test/workbench/BazaarItemListing/BazaarItemListing.json Test/regressions/MethodInConditional.sol Test/regressions/LoopDoWhile.sol Test/regressions/StructNestedConstructor.sol Test/regressions/ConstructorModifier.sol Test/workbench/DigitalLocker/DigitalLocker.sol Test/workbench/AssetTransfer/WorkbenchBase.sol Test/workbench/RefrigeratedTransportation/WrapperFiles/A__RefrigeratedTransportation_Workbench.sol Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/EnumParam.sol Test/regressions/TypeCast.sol Test/workbench/AssetTransfer/WrapperFiles/A__AssetTransfer_Workbench.sol Test/regressions/Getter.sol Libraries/VeriSolContracts.sol Test/regressions/ArrayDynamicStorage.sol Sources/SolToBoogie/BoogieTranslator.cs Test/workbench/DefectiveComponentCounter/WrapperFiles/A__DefectiveComponentCounter_Workbench.sol Test/workbench/FrequentFlyerRewardsCalculator/WrapperFiles/A__FrequentFlyerRewardsCalculator_Workbench.sol Test/regressions/CreateContract.sol Test/regressions/NoConstructor.sol Test/regressions/LoopNestedFor.sol Test/workbench/HelloBlockchain/WorkbenchBase.sol Sources/VeriSolRunner/VeriSolExecuter.cs Test/regressions/DeleteArray.sol Test/regressions/ArrayLowerDimRef.sol Test/workbench/PingPongGame/PingPongGame.json Test/regressions/Mapping.sol Test/regressions/StructOfMapping.sol Test/regressions/ReturnMult.sol Test/workbench/SimpleMarketplace/WrapperFiles/A__SimpleMarketplace_Workbench.sol Test/regressions/ModifierWithInvocations.sol Test/regressions/StructOfDynamicArray.sol Test/regressions/EmptyContract.sol Test/regressions/ExplicitGetters.sol Test/workbench/RoomThermostat/WrapperFiles/A__RoomThermostat_Workbench.sol Test/regressions/Constructor.sol Sources/SolToBoogie/SolToBoogie.csproj Test/workbench/RefrigeratedTransportation/RefrigeratedTransportation.json Test/regressions/FuncCallInIfCondition.sol Test/workbench/SimpleMarketplace/SimpleMarketplace.json Test/regressions/StaticDispatching.sol Test/workbench/DigitalLocker/WrapperFiles/A__DigitalLocker_Workbench.sol Test/regressions/MappingNested.sol Test/regressions/DoWhileLoop.sol Test/regressions/InitOutsideCtors.sol Test/regressions/Const.sol Test/regressions/Library.sol Test/workbench/DefectiveComponentCounter/DefectiveComponentCounter.sol Test/regressions/StateVarCall.sol Sources/VeriSolRunner/VeriSolOutOfBandSpecsRunner.csproj Test/regressions/abiLibrary.sol Test/regressions/Logical.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Test/regressions/ArrayFixedSize.sol Test/regressions/NestedArray.sol Test/workbench/PingPongGame/PingPongGame.sol Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/StructType.sol Test/regressions/InputParameters.sol ... |
| 4. | shuvendu-lahiri@users.noreply.github.com | Shuvendu@microsoft.com |
179 shared files
Test/config/ConstructorChaining.json Test/regressions/EventInBase.sol Test/regressions/InheritWithConstructorArgs.sol Sources/VeriSolRunner/Program.cs Sources/SolToBoogie/TranslatorFlags.cs Sources/ExternalToolsManager/toolsourcesettings.json Sources/VeriSolRunner/VeriSolOutOfBandSpecsRunner.nuspec Test/regressions/IncDec.sol Test/regressions/ERC20-simp-fail.sol Test/config/TypeCast.json Test/config/EventInBase.json Test/regressions/ConstructorChaining.sol Test/config/A__AssetTransfer_Workbench.json Sources/SolToBoogie/TranslatorContext.cs Test/regressions/StateVarInit.sol Test/config/NestedArray.json Test/records.txt Test/regressions/Error3.sol Test/config/FuncsWithUnnamedParams.json Sources/VeriSol/Program.cs Test/regressions/StructTypeNoTemporaries.sol Test/regressions/Error.sol Test/workbench/AssetTransfer/WrapperFiles/AssetTransfer.sol Test/regressions/InheritanceWithContractArg.sol Test/regressions/EnsuresUsageExample.sol Test/regressions/DAO-modular-buggy-call.sol INSTALL.md Test/regressions/ArrayNestedFixedSize.sol Test/config/ERC20.json scripts/setup_windows.cmd Sources/VeriSol/VeriSolExecuter.cs Test/regressions/UInt.sol Test/regressions/DAO-fixed-call.sol Sources/ExternalToolsManager/DownloadedToolManager.cs Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/MethodInConditional.sol Sources/VeriSol.props Sources/SolToBoogie/ParseUtils.cs Test/regressions/StructNestedConstructor.sol Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/Error2.sol Test/regressions/EnumParam.sol azure-pipelines.yml Test/regressions/TypeCast.sol Test/config/UsingForComplex.json Test/workbench/AssetTransfer/WrapperFiles/A__AssetTransfer_Workbench.sol Test/regressions/Getter.sol Libraries/VeriSolContracts.sol Test/regressions/DAO-buggy-transfer.sol Sources/SolToBoogie/BoogieTranslator.cs Test/regressions/transfer.sol Sources/VeriSolRunner/VeriSolExecuter.cs Test/config/DAO-buggy-transfer.json Test/regressions/Libraries/VeriSolContracts.sol Test/regressions/StringToBytes2.sol Sources/SolToBoogie/SourceInfoCollector.cs Test/regressions/A__AssetTransfer_Workbench.sol Sources/VeriSol.sln Test/regressions/FuncsWithUnnamedParams.sol Sources/SolidityAST/SolidityAST.csproj Test/regressions/EmptyContract.sol Test/regressions/ExplicitGetters.sol Test/regressions/DAO-buggy-value.sol Test/config/ContractInvUsageExample.json Sources/SolToBoogie/SolToBoogie.csproj Test/config/Error3.json Test/config/InheritanceWithContractArg.json Test/regressions/MappingNested.sol Test/regressions/UIntMod.sol Sources/SolidityCFG/SolidityCFG.csproj Sources/SolToBoogie/TestMain.cs scripts/run_verisol_win.cmd Test/regressions/Const.sol Test/config/InheritWithConstructorArgs.json Test/config/LoopInvUsageExample.json Test/regressions/StateVarCall.sol Sources/VeriSolRunner/VeriSolOutOfBandSpecsRunner.csproj Test/config/harness.json Sources/SolidityAST/SolidityCompiler.cs Test/regressions/ERC20.sol Test/regressions/abiLibrary.sol Test/config/Error.json README.md Test/config/IntTypes.json Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Test/regressions/NestedArray.sol Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/StructType.sol Sources/SolToBoogie/FunctionEventResolver.cs Test/config/abiLibrary.json Test/regressions/StructArray.sol Test/regressions/StructTutorial.sol Test/regressions/InheritInitializer.sol Sources/VeriSol/VeriSol.csproj Sources/SolidityAST/SolidityAST.cs Test/config/StructNestedConstructor.json Test/regressions/Keccak.sol Test/regressions/ContractInvUsageExample.sol Test/regressions/LoopFor2.sol ... |
| 5. | shuvendu-lahiri@users.noreply.github.com | rongpan17@gmail.com |
167 shared files
Test/regressions/Revert.sol Test/regressions/InternalRecursiveFunctionCall.sol Test/config/LoopContinue.json Test/regressions/ArrayAlias.sol Test/config/ModifierReturn.json Test/regressions/FieldAccess.sol Test/config/StructOfFixedSizeArray.json Test/regressions/IncDec.sol Test/config/TypeCast.json Test/regressions/ArrayLength.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/StateVarInit.sol Test/regressions/ArrayLengthParam.sol Test/config/ArrayLengthParam.json Test/records.txt Test/regressions/ArrayNestedFixedSize.sol Test/regressions/ArrayLowerDimCopy.sol Test/regressions/LoopNestedWhile.sol Test/config/MappingReference.json Test/regressions/DynDispatch.sol Test/config/Bytes.json Test/config/StructOfDynamicArray.json Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/MethodInConditional.sol Test/regressions/LoopDoWhile.sol Test/config/ConstructorLinearized.json Test/config/Require.json Test/regressions/ConstructorModifier.sol Test/config/StructNested.json Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/TypeCast.sol Test/regressions/ArrayDynamicStorage.sol Sources/SolToBoogie/BoogieTranslator.cs Test/config/DoWhileLoop.json Test/config/ReturnMult.json Test/config/ArrayDynamicStorage.json Test/regressions/CreateContract.sol Test/regressions/NoConstructor.sol Test/regressions/LoopNestedFor.sol Test/config/AssertFalse.json Test/config/StructOfMapping.json Test/regressions/ArrayLowerDimRef.sol Test/config/ArrayInitialization.json Test/regressions/Mapping.sol Test/regressions/StructOfMapping.sol Test/regressions/ReturnMult.sol Test/config/DynDispatch.json Test/regressions/ModifierWithInvocations.sol Test/regressions/StructOfDynamicArray.sol Test/regressions/EmptyContract.sol Test/regressions/ExplicitGetters.sol Test/config/LoopDoWhile.json Test/regressions/Constructor.sol Test/config/LoopWhile.json Test/regressions/StaticDispatching.sol Test/regressions/MappingNested.sol Test/regressions/DoWhileLoop.sol Sources/SolToBoogie/TestMain.cs scripts/run_verisol_win.cmd Test/config/FieldAccess.json Test/regressions/Const.sol Test/config/ArrayLowerDimCopy.json Test/config/Throw.json Test/regressions/Logical.sol Test/config/IntTypes.json Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Test/regressions/ArrayFixedSize.sol Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/StructType.sol Test/config/ArrayLength.json Test/regressions/InputParameters.sol Test/config/LoopBreak.json Test/regressions/Throw.sol Sources/SolidityAST/CompilerOutput.cs Test/config/LoopNestedWhile.json Test/config/Event.json Test/regressions/ArrayInitialization.sol Test/config/InputParameters.json Test/regressions/InheritInitializer.sol Test/regressions/Keccak.sol Test/config/AssertTrue.json Test/config/Logical.json Test/regressions/StructOfFixedSizeArray.sol Test/config/CreateContract.json Test/regressions/ExternalFunctionCall.sol Test/config/EmptyContract.json Test/config/Constructor.json Test/regressions/Event.sol Test/regressions/UsingFor.sol Sources/SolToBoogie/ModifierCollector.cs Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/MappingToStruct.sol Test/config/Inheritance.json Test/config/StaticDispatching.json Test/regressions/Require.sol Test/config/StringMapping.json Test/config/InternalRecursiveFunctionCall.json Test/config/Mapping.json Test/regressions/LoopWhile.sol ... |
| 6. | diego.garbervetsky@gmail.com | shuvendu@microsoft.com |
137 shared files
Test/regressions/Revert.sol Test/regressions/InheritWithConstructorArgs.sol Test/workbench/PingPongGame/WrapperFiles/PingPongGame.sol Test/regressions/InternalRecursiveFunctionCall.sol Test/regressions/ArrayAlias.sol Test/regressions/DeleteScalar.sol Sources/VeriSolRunner/Program.cs Test/regressions/ArrayParamCopy.sol Test/regressions/FieldAccess.sol Test/workbench/README.md Test/regressions/IncDec.sol Test/regressions/ArrayLength.sol Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/StateVarInit.sol Test/regressions/ArrayLengthParam.sol Test/records.txt Test/regressions/Getters.sol Sources/VeriSol/Program.cs Test/regressions/StructTypeNoTemporaries.sol Test/regressions/Error.sol Test/regressions/InheritanceWithContractArg.sol INSTALL.md Test/regressions/ArrayNestedFixedSize.sol Test/regressions/ArrayLowerDimCopy.sol Test/regressions/LoopNestedWhile.sol Sources/VeriSol/VeriSolExecuter.cs Test/regressions/DynDispatch.sol Test/regressions/ReturnNamedParam.sol Test/config/ArrayParamCopy.json Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/MethodInConditional.sol Test/regressions/LoopDoWhile.sol Test/regressions/StructNestedConstructor.sol Test/regressions/ConstructorModifier.sol Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/EnumParam.sol Test/regressions/TypeCast.sol Test/regressions/Getter.sol Libraries/VeriSolContracts.sol Test/regressions/ArrayDynamicStorage.sol Sources/SolToBoogie/BoogieTranslator.cs Test/regressions/CreateContract.sol Test/regressions/NoConstructor.sol Test/regressions/LoopNestedFor.sol Sources/VeriSolRunner/VeriSolExecuter.cs Test/regressions/DeleteArray.sol Test/regressions/ArrayLowerDimRef.sol Test/regressions/Mapping.sol Test/regressions/StructOfMapping.sol Test/regressions/ReturnMult.sol Test/regressions/ModifierWithInvocations.sol Test/regressions/StructOfDynamicArray.sol Test/regressions/EmptyContract.sol Test/regressions/ExplicitGetters.sol Test/regressions/Constructor.sol Sources/SolToBoogie/SolToBoogie.csproj Test/regressions/FuncCallInIfCondition.sol Test/regressions/StaticDispatching.sol Test/regressions/MappingNested.sol Test/regressions/DoWhileLoop.sol Test/regressions/InitOutsideCtors.sol Test/regressions/Const.sol Test/regressions/Library.sol Test/regressions/StateVarCall.sol Sources/VeriSolRunner/VeriSolOutOfBandSpecsRunner.csproj Test/regressions/abiLibrary.sol Test/regressions/Logical.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Test/regressions/ArrayFixedSize.sol Test/regressions/NestedArray.sol Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/StructType.sol Test/regressions/InputParameters.sol Test/regressions/Throw.sol Test/regressions/ArrayInitialization.sol Test/scripts/ReplacePragma.pl Test/regressions/StructArray.sol Test/regressions/StructTutorial.sol Test/regressions/InheritInitializer.sol Sources/VeriSol/VeriSol.csproj Sources/SolidityAST/SolidityAST.cs Test/regressions/Keccak.sol Test/regressions/LoopFor2.sol Test/regressions/StructOfFixedSizeArray.sol Test/regressions/ExternalFunctionCall.sol Test/regressions/Event.sol Test/regressions/UsingFor.sol Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/MappingToStruct.sol Test/regressions/ModifierWithArgs.sol Test/regressions/Require.sol Test/workbench/runall.cmd Test/regressions/LoopWhile.sol Sources/SolToBoogie/ConstructorCollector.cs Test/regressions/LoopBreak.sol Test/regressions/Bytes.sol Sources/SolidityAST/RegressionExecutor.cs Test/regressions/ConstructorLinearized.sol ... |
| 7. | shuvendu@microsoft.com | ellab@microsoft.com |
134 shared files
Test/regressions/Revert.sol Test/regressions/EventInBase.sol Test/regressions/InheritWithConstructorArgs.sol Test/regressions/InternalRecursiveFunctionCall.sol Test/regressions/ArrayAlias.sol Test/regressions/DeleteScalar.sol Sources/SolToBoogie/TranslatorFlags.cs Test/regressions/FieldAccess.sol Test/regressions/IncDec.sol Test/regressions/ArrayLength.sol Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/StateVarInit.sol Test/regressions/ArrayLengthParam.sol Test/records.txt Test/regressions/Getters.sol Sources/VeriSol/Program.cs Test/regressions/StructTypeNoTemporaries.sol Test/regressions/Error.sol Test/regressions/SafeMath.sol Test/regressions/InheritanceWithContractArg.sol INSTALL.md Test/regressions/ArrayNestedFixedSize.sol Test/regressions/ArrayLowerDimCopy.sol Test/regressions/LoopNestedWhile.sol Sources/VeriSol/VeriSolExecuter.cs Test/regressions/DynDispatch.sol Test/regressions/ReturnNamedParam.sol Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/MethodInConditional.sol Sources/VeriSol.props Test/regressions/LoopDoWhile.sol Sources/SolToBoogie/ParseUtils.cs Test/regressions/StructNestedConstructor.sol Test/regressions/ConstructorModifier.sol Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/EnumParam.sol azure-pipelines.yml Test/regressions/TypeCast.sol Test/regressions/Getter.sol Test/regressions/ArrayDynamicStorage.sol Test/regressions/CreateContract.sol Test/regressions/NoConstructor.sol Test/regressions/LoopNestedFor.sol Test/regressions/DeleteArray.sol Test/regressions/ArrayLowerDimRef.sol Test/regressions/UInt-1.sol Test/regressions/Mapping.sol Test/regressions/StructOfMapping.sol Test/regressions/ReturnMult.sol Test/regressions/ModifierWithInvocations.sol Test/regressions/StructOfDynamicArray.sol Test/regressions/EmptyContract.sol Test/regressions/ExplicitGetters.sol Test/regressions/Constructor.sol Sources/SolToBoogie/SolToBoogie.csproj Test/regressions/FuncCallInIfCondition.sol Test/regressions/StaticDispatching.sol Test/regressions/MappingNested.sol Test/regressions/DoWhileLoop.sol Test/regressions/InitOutsideCtors.sol Test/regressions/Const.sol Test/regressions/UInt-2.sol Test/regressions/Library.sol Test/regressions/StateVarCall.sol Test/regressions/ERC20.sol Test/regressions/abiLibrary.sol Test/regressions/NamesWithUnderscores_fail.sol Test/regressions/Logical.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Test/regressions/ArrayFixedSize.sol Test/regressions/NestedArray.sol Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/StructType.sol Test/regressions/ERC20-demo.sol Test/regressions/InputParameters.sol Test/regressions/Throw.sol Test/regressions/ArrayInitialization.sol Test/scripts/ReplacePragma.pl Test/regressions/StructArray.sol Test/regressions/StructTutorial.sol Test/regressions/InheritInitializer.sol Sources/VeriSol/VeriSol.csproj Test/regressions/Keccak.sol Test/regressions/LoopFor2.sol Test/regressions/StructOfFixedSizeArray.sol Test/regressions/ExternalFunctionCall.sol Test/regressions/Event.sol Test/regressions/UsingFor.sol Test/regressions/Uint8-Overflow.sol Sources/SolToBoogie/ModifierCollector.cs Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/MappingToStruct.sol Test/regressions/ModifierWithArgs.sol Test/regressions/Require.sol Test/regressions/LoopWhile.sol Test/regressions/LoopBreak.sol Test/regressions/Bytes.sol Test/regressions/ConstructorLinearized.sol ... |
| 8. | diego.garbervetsky@gmail.com | ellab@microsoft.com |
118 shared files
Test/regressions/Revert.sol Test/regressions/InheritWithConstructorArgs.sol Test/regressions/InternalRecursiveFunctionCall.sol Test/regressions/ArrayAlias.sol Test/regressions/DeleteScalar.sol Test/regressions/FieldAccess.sol Test/regressions/IncDec.sol Test/regressions/ArrayLength.sol Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/StateVarInit.sol Test/regressions/ArrayLengthParam.sol Test/records.txt Test/regressions/Getters.sol Sources/VeriSol/Program.cs Test/regressions/StructTypeNoTemporaries.sol Test/regressions/Error.sol Test/regressions/InheritanceWithContractArg.sol INSTALL.md Test/regressions/ArrayNestedFixedSize.sol Test/regressions/ArrayLowerDimCopy.sol Test/regressions/LoopNestedWhile.sol Sources/VeriSol/VeriSolExecuter.cs Test/regressions/DynDispatch.sol Test/regressions/ReturnNamedParam.sol Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/MethodInConditional.sol Test/regressions/LoopDoWhile.sol Test/regressions/StructNestedConstructor.sol Test/regressions/ConstructorModifier.sol Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/EnumParam.sol Test/regressions/TypeCast.sol Test/regressions/Getter.sol Test/regressions/ArrayDynamicStorage.sol Test/regressions/CreateContract.sol Test/regressions/NoConstructor.sol Test/regressions/LoopNestedFor.sol Test/regressions/DeleteArray.sol Test/regressions/ArrayLowerDimRef.sol Test/regressions/Mapping.sol Test/regressions/StructOfMapping.sol Test/regressions/ReturnMult.sol Test/regressions/ModifierWithInvocations.sol Test/regressions/StructOfDynamicArray.sol Test/regressions/EmptyContract.sol Test/regressions/ExplicitGetters.sol Test/regressions/Constructor.sol Sources/SolToBoogie/SolToBoogie.csproj Test/regressions/FuncCallInIfCondition.sol Test/regressions/StaticDispatching.sol Test/regressions/MappingNested.sol Test/regressions/DoWhileLoop.sol Test/regressions/InitOutsideCtors.sol Test/regressions/Const.sol Test/regressions/Library.sol Test/regressions/StateVarCall.sol Test/regressions/abiLibrary.sol Test/regressions/Logical.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Test/regressions/ArrayFixedSize.sol Test/regressions/NestedArray.sol Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/StructType.sol Test/regressions/InputParameters.sol Test/regressions/Throw.sol Test/regressions/ArrayInitialization.sol Test/scripts/ReplacePragma.pl Test/regressions/StructArray.sol Test/regressions/StructTutorial.sol Test/regressions/InheritInitializer.sol Sources/VeriSol/VeriSol.csproj Test/regressions/Keccak.sol Test/regressions/LoopFor2.sol Test/regressions/StructOfFixedSizeArray.sol Test/regressions/ExternalFunctionCall.sol Test/regressions/Event.sol Test/regressions/UsingFor.sol Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/MappingToStruct.sol Test/regressions/ModifierWithArgs.sol Test/regressions/Require.sol Test/regressions/LoopWhile.sol Test/regressions/LoopBreak.sol Test/regressions/Bytes.sol Test/regressions/ConstructorLinearized.sol Test/regressions/EmbeddedCalls.sol Test/regressions/Inheritance.sol Test/regressions/LoopFor.sol Test/regressions/LibraryStruct.sol Test/regressions/StructMemory.sol Test/regressions/ModifierPost.sol Test/regressions/StructNested.sol Test/regressions/AssertTrue.sol Test/regressions/LoopContinue.sol Test/regressions/MethodDecl.sol Test/regressions/ModifierReturn.sol Test/regressions/Branch.sol Test/regressions/NestedFunctionCall.sol ... |
| 9. | shuvendu@microsoft.com | rongpan17@gmail.com |
95 shared files
Test/regressions/Revert.sol Test/regressions/InternalRecursiveFunctionCall.sol Test/regressions/ArrayAlias.sol Test/regressions/FieldAccess.sol Test/regressions/IncDec.sol Test/config/TypeCast.json Test/regressions/ArrayLength.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/StateVarInit.sol Test/regressions/ArrayLengthParam.sol Test/records.txt Test/regressions/ArrayNestedFixedSize.sol Test/regressions/ArrayLowerDimCopy.sol Test/regressions/LoopNestedWhile.sol Test/regressions/DynDispatch.sol Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/MethodInConditional.sol Test/regressions/LoopDoWhile.sol Test/regressions/ConstructorModifier.sol Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/TypeCast.sol Test/regressions/ArrayDynamicStorage.sol Sources/SolToBoogie/BoogieTranslator.cs Test/regressions/CreateContract.sol Test/regressions/NoConstructor.sol Test/regressions/LoopNestedFor.sol Test/regressions/ArrayLowerDimRef.sol Test/regressions/Mapping.sol Test/regressions/StructOfMapping.sol Test/regressions/ReturnMult.sol Test/regressions/ModifierWithInvocations.sol Test/regressions/StructOfDynamicArray.sol Test/regressions/EmptyContract.sol Test/regressions/ExplicitGetters.sol Test/regressions/Constructor.sol Test/regressions/StaticDispatching.sol Test/regressions/MappingNested.sol Test/regressions/DoWhileLoop.sol Sources/SolToBoogie/TestMain.cs scripts/run_verisol_win.cmd Test/regressions/Const.sol Test/regressions/Logical.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Test/regressions/ArrayFixedSize.sol Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/StructType.sol Test/regressions/InputParameters.sol Test/regressions/Throw.sol Sources/SolidityAST/CompilerOutput.cs Test/regressions/ArrayInitialization.sol Test/regressions/InheritInitializer.sol Test/regressions/Keccak.sol Test/regressions/StructOfFixedSizeArray.sol Test/regressions/ExternalFunctionCall.sol Test/regressions/Event.sol Test/regressions/UsingFor.sol Sources/SolToBoogie/ModifierCollector.cs Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/MappingToStruct.sol Test/regressions/Require.sol Test/regressions/LoopWhile.sol Test/regressions/LoopBreak.sol Test/regressions/Bytes.sol Test/regressions/ConstructorLinearized.sol Sources/SolToBoogieTest/Program.cs Test/regressions/Inheritance.sol Test/regressions/LoopFor.sol Test/regressions/ModifierPost.sol Test/regressions/StructNested.sol Test/regressions/AssertTrue.sol Test/regressions/LoopContinue.sol Test/regressions/MethodDecl.sol Test/regressions/ModifierReturn.sol Test/regressions/Branch.sol Test/regressions/NestedFunctionCall.sol Test/regressions/StringMapping.sol Sources/SolToBoogie.sln Sources/SolToBoogieTest/SolToBoogieTest.csproj Test/regressions/OutputParameters.sol Test/regressions/MappingLowerDimRef.sol Test/regressions/MappingReference.sol Test/regressions/AssertFalse.sol Sources/SolToBoogie/TransUtils.cs Test/regressions/Arithmetics.sol Test/regressions/EnumType.sol Test/regressions/InternalFunctionCall.sol Sources/BoogieAST/BoogieAST.cs Test/regressions/This.sol Test/regressions/ConstructorSpecifier.sol Test/regressions/MappingInitialize.sol Test/regressions/IntTypes.sol Sources/SolToBoogie/MapArrayHelper.cs Test/regressions/ArrayParamAlias.sol Test/regressions/InheritanceMultiple.sol |
| 10. | diego.garbervetsky@gmail.com | rongpan17@gmail.com |
88 shared files
Test/regressions/Revert.sol Test/regressions/InternalRecursiveFunctionCall.sol Test/regressions/ArrayAlias.sol Test/regressions/FieldAccess.sol Test/regressions/IncDec.sol Test/regressions/ArrayLength.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/StateVarInit.sol Test/regressions/ArrayLengthParam.sol Test/records.txt Test/regressions/ArrayNestedFixedSize.sol Test/regressions/ArrayLowerDimCopy.sol Test/regressions/LoopNestedWhile.sol Test/regressions/DynDispatch.sol Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/MethodInConditional.sol Test/regressions/LoopDoWhile.sol Test/regressions/ConstructorModifier.sol Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/TypeCast.sol Test/regressions/ArrayDynamicStorage.sol Sources/SolToBoogie/BoogieTranslator.cs Test/regressions/CreateContract.sol Test/regressions/NoConstructor.sol Test/regressions/LoopNestedFor.sol Test/regressions/ArrayLowerDimRef.sol Test/regressions/Mapping.sol Test/regressions/StructOfMapping.sol Test/regressions/ReturnMult.sol Test/regressions/ModifierWithInvocations.sol Test/regressions/StructOfDynamicArray.sol Test/regressions/EmptyContract.sol Test/regressions/ExplicitGetters.sol Test/regressions/Constructor.sol Test/regressions/StaticDispatching.sol Test/regressions/MappingNested.sol Test/regressions/DoWhileLoop.sol Test/regressions/Const.sol Test/regressions/Logical.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Test/regressions/ArrayFixedSize.sol Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/StructType.sol Test/regressions/InputParameters.sol Test/regressions/Throw.sol Test/regressions/ArrayInitialization.sol Test/regressions/InheritInitializer.sol Test/regressions/Keccak.sol Test/regressions/StructOfFixedSizeArray.sol Test/regressions/ExternalFunctionCall.sol Test/regressions/Event.sol Test/regressions/UsingFor.sol Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/MappingToStruct.sol Test/regressions/Require.sol Test/regressions/LoopWhile.sol Test/regressions/LoopBreak.sol Test/regressions/Bytes.sol Test/regressions/ConstructorLinearized.sol Test/regressions/Inheritance.sol Test/regressions/LoopFor.sol Test/regressions/ModifierPost.sol Test/regressions/StructNested.sol Test/regressions/AssertTrue.sol Test/regressions/LoopContinue.sol Test/regressions/MethodDecl.sol Test/regressions/ModifierReturn.sol Test/regressions/Branch.sol Test/regressions/NestedFunctionCall.sol Test/regressions/StringMapping.sol Sources/SolToBoogie.sln Sources/SolToBoogieTest/SolToBoogieTest.csproj Test/regressions/OutputParameters.sol Test/regressions/MappingLowerDimRef.sol Test/regressions/MappingReference.sol Test/regressions/AssertFalse.sol Sources/SolToBoogie/TransUtils.cs Test/regressions/Arithmetics.sol Test/regressions/EnumType.sol Test/regressions/InternalFunctionCall.sol Test/regressions/This.sol Test/regressions/ConstructorSpecifier.sol Test/regressions/MappingInitialize.sol Test/regressions/IntTypes.sol Sources/SolToBoogie/MapArrayHelper.cs Test/regressions/ArrayParamAlias.sol Test/regressions/InheritanceMultiple.sol |
| 11. | ellab@microsoft.com | rongpan17@gmail.com |
88 shared files
Test/regressions/Revert.sol Test/regressions/InternalRecursiveFunctionCall.sol Test/regressions/ArrayAlias.sol Test/regressions/FieldAccess.sol Test/regressions/IncDec.sol Test/regressions/ArrayLength.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/StateVarInit.sol Test/regressions/ArrayLengthParam.sol Test/records.txt Test/regressions/ArrayNestedFixedSize.sol Test/regressions/ArrayLowerDimCopy.sol Test/regressions/LoopNestedWhile.sol Test/regressions/DynDispatch.sol Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/MethodInConditional.sol Test/regressions/LoopDoWhile.sol Test/config/ConstructorLinearized.json Test/regressions/ConstructorModifier.sol Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/TypeCast.sol Test/regressions/ArrayDynamicStorage.sol Test/regressions/CreateContract.sol Test/regressions/NoConstructor.sol Test/regressions/LoopNestedFor.sol Test/regressions/ArrayLowerDimRef.sol Test/regressions/Mapping.sol Test/regressions/StructOfMapping.sol Test/regressions/ReturnMult.sol Test/regressions/ModifierWithInvocations.sol Test/regressions/StructOfDynamicArray.sol Test/regressions/EmptyContract.sol Test/regressions/ExplicitGetters.sol Test/regressions/Constructor.sol Test/regressions/StaticDispatching.sol Test/regressions/MappingNested.sol Test/regressions/DoWhileLoop.sol Test/regressions/Const.sol Test/regressions/Logical.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Test/regressions/ArrayFixedSize.sol Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/StructType.sol Test/regressions/InputParameters.sol Test/regressions/Throw.sol Test/regressions/ArrayInitialization.sol Test/regressions/InheritInitializer.sol Test/regressions/Keccak.sol Test/regressions/StructOfFixedSizeArray.sol Test/regressions/ExternalFunctionCall.sol Test/regressions/Event.sol Test/regressions/UsingFor.sol Sources/SolToBoogie/ModifierCollector.cs Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/MappingToStruct.sol Test/regressions/Require.sol Test/regressions/LoopWhile.sol Test/regressions/LoopBreak.sol Test/regressions/Bytes.sol Test/regressions/ConstructorLinearized.sol Test/regressions/Inheritance.sol Test/regressions/LoopFor.sol Test/regressions/ModifierPost.sol Test/regressions/StructNested.sol Test/regressions/AssertTrue.sol Test/regressions/LoopContinue.sol Test/regressions/MethodDecl.sol Test/regressions/ModifierReturn.sol Test/regressions/Branch.sol Test/regressions/NestedFunctionCall.sol Test/regressions/StringMapping.sol Test/regressions/OutputParameters.sol Test/regressions/MappingLowerDimRef.sol Test/regressions/MappingReference.sol Sources/SolToBoogieTest/CorralConfiguration.cs Test/regressions/AssertFalse.sol Sources/SolToBoogie/TransUtils.cs Test/regressions/Arithmetics.sol Test/regressions/EnumType.sol Test/regressions/InternalFunctionCall.sol Test/regressions/This.sol Test/regressions/ConstructorSpecifier.sol Test/regressions/MappingInitialize.sol Test/regressions/IntTypes.sol Sources/SolToBoogie/MapArrayHelper.cs Test/regressions/ArrayParamAlias.sol Test/regressions/InheritanceMultiple.sol |
| 12. | shuvendu-lahiri@users.noreply.github.com | jon@users-MacBook-Pro.local |
74 shared files
Sources/SolToBoogie/TranslatorFlags.cs Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/ConstructorLinearizedWithArgs3.sol Test/records.txt Test/config/ConstructorLinearizedWithArgs2.json INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Test/regressions/ConstructorChaining3_fail.sol Test/regressions/DAO-fixed-call.sol Test/config/ConstructorLinearized.json Sources/SolToBoogie/ParseUtils.cs Test/config/ConstructorLinearizedWithArgs3.json Test/config/ConstructorLinearized_fail.json Test/config/Assembly4.json Test/regressions/DAO-buggy-transfer.sol Sources/SolToBoogie/BoogieTranslator.cs Test/regressions/ConstructorChainingUnsound.sol Sources/SolidityAST/SolidityAST.csproj Test/regressions/ConstructorLinearizedWithArgs1.sol Test/regressions/DAO-buggy-value.sol Test/config/InternalFunctionInLibrary.json Sources/ExternalToolsManager/ExternalToolsManager.csproj Test/config/ConstructorLinearizedWithArgs1.json Test/config/ConstructorChaining4.json Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/UsingInTwoLibraries.sol Test/regressions/ERC20-demo.sol Test/regressions/InternalFunctionCallStruct.sol Test/config/Assembly1.json Sources/VeriSol/VeriSol.csproj Test/regressions/ConstructorLinearizedWithArgs2.sol Test/regressions/Assembly3.sol Test/regressions/DAO-buggy-call.sol Test/regressions/calldata.sol Test/config/UsingInTwoLibraries.json Test/regressions/InternalFunctionInLibrary.sol Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/DAO-buggy.sol Test/config/UintCast.json Sources/SolToBoogie/RevertLogicGenerator.cs Sources/SolidityAST/TestMain.cs Test/regressions/UsingInTwoLibrariesArrayInStruct.sol Test/regressions/ConstructorLinearized.sol Sources/SolToBoogieTest/Program.cs Test/regressions/UsingInTwoLibrariesNoStruct.sol Test/regressions/ConstructorChainingUnsoundSmall.sol Test/config/Assembly3.json Test/regressions/StringToBytes.sol Test/config/InternalFunctionCallStruct.json Test/regressions/DAO-buggy-send.sol Test/regressions/DAO-fixed-transfer.sol Test/regressions/Assembly1.sol Test/config/calldata.json Test/config/UsingInTwoLibrariesArrayInStruct.json Test/config/ConstructorChaining3_fail.json Sources/SolToBoogieTest/SolToBoogieTest.csproj Test/config/ConstructorChaining2_fail.json Test/regressions/ConstructorChaining4.sol Test/regressions/Assembly4.sol Test/regressions/Assembly2.sol Sources/SolToBoogie/TransUtils.cs Test/config/StringToBytes.json Test/config/Assembly2.json Test/config/UsingInTwoLibrariesNoStruct.json Sources/ExternalToolsManager/ExternalToolsManager.cs Test/regressions/DAO-fixed-value.sol Test/regressions/ConstructorChaining2_fail.sol Sources/BoogieAST/BoogieAST.cs Test/regressions/ConstructorLinearizedWithArgs-SolcError.sol Sources/SolToBoogie/MapArrayHelper.cs Test/regressions/DAO-fixed-send.sol Test/regressions/UintCast.sol |
| 13. | shuvendu-lahiri@users.noreply.github.com | xinxl@microsoft.com |
73 shared files
Sources/SolToBoogie/TranslatorFlags.cs Sources/ExternalToolsManager/toolsourcesettings.json Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Sources/VeriSol/Program.cs Test/regressions/DAO-modular-buggy-call.sol INSTALL.md Test/config/ERC20.json Sources/VeriSol/VeriSolExecuter.cs Test/regressions/DAO-fixed-call.sol Sources/ExternalToolsManager/DownloadedToolManager.cs Sources/SolToBoogieTest/RegressionExecutor.cs Sources/VeriSol.props azure-pipelines.yml Test/config/UsingForComplex.json Test/regressions/DAO-buggy-transfer.sol Sources/SolToBoogie/BoogieTranslator.cs Test/config/DAO-buggy-transfer.json Sources/VeriSol.sln Sources/SolidityAST/SolidityAST.csproj LICENSE.txt Test/regressions/DAO-buggy-value.sol Sources/SolToBoogie/SolToBoogie.csproj Sources/SolidityCFG/SolidityCFG.csproj Sources/SolToBoogie/TestMain.cs Sources/ExternalToolsManager/ExternalToolsManager.csproj Test/config/harness.json Test/regressions/ERC20.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Sources/SolidityAST/SolidityAST.cs Sources/ExternalToolsManager/DotnetCliToolManager.cs Test/regressions/DAO-buggy-call.sol Sources/ExternalToolsManager/ToolManager.cs Test/regressions/UsingFor.sol Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/DAO-buggy.sol Sources/SolToBoogie/RevertLogicGenerator.cs Test/regressions/DAO-modular-fixed-call.sol Test/regressions/bigintinit.sol Sources/SolToBoogie/ConstructorCollector.cs Test/config/bigintinit.json Sources/SolToBoogieTest/Program.cs Test/config/DAO-fixed-send.json Test/regressions/DAO-modular-fixed-call-w-prints.sol .gitignore Test/config/block.json Test/regressions/UsingForComplex.sol Test/config/DAO-modular-buggy-call.json Test/config/DAO-fixed-transfer.json Test/config/DAO-buggy-call.json Test/regressions/DAO-buggy-send.sol Test/regressions/DAO-fixed-transfer.sol Test/regressions/tx.sol Sources/SolToBoogieTest/SolToBoogieTest.csproj Test/config/tx.json Sources/SolToBoogie/FallbackGenerator.cs Test/regressions/harness.sol Sources/ExternalToolsManager/SolcManager.cs Sources/SolToBoogie/TransUtils.cs Test/config/DAO-fixed-value.json Sources/ExternalToolsManager/ExternalToolsManager.cs Test/config/DAO-buggy-value.json Sources/BoogieAST/BoogieAST.csproj Sources/ExternalToolsManager/ToolSourceSettings.cs Test/config/DAO-fixed-call.json Test/regressions/DAO-fixed-value.sol Sources/BoogieAST/BoogieAST.cs Sources/SolToBoogie/SolidityDesugaring.cs Sources/SolToBoogie/MapArrayHelper.cs Test/config/DAO-buggy-send.json Test/regressions/DAO-fixed-send.sol |
| 14. | ellab@microsoft.com | Shuvendu@microsoft.com |
71 shared files
Test/regressions/EventInBase.sol Test/regressions/InheritWithConstructorArgs.sol Sources/SolToBoogie/TranslatorFlags.cs Test/regressions/IncDec.sol Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/StateVarInit.sol Test/records.txt Sources/VeriSol/Program.cs Test/regressions/StructTypeNoTemporaries.sol Test/regressions/Error.sol Test/regressions/InheritanceWithContractArg.sol INSTALL.md Test/regressions/ArrayNestedFixedSize.sol Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/MethodInConditional.sol Sources/VeriSol.props Sources/SolToBoogie/ParseUtils.cs Test/regressions/StructNestedConstructor.sol Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/EnumParam.sol azure-pipelines.yml Test/regressions/TypeCast.sol Test/regressions/Getter.sol Test/regressions/StringToBytes2.sol Sources/VeriSol.sln Test/regressions/EmptyContract.sol Test/regressions/ExplicitGetters.sol Sources/SolToBoogie/SolToBoogie.csproj Test/regressions/MappingNested.sol Test/regressions/UIntMod.sol Test/regressions/Const.sol Test/regressions/StateVarCall.sol Test/regressions/ERC20.sol Test/regressions/abiLibrary.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Test/regressions/NestedArray.sol Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/StructType.sol Test/regressions/StructArray.sol Test/regressions/StructTutorial.sol Test/regressions/InheritInitializer.sol Sources/VeriSol/VeriSol.csproj Test/regressions/Keccak.sol Test/regressions/LoopFor2.sol Test/config/NestedMappingAlias.json Test/regressions/UsingFor.sol Sources/SolToBoogie/ModifierCollector.cs Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/ModifierWithArgs.sol Test/regressions/StructMemory.sol Test/regressions/StringToBytes.sol Test/config/UIntMod.json Test/regressions/NestedFunctionCall.sol Test/regressions/StringMapping.sol Sources/SolToBoogie/FallbackGenerator.cs Test/regressions/NestedMappingAlias.sol Sources/SolToBoogieTest/CorralConfiguration.cs Test/config/BytesTypes.json Sources/SolToBoogie/TransUtils.cs corral Test/regressions/BytesTypes.sol Test/regressions/TwoLibraries.sol Test/regressions/abiEncoded.sol Test/regressions/MappingInitialize.sol Test/regressions/IntTypes.sol Test/regressions/tuples.sol Sources/SolToBoogie/MapArrayHelper.cs Test/regressions/ArrayParamAlias.sol |
| 15. | diego.garbervetsky@gmail.com | Shuvendu@microsoft.com |
68 shared files
Test/regressions/InheritWithConstructorArgs.sol Sources/VeriSolRunner/Program.cs Test/regressions/IncDec.sol Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/StateVarInit.sol Test/records.txt Sources/VeriSol/Program.cs Test/regressions/StructTypeNoTemporaries.sol Test/regressions/Error.sol Test/workbench/AssetTransfer/WrapperFiles/AssetTransfer.sol Test/regressions/InheritanceWithContractArg.sol INSTALL.md Test/regressions/ArrayNestedFixedSize.sol Sources/VeriSol/VeriSolExecuter.cs Test/regressions/UInt.sol Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/MethodInConditional.sol Test/regressions/StructNestedConstructor.sol Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/EnumParam.sol Test/regressions/TypeCast.sol Test/workbench/AssetTransfer/WrapperFiles/A__AssetTransfer_Workbench.sol Test/regressions/Getter.sol Libraries/VeriSolContracts.sol Sources/SolToBoogie/BoogieTranslator.cs Sources/VeriSolRunner/VeriSolExecuter.cs Test/regressions/EmptyContract.sol Test/regressions/ExplicitGetters.sol Sources/SolToBoogie/SolToBoogie.csproj Test/regressions/MappingNested.sol Test/regressions/Const.sol Test/regressions/StateVarCall.sol Sources/VeriSolRunner/VeriSolOutOfBandSpecsRunner.csproj Test/regressions/abiLibrary.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Test/regressions/NestedArray.sol Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/StructType.sol Test/config/LoopFor2.json Test/regressions/StructArray.sol Test/regressions/StructTutorial.sol Test/regressions/InheritInitializer.sol Sources/VeriSol/VeriSol.csproj Sources/SolidityAST/SolidityAST.cs Test/regressions/Keccak.sol Test/regressions/LoopFor2.sol Test/regressions/UsingFor.sol Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/ModifierWithArgs.sol Sources/SolToBoogie/ConstructorCollector.cs Test/workbench/AssetTransfer/FixedVersion/AssetTransfer.sol Test/regressions/StructMemory.sol Test/regressions/NestedFunctionCall.sol Test/regressions/StringMapping.sol Sources/SolToBoogie.sln Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/TransUtils.cs Sources/SolToBoogie/SolidityDesugaring.cs Test/regressions/abiEncoded.sol Test/regressions/MappingInitialize.sol Test/regressions/IntTypes.sol Test/regressions/tuples.sol Sources/SolToBoogie/MapArrayHelper.cs Test/regressions/ArrayParamAlias.sol Test/workbench/AssetTransfer/FixedVersion/A__AssetTransfer_Workbench.sol Test/config/UInt.json |
| 16. | Shuvendu@microsoft.com | xinxl@microsoft.com |
67 shared files
Sources/SolToBoogie/TranslatorFlags.cs Sources/ExternalToolsManager/toolsourcesettings.json Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Sources/VeriSol/Program.cs Test/regressions/DAO-modular-buggy-call.sol INSTALL.md Test/config/ERC20.json Sources/VeriSol/VeriSolExecuter.cs Test/regressions/DAO-fixed-call.sol Sources/ExternalToolsManager/DownloadedToolManager.cs Sources/SolToBoogieTest/RegressionExecutor.cs Sources/VeriSol.props azure-pipelines.yml Test/config/UsingForComplex.json Test/regressions/DAO-buggy-transfer.sol Sources/SolToBoogie/BoogieTranslator.cs Test/config/DAO-buggy-transfer.json Sources/VeriSol.sln Sources/SolidityAST/SolidityAST.csproj Test/regressions/DAO-buggy-value.sol Sources/SolToBoogie/SolToBoogie.csproj Sources/SolidityCFG/SolidityCFG.csproj Sources/SolToBoogie/TestMain.cs Test/config/harness.json Test/regressions/ERC20.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Sources/SolidityAST/SolidityAST.cs Sources/ExternalToolsManager/DotnetCliToolManager.cs Test/regressions/DAO-buggy-call.sol Test/regressions/UsingFor.sol Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/DAO-buggy.sol Sources/SolToBoogie/RevertLogicGenerator.cs Test/regressions/DAO-modular-fixed-call.sol Test/regressions/bigintinit.sol Sources/SolToBoogie/ConstructorCollector.cs Test/config/bigintinit.json Sources/SolToBoogieTest/Program.cs Test/config/DAO-fixed-send.json Test/regressions/DAO-modular-fixed-call-w-prints.sol Test/config/block.json Test/regressions/UsingForComplex.sol Test/config/DAO-modular-buggy-call.json Test/config/DAO-fixed-transfer.json Test/config/DAO-buggy-call.json Test/regressions/DAO-buggy-send.sol Test/regressions/DAO-fixed-transfer.sol Test/regressions/tx.sol Sources/SolToBoogieTest/SolToBoogieTest.csproj Test/config/tx.json Sources/SolToBoogie/FallbackGenerator.cs Test/regressions/harness.sol Sources/ExternalToolsManager/SolcManager.cs Sources/SolToBoogie/TransUtils.cs Test/config/DAO-fixed-value.json Test/config/DAO-buggy-value.json Sources/BoogieAST/BoogieAST.csproj Test/config/DAO-fixed-call.json Test/regressions/DAO-fixed-value.sol Sources/BoogieAST/BoogieAST.cs Sources/SolToBoogie/SolidityDesugaring.cs Sources/SolToBoogie/MapArrayHelper.cs Test/config/DAO-buggy-send.json Test/regressions/DAO-fixed-send.sol |
| 17. | kferles@gmail.com | shuvendu-lahiri@users.noreply.github.com |
55 shared files
Sources/VeriSolRunner/Program.cs Sources/SolToBoogie/TranslatorFlags.cs Test/regressions/ConstructorChaining.sol Test/config/A__AssetTransfer_Workbench.json Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Test/config/FuncsWithUnnamedParams.json Sources/VeriSol/Program.cs Test/regressions/ConstructorChaining_fail.sol INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/ParseUtils.cs Test/config/ConstructorChainingImplicit.json azure-pipelines.yml Sources/SolToBoogie/BoogieTranslator.cs Test/regressions/transfer.sol Test/regressions/StringToBytes2.sol Test/regressions/A__AssetTransfer_Workbench.sol Test/regressions/FuncsWithUnnamedParams.sol Sources/SolToBoogie/SolToBoogie.csproj Test/regressions/ERC20.sol Test/regressions/InheritanceMultiple_fail.sol Test/regressions/NamesWithUnderscores_fail.sol README.md Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Sources/SolidityAST/SolidityAST.cs Test/regressions/LoopFor2.sol Binaries/README.md Sources/SolToBoogie/UsingCollector.cs Sources/SolToBoogie/HarnessGenerator.cs Sources/SolToBoogie/RevertLogicGenerator.cs Test/regressions/InitOutsideCtors_fail.sol Sources/SolToBoogieTest/Program.cs Test/regressions/MethodInConditional_fail.sol Test/regressions/StringToBytes.sol Sources/SolToBoogie/ModSetAnalysis.cs Test/regressions/AssetTransfer.sol Sources/SolToBoogieTest/SolToBoogieTest.csproj Test/regressions/ConstructorChainingImplicit.sol Sources/SolToBoogie/FallbackGenerator.cs Test/regressions/UsingInBase.sol Test/config/transfer.json Test/config/UsingInBase.json Test/config/BytesTypes.json Sources/SolToBoogie/TransUtils.cs Test/regressions/Modifier_fail.sol corral Test/config/Ownable.json Test/regressions/BytesTypes.sol Test/regressions/ConstructorChaining2_fail.sol Test/regressions/TwoLibraries.sol Sources/SolToBoogie/MapArrayHelper.cs |
| 18. | jon@users-MacBook-Pro.local | ellab@microsoft.com |
50 shared files
Sources/SolToBoogie/TranslatorFlags.cs Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/regressions/ConstructorLinearizedWithArgs3.sol Test/records.txt Test/config/ConstructorLinearizedWithArgs2.json INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Test/regressions/ConstructorChaining3_fail.sol Test/config/ConstructorLinearized.json Sources/SolToBoogie/ParseUtils.cs Test/config/ConstructorLinearizedWithArgs3.json Test/config/ConstructorLinearized_fail.json Test/config/Assembly4.json Test/regressions/ConstructorLinearizedWithArgs1.sol Test/config/InternalFunctionInLibrary.json Test/config/ConstructorLinearizedWithArgs1.json Test/config/ConstructorChaining4.json Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/UsingInTwoLibraries.sol Test/regressions/ERC20-demo.sol Test/regressions/InternalFunctionCallStruct.sol Test/config/Assembly1.json Sources/VeriSol/VeriSol.csproj Test/regressions/ConstructorLinearizedWithArgs2.sol Test/regressions/Assembly3.sol Test/config/UsingInTwoLibraries.json Test/regressions/InternalFunctionInLibrary.sol Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/UsingInTwoLibrariesArrayInStruct.sol Test/regressions/ConstructorLinearized.sol Test/regressions/UsingInTwoLibrariesNoStruct.sol Test/config/Assembly3.json Test/regressions/StringToBytes.sol Test/config/InternalFunctionCallStruct.json Test/regressions/Assembly1.sol Test/config/UsingInTwoLibrariesArrayInStruct.json Test/config/ConstructorChaining3_fail.json Test/config/ConstructorChaining2_fail.json Test/regressions/ConstructorChaining4.sol Test/regressions/Assembly4.sol Test/regressions/Assembly2.sol Sources/SolToBoogie/TransUtils.cs Test/config/StringToBytes.json Test/config/Assembly2.json Test/config/UsingInTwoLibrariesNoStruct.json Test/regressions/ConstructorChaining2_fail.sol Test/regressions/ConstructorLinearizedWithArgs-SolcError.sol Sources/SolToBoogie/MapArrayHelper.cs |
| 19. | kferles@gmail.com | Shuvendu@microsoft.com |
45 shared files
Sources/VeriSolRunner/Program.cs Sources/SolToBoogie/TranslatorFlags.cs Test/regressions/ConstructorChaining.sol Test/config/A__AssetTransfer_Workbench.json Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Test/config/FuncsWithUnnamedParams.json Sources/VeriSol/Program.cs INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/ParseUtils.cs azure-pipelines.yml Sources/SolToBoogie/BoogieTranslator.cs Test/regressions/transfer.sol Test/regressions/StringToBytes2.sol Test/regressions/A__AssetTransfer_Workbench.sol Test/regressions/FuncsWithUnnamedParams.sol Sources/SolToBoogie/SolToBoogie.csproj Test/regressions/ERC20.sol README.md Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Sources/SolidityAST/SolidityAST.cs Test/regressions/LoopFor2.sol Sources/SolToBoogie/UsingCollector.cs Sources/SolToBoogie/HarnessGenerator.cs Sources/SolToBoogie/RevertLogicGenerator.cs Sources/SolToBoogieTest/Program.cs Test/regressions/StringToBytes.sol Sources/SolToBoogie/ModSetAnalysis.cs Test/regressions/AssetTransfer.sol Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/FallbackGenerator.cs Test/regressions/UsingInBase.sol Test/config/transfer.json Test/config/UsingInBase.json Test/config/BytesTypes.json Sources/SolToBoogie/TransUtils.cs corral Test/config/Ownable.json Test/regressions/BytesTypes.sol Test/regressions/TwoLibraries.sol Sources/SolToBoogie/MapArrayHelper.cs |
| 20. | Shuvendu@microsoft.com | rongpan17@gmail.com |
42 shared files
Test/regressions/IncDec.sol Test/config/TypeCast.json Sources/SolToBoogie/TranslatorContext.cs Test/regressions/StateVarInit.sol Test/records.txt Test/regressions/ArrayNestedFixedSize.sol Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/MethodInConditional.sol Test/regressions/StringMappingNoConstructor.sol Test/regressions/Modifier.sol Test/regressions/TypeCast.sol Sources/SolToBoogie/BoogieTranslator.cs Test/regressions/EmptyContract.sol Test/regressions/ExplicitGetters.sol Test/regressions/MappingNested.sol Sources/SolToBoogie/TestMain.cs scripts/run_verisol_win.cmd Test/regressions/Const.sol Test/config/IntTypes.json Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/StructType.sol Test/regressions/InheritInitializer.sol Test/regressions/Keccak.sol Test/config/EmptyContract.json Test/regressions/UsingFor.sol Sources/SolToBoogie/ModifierCollector.cs Sources/SolToBoogie/HarnessGenerator.cs Test/config/StringMapping.json Sources/SolToBoogieTest/Program.cs Test/config/InheritInitializer.json Test/regressions/NestedFunctionCall.sol Test/regressions/StringMapping.sol Sources/SolToBoogie.sln Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogieTest/CorralConfiguration.cs Sources/SolToBoogie/TransUtils.cs Sources/BoogieAST/BoogieAST.cs Test/regressions/MappingInitialize.sol Test/regressions/IntTypes.sol Sources/SolToBoogie/MapArrayHelper.cs Test/regressions/ArrayParamAlias.sol |
| 21. | shuvendu@microsoft.com | xinxl@microsoft.com |
34 shared files
Sources/SolToBoogie/TranslatorFlags.cs Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Sources/VeriSol/Program.cs INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/RegressionExecutor.cs Sources/VeriSol.props azure-pipelines.yml Sources/SolToBoogie/BoogieTranslator.cs Sources/SolidityAST/SolidityAST.csproj Sources/SolToBoogie/SolToBoogie.csproj Sources/SolidityCFG/SolidityCFG.csproj Sources/SolToBoogie/TestMain.cs Sources/ExternalToolsManager/ExternalToolsManager.csproj Test/regressions/ERC20.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Sources/SolidityAST/SolidityAST.cs Test/regressions/UsingFor.sol Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/DAO-buggy.sol Test/regressions/DAO-modular-fixed-call.sol Sources/SolToBoogie/ConstructorCollector.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/FallbackGenerator.cs Sources/SolToBoogie/TransUtils.cs Sources/ExternalToolsManager/ExternalToolsManager.cs Sources/BoogieAST/BoogieAST.csproj Sources/BoogieAST/BoogieAST.cs Sources/SolToBoogie/SolidityDesugaring.cs Sources/SolToBoogie/MapArrayHelper.cs |
| 22. | kferles@gmail.com | shuvendu@microsoft.com |
33 shared files
Sources/VeriSolRunner/Program.cs Sources/SolToBoogie/TranslatorFlags.cs Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Sources/VeriSol/Program.cs INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/ParseUtils.cs Test/config/ConstructorChainingImplicit.json azure-pipelines.yml Sources/SolToBoogie/BoogieTranslator.cs Test/regressions/FuncsWithUnnamedParams.sol Sources/SolToBoogie/SolToBoogie.csproj Test/regressions/ERC20.sol Test/regressions/NamesWithUnderscores_fail.sol README.md Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Sources/SolidityAST/SolidityAST.cs Test/regressions/LoopFor2.sol Binaries/README.md Sources/SolToBoogie/HarnessGenerator.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogie/ModSetAnalysis.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj Test/regressions/ConstructorChainingImplicit.sol Sources/SolToBoogie/FallbackGenerator.cs Sources/SolToBoogie/TransUtils.cs corral Sources/SolToBoogie/MapArrayHelper.cs |
| 23. | kferles@gmail.com | ellab@microsoft.com |
33 shared files
Sources/SolToBoogie/TranslatorFlags.cs Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Sources/VeriSol/Program.cs Test/regressions/ConstructorChaining_fail.sol INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/ParseUtils.cs azure-pipelines.yml Test/regressions/StringToBytes2.sol Sources/SolToBoogie/SolToBoogie.csproj Test/regressions/ERC20.sol Test/regressions/InheritanceMultiple_fail.sol Test/regressions/NamesWithUnderscores_fail.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Test/regressions/LoopFor2.sol Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/InitOutsideCtors_fail.sol Test/regressions/MethodInConditional_fail.sol Test/regressions/StringToBytes.sol Sources/SolToBoogie/FallbackGenerator.cs Test/config/BytesTypes.json Sources/SolToBoogie/TransUtils.cs Test/regressions/Modifier_fail.sol corral Test/regressions/BytesTypes.sol Test/regressions/ConstructorChaining2_fail.sol Test/regressions/TwoLibraries.sol Sources/SolToBoogie/MapArrayHelper.cs |
| 24. | jon@users-MacBook-Pro.local | shuvendu@microsoft.com |
30 shared files
Sources/SolToBoogie/TranslatorFlags.cs Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/records.txt INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogie/ParseUtils.cs Sources/SolToBoogie/BoogieTranslator.cs Test/regressions/ConstructorChainingUnsound.sol Sources/SolidityAST/SolidityAST.csproj Sources/ExternalToolsManager/ExternalToolsManager.csproj Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/ERC20-demo.sol Sources/VeriSol/VeriSol.csproj Test/regressions/calldata.sol Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/DAO-buggy.sol Test/config/UintCast.json Sources/SolidityAST/TestMain.cs Test/regressions/ConstructorLinearized.sol Sources/SolToBoogieTest/Program.cs Test/regressions/ConstructorChainingUnsoundSmall.sol Test/config/calldata.json Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/TransUtils.cs Sources/ExternalToolsManager/ExternalToolsManager.cs Sources/BoogieAST/BoogieAST.cs Sources/SolToBoogie/MapArrayHelper.cs Test/regressions/UintCast.sol |
| 25. | jon@users-MacBook-Pro.local | Shuvendu@microsoft.com |
29 shared files
Sources/SolToBoogie/TranslatorFlags.cs Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/records.txt INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Test/regressions/DAO-fixed-call.sol Sources/SolToBoogie/ParseUtils.cs Test/regressions/DAO-buggy-transfer.sol Sources/SolToBoogie/BoogieTranslator.cs Sources/SolidityAST/SolidityAST.csproj Test/regressions/DAO-buggy-value.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Test/regressions/DAO-buggy-call.sol Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/DAO-buggy.sol Sources/SolToBoogie/RevertLogicGenerator.cs Sources/SolToBoogieTest/Program.cs Test/regressions/StringToBytes.sol Test/regressions/DAO-buggy-send.sol Test/regressions/DAO-fixed-transfer.sol Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/TransUtils.cs Test/regressions/DAO-fixed-value.sol Sources/BoogieAST/BoogieAST.cs Sources/SolToBoogie/MapArrayHelper.cs Test/regressions/DAO-fixed-send.sol |
| 26. | jon@users-MacBook-Pro.local | xinxl@microsoft.com |
28 shared files
Sources/SolToBoogie/TranslatorFlags.cs Sources/SolToBoogie/TranslatorContext.cs Test/records.txt INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Test/regressions/DAO-fixed-call.sol Test/regressions/DAO-buggy-transfer.sol Sources/SolToBoogie/BoogieTranslator.cs Sources/SolidityAST/SolidityAST.csproj Test/regressions/DAO-buggy-value.sol Sources/ExternalToolsManager/ExternalToolsManager.csproj Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Test/regressions/DAO-buggy-call.sol Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/DAO-buggy.sol Sources/SolToBoogie/RevertLogicGenerator.cs Sources/SolToBoogieTest/Program.cs Test/regressions/DAO-buggy-send.sol Test/regressions/DAO-fixed-transfer.sol Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/TransUtils.cs Sources/ExternalToolsManager/ExternalToolsManager.cs Test/regressions/DAO-fixed-value.sol Sources/BoogieAST/BoogieAST.cs Sources/SolToBoogie/MapArrayHelper.cs Test/regressions/DAO-fixed-send.sol |
| 27. | kferles@gmail.com | xinxl@microsoft.com |
22 shared files
Sources/SolToBoogie/TranslatorFlags.cs Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Sources/VeriSol/Program.cs INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/RegressionExecutor.cs azure-pipelines.yml Sources/SolToBoogie/BoogieTranslator.cs Sources/SolToBoogie/SolToBoogie.csproj Test/regressions/ERC20.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Sources/SolidityAST/SolidityAST.cs Sources/SolToBoogie/HarnessGenerator.cs Sources/SolToBoogie/RevertLogicGenerator.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/FallbackGenerator.cs Sources/SolToBoogie/TransUtils.cs Sources/SolToBoogie/MapArrayHelper.cs |
| 28. | ellab@microsoft.com | xinxl@microsoft.com |
20 shared files
Sources/SolToBoogie/TranslatorFlags.cs Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Sources/VeriSol/Program.cs INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/RegressionExecutor.cs Sources/VeriSol.props azure-pipelines.yml Sources/VeriSol.sln Sources/SolToBoogie/SolToBoogie.csproj Test/regressions/ERC20.sol Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Test/regressions/UsingFor.sol Sources/SolToBoogie/HarnessGenerator.cs Sources/SolToBoogie/FallbackGenerator.cs Sources/SolToBoogie/TransUtils.cs Sources/SolToBoogie/MapArrayHelper.cs |
| 29. | kferles@gmail.com | diego.garbervetsky@gmail.com |
19 shared files
Sources/VeriSolRunner/Program.cs Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Sources/VeriSol/Program.cs INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/BoogieTranslator.cs Sources/SolToBoogie/SolToBoogie.csproj Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Sources/SolidityAST/SolidityAST.cs Test/regressions/LoopFor2.sol Sources/SolToBoogie/HarnessGenerator.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/TransUtils.cs Sources/SolToBoogie/MapArrayHelper.cs |
| 30. | jon@users-MacBook-Pro.local | kferles@gmail.com |
19 shared files
Sources/SolToBoogie/TranslatorFlags.cs Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/records.txt INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogie/ParseUtils.cs Sources/SolToBoogie/BoogieTranslator.cs Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Sources/SolToBoogie/HarnessGenerator.cs Sources/SolToBoogie/RevertLogicGenerator.cs Sources/SolToBoogieTest/Program.cs Test/regressions/StringToBytes.sol Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/TransUtils.cs Test/regressions/ConstructorChaining2_fail.sol Sources/SolToBoogie/MapArrayHelper.cs |
| 31. | xinxl@microsoft.com | diego.garbervetsky@gmail.com |
19 shared files
Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Sources/VeriSol/Program.cs INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/BoogieTranslator.cs Sources/SolToBoogie/SolToBoogie.csproj Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Sources/SolidityAST/SolidityAST.cs Test/regressions/UsingFor.sol Sources/SolToBoogie/HarnessGenerator.cs Sources/SolToBoogie/ConstructorCollector.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/TransUtils.cs Sources/SolToBoogie/SolidityDesugaring.cs Sources/SolToBoogie/MapArrayHelper.cs |
| 32. | shuochen@microsoft.com | shuvendu-lahiri@users.noreply.github.com |
14 shared files
Test/config/ModifierWithArgs.json Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Test/config/InitOutsideCtors.json Sources/SolToBoogie/SourceInfoCollector.cs Test/config/EmbeddedCalls.json Test/regressions/FuncCallInIfCondition.sol Test/regressions/InitOutsideCtors.sol Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogie/ModifierCollector.cs Test/regressions/ModifierWithArgs.sol Test/config/FuncCallInIfCondition.json Test/regressions/EmbeddedCalls.sol Sources/SolToBoogie/TransUtils.cs |
| 33. | jon@users-MacBook-Pro.local | diego.garbervetsky@gmail.com |
14 shared files
Test/regressions/ConstructorChaining.sol Sources/SolToBoogie/TranslatorContext.cs Test/records.txt INSTALL.md Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogie/BoogieTranslator.cs Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/VeriSol/VeriSol.csproj Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/ConstructorLinearized.sol Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/TransUtils.cs Sources/SolToBoogie/MapArrayHelper.cs |
| 34. | xinxl@microsoft.com | rongpan17@gmail.com |
14 shared files
Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/BoogieTranslator.cs Sources/SolToBoogie/TestMain.cs Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/UsingFor.sol Sources/SolToBoogie/HarnessGenerator.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/TransUtils.cs Sources/BoogieAST/BoogieAST.cs Sources/SolToBoogie/MapArrayHelper.cs |
| 35. | jon@users-MacBook-Pro.local | rongpan17@gmail.com |
13 shared files
Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Test/config/ConstructorLinearized.json Sources/SolToBoogie/BoogieTranslator.cs Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogie/HarnessGenerator.cs Test/regressions/ConstructorLinearized.sol Sources/SolToBoogieTest/Program.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/TransUtils.cs Sources/BoogieAST/BoogieAST.cs Sources/SolToBoogie/MapArrayHelper.cs |
| 36. | shuochen@microsoft.com | shuvendu@microsoft.com |
12 shared files
Test/config/ModifierWithArgs.json Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/SourceInfoCollector.cs Test/regressions/FuncCallInIfCondition.sol Test/regressions/InitOutsideCtors.sol Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogie/ModifierCollector.cs Test/regressions/ModifierWithArgs.sol Test/config/FuncCallInIfCondition.json Test/regressions/EmbeddedCalls.sol Sources/SolToBoogie/TransUtils.cs |
| 37. | kferles@gmail.com | rongpan17@gmail.com |
11 shared files
Sources/SolToBoogie/TranslatorContext.cs Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/BoogieTranslator.cs Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogie/HarnessGenerator.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj Sources/SolToBoogie/TransUtils.cs Sources/SolToBoogie/MapArrayHelper.cs |
| 38. | shuvendu@microsoft.com | shuochen@live.com |
10 shared files
Test/regressions/DeleteScalar.sol Test/records.txt Test/regressions/Getters.sol Test/config/StateVarInit.json Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/DeleteArray.sol Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs Test/config/DeleteScalar.json Test/config/Getters.json |
| 39. | ellab@microsoft.com | shuochen@microsoft.com |
9 shared files
Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/FuncCallInIfCondition.sol Test/regressions/InitOutsideCtors.sol Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogie/ModifierCollector.cs Test/regressions/ModifierWithArgs.sol Test/regressions/EmbeddedCalls.sol Sources/SolToBoogie/TransUtils.cs |
| 40. | shuvendu-lahiri@users.noreply.github.com | yuepeng.ypwang@gmail.com |
8 shared files
Test/records.txt Test/regressions/ReturnNamedParam.sol Test/regressions/EnumParam.sol Sources/SolToBoogie/ProcedureTranslator.cs Test/config/ReturnNamedParam.json Test/config/EnumParam.json Sources/SolToBoogieTest/Program.cs Sources/SolToBoogie/TransUtils.cs |
| 41. | diego.garbervetsky@gmail.com | shuochen@microsoft.com |
8 shared files
Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/FuncCallInIfCondition.sol Test/regressions/InitOutsideCtors.sol Sources/SolToBoogie/ProcedureTranslator.cs Test/regressions/ModifierWithArgs.sol Test/regressions/EmbeddedCalls.sol Sources/SolToBoogie/TransUtils.cs |
| 42. | shuvendu-lahiri@users.noreply.github.com | shuochen@live.com |
7 shared files
Test/regressions/DeleteScalar.sol Test/records.txt Test/regressions/Getters.sol Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/DeleteArray.sol Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs |
| 43. | Shuvendu@microsoft.com | shuochen@microsoft.com |
7 shared files
Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/SourceInfoCollector.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogie/ModifierCollector.cs Test/regressions/ModifierWithArgs.sol Sources/SolToBoogie/TransUtils.cs |
| 44. | diego.garbervetsky@gmail.com | shuochen@live.com |
6 shared files
Test/regressions/DeleteScalar.sol Test/records.txt Test/regressions/Getters.sol Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/DeleteArray.sol Sources/SolToBoogie/ProcedureTranslator.cs |
| 45. | ellab@microsoft.com | shuochen@live.com |
6 shared files
Test/regressions/DeleteScalar.sol Test/records.txt Test/regressions/Getters.sol Sources/SolToBoogieTest/RegressionExecutor.cs Test/regressions/DeleteArray.sol Sources/SolToBoogie/ProcedureTranslator.cs |
| 46. | shuvendu@microsoft.com | yuepeng.ypwang@gmail.com |
6 shared files
Test/records.txt Test/regressions/ReturnNamedParam.sol Test/regressions/EnumParam.sol Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogie/TransUtils.cs |
| 47. | ellab@microsoft.com | yuepeng.ypwang@gmail.com |
5 shared files
Test/records.txt Test/regressions/ReturnNamedParam.sol Test/regressions/EnumParam.sol Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogie/TransUtils.cs |
| 48. | Shuvendu@microsoft.com | yuepeng.ypwang@gmail.com |
5 shared files
Test/records.txt Test/regressions/EnumParam.sol Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogie/TransUtils.cs |
| 49. | diego.garbervetsky@gmail.com | yuepeng.ypwang@gmail.com |
5 shared files
Test/records.txt Test/regressions/ReturnNamedParam.sol Test/regressions/EnumParam.sol Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogie/TransUtils.cs |
| 50. | rongpan17@gmail.com | shuochen@microsoft.com |
5 shared files
Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogie/ModifierCollector.cs Sources/SolToBoogie/TransUtils.cs |
| 51. | shuvendu-lahiri@users.noreply.github.com | shenshanpku@gmail.com |
4 shared files
Sources/ExternalToolsManager/toolsourcesettings.json INSTALL.md Sources/ExternalToolsManager/DownloadedToolManager.cs Sources/ExternalToolsManager/SolcManager.cs |
| 52. | shenshanpku@gmail.com | Shuvendu@microsoft.com |
4 shared files
Sources/ExternalToolsManager/toolsourcesettings.json INSTALL.md Sources/ExternalToolsManager/DownloadedToolManager.cs Sources/ExternalToolsManager/SolcManager.cs |
| 53. | shenshanpku@gmail.com | xinxl@microsoft.com |
4 shared files
Sources/ExternalToolsManager/toolsourcesettings.json INSTALL.md Sources/ExternalToolsManager/DownloadedToolManager.cs Sources/ExternalToolsManager/SolcManager.cs |
| 54. | jon@users-MacBook-Pro.local | yuepeng.ypwang@gmail.com |
4 shared files
Test/records.txt Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogie/TransUtils.cs |
| 55. | kferles@gmail.com | yuepeng.ypwang@gmail.com |
4 shared files
Test/records.txt Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogie/TransUtils.cs |
| 56. | kferles@gmail.com | shuochen@microsoft.com |
4 shared files
Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogie/TransUtils.cs |
| 57. | kferles@gmail.com | shuochen@live.com |
4 shared files
Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs |
| 58. | Shuvendu@microsoft.com | shuochen@live.com |
4 shared files
Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs |
| 59. | xinxl@microsoft.com | yuepeng.ypwang@gmail.com |
4 shared files
Test/records.txt Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogie/TransUtils.cs |
| 60. | xinxl@microsoft.com | shuochen@microsoft.com |
4 shared files
Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogie/TransUtils.cs |
| 61. | xinxl@microsoft.com | shuochen@live.com |
4 shared files
Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs |
| 62. | rongpan17@gmail.com | yuepeng.ypwang@gmail.com |
4 shared files
Test/records.txt Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogie/TransUtils.cs |
| 63. | rongpan17@gmail.com | shuochen@live.com |
4 shared files
Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs |
| 64. | jon@users-MacBook-Pro.local | shuochen@microsoft.com |
3 shared files
Test/records.txt Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogie/TransUtils.cs |
| 65. | jon@users-MacBook-Pro.local | shuochen@live.com |
3 shared files
Test/records.txt Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs |
| 66. | yuepeng.ypwang@gmail.com | shuochen@microsoft.com |
3 shared files
Test/records.txt Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogie/TransUtils.cs |
| 67. | yuepeng.ypwang@gmail.com | shuochen@live.com |
3 shared files
Test/records.txt Sources/SolToBoogie/ProcedureTranslator.cs Sources/SolToBoogieTest/Program.cs |
| 68. | shuochen@microsoft.com | shuochen@live.com |
3 shared files
Test/records.txt Sources/SolToBoogieTest/RegressionExecutor.cs Sources/SolToBoogie/ProcedureTranslator.cs |
| 69. | shuvendu-lahiri@users.noreply.github.com | verabogdanichespina@gmail.com |
3 shared files
Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj |
| 70. | jon@users-MacBook-Pro.local | verabogdanichespina@gmail.com |
3 shared files
Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj |
| 71. | shuvendu@microsoft.com | verabogdanichespina@gmail.com |
3 shared files
Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj |
| 72. | Shuvendu@microsoft.com | verabogdanichespina@gmail.com |
3 shared files
Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj |
| 73. | kferles@gmail.com | verabogdanichespina@gmail.com |
3 shared files
Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj |
| 74. | xinxl@microsoft.com | verabogdanichespina@gmail.com |
3 shared files
Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/Program.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj |
| 75. | shuvendu-lahiri@users.noreply.github.com | ellab123@users.noreply.github.com |
2 shared files
INSTALL.md Sources/VeriSol.props |
| 76. | ellab123@users.noreply.github.com | ellab@microsoft.com |
2 shared files
INSTALL.md Sources/VeriSol.props |
| 77. | ellab123@users.noreply.github.com | shuvendu@microsoft.com |
2 shared files
INSTALL.md Sources/VeriSol.props |
| 78. | ellab123@users.noreply.github.com | Shuvendu@microsoft.com |
2 shared files
INSTALL.md Sources/VeriSol.props |
| 79. | ellab123@users.noreply.github.com | xinxl@microsoft.com |
2 shared files
INSTALL.md Sources/VeriSol.props |
| 80. | verabogdanichespina@gmail.com | diego.garbervetsky@gmail.com |
2 shared files
Sources/VeriSol/VeriSolExecuter.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj |
| 81. | shuvendu-lahiri@users.noreply.github.com | microsoftopensource@users.noreply.github.com |
2 shared files
LICENSE README.md |
| 82. | verabogdanichespina@gmail.com | rongpan17@gmail.com |
2 shared files
Sources/SolToBoogieTest/Program.cs Sources/SolToBoogieTest/SolToBoogieTest.csproj |
| 83. | shuvendu-lahiri@users.noreply.github.com | rok@kowalski.gd |
1 shared file
INSTALL.md |
| 84. | ellab123@users.noreply.github.com | kferles@gmail.com |
1 shared file
INSTALL.md |
| 85. | ellab123@users.noreply.github.com | jon@users-MacBook-Pro.local |
1 shared file
INSTALL.md |
| 86. | ellab123@users.noreply.github.com | shenshanpku@gmail.com |
1 shared file
INSTALL.md |
| 87. | ellab123@users.noreply.github.com | diego.garbervetsky@gmail.com |
1 shared file
INSTALL.md |
| 88. | ellab123@users.noreply.github.com | rok@kowalski.gd |
1 shared file
INSTALL.md |
| 89. | ellab@microsoft.com | shenshanpku@gmail.com |
1 shared file
INSTALL.md |
| 90. | ellab@microsoft.com | rok@kowalski.gd |
1 shared file
INSTALL.md |
| 91. | shuvendu@microsoft.com | shenshanpku@gmail.com |
1 shared file
INSTALL.md |
| 92. | shuvendu@microsoft.com | rok@kowalski.gd |
1 shared file
INSTALL.md |
| 93. | Shuvendu@microsoft.com | rok@kowalski.gd |
1 shared file
INSTALL.md |
| 94. | kferles@gmail.com | shenshanpku@gmail.com |
1 shared file
INSTALL.md |
| 95. | kferles@gmail.com | rok@kowalski.gd |
1 shared file
INSTALL.md |
| 96. | jon@users-MacBook-Pro.local | shenshanpku@gmail.com |
1 shared file
INSTALL.md |
| 97. | jon@users-MacBook-Pro.local | rok@kowalski.gd |
1 shared file
INSTALL.md |
| 98. | shenshanpku@gmail.com | diego.garbervetsky@gmail.com |
1 shared file
INSTALL.md |
| 99. | shenshanpku@gmail.com | rok@kowalski.gd |
1 shared file
INSTALL.md |
| 100. | xinxl@microsoft.com | rok@kowalski.gd |
1 shared file
INSTALL.md |
No commits in past 30 days.
No commits in past 90 days.
No commits in past 180 days.