User contributions for CMarche
A user with 47 edits. Account created on 26 October 2009.
22 April 2024
- 11:4311:43, 22 April 2024 diff hist +57 Draft:TrustInSoft Analyzer submit
- 11:2711:27, 22 April 2024 diff hist −11,676 Draft:TrustInSoft Analyzer New version, shorter, insisting on dissemination and impact
16 October 2023
- 11:3611:36, 16 October 2023 diff hist +222 User talk:CMarche →AfC notification: Draft:Why3 has a new comment: Reply Tag: Reply
14 September 2023
- 09:3509:35, 14 September 2023 diff hist +57 m Draft:TrustInSoft Analyzer add button for submitting
- 09:3209:32, 14 September 2023 diff hist +749 Draft:TrustInSoft Analyzer add reference to free online versions of the sotfware
22 August 2023
- 10:0010:00, 22 August 2023 diff hist +220 Draft:TrustInSoft Analyzer Add a recent citation, plus a few minor fixes
20 July 2023
- 08:3008:30, 20 July 2023 diff hist +1 m Draft:TrustInSoft Analyzer grammar
- 08:2808:28, 20 July 2023 diff hist −202 m Draft:TrustInSoft Analyzer no need for screeenshot
- 08:2808:28, 20 July 2023 diff hist +257 Draft:TrustInSoft Analyzer Final polishing
- 08:1708:17, 20 July 2023 diff hist −38 Draft:TrustInSoft Analyzer →Applications and Visibility
- 07:1407:14, 20 July 2023 diff hist +974 Draft:TrustInSoft Analyzer Rewrite section on technologies
19 July 2023
- 12:2212:22, 19 July 2023 diff hist +715 Draft:TrustInSoft Analyzer fix typos in internal references
18 July 2023
- 18:1718:17, 18 July 2023 diff hist +3,791 Draft:TrustInSoft Analyzer Adding an example of use
12 July 2023
- 07:5807:58, 12 July 2023 diff hist +179 Draft:TrustInSoft Analyzer Update references
11 July 2023
- 17:1117:11, 11 July 2023 diff hist +3,427 Draft:TrustInSoft Analyzer Add a bunch of references
29 June 2023
- 15:1215:12, 29 June 2023 diff hist +70 Draft:TrustInSoft Analyzer update cartouche and first reference
27 June 2023
- 07:1907:19, 27 June 2023 diff hist 0 m Draft:TrustInSoft Analyzer CMarche moved page TrustInSoft Analyzer to Draft:TrustInSoft Analyzer: Move to draftspace (WP:DRAFTIFY) Tag: Disambiguation links added
- 07:1807:18, 27 June 2023 diff hist +5,533 Draft:TrustInSoft Analyzer Undid revision 1162142927 by CMarche (talk) Tags: Undo Disambiguation links added
- 07:1707:17, 27 June 2023 diff hist −5,533 Draft:TrustInSoft Analyzer ←Blanked the page Tags: Blanking Reverted
- 07:1407:14, 27 June 2023 diff hist +5,533 N Draft:TrustInSoft Analyzer Initial draft Tag: Disambiguation links added
15 June 2023
- 15:5515:55, 15 June 2023 diff hist +353 User:CMarche quick explanation on why I propose a page for Why3 current
9 June 2023
- 16:1516:15, 9 June 2023 diff hist +7 User:CMarche/sandbox No edit summary current
- 16:1416:14, 9 June 2023 diff hist −5,983 User:CMarche/sandbox ←Blanked the page Tag: Blanking
- 15:4515:45, 9 June 2023 diff hist +21 N User:CMarche ←Created page with '{{UserboxCOI|1=Why3}}'
- 10:2210:22, 9 June 2023 diff hist +5,983 N User:CMarche/sandbox ←Created page with ' {{Under construction |notready=in preparation}} {{Infobox software | name = Why3 | logo = logo-why.png | author = F. Bobot, J.-C. Filliâtre, G. Melquiond, C. Marché, A. Paskevich | developer = Inria, CNRS, Paris-Saclay University | released = {{Start date and age|2009|df=yes}} | latest release version...'
18 June 2017
- 15:1615:16, 18 June 2017 diff hist +483 Lunar IceCube section "Flight software", add references
26 October 2009
- 16:2216:22, 26 October 2009 diff hist 0 m ANSI/ISO C Specification Language No edit summary
- 16:1916:19, 26 October 2009 diff hist +77 ANSI/ISO C Specification Language →Syntax
