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.02Nov30Oct29282726232221125Sep987432131Aug2827252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221add another stage in CIadd dependenciesnodejsnodejsadd nodejsMerge branch 'fix-beta-accent' into 'master'add ci for CSS check and minifierfurther CSS cleanre add changelog css (as not generated offline)add minifier plugininitial clean of css by toolmove swiper.css to html for detection by purifycssremove extraneous accentsMerge branch 'fix/main-page/displayed-version-names' into 'master'Be sure that lastest version is the stable oneMerge branch 'Harmonize-last-event' into 'master'Harmonize last eventMerge branch 'new-mailing-list' into 'master'Update Frama-C Discuss linkMerge branch 'release/22-titanium' into 'master'Fixes E-ACSL manual locationMerge branch 'release/22-titanium' into 'master'Fixes links and content for installationMerge branch 'release/22-titanium' into 'master'Release 22-beta: add installation and eventMerge branch 'release/22-titanium' into 'master'Release Titanium-22-betaMerge branch 'bugfix/basile/20-manuals' into 'master'Merge branch 'fix/404-links' into 'master'Merge branch 'feature/basile/readme' into 'master'Update READMESort plug-in manuals in version pageUpdate download link for Frama-Clang manual to the last versionAdd RTE manual to the main download pageAdd E-ACSL implementation manual to the main download pageUpdate download links of E-ACSL to use local pdf filesUpdate .gitignore to ignore generated filesFixes plugin development guide linkMerge branch 'finalize-blog' into 'master'Removed careers page