Merge requests · pub

[blog] normalize categories

pub.frama-c.com!146 · created Apr 08, 2022 by Andre Maroneze
blog
updated Apr 08, 2022
Introducing LTest

pub.frama-c.com!145 · created Apr 07, 2022 by Virgile Prevosto
- Merged
- 18
updated Apr 08, 2022
Update type_traits (integral_constant): template specialization where type T is bool

frama-clang!6 · created Mar 18, 2022 by T-Gruber
- Merged
- Approved
updated Apr 06, 2022
[blog] post about quick ACSL guide for Eva

pub.frama-c.com!144 · created Apr 05, 2022 by Andre Maroneze
blog
- Merged
- 16
- Approved
updated Apr 06, 2022
Fix broken LFS files

pub.frama-c.com!143 · created Apr 05, 2022 by Andre Maroneze
- Merged
- 2
updated Apr 05, 2022
[position] Phd position on machine learning for frama-c.

pub.frama-c.com!142 · created Mar 28, 2022 by Michele Alberti
- Merged
- 2
updated Mar 28, 2022
Fixes demo example 1 of 1 checklist item completed

pub.frama-c.com!141 · created Feb 23, 2022 by Patrick Baudin
updated Feb 23, 2022
[acsl] provides an example that can actually be verified by WP

pub.frama-c.com!140 · created Feb 15, 2022 by Virgile Prevosto
- Merged
- 1
updated Feb 15, 2022
add description + URL per directory; add summary table in Markdown

open-source-case-studies!23 · created Feb 10, 2022 by Andre Maroneze
- Merged
- 1
updated Feb 10, 2022
improve performance

sate-6!1 · created Jan 19, 2022 by Andre Maroneze
- Merged
updated Feb 03, 2022
[Tests] readd more time for CI

colibrics!21 · created Dec 17, 2021 by François Bobot
- Merged
updated Jan 04, 2022
Add WSL2 workaround to 'Get Frama-C' page

pub.frama-c.com!139 · created Dec 17, 2021 by Andre Maroneze
updated Dec 17, 2021
Better reccursive function handling

colibrics!20 · created Oct 08, 2021 by François Bobot
- Merged
updated Dec 16, 2021
Reorganizes contact to make community more visible

pub.frama-c.com!138 · created Dec 15, 2021 by Allan Blanchard
- Merged
updated Dec 15, 2021
Improve get frama c

pub.frama-c.com!137 · created Dec 14, 2021 by Andre Maroneze
updated Dec 15, 2021
[x509-parser] add E-ACSL target; add test DER certificate

open-source-case-studies!22 · created Dec 10, 2021 by Andre Maroneze
- Merged
- 22
- Approved
updated Dec 14, 2021
Fix/main manuals

pub.frama-c.com!136 · created Dec 01, 2021 by Allan Blanchard
- Merged
- 1
updated Dec 01, 2021
fix version numbers in manuals

pub.frama-c.com!135 · created Dec 01, 2021 by Virgile Prevosto
updated Dec 01, 2021
24.0-Chromium release

pub.frama-c.com!134 · created Nov 30, 2021 by Virgile Prevosto
updated Dec 01, 2021
[Pub] Add publication "the dog pursuit"

pub.frama-c.com!133 · created Nov 10, 2021 by Allan Blanchard
updated Nov 10, 2021