User contributions
From Openproofs
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
- 23:19, 7 February 2011 (hist) (diff) Components that should be Open Proofs (Added ideas from Mark Rader) (top)
- 22:31, 29 November 2010 (hist) (diff) List of Known Open Proofs (→List of Known Open Proofs: Add SPARKSkein) (top)
- 16:38, 29 November 2010 (hist) (diff) Open Proof FAQ (→What are some similar projects?: Note project Hi-Lite) (top)
- 16:35, 29 November 2010 (hist) (diff) Packaging status (Frama-C/Jessie packaged!) (top)
- 17:13, 23 July 2010 (hist) (diff) Sponsors (Note Globalization Task Force) (top)
- 22:12, 2 July 2010 (hist) (diff) Main Page (Fix link to mailing list archive (should be lists.openproofs.org)) (top)
- 15:10, 20 May 2010 (hist) (diff) Open Proof FAQ (→Who do I blame for this?)
- 14:25, 16 March 2010 (hist) (diff) Nm User talk:Gleneesha (Welcome!) (top)
- 14:25, 16 March 2010 (hist) (diff) Nm User:Gleneesha (Creating user page with biography of new user.) (top)
- 01:55, 19 January 2010 (hist) (diff) Packaging status (→Promising FLOSS tools supporting open proofs)
- 01:54, 19 January 2010 (hist) (diff) Packaging status (→Promising FLOSS tools supporting open proofs)
- 01:50, 19 January 2010 (hist) (diff) Packaging status (→Other potential FLOSS tools supporting open proofs)
- 14:41, 13 January 2010 (hist) (diff) Packaging status (Frama-C: Alan Dunn)
- 23:36, 11 January 2010 (hist) (diff) Packaging status (Add link to Fedora Formal Methods SIG)
- 23:03, 11 January 2010 (hist) (diff) User:ADunn (Clarify WHICH site, so that I can redirect people to this page from the Fedora SIG page) (top)
- 18:54, 11 January 2010 (hist) (diff) m Packaging status (→Not Free/Libre/Open Source Software (FLOSS))
- 18:54, 11 January 2010 (hist) (diff) Packaging status (→Not Free/Libre/Open Source Software (FLOSS))
- 18:53, 11 January 2010 (hist) (diff) Packaging status (→Not Free/Libre/Open Source Software (FLOSS): Clarify Spin license issue)
- 18:47, 11 January 2010 (hist) (diff) Packaging status (→Promising FLOSS tools supporting open proofs)
- 18:46, 11 January 2010 (hist) (diff) Packaging status (→Promising FLOSS tools supporting open proofs)
- 20:07, 8 January 2010 (hist) (diff) Packaging status (Comparing tools)
- 17:27, 5 January 2010 (hist) (diff) Packaging status (→Promising FLOSS tools supporting open proofs)
- 15:00, 5 January 2010 (hist) (diff) Nm User talk:Jamesjer (Welcome!) (top)
- 15:00, 5 January 2010 (hist) (diff) Nm User:Jamesjer (Creating user page with biography of new user.) (top)
- 04:43, 4 January 2010 (hist) (diff) Packaging status (→Potential Packagers)
- 04:42, 4 January 2010 (hist) (diff) Packaging status (Spin is *not* FLOSS)
- 04:35, 4 January 2010 (hist) (diff) Packaging status (→Other potential FLOSS tools supporting open proofs: picoSAT for Fedora)
- 04:34, 4 January 2010 (hist) (diff) Packaging status (Add link to BLAST)
- 18:58, 31 December 2009 (hist) (diff) Packaging status (→Other potential FLOSS tools supporting open proofs: Note Saturn, x-ref to lists of tools)
- 18:56, 31 December 2009 (hist) (diff) Packaging status (→Other potential FLOSS tools supporting open proofs)
- 18:34, 30 December 2009 (hist) (diff) Components that should be Open Proofs (Note Voting software)
- 22:29, 26 December 2009 (hist) (diff) Components that should be Open Proofs (Add reference to TinyOS)
- 16:55, 23 December 2009 (hist) (diff) Packaging status (Remove Gandalf from top priority list, but mention it.)
- 20:46, 18 December 2009 (hist) (diff) Packaging status (Proof General DONE)
- 23:13, 17 December 2009 (hist) (diff) Packaging status (CVC3 now OSS)
- 23:11, 17 December 2009 (hist) (diff) m Packaging status (Fix link)
- 23:10, 17 December 2009 (hist) (diff) Packaging status (PVS)
- 22:19, 8 December 2009 (hist) (diff) m Packaging status (Fix formatting)
- 22:17, 8 December 2009 (hist) (diff) Packaging status (CVC3 being packaged for Ubuntu)
- 23:59, 16 November 2009 (hist) (diff) Packaging status (→Promising FLOSS tools supporting open proofs)
- 23:57, 16 November 2009 (hist) (diff) Packaging status (Add reference to "The Seventeen Provers of the World")
- 23:54, 16 November 2009 (hist) (diff) Nm User talk:Mrader (Welcome!) (top)
- 23:54, 16 November 2009 (hist) (diff) Nm User:Mrader (Creating user page with biography of new user.) (top)
- 23:12, 13 November 2009 (hist) (diff) m Open Proof FAQ (→Are test cases required?)
- 23:10, 13 November 2009 (hist) (diff) Open Proof FAQ (Add Open-DO)
- 21:40, 6 November 2009 (hist) (diff) m User:Mstytz (top)
- 21:00, 20 October 2009 (hist) (diff) m Components that should be Open Proofs
- 20:59, 20 October 2009 (hist) (diff) m Components that should be Open Proofs (Fix format)
- 20:59, 20 October 2009 (hist) (diff) Components that should be Open Proofs (Add URL to Paul Black's work)
- 20:54, 20 October 2009 (hist) (diff) Components that should be Open Proofs (Note slow loris attack)
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
