Frama-C Website merge requestshttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests2023-09-13T15:15:27Zhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/203ensure instructions also work with opam >= 2.12023-09-13T15:15:27ZAndre Maronezeensure instructions also work with opam >= 2.1Closes pub/frama-c#2667.
My tests seem to indicate this command succeeds both with opam 2.0 and 2.1, unlike `opam install depext`, which only works with opam < 2.1, and whose error message (depext unmet availability conditions, e.g. 'op...Closes pub/frama-c#2667.
My tests seem to indicate this command succeeds both with opam 2.0 and 2.1, unlike `opam install depext`, which only works with opam < 2.1, and whose error message (depext unmet availability conditions, e.g. 'opam-version >= "2.0.0~beta5" & opam-version < "2.1"') can lead users astray.Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/176[html] update 'short installation instructions' for Linux2023-01-05T10:23:40ZAndre Maroneze[html] update 'short installation instructions' for LinuxProposition:
![Screenshot_20221220_143118](/uploads/78c6d2dad2a3bbd14c4f30542295fa64/Screenshot_20221220_143118.png)
Note: the choice of `opam init --compiler 4.14.1` prevents users from installing a 5.0 compiler (which has performance...Proposition:
![Screenshot_20221220_143118](/uploads/78c6d2dad2a3bbd14c4f30542295fa64/Screenshot_20221220_143118.png)
Note: the choice of `opam init --compiler 4.14.1` prevents users from installing a 5.0 compiler (which has performance losses; hopefully 5.1 will fix it).
~~As soon as 4.14.1 is released, this can be merged.~~ 4.14.1 is available on opam.Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/108[blog] add post about benchmarking and -no-autoload-plugins2021-02-16T11:02:36ZAndre Maroneze[blog] add post about benchmarking and -no-autoload-pluginsAndre MaronezeAndre Maronezehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/101Announcing MetAcsl 0.12020-12-10T09:54:00ZVirgile PrevostoAnnouncing MetAcsl 0.1Everything is in the titleEverything is in the titleAugustin LemesleAugustin Lemeslehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/89new blog post: github actions2020-11-19T20:33:11ZAndre Maronezenew blog post: github actionsNew post for the Frama-C blog
@blanchard for info (even if it's unrelated to the new website or release)New post for the Frama-C blog
@blanchard for info (even if it's unrelated to the new website or release)Augustin LemesleAugustin Lemeslehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/80add blog post2020-11-04T15:37:49ZAndre Maronezeadd blog postAugustin LemesleAugustin Lemeslehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/36[copyright] fix copyright style2020-05-11T14:49:35ZLoïc Correnson[copyright] fix copyright styleMinor proposition for copyright divs inside footers:
- fix color / opacity in all media.
- fix layout for large media.Minor proposition for copyright divs inside footers:
- fix color / opacity in all media.
- fix layout for large media.Augustin LemesleAugustin Lemeslehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/27Removes most background texts (except on the home page).2020-05-05T12:53:32ZDavid BühlerRemoves most background texts (except on the home page).Augustin LemesleAugustin Lemeslehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/222frama-clang Release 0.0.152024-03-26T07:17:12ZFrama-CI Botframa-clang Release 0.0.15https://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/221Release 28.1-Nickel2024-03-01T12:54:08ZFrama-CI BotRelease 28.1-NickelOn behalf of "Andre Maroneze" <andre.maroneze@cea.fr> (@maroneze)On behalf of "Andre Maroneze" <andre.maroneze@cea.fr> (@maroneze)Andre MaronezeAndre Maronezehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/220metacsl Release 0.62024-02-16T16:14:36ZVirgile Prevostometacsl Release 0.6Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/219replace twitter with mastodon2024-02-05T15:22:58ZAndre Maronezereplace twitter with mastodonAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/218[blog] improve layout for internal anchors2024-02-21T09:43:14ZAndre Maroneze[blog] improve layout for internal anchors60px seems fine for the blog layout (it has one less "header" line than the API pages)60px seems fine for the blog layout (it has one less "header" line than the API pages)Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/217Fix RSS links: no more spaces before/after2024-01-07T11:23:34ZAllan BlanchardFix RSS links: no more spaces before/afterFound on the OCaml Discord: this breaks scrapingFound on the OCaml Discord: this breaks scrapingAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/216[blog] post about new machdep mechanism2024-01-29T10:44:33ZAndre Maroneze[blog] post about new machdep mechanismVirgile PrevostoVirgile Prevostohttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/215update information about Aorai website2024-01-09T17:53:18ZAndre Maronezeupdate information about Aorai websiteVirgile PrevostoVirgile Prevostohttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/214New internship/refinement2023-12-07T12:11:58ZAllan BlanchardNew internship/refinementAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/213Release 28.0 NIckel: add Ivette packages for Linux2023-12-05T13:50:08ZAllan BlanchardRelease 28.0 NIckel: add Ivette packages for LinuxAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/212Release 28.0-Nickel2023-11-30T15:15:40ZFrama-CI BotRelease 28.0-NickelOn behalf of "Andre Maroneze" <andre.maroneze@cea.fr> (@maroneze)On behalf of "Andre Maroneze" <andre.maroneze@cea.fr> (@maroneze)Andre MaronezeAndre Maronezehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/211MetAcsl 0.5 release2023-11-07T16:34:12ZVirgile PrevostoMetAcsl 0.5 releaseAllan BlanchardAllan Blanchard