Commits · 783133306dda8081b2087ff0e76942b72fdb882f · pub / Frama-C Website · GitLab

Snippets Groups Projects

Sep 13, 2023
- ensure instructions also work with opam >= 2.1 · 78313330
  Andre Maroneze authored 1 year ago
  
  Thanks to Karoliine Holter for the suggestion.
  78313330
Sep 07, 2023
- Get Frama-C add link to issues · ff974f5d
  Allan Blanchard authored 1 year ago
  
  ff974f5d
- Improved get-frama-c page · 21907aed
  Allan Blanchard authored 1 year ago
  
  21907aed
Apr 03, 2023
- remove lablgtk references to macOS install instructions · 27e3ac14
  Virgile Prevosto authored 1 year ago
  
  27e3ac14
Dec 20, 2022
- [html] update 'short installation instructions' for Linux · 7178d1db
  Andre Maroneze authored 2 years ago
  
  7178d1db
Jul 20, 2022
- Raw HTML page for distributions · 05b75211
  Allan Blanchard authored 2 years ago
  
  05b75211
Dec 17, 2021
- Add WSL2 workaround to 'Get Frama-C' page · 12bbac77
  Andre Maroneze authored 3 years ago
  
  12bbac77
Dec 14, 2021
- add more prominent link to INSTALL.md in Get-Frama-C · 35b5f2f4
  Andre Maroneze authored 3 years ago
  
  35b5f2f4
Jul 15, 2021
- Update get-frama-c.html · d58995e3
  Allan Blanchard authored 3 years ago
  
  d58995e3
Nov 23, 2020
- Removed E-ACSL implementation in Download page · 8885bd94
  Allan Blanchard authored 4 years ago
  
  8885bd94
- Improves download page · 31f5a0a7
  Allan Blanchard authored 4 years ago
  
  31f5a0a7
Nov 16, 2020
- Better descriptions · 7e405e13
  Allan Blanchard authored 4 years ago
  
  7e405e13
- Adds description to main pages · 50750123
  Allan Blanchard authored 4 years ago
  
  50750123
Oct 30, 2020
- remove extraneous accents · 5328bcb1
  Andre Maroneze authored 4 years ago
  
  5328bcb1
Oct 29, 2020
- Be sure that lastest version is the stable one · 81f360ff
  Allan Blanchard authored 4 years ago
  
  81f360ff
Oct 28, 2020
- Add E-ACSL implementation manual to the main download page · 28444ad1
  Basile Desloges authored 4 years ago
  
  28444ad1
- Pages using _layout/default should not have a closing for body · a05eb36f
  Allan Blanchard authored 4 years ago
  
  a05eb36f
Oct 27, 2020
- Reorganizes Get Frama-C page · c49118e9
  Allan Blanchard authored 4 years ago
  
  c49118e9
Oct 26, 2020
- No more "previous" versions but "all" incl. bêta · 525e1c29
  Allan Blanchard authored 4 years ago
  
  525e1c29
- Add bêta version to versions when it is available · a1cefe3b
  Allan Blanchard authored 4 years ago
  
  a1cefe3b
Sep 08, 2020
- Underline links · 4bc8ddaf
  Allan Blanchard authored 4 years ago
  
  4bc8ddaf
Sep 07, 2020
- More compact manuals section on Get Frama-C · 2e62c4ac
  Allan Blanchard authored 4 years ago
  
  2e62c4ac
- Changes tiles list title padding · 123c1564
  Allan Blanchard authored 4 years ago
  
  123c1564
- More information on "Get Frama-C" · f0f2823d
  Allan Blanchard authored 4 years ago
  
  f0f2823d
Aug 27, 2020
- add download button, fix z-index · 7a1847a3
  Augustin Lemesle authored 4 years ago
  
  7a1847a3
Aug 24, 2020
- fix get frama-c · 7a158b8d
  Augustin Lemesle authored 4 years ago
  
  7a158b8d
Aug 05, 2020
- Update (WSL) installation instructions for Scandium · 89d0ffc2
  Allan Blanchard authored 4 years ago
  
  89d0ffc2
May 11, 2020
- [get-frama-c] macOS installation · 9c7e0fbf
  Loïc Correnson authored 4 years ago
  
  9c7e0fbf
May 05, 2020
- [get-frama-c] Rewording of link to INSTALL.md · fad836e2
  Andre Maroneze authored 4 years ago
  
  fad836e2
- Ajout des liens changelog et petis fix · f191d761
  Augustin Lemesle authored 4 years ago
  
  f191d761
May 04, 2020
- [get-frama-c] update instructions and change colors · a929ac65
  Andre Maroneze authored 4 years ago
  
  a929ac65
Jan 14, 2020
- update install Frama-C · 3f10bfcb
  Augustin Lemesle authored 5 years ago
  
  3f10bfcb
Nov 21, 2019
- fix image, fix contact {} · 19cf0d86
  Augustin Lemesle authored 5 years ago
  
  19cf0d86
Nov 18, 2019
- re-add previous versions · 440a93af
  Augustin Lemesle authored 5 years ago
  
  440a93af
Nov 07, 2019
- minor fixes · 5bd49e7d
  Augustin Lemesle authored 5 years ago
  
  5bd49e7d
- [fix/get-frama-c] correction · a547a616
  Yaelle Vincont authored 5 years ago
  
  a547a616
- [refactor] remove ^M · 1cf59b77
  Yaelle Vincont authored 5 years ago
  
  1cf59b77
Sep 19, 2019
- minor fixes · 15a4a9c7
  Augustin Lemesle authored 5 years ago
  
  15a4a9c7
Sep 06, 2019
- Added versions Frama-C · da520f02
  Augustin Lemesle authored 5 years ago
  
  da520f02
Aug 29, 2019
- Added blog and pagination · e1410de6
  Augustin Lemesle authored 5 years ago
  
  e1410de6