Statistics for Silver-ableC: a Silver extension for writing ableC specifications
Total visits
| views | |
|---|---|
| Silver-ableC: a Silver extension for writing ableC specifications | 278 |
Total visits per month
| views | |
|---|---|
| May 2024 | 2 |
| June 2024 | 0 |
| July 2024 | 0 |
| August 2024 | 0 |
| September 2024 | 0 |
| October 2024 | 0 |
| November 2024 | 0 |
File Visits
| views | |
|---|---|
| silver-ableC-0.1.0.zip | 33 |
| silver-ableC-0.1.0.tar.gz | 28 |
| ReadMe.txt | 26 |
| 633121-unmigrated | 3 |
Top country views
| views | |
|---|---|
| United States | 179 |
| China | 20 |
| Germany | 11 |
| Ireland | 9 |
| Finland | 5 |
| Hong Kong SAR China | 3 |
| Australia | 2 |
| Canada | 2 |
| India | 2 |
| Italy | 2 |
| Luxembourg | 2 |
| Netherlands | 2 |
| Turkey | 2 |
| Bulgaria | 1 |
| Brazil | 1 |
| Switzerland | 1 |
| France | 1 |
| Indonesia | 1 |
| Israel | 1 |
| Japan | 1 |
| South Korea | 1 |
| Mongolia | 1 |
| South Africa | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 38 |
| Minneapolis | 36 |
| Mountain View | 20 |
| Saint Paul | 15 |
| Hopkins | 12 |
| Dublin | 6 |
| Rogers | 6 |
| Chapel Hill | 4 |
| Beijing | 3 |
| Boardman | 3 |
| Long Lake | 3 |
| Brooklyn | 2 |
| Carmagnola | 2 |
| Chicago | 2 |
| Pittsburgh | 2 |
| Roost | 2 |
| Andover | 1 |
| Atlanta | 1 |
| Baton Rouge | 1 |
| Burlingame | 1 |
| Claremont | 1 |
| Columbus | 1 |
| Dallas | 1 |
| Delft | 1 |
| Des Moines | 1 |
| Ehrendingen | 1 |
| Frankfurt am Main | 1 |
| Hangzhou | 1 |
| Jerusalem | 1 |
| Mangalore | 1 |
| Montmorency | 1 |
| Natal | 1 |
| Nuremberg | 1 |
| Old Bridge | 1 |
| Piscataway | 1 |
| Richmond | 1 |
| Salem | 1 |
| Seoul | 1 |
| Shanghai | 1 |
| Sisli | 1 |
| Sofia | 1 |
| Washington | 1 |
| Worcester | 1 |
| Wuhan | 1 |
| Zhengzhou | 1 |