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.07Apr6528Mar25Feb2315317Dec1514130Nov10985415Oct6Aug521Jul15131298622Jun1410821May2028Apr2731Mar29168116Feb11Jan6511Dec10926Nov252423201918171654230Oct29282726232221125Sep987432131Aug2827252476526Jun18171225May20191211765429Apr6213Mar1110Update ltest.md following reviewUpdate ltest.md following reviewIntroducing LTestMerge branch 'blog-mini-acsl' into 'master'[blog] review post about acsl quick guide[blog] post about quick ACSL guide for EvaMerge branch 'fix-lfs' into 'master'Fix broken LFS filesMerge branch 'positions/phd-on-ml4mf' into 'master'[position] Phd position on machine learning for frama-c.Filled Post-doc - Designing Compilation Techniques for Improving Efficiency of E-ACSLFilled - PhD on Outline Runtime Assertion CheckingMerge branch 'baudin-master-patch-41201' into 'master'Fixes demo exampleMerge branch 'fix/acsl-example' into 'master'[acsl] provides an example that can actually be verified by WPminorminorengineer-researcher to computer-scientistMerge branch 'get-frama-c-add-wsl2-workaround' into 'master'Add WSL2 workaround to 'Get Frama-C' pageMerge branch 'feature/contact/more-visible-links' into 'master'Reorganizes contact to make community more visibleMerge branch 'improve-get-frama-c' into 'master'fix Frama-C Twitter account handleadd more prominent link to INSTALL.md in Get-Frama-CMerge branch 'fix/main-manuals' into 'master'Fix main RTE manualFix main ACSL implementation manualMerge branch 'fix/manuals-version-number' into 'master'fix version numbers in manualsMerge branch 'release/stable-24.0-chromium' into 'master'24.0-Chromium releaseminorresearcher/engineer -> computer scientistMerge branch 'pub/add/cacm-dog-pursuit' into 'master'[Pub] Add publication "the dog pursuit"Merge branch 'feature/fc-discuss-archives' into 'master'Changes mailing list generation and fixes displayFix CSS minifying