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.015Mar325Feb24231515Jan21Dec2012929Nov28252318167428Oct2421191811629Jul201223Jun22217130May18161119Apr1511876528Mar25Feb2315317Dec1514130Nov10985415Oct6Aug521Jul15131298622Jun1410821May2028Apr2731Mar29168116Feb11Jan6511Dec10926Nov252423201918171654230Oct29282726232221125Sep987432131Aug2827252476526Jun18171225May20191211Adds duration for some job offers + few fixesUse short title in contact page for jobsMerge branch 'jobs/new-positions' into 'master'New job offers + fixesMerge branch 'jobs/new-positions' into 'master'Update positionsMerge branch 'fix/contact' into 'master'[html] update contact addressUpdate 2022-02-01-permanent-computer-scientist-cyber-security-verification.mdMerge branch 'release/26.1-iron' into 'master'Fixes Frama-C 26.1 event.[release] prepare 26.1-ironMerge branch 'blog/singularity' into 'master'[blog] post about SingularityMerge branch 'update-get-frama-c-linux' into 'master'[blog] fix E-ACSL linkMerge branch 'blog/new-dockerfiles' into 'master'[blog] post about new E-ACSL-compatible Docker images[html] update 'short installation instructions' for LinuxMerge branch 'metacsl-0.4' into 'master'remove reference to obsolete MetAcsl release in the description of the plug-inAnnounce MetAcsl 0.4Merge branch 'blog/frama-c-26' into 'master'[blog] apply suggestions and fixes from review[blog] post about Iron (26) releaseMerge branch 'add-dive-plugin' into 'master'[plugins] add Dive plug-in description pageMerge branch 'fix-lfs' into 'master'Use Alpine image for checking git-lfsGit LFS - Add checkre-add files via lfsremove non-lfs-committed filesMerge branch 'fix/plugin-manuals-page' into 'master'minor changes to documentation pageMerge branch 'release/26.0-iron' into 'master'[release] prepare 26.0-ironFilled: 2021-08-05-control-flow-integrity-for-remote-attestation.mdMerge branch 'blog/supertest' into 'master'[blog] add post about SuperTest collaborationMerge branch 'internships/internship-ml4eva-2023' into 'master'