Commits · cfea273c1254c9e00ec03ff1d8aee3930dafda8d · pub / Frama-C Website · GitLab

Snippets Groups Projects

Nov 02, 2020
- move swiper.css to html for detection by purifycss · cfea273c
  Augustin Lemesle authored 4 years ago
  
  cfea273c
Oct 29, 2020
- Merge branch 'fix/main-page/displayed-version-names' into 'master' · ec3b9961
  Allan Blanchard authored 4 years ago
  
  Be sure that lastest version is the stable one Closes #21 See merge request !78
  ec3b9961
- Be sure that lastest version is the stable one · 81f360ff
  Allan Blanchard authored 4 years ago
  
  81f360ff
Oct 28, 2020
- Merge branch 'Harmonize-last-event' into 'master' · dd053d25
  Allan Blanchard authored 4 years ago
  
  Harmonize last event See merge request !77
  dd053d25
- Harmonize last event · bd71ede1
  Allan Blanchard authored 4 years ago
  
  bd71ede1
- Merge branch 'new-mailing-list' into 'master' · 5b1f641b
  Allan Blanchard authored 4 years ago
  
  Update Frama-C Discuss link See merge request !76
  5b1f641b
- Update Frama-C Discuss link · bfdfcd9e
  Allan Blanchard authored 4 years ago
  
  bfdfcd9e
- Merge branch 'release/22-titanium' into 'master' · a259a661
  Allan Blanchard authored 4 years ago
  
  Fixes E-ACSL manual location See merge request !75
  a259a661
- Fixes E-ACSL manual location · 0996c53d
  Allan Blanchard authored 4 years ago
  
  0996c53d
- Merge branch 'release/22-titanium' into 'master' · 691a6110
  Allan Blanchard authored 4 years ago
  
  Fixes links and content for installation - 22 Titanium See merge request !74
  691a6110
- Fixes links and content for installation · 40ce1ec1
  Allan Blanchard authored 4 years ago
  
  40ce1ec1
- Merge branch 'release/22-titanium' into 'master' · bb1f601a
  Allan Blanchard authored 4 years ago
  
  Release 22-beta: add installation and event See merge request !73
  bb1f601a
- Release 22-beta: add installation and event · c945e7c9
  Allan Blanchard authored 4 years ago
  
  c945e7c9
- Merge branch 'release/22-titanium' into 'master' · cfebc7ea
  Allan Blanchard authored 4 years ago
  
  Release 22-Titanium See merge request !72
  cfebc7ea
- Release Titanium-22-beta · 2ec4f28d
  Allan Blanchard authored 4 years ago
  
  2ec4f28d
- Merge branch 'bugfix/basile/20-manuals' into 'master' · 87426680
  Allan Blanchard authored 4 years ago
  
  Fix manuals links Closes #20 See merge request pub.frama-c.com!70
  87426680
- Merge branch 'fix/404-links' into 'master' · 1943702c
  Allan Blanchard authored 4 years ago
  
  Fix 404 links See merge request !69
  1943702c
- Merge branch 'feature/basile/readme' into 'master' · 25cfae55
  Allan Blanchard authored 4 years ago
  
  Update README See merge request !71
  25cfae55
- Update README · a9280f99
  Basile Desloges authored 4 years ago
  
  a9280f99
- Sort plug-in manuals in version page · ba85bf2a
  Basile Desloges authored 4 years ago
  
  ba85bf2a
- Update download link for Frama-Clang manual to the last version · 0ab6db9b
  Basile Desloges authored 4 years ago
  
  0ab6db9b
- Add RTE manual to the main download page · d7fda7b8
  Basile Desloges authored 4 years ago
  
  d7fda7b8
- Add E-ACSL implementation manual to the main download page · 28444ad1
  Basile Desloges authored 4 years ago
  
  28444ad1
- Update download links of E-ACSL to use local pdf files · 72263e07
  Basile Desloges authored 4 years ago
  
  72263e07
- Update .gitignore to ignore generated files · 0f21fe09
  Basile Desloges authored 4 years ago
  
  0f21fe09
- Fixes plugin development guide link · c191df53
  Allan Blanchard authored 4 years ago
  
  c191df53
- Merge branch 'finalize-blog' into 'master' · be968473
  Allan Blanchard authored 4 years ago
  
  Finalize blog + a few fixes See merge request !68
  be968473
- Removed careers page · adc53932
  Allan Blanchard authored 4 years ago
  
  adc53932
- Pages using _layout/default should not have a closing for body · a05eb36f
  Allan Blanchard authored 4 years ago
  
  a05eb36f
- Blog: dos2unix · 4ee98fd5
  Allan Blanchard authored 4 years ago
  
  4ee98fd5
- Fixes blog CSS · b2e2575f
  Allan Blanchard authored 4 years ago
  
  b2e2575f
- Enable blog in website · 5d01c783
  Allan Blanchard authored 4 years ago
  
  5d01c783
- Remove deploy from branches · 22c1381d
  Augustin Lemesle authored 4 years ago
  
  22c1381d
- Merge branch 'positions' into 'master' · ffa38a31
  Allan Blanchard authored 4 years ago
  
  Positions are added to contact page when there are some See merge request !67
  ffa38a31
Oct 27, 2020
- Removed old positions and added position skeleton · 954a8661
  Allan Blanchard authored 4 years ago
  
  954a8661
- Removes bad characters · 682a6550
  Allan Blanchard authored 4 years ago
  
  682a6550
- Add keywords to position summary · cd3434c6
  Allan Blanchard authored 4 years ago
  
  cd3434c6
- Reactivate header in jobs pages · c7a35e8c
  Allan Blanchard authored 4 years ago
  
  c7a35e8c
- Add positions to Contact page · e85a3364
  Allan Blanchard authored 4 years ago
  
  e85a3364
- Merge branch 'feature/improved-versions' into 'master' · 906ead23
  Allan Blanchard authored 4 years ago
  
  Improved version pages See merge request !65
  906ead23