From Fedora Project Wiki
20 January 2010
- 15:2615:26, 20 January 2010 diff hist +645 Formal methods tool suite Explain SMT
- 15:1515:15, 20 January 2010 diff hist +497 Formal methods tool suite Add theorem provers
- 15:1015:10, 20 January 2010 diff hist +673 Formal methods tool suite Add "SAT Solver" category
- 15:0415:04, 20 January 2010 diff hist +51 SIGs/FormalMethods Move "Recently completed" to bottom; it's not really a "task to do"
- 15:0215:02, 20 January 2010 diff hist +660 N Formal methods tool suite Initial version
- 14:5914:59, 20 January 2010 diff hist +265 SIGs/FormalMethods Add reference to new page on suite; reorg
19 January 2010
- 22:1422:14, 19 January 2010 diff hist +407 How to create an RPM package →Miscellaneous hints
- 20:0820:08, 19 January 2010 diff hist +52 Using Mock to test package builds Switch to new-style commands, instead of deprecated format
- 20:0620:06, 19 January 2010 diff hist +149 Using Mock to test package builds →What is Mock?
- 20:0420:04, 19 January 2010 diff hist +4 Using Mock to test package builds →Using mock as a chroot sandbox tool
- 19:5919:59, 19 January 2010 diff hist 0 m Using Mock to test package builds Fix format
- 19:5619:56, 19 January 2010 diff hist +70 Using Mock to test package builds →What is Mock?
- 17:5317:53, 19 January 2010 diff hist +41 SIGs/FormalMethods →Ongoing
- 02:1602:16, 19 January 2010 diff hist +37 Using Mock to test package builds →Caching in mock 0.8.x and later
- 02:1202:12, 19 January 2010 diff hist +86 Using Mock to test package builds In using mock to build packages with dependencies outside the repository, you don't need rpmdev-setuptree at all.
- 01:3001:30, 19 January 2010 diff hist +37 SIGs/FormalMethods →Ongoing
18 January 2010
- 17:1517:15, 18 January 2010 diff hist +93 m Using Mock to test package builds →Building packages that depend on packages not in a repository
- 17:1217:12, 18 January 2010 diff hist +734 Using Mock to test package builds Fix instructions
- 16:5016:50, 18 January 2010 diff hist +30 Using Mock to test package builds →Building packages that depend on packages not in a repository
- 15:1915:19, 18 January 2010 diff hist +148 Using Mock to test package builds →Building packages that depend on packages not in a repository
- 14:3214:32, 18 January 2010 diff hist +565 Using Mock to test package builds →How do I use Mock?
- 14:1014:10, 18 January 2010 diff hist +4 How to create an RPM package →Testing RPMs you've built: Fix Mock link
17 January 2010
- 00:3800:38, 17 January 2010 diff hist +99 SIGs/FormalMethods →Ongoing: Add BLAST
14 January 2010
- 20:4320:43, 14 January 2010 diff hist −12 How to create an RPM package Make consistent with rest of page
- 20:4220:42, 14 January 2010 diff hist +16 How to create an RPM package →Getting ready to package a particular program
- 20:3820:38, 14 January 2010 diff hist −16 How to create an RPM package Make consistent
- 20:3820:38, 14 January 2010 diff hist −279 How to create an RPM package Simplify intro
- 20:3020:30, 14 January 2010 diff hist −36 How to create an RPM package Fix tense; it's already happened now
- 20:3020:30, 14 January 2010 diff hist −1 How to create an RPM package Move reference to IRC log to bottom of page
- 16:5416:54, 14 January 2010 diff hist +583 Category:SIGs →Formal Methods
- 16:5416:54, 14 January 2010 diff hist +1 SIGs/FormalMethods →What are Formal Methods?
- 16:5316:53, 14 January 2010 diff hist −1,068 Features/Formal Methods →Feature Name
- 16:4616:46, 14 January 2010 diff hist +116 Features/Formal Methods →Owner
- 16:4616:46, 14 January 2010 diff hist +2 Features/Formal Methods →Owner
- 16:4516:45, 14 January 2010 diff hist +146 SIGs/FormalMethods →Fedora Features
- 16:4416:44, 14 January 2010 diff hist +28 SIGs/FormalMethods Note that this is also a Packaging SIG
- 16:4316:43, 14 January 2010 diff hist +37 N Features/Provers moved Features/Provers to Features/Formal Methods: This is to match the name of the new "Formal Methods" SIG current
- 16:4316:43, 14 January 2010 diff hist 0 m Features/Formal Methods moved Features/Provers to Features/Formal Methods: This is to match the name of the new "Formal Methods" SIG
- 16:1316:13, 14 January 2010 diff hist +166 SIGs/FormalMethods →Yum group
- 16:0716:07, 14 January 2010 diff hist +177 SIGs/FormalMethods Add "Fedora Features" heading
13 January 2010
- 16:5716:57, 13 January 2010 diff hist +11 SIGs/FormalMethods Add tex-zfuzz. Now have a reasonable starter list for "Formal methods" yum group
- 16:5516:55, 13 January 2010 diff hist +21 SIGs/FormalMethods →Yum group
- 16:5316:53, 13 January 2010 diff hist +33 SIGs/FormalMethods →Top to-dos
- 16:5216:52, 13 January 2010 diff hist +403 SIGs/FormalMethods Start listing fedora packages
- 16:4516:45, 13 January 2010 diff hist +166 SIGs/FormalMethods →Top to-dos
- 14:5814:58, 13 January 2010 diff hist +107 SIGs/FormalMethods →Communication
- 14:5614:56, 13 January 2010 diff hist +237 SIGs/FormalMethods →Communication
- 14:4814:48, 13 January 2010 diff hist +113 SIGs/FormalMethods →Tasks
11 January 2010
- 23:0623:06, 11 January 2010 diff hist +30 SIGs/FormalMethods Fix link for Alan Dunn
- 23:0323:03, 11 January 2010 diff hist +181 SIGs/FormalMethods →Tasks