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.014Mar15Jan20Dec131196527Nov1587Oct3223Sep20191813659Aug87652121Jun201411631May242216151424Apr1716151226Mar25121Feb169529Jan9721Dec754130Nov98730Oct2726232025Sep131187118Jul1015Jun9822May171620Apr1987331Mar282723211715325Feb24231515Jan21Dec2012929Nov28252318167428Oct2421191811629Jul201223Jun22217130May18161119Apr1511876528Mar25Feb2315317Dec1514130Nov10985415Oct6Aug521Jul15131298622Jun1410821May2028Apr2731Mar29168116Feb11Jan6511Dec10926Nov252423201918171654230Oct29282726Remove old GUI's pagefeature/bdeslog…feature/bdesloges/update-ivette-pageUpdate Ivette's descriptionFix READMEMerge branch '2025-phd-e-acsl' into 'master'mastermasterUpdate positions:Push again DMG files with LFSForce DMG files to be handled in LFSRemoved some files not handled in LFS[frama-clang] update last stable versionMerge branch 'release/metacsl-0.8' into 'master'metacsl release 0.8Merge branch 'release/frama-clang-0.0.17' into 'master'frama-clang release 0.0.17Merge branch 'release/30.0-zinc' into 'master'Merge branch 'release/metacsl-0.8-beta' into 'master'[release] prepare 30.0-zincMerge branch 'release/frama-clang-0.0.17-beta' into 'master'metacsl release 0.8~beta[frama-clang] minimize version-specific content in the page.[fclang] add correct manual versionRemove spurious pdfframa-clang release 0.0.17~betaMerge branch 'release/30.0-beta-zinc' into 'master'[release] prepare 30.0~beta-zincMerge branch 'internships-2025-virgile' into 'master'Typos[jobs] proposal for updating skeleton[position] abstraction internship[position] LSIF internshipMerge branch 'release/metacsl-0.7' into 'master'metacsl release 0.7Merge branch 'move-installation-pages' into 'master'Link installation pages to the GitLabFix galleryMerge branch 'feature/fix-itemize' into 'master'gcc is the most commonly-used compiler overall?Fix itemize in markdown (gitlab vs jekyll)Merge branch 'publi/wp-2024' into 'master'Merge branch 'blog/preprocessing-tips' into 'master'[blog] post with tips about debugging the preprocessor