From Fedora Project Wiki

A user with 16 edits. Account created on 30 April 2012.

Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽

23 November 2016

25 November 2014

4 November 2014

30 September 2014

28 January 2013

  • 23:5223:52, 28 January 2013 diff hist +246 m Formal methods tool suiteAdded 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

29 October 2012

22 October 2012

  • 06:4406:44, 22 October 2012 diff hist +3,208 Formal methods tool suiteGrouped 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

18 October 2012

17 October 2012

30 April 2012