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.08Jun22May171620Apr1987331Mar282723211715325Feb24231515Jan21Dec2012929Nov28252318167428Oct2421191811629Jul201223Jun22217130May18161119Apr1511876528Mar25Feb2315317Dec1514130Nov10985415Oct6Aug521Jul15131298622Jun1410821May2028Apr2731Mar29168116Feb11Jan6511Dec10926Nov252423201918171654230Oct29282726232221125Sep987432131Aug2827252476526JunAdd jobs sectionA few style changesAdd huge tilesFix webmaster addressMerge branch 'phd-category' into 'master'[publis] shorten menu item[publications] Add section for listing all theses in one placeMerge branch 'fix/old-manual' into 'master'Fix (E-)ACSL 1.18Merge branch 'release/27.0-beta-cobalt' into 'master'update list of publications with missing PhD and PILAT-related articles[release] prepare 27.0~beta-cobaltMerge branch 'blog/cyberhackathon-limite' into 'master'[blog] add registration date limit to cyberhackathon postMerge branch 'fix/wrong-mailto' into 'master'fix wrong mailtoMerge branch 'fix/mac-instructions' into 'master'remove lablgtk references to macOS install instructionsMerge branch 'fix-acsl-github' into 'master'Fixes images sizeFix image[contact] fix ACSL Github linkMerge branch 'banner-hackathon' into 'master'[blog] add banner image for hackathon postMerge branch 'announce-cyberhackathon' into 'master'event: Frama-C + Binsec cyberhackathonMerge branch 'publications/add-bibtex-entries' into 'master'fix tutorials page[publications] use citekey as bibtex dialog ID[publications] unify place and school; add type for phdthesis[publications] generate BibTeX entries for phdthesis/manual categoriesMerge branch 'publications-add-dois' into 'master'[publications] add double-quotes to all 'link:' entries[publications] add DOIs and fix a few papersMerge branch 'jobs/new-positions' into 'master'Adds 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'