User contributions for Jcp

23 November 2016

• 04:5004:50, 23 November 2016 diff hist +54‎ User:Jcp ‎No edit summary current

25 November 2014

• 06:3406:34, 25 November 2014 diff hist +408‎ m SIGs/AmateurRadio/Packages ‎ →‎Added entry for WSPR-X package

4 November 2014

• 21:3421:34, 4 November 2014 diff hist +341‎ m SIGs/AmateurRadio/Packages ‎ →‎Added entries to wish list for Ghpsdr3 and QUISK

30 September 2014

• 17:1517:15, 30 September 2014 diff hist +42‎ AmateurRadio ‎ Added myself to the list of Amateur Radio SIG members

28 January 2013

• 23:5223:52, 28 January 2013 diff hist +246‎ m Formal methods tool suite ‎ Added some additional formal specification languages that might be candidates for future addition to Fedora (though many of them seem to have licensing issues that would preculde that from happening). current

1 November 2012

• 21:3721:37, 1 November 2012 diff hist −1,893‎ User:Jcp ‎ Added pointer to my Fedora Peole page for contact information.

29 October 2012

• 06:2206:22, 29 October 2012 diff hist +758‎ SIGs/FormalMethods ‎ General clean-up. Removed outdated references to efforts that have since been completed (e.g. packaging Frama-C).
• 03:3603:36, 29 October 2012 diff hist +3‎ m Formal methods tool suite ‎ Fixed semantic typo that the spell checker missed

22 October 2012

• 06:4406:44, 22 October 2012 diff hist +3,208‎ Formal methods tool suite ‎ Grouped all of the verification tools into a single category and added some basic introductory material to help those just getting started. Also performed a facelift on the catch-all "other" category.

19 October 2012

• 06:3106:31, 19 October 2012 diff hist +1,789‎ Formal methods tool suite ‎ A face lift for the Theorem Provers section

18 October 2012

• 06:1906:19, 18 October 2012 diff hist +1,601‎ Formal methods tool suite ‎ A face lift for the SMT Solver section. Reordered the SAT and SMT sections to make it easier to explain what they are.

17 October 2012

• 06:1406:14, 17 October 2012 diff hist +1,472‎ Formal methods tool suite ‎ →‎Boolean Satisfiability (SAT) Solvers

30 April 2012

• 17:5917:59, 30 April 2012 diff hist +84‎ m User:Jcp ‎ Fixed some grammatical errors
• 01:1701:17, 30 April 2012 diff hist +423‎ User:Jcp ‎ Added more basic information, and refactored things a bit,
• 00:5500:55, 30 April 2012 diff hist +31‎ SIGs/FormalMethods ‎ →‎Members: Added my name (user jcp) to list of other members
• 00:4200:42, 30 April 2012 diff hist +1,821‎ N User:Jcp ‎ Created page with "Welcome to all Fedora Linux enthusiasts! JCP is short for John C. Peterson. My formal academic training is in the area of Mathematics and Physics (double major, BA), Applied Ma..."