SRI YICES
From WikiApiary, monitoring SRI YICES and over 25,500 other wikis
Data from SRI YICES can no longer be collected. It is marked defunct.
This may be due to one (or more) of the following reasons:
Overview
Name:
SRI YICES
Description:
This wiki site has no description, please add a description.
Founded on:
2006/08/14 09:43:42 PM
7,290 days old; the 2,170 wiki site by date founded; the 4,668 wiki site added to WikiApiary.
7,290 days old; the 2,170 wiki site by date founded; the 4,668 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 93,875 bytes for wiki-yices_wikicslsricom to the Internet Archive (at Archive.org) on 2014/01/29 04:44:41 PM.
Network
| HTTP server | |
|---|---|
| IP address | 128.18.92.74 |
| Reverse lookup | sal-wiki.csl.sri.com, pvs-wiki.csl.sri.com, yices-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 YICES |
| 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: | yices |
| Max upload size: | |
| Server: | http://yices-wiki.csl.sri.com |
| Article path: | /index.php/$1 |
| Interwiki URL: | http://yices-wiki.csl.sri.com/index.php/$1 |
| Settings: | Write API True |
Usage
General statistics
| Users | |
|---|---|
| Total registered users: | 538 |
| Current active users: | 0 |
| Administrators: | 1 |
| Contents | |
| Article pages: | 2 |
| Images: | 0 |
| Total pages (AllPages): | 56 |
| Index: | 1 |
| Activity | |
| Total edits: | 1923 |
| Jobs: | 0 |
| Total page views: | 2948139 |
Last updated: 2017-08-17 13:19:54
Extensions
SRI YICES uses the following 5 extensions (by version number, date and time, Git hash):
- CheckUser (2.3)
- Confirm user accounts (unknown)
- ConfirmEdit (unknown)
- Renameuser (unknown)
- User Merge and Delete (1.6.1)
Notifications
SRI YICES has 0 notification(s). So far no notification on WikiApiary has been requested for this wiki website.
Settings
Collection URLs
Identifiers
ID
10512
Bot segment
12
Day segment
5
Hour segment
0
Operators
Audited:
This wiki site was last audited on 2023/05/08 08:51:46 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