SRI PVS
From WikiApiary, monitoring SRI PVS and over 25,500 other wikis
Data from SRI PVS can no longer be collected. It is marked defunct.
This may be due to one (or more) of the following reasons:
Overview
Name:
SRI PVS
Description:
This wiki site has no description, please add a description.
Founded on:
2006/08/14 09:39:49 PM
7,220 days old; the 2,168 wiki site by date founded; the 1,431 wiki site added to WikiApiary.
7,220 days old; the 2,168 wiki site by date founded; the 1,431 wiki site added to WikiApiary.
Tags (topics):
This wiki site has no subject or topic tags, please add tags.
Farm:
This wiki site is not hosted by a known wiki farm.
If you are aware of a farm it is hosted by, please add its farm.
If you are aware of a farm it is hosted by, please add its farm.
Archive:
WikiTeam archived 385,387 bytes for wiki-pvs_wikicslsricom to the Internet Archive (at Archive.org) on 2012/08/07 01:21:07 PM.
Network
| HTTP server | |
|---|---|
| IP address | 128.18.92.74 |
| Reverse lookup | pvs-wiki.csl.sri.com, yices-wiki.csl.sri.com, sal-wiki.csl.sri.com |
| Netblock organization |
The "_geo" type of this property is invalid
General
| MediaWiki version: | Generator:MediaWiki 1.17.0 (1.17.0) |
|---|---|
| Time zone: | UTC |
| Time offset: | 0 (minutes) |
| Sitename: | SRI PVS |
| Rights: | GNU Free Documentation License |
| PHP server API: | apache2handler |
| PHP version: | 5.3.10-1ubuntu3.26 (5.3) |
| Language: | English (English) |
| Database type: | mysql |
| Database version: | 5.5.54-0ubuntu0.12.04.1 (5.5) |
| Wiki ID: | pvs |
| Max upload size: | |
| Server: | http://pvs-wiki.csl.sri.com |
| Article path: | /index.php/$1 |
| Interwiki URL: | http://pvs-wiki.csl.sri.com/index.php/$1 |
| Settings: | Write API True |
Usage
General statistics
| Users | |
|---|---|
| Total registered users: | 490 |
| Current active users: | 0 |
| Administrators: | 1 |
| Contents | |
| Article pages: | 21 |
| Images: | 0 |
| Total pages (AllPages): | 40 |
| Index: | 1 |
| Activity | |
| Total edits: | 1798 |
| Jobs: | 0 |
| Total page views: | 12196457 |
Last updated: 2017-08-17 13:47:34
Extensions
SRI PVS uses the following 4 extensions (by version number, date and time, Git hash):
- Confirm user accounts (unknown)
- ConfirmEdit (unknown)
- Renameuser (unknown)
- User Merge and Delete (1.6.1)
Notifications
SRI PVS has 0 notification(s). So far no notification on WikiApiary has been requested for this wiki website.
Settings
Collection URLs
Identifiers
ID
4900
Bot segment
40
Day segment
0
Hour segment
4
Operators
Audited:
This wiki site was last audited on 2023/04/12 11:08:32 AM
Flags:
Active:
Yes
+defunct — this wiki website has been marked as defunct.
Collecting
+general +extensions
+statistics (via API)
Check every:
240 minutes
Edit index
not available
Pages change
0%
Users change
0
Admin ratio
0