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

Snippets Groups Projects

Oct 28, 2020
- Update Frama-C Discuss link · bfdfcd9e
  Allan Blanchard authored 4 years ago
  
  bfdfcd9e
- Merge branch 'bugfix/basile/20-manuals' into 'master' · 87426680
  Allan Blanchard authored 4 years ago
  
  Fix manuals links Closes #20 See merge request !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 pub.frama-c.com!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
- Fixes link for Scandium · 6cf89dbb
  Allan Blanchard authored 4 years ago
  
  6cf89dbb
- Better attachment (not perfect though) · a508bc33
  Allan Blanchard authored 4 years ago
  
  a508bc33
- Publication CSS now checks Nav presence · fdf0ab7c
  Allan Blanchard authored 4 years ago
  
  fdf0ab7c
- Force max-width for version block · a065c386
  Allan Blanchard authored 4 years ago
  
  a065c386
- Reorganizes Get Frama-C page · c49118e9
  Allan Blanchard authored 4 years ago
  
  c49118e9
Oct 26, 2020
- Fixes anchor link in Scandium installation · a3b6d6f4
  Allan Blanchard authored 4 years ago
  
  a3b6d6f4
- Changes installation instructions CSS · 8d2d4a80
  Allan Blanchard authored 4 years ago
  
  8d2d4a80
- Fix scandium minor · 6c571187
  Allan Blanchard authored 4 years ago
  
  6c571187
- Fixes Changelog links and versions footer · efdb5b14
  Allan Blanchard authored 4 years ago
  
  efdb5b14
- Fixes version display on narrow screens · 204025ef
  Allan Blanchard authored 4 years ago
  
  204025ef
- Fixes version div · f956ce37
  Allan Blanchard authored 4 years ago
  
  f956ce37
- No more "previous" versions but "all" incl. bêta · 525e1c29
  Allan Blanchard authored 4 years ago
  
  525e1c29
- Fixes versions 16 and 17 · d0122196
  Allan Blanchard authored 4 years ago
  
  d0122196
- Add bêta version to versions when it is available · a1cefe3b
  Allan Blanchard authored 4 years ago
  
  a1cefe3b