Frama-C Website merge requestshttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests2021-12-17T16:12:27Zhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/139Add WSL2 workaround to 'Get Frama-C' page2021-12-17T16:12:27ZAndre MaronezeAdd WSL2 workaround to 'Get Frama-C' pageAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/138Reorganizes contact to make community more visible2021-12-15T09:44:27ZAllan BlanchardReorganizes contact to make community more visibleMoves positions list so that all links (issues, discuss, etc) remain visible.Moves positions list so that all links (issues, discuss, etc) remain visible.https://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/137Improve get frama c2021-12-15T07:15:44ZAndre MaronezeImprove get frama cAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/136Fix/main manuals2021-12-01T10:41:13ZAllan BlanchardFix/main manualsAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/135fix version numbers in manuals2021-12-01T09:55:09ZVirgile Prevostofix version numbers in manualsAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/13424.0-Chromium release2021-12-01T09:04:33ZVirgile Prevosto24.0-Chromium releaseAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/133[Pub] Add publication "the dog pursuit"2021-11-10T08:38:41ZAllan Blanchard[Pub] Add publication "the dog pursuit"Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/13224.0-beta-Chromium release2021-11-04T16:26:09ZVirgile Prevosto24.0-beta-Chromium releaseVirgile PrevostoVirgile Prevostohttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/131[blog] new post about old Frama-C Docker images2021-10-15T13:57:11ZAndre Maroneze[blog] new post about old Frama-C Docker imagesAndre MaronezeAndre Maronezehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/1292 postdoc and 1 PhD positions on runtime verification2021-08-06T07:20:06ZAllan Blanchard2 postdoc and 1 PhD positions on runtime verificationAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/12823.1-Vanadium release2021-07-21T13:17:40ZAllan Blanchard23.1-Vanadium releasehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/127Announcement of Frama-Clang 0.0.112021-07-13T14:07:23ZVirgile PrevostoAnnouncement of Frama-Clang 0.0.11Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/126Frama clang 0.112021-07-13T12:31:44ZVirgile PrevostoFrama clang 0.11Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/1252 new E-ACSL publis2021-07-13T11:33:42ZJulien Signoles2 new E-ACSL publisAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/124Better jobs handling2021-07-13T06:00:00ZAllan BlanchardBetter jobs handling- jobs files are kept, they are listed in Contact only if they are not tagged "filled",
- when a job is filled, the tag [FILLED] is added in the title of its description
- list jobs in events
- when a job is filled, the tag [FILLED] ...- jobs files are kept, they are listed in Contact only if they are not tagged "filled",
- when a job is filled, the tag [FILLED] is added in the title of its description
- list jobs in events
- when a job is filled, the tag [FILLED] is added in the title of its description
- list jobs in RSS
- we do not add the tag filled here, should we?https://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/123New Frama-C position2021-07-08T11:58:29ZAllan BlanchardNew Frama-C positionAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/12223.0-Vanadium release [Fix OPAM file]2021-07-06T16:10:38ZAllan Blanchard23.0-Vanadium release [Fix OPAM file]https://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/121Fix title style event Vanadium2021-07-06T15:35:29ZAllan BlanchardFix title style event Vanadiumhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/120Fixes main distribution link2021-07-06T15:15:29ZAllan BlanchardFixes main distribution linkhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/11923.0-Vanadium release2021-07-06T14:50:08ZAllan Blanchard23.0-Vanadium release