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

Snippets Groups Projects

May 06, 2020
- Clean headers and navbar · 40d6b87c
  Augustin Lemesle authored 4 years ago
  
  40d6b87c
- clean tabs · 7261180a
  Augustin Lemesle authored 4 years ago
  
  7261180a
- add layouts for features · 9347b24f
  Augustin Lemesle authored 4 years ago
  
  9347b24f
May 05, 2020
- [get-frama-c] Rewording of link to INSTALL.md · fad836e2
  Andre Maroneze authored 4 years ago
  
  fad836e2
- Removes most background texts (except on the home page). · c6f359b8
  David Bühler authored 4 years ago
  
  c6f359b8
- fix typos in Frama-C · 68a72d8d
  Andre Maroneze authored 4 years ago
  
  68a72d8d
- Update ACSL page · 9cc7eaa5
  Virgile Prevosto authored 4 years ago
  
  9cc7eaa5
- 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
- [contact] Update contact page · 4975b323
  Andre Maroneze authored 4 years ago
  
  4975b323
Apr 29, 2020
- Update dokuwiki/start.md, html/using-frama-c.html files · 579e56f6
  Augustin Lemesle authored 4 years ago
  
  579e56f6
Mar 10, 2020
- no more swipper on plug-ins page · 9fb061b7
  Virgile Prevosto authored 5 years ago
  
  9fb061b7
- refactor plugin page, to indicate distribution status of each plug-in · c7b44446
  Virgile Prevosto authored 5 years ago
  
  c7b44446
Jan 15, 2020
- add ack · 5c17fb48
  Augustin Lemesle authored 5 years ago
  
  5c17fb48
Jan 14, 2020
- update install Frama-C · 3f10bfcb
  Augustin Lemesle authored 5 years ago
  
  3f10bfcb
Jan 13, 2020
- changelog fix · 759b16b6
  Augustin Lemesle authored 5 years ago
  
  759b16b6
- changelog fix · e16026f9
  Augustin Lemesle authored 5 years ago
  
  e16026f9
- Generator with curl changelog · 5e366acb
  Augustin Lemesle authored 5 years ago
  
  5e366acb
- generator try · 44b9a6a1
  Augustin Lemesle authored 5 years ago
  
  44b9a6a1
Jan 10, 2020
- fix community · f767b18c
  Augustin Lemesle authored 5 years ago
  
  f767b18c
Dec 06, 2019
- remove useless on using frama-c · 294f994a
  Augustin Lemesle authored 5 years ago
  
  294f994a
Nov 21, 2019
- fix image, fix contact {} · 19cf0d86
  Augustin Lemesle authored 5 years ago
  
  19cf0d86
Nov 18, 2019
- fix icon community and download same class · 3ff22ec9
  Augustin Lemesle authored 5 years ago
  
  3ff22ec9
- re-add previous versions · 440a93af
  Augustin Lemesle authored 5 years ago
  
  440a93af
Nov 07, 2019
- New page about the ACSL language. · 71838fe0
  David Bühler authored 5 years ago
  
  71838fe0
- please contact · 67bef074
  Augustin Lemesle authored 5 years ago
  
  67bef074
- minor fix · 7711483b
  Augustin Lemesle authored 5 years ago
  
  7711483b
- remove form contact · ee207184
  Augustin Lemesle authored 5 years ago
  
  ee207184
- [contact] add twitter · 6e688f9b
  Yaelle Vincont authored 5 years ago
  
  6e688f9b
- [contact] add community icons · 561f0657
  Yaelle Vincont authored 5 years ago
  
  561f0657
- minor · d2b5ea6c
  Augustin Lemesle authored 5 years ago
  
  d2b5ea6c
- [contact] remove careers · 6a1413f5
  Yaelle Vincont authored 5 years ago
  
  6a1413f5
- [ref/contacts] indentation · e48e8ebc
  Yaelle Vincont authored 5 years ago
  
  e48e8ebc
- minor fixes · 5bd49e7d
  Augustin Lemesle authored 5 years ago
  
  5bd49e7d
- [contact] modify description for career field · bb426a0e
  Yaelle Vincont authored 5 years ago
  
  bb426a0e
- [ref/contact] update contacts · 0ef546c3
  Yaelle Vincont authored 5 years ago
  
  - modify form's fields - modify email addresses
  0ef546c3
- [ref/kernel] correction kernal -> kernel · a927a879
  Yaelle Vincont authored 5 years ago
  
  a927a879
- [ref/kernel] ajout lignes et code html · d29454b6
  Yaelle Vincont authored 5 years ago
  
  d29454b6
- [ref/kernel] replace link · 2bb0e4dd
  Yaelle Vincont authored 5 years ago
  
  2bb0e4dd
- [ref/using_frama-c] from upper to lower case · d2f0bd2a
  Yaelle Vincont authored 5 years ago
  
  d2f0bd2a