[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-users/, sci-mathematics/frama-c-sparecode/, ...

2024-05-14 Thread Julien Roy
commit: ad273a2b83e96ca07f5c0a211c91cd5dde0324d9 Author: Lucio Sauer posteo net> AuthorDate: Tue May 14 23:01:35 2024 + Commit: Julien Roy jroy ca> CommitDate: Wed May 15 00:59:22 2024 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=ad273a2b

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/

2023-04-08 Thread Francois-Xavier Carton
commit: d41b48be876719c39c30f3d52c41550f1f3f45ba Author: François-Xavier Carton gmail com> AuthorDate: Sat Apr 8 23:44:30 2023 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat Apr 8 23:51:19 2023 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/

2023-04-06 Thread Arthur Zamarin
commit: 9ad23458b6a1ee0cdf0d45dded9eeb46905de53a Author: Arthur Zamarin gentoo org> AuthorDate: Thu Apr 6 15:13:37 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Thu Apr 6 15:13:37 2023 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=9ad23458

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/

2022-09-08 Thread Andrew Ammerlaan
commit: ba5027e799e92a3d99980155e265cc907d63820a Author: Andrew Ammerlaan gentoo org> AuthorDate: Thu Sep 8 10:24:17 2022 + Commit: Andrew Ammerlaan gentoo org> CommitDate: Thu Sep 8 10:24:17 2022 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-reduc/

2022-08-23 Thread Yuan Liao
commit: 05ee35a2160b6186c1c11f9832e4a3b3dbc909b6 Author: Yuan Liao gmail com> AuthorDate: Tue Aug 23 20:04:15 2022 + Commit: Yuan Liao gmail com> CommitDate: Tue Aug 23 20:04:15 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=05ee35a2

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-constant-folding/, sci-mathematics/frama-c-dive/, ...

2022-08-19 Thread Francois-Xavier Carton
commit: 323d2476f1a9acc0799755cd2170cd304fb3f3b0 Author: François-Xavier Carton gmail com> AuthorDate: Fri Aug 19 17:27:49 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Fri Aug 19 17:30:31 2022 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/

2022-05-30 Thread Francois-Xavier Carton
commit: 13b13d22809a890a172790271c6f13449911453a Author: François-Xavier Carton gmail com> AuthorDate: Tue May 31 01:16:28 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Tue May 31 01:16:28 2022 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-callgraph/, sci-mathematics/frama-c-scope/, ...

2022-05-24 Thread Francois-Xavier Carton
commit: e9083b7690d96235a394f9346906ce3d42e2de1d Author: François-Xavier Carton gmail com> AuthorDate: Tue May 24 21:23:29 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Tue May 24 21:30:02 2022 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/

2022-05-24 Thread Francois-Xavier Carton
commit: 86ecc49dcb6310bf9c9d1a02eaeeaf484d499a25 Author: François-Xavier Carton gmail com> AuthorDate: Tue May 24 21:06:19 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Tue May 24 21:30:00 2022 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/files/, sci-mathematics/frama-c/

2022-05-24 Thread Francois-Xavier Carton
commit: 6f826a3a6d6b7328a362fe4830c0ddb4a0aacbe6 Author: François-Xavier Carton gmail com> AuthorDate: Tue May 24 21:08:26 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Tue May 24 21:30:01 2022 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-05-07 Thread Francois-Xavier Carton
commit: 6e6f034d42c2c67173ad1eb8bff08ca60404b7e6 Author: François-Xavier Carton gmail com> AuthorDate: Sat May 7 17:45:17 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat May 7 17:46:34 2022 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-01-13 Thread Francois-Xavier Carton
commit: e721c2b1bd9307c122c1f4f4bcc730bcfdcc Author: François-Xavier Carton gmail com> AuthorDate: Wed Jan 12 19:37:41 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Thu Jan 13 20:35:57 2022 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-rtegen/, sci-mathematics/frama-c-users/, ...

2022-01-13 Thread Francois-Xavier Carton
commit: d79091d43727ccec89fc820b59c33ed07c22aa09 Author: François-Xavier Carton gmail com> AuthorDate: Thu Jan 13 20:33:11 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Thu Jan 13 20:35:58 2022 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/

2021-12-15 Thread Andrew Ammerlaan
commit: eb2bcd3e7558e33cfd92ea3b62937dc8d4b2b498 Author: Andrew Ammerlaan gentoo org> AuthorDate: Wed Dec 15 11:17:22 2021 + Commit: Andrew Ammerlaan gentoo org> CommitDate: Wed Dec 15 11:17:22 2021 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/

2021-12-15 Thread Andrew Ammerlaan
commit: 5554acd11e9dfd3a9fffb4c39ab11507b055c3fc Author: Andrew Ammerlaan gentoo org> AuthorDate: Wed Dec 15 10:42:45 2021 + Commit: Andrew Ammerlaan gentoo org> CommitDate: Wed Dec 15 10:42:45 2021 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/

2021-09-04 Thread Francois-Xavier Carton
commit: 00378c53612748b18b9e283cb7cece5deffe15f6 Author: François-Xavier Carton gmail com> AuthorDate: Wed Aug 18 20:05:48 2021 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat Sep 4 13:07:38 2021 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-metrics/, sci-mathematics/frama-c-qed/, ...

2021-09-04 Thread Francois-Xavier Carton
commit: dab2150f988df03d747f307f497eb0a9dfedbd67 Author: François-Xavier Carton gmail com> AuthorDate: Sat Sep 4 12:48:24 2021 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat Sep 4 13:07:39 2021 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/

2021-05-16 Thread Anna Vyalkova
commit: fad0bd71a5e8db76b299a08c323999552f3acb59 Author: Anna Vyalkova sysrq in> AuthorDate: Sun May 16 14:41:42 2021 + Commit: Anna Vyalkova sysrq in> CommitDate: Sun May 16 16:11:06 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=fad0bd71

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/

2021-04-18 Thread Francois-Xavier Carton
commit: 0b1fcb2dc09b9c5e1b66dc7a0a8b5b6f15731f75 Author: François-Xavier Carton gmail com> AuthorDate: Mon Apr 19 01:09:12 2021 + Commit: Francois-Xavier Carton gmail com> CommitDate: Mon Apr 19 01:15:32 2021 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/

2021-03-30 Thread Francois-Xavier Carton
commit: 9f99717f909fcb7eff1e3445b4d1f19129f112a3 Author: François-Xavier Carton gmail com> AuthorDate: Tue Mar 30 19:51:52 2021 + Commit: Francois-Xavier Carton gmail com> CommitDate: Tue Mar 30 19:51:52 2021 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/

2021-03-28 Thread Andrew Ammerlaan
commit: 8c76e6dc7464f096b5b69b6d12cf7bf24ca67289 Author: Andrew Ammerlaan riseup net> AuthorDate: Sun Mar 28 11:22:52 2021 + Commit: Andrew Ammerlaan riseup net> CommitDate: Sun Mar 28 11:22:52 2021 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/

2021-01-09 Thread Francois-Xavier Carton
commit: 1fe1afafb83d0a0310bacbf0657ab9a9f8cfd8ea Author: François-Xavier Carton gmail com> AuthorDate: Fri Nov 27 18:20:23 2020 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat Jan 9 16:46:15 2021 + URL: