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.09Sep87432131Aug2827252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221Merge 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"Overview pageCleaner way to select plugin-kernel tabNow provides a (truly) clean_page layoutclean_page becomes doc_pageremove case studies generation, remove some cssmoving anchor cssadd anchor to generatorMerge branch 'master' of git.frama-c.com:pub/pub.frama-c.comfurther tab navigationMerge branch 'minor-fixes' into 'master'small css fixMerge branch 'master' of git.frama-c.com:pub/pub.frama-c.comadd moving through overview with tabHomogeneous manual namesRemove tiles movementMerge branch 'underline-links' into 'master'Underline linksadd color for tab navigationMerge branch 'more-complete-get-frama-c' into 'master'More compact manuals section on Get Frama-CFixes lab nameFix helium changelog linkChanges tiles list title paddingGet Frama-C: Better display on mobileMerge branch 'display-screen-mobile' into more-complete-get-frama-cMinor fixRemoves symbolic linksFixes plugins descriptionMore information on "Get Frama-C"Merge branch 'installation-instructions' into 'master'Fixes micro-tutorial on index pageFixes 19.1Adds installation instructions filesbody class clean