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.01Sep31Aug2827252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221Merge branch 'add-acsl-importer' into 'master'Update acsl-importer.mdMerge branch 'add-acsl-importer' of git.frama-c.com:frama-c/frama-c.frama-c.com into add-acsl-importerAdd contact information to ACSL importer.Adds ACSL importerMerge branch 'better-acsl-page-css' into 'master'Updates Frama-ClangAdds ScandiumAdds CalciumImproves ACSL page on mobileAdds ACSL importerAdds Scandium + corresponding frama-clangMerge branch 'feature/julien/publis' into 'master'Fix READMEMinor fixesInvisible hover for publications without abstractSlightly reorganizes publications and adds guidelines to add a new one.Publication: changes global paddingRemoves right border on publication side menutry prettier menuunmatching /divSimpler side menu for publicationsSide/top menuSimplifies publications generationhover black when content is emptyRenamingChanges publications subsections titlesAdds 3 E-ACSL publicationsDeletes old documentation page and bind the new oneBetter presentation for publicationsNew publication page systemRPP + MetACSL + E-ACSLResize H3Use \ to force end of line in bulletsSmall fixes for publicationsHomogeneous Publications page wrt the websiteFix some markdown formatting[publis] Fix dead linkmore plug-ins[publis] size of titles