Merge requests · pub

[html] update contact address

pub.frama-c.com!179 · created Feb 24, 2023 by Andre Maroneze
updated Feb 25, 2023
Update positions

pub.frama-c.com!180 · created Feb 27, 2023 by Allan Blanchard
- Merged
updated Mar 03, 2023
New job offers + fixes

pub.frama-c.com!181 · created Mar 15, 2023 by Allan Blanchard
updated Mar 15, 2023
Adds duration for some job offers

pub.frama-c.com!182 · created Mar 15, 2023 by Allan Blanchard
- Merged
updated Mar 15, 2023
Publications add dois

pub.frama-c.com!183 · created Mar 17, 2023 by Andre Maroneze
publis
updated Mar 21, 2023
[publications] generate BibTeX entries for phdthesis/manual categories

pub.frama-c.com!184 · created Mar 17, 2023 by Andre Maroneze
publis
- Merged
- 17
updated Mar 23, 2023
event: Frama-C + Binsec cyberhackathon

pub.frama-c.com!185 · created Mar 27, 2023 by Andre Maroneze
- Merged
- 5
updated Mar 28, 2023
change 'make framac' target to install globally

open-source-case-studies!40 · created Mar 27, 2023 by Andre Maroneze
- Closed
updated Mar 28, 2023
[blog] add banner image for hackathon post

pub.frama-c.com!186 · created Mar 28, 2023 by Andre Maroneze
blog
updated Mar 28, 2023
[contact] fix ACSL Github link

pub.frama-c.com!187 · created Mar 31, 2023 by Andre Maroneze
- Merged
- 1
- Approved
updated Mar 31, 2023
remove lablgtk references to macOS install instructions

pub.frama-c.com!188 · created Apr 03, 2023 by Virgile Prevosto
- Merged
- 3
- Approved
updated Apr 07, 2023
Add general disequality hook

colibrics!31 · created Apr 03, 2023 by François Bobot
- Merged
- 2
updated Apr 03, 2023
[why3] bump to 1.6.0

why3find!24 · created Apr 05, 2023 by Loïc Correnson
- Merged
- 1
updated Apr 05, 2023
fix wrong mailto

pub.frama-c.com!189 · created Apr 07, 2023 by Virgile Prevosto
updated Apr 08, 2023
[blog] add registration date limit to cyberhackathon post

pub.frama-c.com!190 · created Apr 19, 2023 by Andre Maroneze
blog
updated Apr 20, 2023
Release 27.0~beta-Cobalt

pub.frama-c.com!191 · created May 16, 2023 by Frama-CI Bot
updated May 16, 2023
Fix (E-)ACSL 1.18

pub.frama-c.com!192 · created May 16, 2023 by Allan Blanchard
updated May 16, 2023
[publications] Add section for listing all theses in one place

pub.frama-c.com!193 · created May 16, 2023 by Virgile Prevosto
HTML publis
- Merged
- 2
updated May 17, 2023
synchronize with stable/cobalt

open-source-case-studies!41 · created May 23, 2023 by Andre Maroneze
- Merged
- 6
updated Jun 02, 2023
[doc] fixes in doc generation 3 of 3 checklist items completed

why3find!25 · created Jun 02, 2023 by Loïc Correnson
updated Jun 16, 2023