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.025Sep131187118Jul1015Jun9822May171620Apr1987331Mar282723211715325Feb24231515Jan21Dec2012929Nov28252318167428Oct2421191811629Jul201223Jun22217130May18161119Apr1511876528Mar25Feb2315317Dec1514130Nov10985415Oct6Aug521Jul15131298622Jun1410821May2028Apr2731Mar29168116Feb11Jan6511Dec10926Nov252423201918171654230Oct29282726232221125Sep987432131Aug282725247Remove support@frama-c.comMerge branch 'fix/andre/opam-depext' into 'master'ensure instructions also work with opam >= 2.1Update node in CIMerge branch 'feat/improved-get-frama-c' into 'master'Update the Contact pageMerge branch 'frama-clang-opam' into 'master'[frama-clang] add manual for 0.0.14Get Frama-C add link to issuesImproved get-frama-c page[frama-clang] announce the release[frama-clang] mention opam as installation optionMerge branch 'frama-clang-0.0.14' into 'master'improve frama-clang plug-in pageframa-clang v0.0.14Merge branch 'release/27.1-cobalt' into 'master'Fix ARM appFrama-C 27.1 experimental Ivette packages[release] prepare 27.1-cobaltMerge branch 'add/plugin/deadlockf' into 'master'New plugin: deadlockMerge branch 'release/27.0-cobalt' into 'master'Add experimental Ivette packages to 27.0LFS track apps and AppImages[release] prepare 27.0-cobaltMerge branch 'feature/job-page' into 'master'Keep an offer openFix order of job offersReview job pagesTypos in Ivette pageSlightly cleans CSSRemoves old CSS rulesImproved Ivette job descriptionImproved jobs descriptionMore detailed Ivette pageAdd jobs sectionA few style changesAdd huge tilesFix webmaster addressMerge branch 'phd-category' into 'master'