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/200Improved get-frama-c page2023-09-11T07:46:43ZAllan BlanchardImproved get-frama-c page- reorganized page
- added links to Git repositories- reorganized page
- added links to Git repositoriesAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/201Proper announce for Frama-Clang 0.0.142023-09-08T09:05:14ZVirgile PrevostoProper announce for Frama-Clang 0.0.14Also update Frama-Clang's manual.Also update Frama-Clang's manual.Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/199frama-clang v0.0.142023-09-01T15:02:34ZVirgile Prevostoframa-clang v0.0.14Announce Frama-Clang v0.0.14 :rocket:Announce Frama-Clang v0.0.14 :rocket:Andre MaronezeAndre Maronezehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/198Release 27.1-Cobalt2023-07-18T14:45:59ZFrama-CI BotRelease 27.1-CobaltOn behalf of "Allan Blanchard" <allan.blanchard@cea.fr> (@blanchard)On behalf of "Allan Blanchard" <allan.blanchard@cea.fr> (@blanchard)Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/197Draft: Release 27.1-Cobalt2023-07-18T12:09:35ZFrama-CI BotDraft: Release 27.1-CobaltOn behalf of "Allan Blanchard" <allan.blanchard@cea.fr> (@blanchard)On behalf of "Allan Blanchard" <allan.blanchard@cea.fr> (@blanchard)Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/196New plugin: deadlock2023-07-10T09:32:34ZAllan BlanchardNew plugin: deadlockhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/195Release 27.0-Cobalt2023-06-15T10:43:09ZFrama-CI BotRelease 27.0-CobaltOn behalf of "Allan Blanchard" <allan.blanchard@cea.fr> (@blanchard)On behalf of "Allan Blanchard" <allan.blanchard@cea.fr> (@blanchard)Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/194Job Page2023-06-09T10:38:19ZAllan BlanchardJob PageProvide a direct access to the positions we propose.
\+
- a few style improvements
- slightly reworks jobs descriptions
- rework Ivette page
- add Ivette publicationProvide a direct access to the positions we propose.
\+
- a few style improvements
- slightly reworks jobs descriptions
- rework Ivette page
- add Ivette publicationAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/193[publications] Add section for listing all theses in one place2023-05-17T07:04:41ZVirgile Prevosto[publications] Add section for listing all theses in one placeAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/192Fix (E-)ACSL 1.182023-05-16T12:54:35ZAllan BlanchardFix (E-)ACSL 1.18Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/191Release 27.0~beta-Cobalt2023-05-16T12:35:34ZFrama-CI BotRelease 27.0~beta-CobaltOn behalf of "Allan Blanchard" <allan.blanchard@cea.fr> (@blanchard)On behalf of "Allan Blanchard" <allan.blanchard@cea.fr> (@blanchard)Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/190[blog] add registration date limit to cyberhackathon post2023-04-20T06:03:51ZAndre Maroneze[blog] add registration date limit to cyberhackathon postAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/189fix wrong mailto2023-04-08T08:48:49ZVirgile Prevostofix wrong mailtoTitle says allTitle says allAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/188remove lablgtk references to macOS install instructions2023-04-07T07:28:43ZVirgile Prevostoremove lablgtk references to macOS install instructionsFixes frama-c#2655 (not tested)
Should we also add a `why3 config detect` step as mentioned in the issue? It is not present in the Linux instructions (nor the WSL ones), and as far as I can tell, the idea is to keep these instructions s...Fixes frama-c#2655 (not tested)
Should we also add a `why3 config detect` step as mentioned in the issue? It is not present in the Linux instructions (nor the WSL ones), and as far as I can tell, the idea is to keep these instructions short and refer to the full `INSTALL.md` for detailed information.Andre MaronezeAndre Maronezehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/187[contact] fix ACSL Github link2023-03-31T16:20:44ZAndre Maroneze[contact] fix ACSL Github linkClose pub/frama-c#2653Close pub/frama-c#2653Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/186[blog] add banner image for hackathon post2023-03-28T14:04:40ZAndre Maroneze[blog] add banner image for hackathon postRename _post file (they typically contain the post date, not the event date; the URL refers to the `date:` field anyway so it does not change) + add banner image.
The image should hopefully be taken into account by LinkedIn posts to sho...Rename _post file (they typically contain the post date, not the event date; the URL refers to the `date:` field anyway so it does not change) + add banner image.
The image should hopefully be taken into account by LinkedIn posts to show in its preview.Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/185event: Frama-C + Binsec cyberhackathon2023-03-28T06:24:01ZAndre Maronezeevent: Frama-C + Binsec cyberhackathonAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/184[publications] generate BibTeX entries for phdthesis/manual categories2023-03-23T13:48:22ZAndre Maroneze[publications] generate BibTeX entries for phdthesis/manual categories- rename categories: `manuals` -> `manual`, `tutorials` -> `tutorial`,
`thesis` -> `phdthesis` (note that this category also includes French HDR)
- normalize `authors:` field as an YAML list of strings
- add `school:` field for `phdthe...- rename categories: `manuals` -> `manual`, `tutorials` -> `tutorial`,
`thesis` -> `phdthesis` (note that this category also includes French HDR)
- normalize `authors:` field as an YAML list of strings
- add `school:` field for `phdthesis` entriesAndre MaronezeAndre Maronezehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/183Publications add dois2023-03-21T08:19:25ZAndre MaronezePublications add doisAdds DOIs for all documents for which I could find them.
Also normalizes 'link:' entries by adding double quotes around all of them.
Unfortunately also changes several files due to previously absent terminating newline.Adds DOIs for all documents for which I could find them.
Also normalizes 'link:' entries by adding double quotes around all of them.
Unfortunately also changes several files due to previously absent terminating newline.Allan BlanchardAllan Blanchard