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.08Sep7432131Aug2827252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221Merge 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 cleanMerge branch 'add/u3cat'final useless filesfix partners linksmove imgs, dead links publisrecup modifWider code screen on mobileMerge branch 'fix-more-dead-links' into 'master'Fixes or remove various dead linksAdds missing user manualsEven more dead linksCosmetic changes in documentationplace footer at bottom even if short pagesfix padding and some csschange menu transition at 1080pxMerge branch 'several-fixes' into 'master'menu and layout u3catFixes various links in blog postsFixes borken link for a tutorialFixes missing downloadsmove downloads and fetch LFSclean u3cat pagesadd u3cat filesMerge branch 'changes-logo' into several-fixesFixes tutorial links