Skip to content
Snippets Groups Projects
Select Git revision
  • feature/bdesloges/update-ivette-page
  • fix/martin/fix-changelog-event-display
  • improve-index-wip-proposal
  • master default protected
4 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.01Sep31Aug2827252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221Updates 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[publis] still ^M[publis] ^M seems to be important[publis] Frama-C general, Eva WP, E-ACSLMerge branch 'master' of git.frama-c.com:pub/pub.frama-c.comfix _ in tags[blog] remove duplicate text in posts