Frama-C Website merge requestshttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests2024-03-26T07:17:12Zhttps://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 Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/210Multiple fixes on auto-generated pages2023-11-29T10:16:11ZAllan BlanchardMultiple fixes on auto-generated pagesContributes to frama-c/frama-c#1324
- fix missing name in installation files
- fix too precise version number in event files
- fix hello archives
- fix missing beta on the "Get Frama-C" pageContributes to frama-c/frama-c#1324
- fix missing name in installation files
- fix too precise version number in event files
- fix hello archives
- fix missing beta on the "Get Frama-C" pageAndre MaronezeAndre Maronezehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/209New position2023-10-27T13:05:49ZAllan BlanchardNew positionAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/208Release 28.0~beta-Nickel2023-10-26T19:10:49ZFrama-CI BotRelease 28.0~beta-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/207Clean layouts2023-10-23T13:11:56ZAllan BlanchardClean layoutsAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/206Add API2023-11-09T07:39:52ZAllan BlanchardAdd APILoïc CorrensonLoïc Corrensonhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/205Update + fix Changelog2023-10-23T12:40:25ZAllan BlanchardUpdate + fix Changelog- CI Ruby version
- CI bundler version
- Gemfile lock- CI Ruby version
- CI bundler version
- Gemfile lockAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/204Remove support@frama-c.com2023-09-25T15:41:08ZAllan BlanchardRemove support@frama-c.comVirgile PrevostoVirgile Prevostohttps://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 Blanchard