[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:https://gitweb.gentoo.org/repo/proj/guru.git/

[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:https://gitweb.gentoo.org/repo/proj/guru.git/

[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:https://gitweb.gentoo.org/repo/proj/guru.git/

[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:https://gitweb.gentoo.org/repo/proj/guru.git/

[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:https://gitweb.gentoo.org/repo/proj/guru.git/

[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:https://gitweb.gentoo.org/repo/proj/guru.git/

[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:https://gitweb.gentoo.org/repo/proj/guru.git/

[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:https://gitweb.gentoo.org/repo/proj/guru.git/

[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:https://gitweb.gentoo.org/repo/proj/guru.git/

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

2021-10-01 Thread Francois-Xavier Carton
commit: 4962103953030be5b8f12c33f6ff110952fb6e06 Author: François-Xavier Carton gmail com> AuthorDate: Fri Oct 1 13:07:43 2021 + Commit: Francois-Xavier Carton gmail com> CommitDate: Fri Oct 1 13:07:43 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/

[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:https://gitweb.gentoo.org/repo/proj/guru.git/

[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:https://gitweb.gentoo.org/repo/proj/guru.git/

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

2021-09-04 Thread Francois-Xavier Carton
commit: 6bd2366827c2e9dbd72d601651bb8348bdb7b04c Author: François-Xavier Carton gmail com> AuthorDate: Sat Sep 4 12:53:29 2021 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat Sep 4 13:07:40 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/

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

2021-04-18 Thread Francois-Xavier Carton
commit: 556d223d1e4531cb91e44a21bba602ac92f2a25d Author: François-Xavier Carton gmail com> AuthorDate: Mon Apr 19 01:03:43 2021 + Commit: Francois-Xavier Carton gmail com> CommitDate: Mon Apr 19 01:15:31 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/

[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:https://gitweb.gentoo.org/repo/proj/guru.git/

[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:https://gitweb.gentoo.org/repo/proj/guru.git/

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

2021-03-30 Thread Francois-Xavier Carton
commit: 42c0da6a668a33653427f8b8ff93073a189819c7 Author: François-Xavier Carton gmail com> AuthorDate: Tue Mar 30 19:32:21 2021 + Commit: Francois-Xavier Carton gmail com> CommitDate: Tue Mar 30 19:32:21 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/

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

2021-01-09 Thread Francois-Xavier Carton
commit: 8774c3bacb82b878b97365d5c3c9764c1d38ae8a Author: François-Xavier Carton gmail com> AuthorDate: Fri Nov 27 18:16:28 2020 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat Jan 9 16:44:42 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/

[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:https://gitweb.gentoo.org/repo/proj/guru.git/