Skip to content
Snippets Groups Projects
Select Git revision
  • feature/bdesloges/rss-feed
  • feature/bdesloges/update-ivette-page
  • fix/martin/fix-changelog-event-display
  • improve-index-wip-proposal
  • master default protected
5 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.020Nov1918171654230Oct29282726232221125Sep987432131Aug2827252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221Update .gitlab-ci.ymlMerge branch 'frama-c-22-0-release' into 'master'Remove symbolic links for E-ACSLMerge branch 'frama-c-22-0-release' into 'master'Remove symbolic linksMerge branch 'frama-c-22-0-release' into 'master'Merge branch 'fix/metacsl_descr' into 'master'Frama-C 22 releaseMerge branch 'feature/changelog-gitlab-sub-repos-issues' into 'master'generate exeSupport ## formatMerge branch 'feature/acsl-manuals-list' into 'master'Support frama-c/<repo>#NN formatUpdate MetAcsl's descriptionMerge branch 'blog-post-github-actions' into 'master'new blog post: github actionsBuild automatically ACSL manuals listMerge branch 'multiple-small-fixes' into 'master'Change E-ACSL priorityindentAdd plugin priorities, use them for kernel-pluginsMerge branch 'multiple-small-fixes' into 'master'Moves Specification before GUIMerge branch 'multiple-small-fixes' into 'master'Lower margin in portrait modeAdds an arrow on main pageSort doc and not kernel plugins pageMerge branch 'multiple-small-fixes' of git.frama-c.com:pub/pub.frama-c.com into multiple-small-fixesadd local sorting for documentationMain index section centeredadd order for Eva & WPUse short names for the plugins pageChanges ACSL tab into "Specification"Merge branch 'feature/descriptions-for-seo' into 'master'Descriptions: verification -> analysisBetter descriptionsVersion page descriptionMerge branch 'doc-pdg-slicing-french' into 'master'add description in layouts, fix page.nameTypo