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.026Oct232221125Sep987432131Aug2827252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221Improved version pagesMerge branch 'changelog/generator' into 'master'recompileMakes sure plugins are after kernelrecompile generateMerge branch 'changelog/generator' of git.frama-c.com:pub/pub.frama-c.com into changelog/generatorcomment strange formattingTakes old versions in account during release comparisonremove test in CItry with before scriptfix curl path E-ACSLtest concatfix tiret and spacesMerge branch 'fix/versions' into 'master'Removes strange values in releasesMerge branch 'thibault/add_ltest' into 'master'Changed category for icse 2018fix swiper arrowsAdd few Ltest publicationsMetACSL->MetAcsl. Mention the public release.Restore blog's CSSMerge branch 'fix/typo-chameau' into 'master'small typo (publi chameau 2014)Fixes two broken linksAdd footer to publicationsUpdate contact pagesMerge branch 'minor-rewordings' into 'master'Merge branch 'master' of git.frama-c.com:pub/pub.frama-c.comadd publications in navrewrite a few section titlesFixes timeline display in some situationsMerge branch 'master' of git.frama-c.com:pub/pub.frama-c.comfirst clean css dependenciesno cookies for youtubeMerge branch 'slevel-no-more' into 'master'Fixes home cssRemove C++ from main pageupdate Eva options in main pageMerge branch 'frama-c-overview' into 'master'More visible "read more"