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.04Sep32131Aug2827252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221Adds 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 linksMakes logo compatible with dark modeMerge branch 'feature/allan/improve-publications' into 'master'More acknowledgementsAcknowledgements: slighlty changes CSSBetter acknowledgements pageFixes some links in ENSIIE courseDocumentation: make sure links are one line longDocumentation: invert ACSL and Frama-CDocumentation: Merge "Frama-C" and "About"Publications: lighter details hoverPublications: fixes sidebar widthPublications: JS script to close menu on clickPublications: Better detailsPublication: side menu - changes visibility