Jump to content

Open Verification Library: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 11:4311:43, 5 September 2021 ClueBot NG talk contribs m 2,126 bytes −15 Reverting possible vandalism by 171.61.113.103 to version by Justanothersgwikieditor. Report False Positive? Thanks, ClueBot NG. (4033472) (Bot) undo Tag: Rollback
curprev 11:4311:43, 5 September 2021 171.61.113.103 talk 2,141 bytes +15 No edit summary undo Tag: Reverted

curprev 09:5909:59, 27 March 2019 Justanothersgwikieditor talk contribs 2,126 bytes −30 Successfully de-orphaned! Wikiproject Orphanage: You can help! undo

curprev 23:0223:02, 20 March 2017 192.31.242.195 talk 2,156 bytes −48 →External links: OVL Users Site URL is no longer valid - removing it. undo

curprev 14:3314:33, 17 February 2015 Niceguyedc talk contribs m 2,204 bytes +33 WPCleaner v1.34 - Repaired 1 link to disambiguation page - (You can help) - FIFO undo

curprev 17:1817:18, 9 March 2011 130.164.72.60 talk 2,171 bytes +4 No edit summary undo

curprev 13:1313:13, 25 August 2009 194.200.145.140 talk 2,167 bytes +2 No edit summary undo

curprev 15:1215:12, 15 February 2009 Addbot talk contribs m 2,165 bytes +30 Bot: Adding Orphan Tag (Questions) (Report Errors) undo

curprev 11:5811:58, 6 December 2007 SmackBot talk contribs m 2,135 bytes −6 Standard headings &/or gen fixes. using AWB undo

curprev 02:3702:37, 28 September 2007 Cander0000 talk contribs 2,141 bytes +13 Categorizing article - You can help! undo

curprev 13:1613:16, 1 August 2007 Runewiki777 talk contribs m 2,128 bytes −1 fixed typo undo

curprev 08:1308:13, 22 July 2007 Alaibot talk contribs m 2,129 bytes +33 Robot: tagging uncategorised page undo

curprev 18:0418:04, 22 June 2007 Jarekk talk contribs 2,096 bytes +64 No edit summary undo
curprev 17:5417:54, 22 June 2007 Jarekk talk contribs 2,032 bytes +2,032 ←Created page with ''''Open Verification Library''' (OVL) is a library of property checkers for digital circuit descriptions written in popular [[hardware_description_language|Hardware...'

Retrieved from "https://en.wikipedia.org/wiki/Open_Verification_Library"