Commits · 771959918a427889c5b30f370f3f15345d82a092 · pub / Frama-C Website · GitLab

Snippets Groups Projects

Sep 03, 2020
- move downloads and fetch LFS · 77195991
  Augustin Lemesle authored 4 years ago
  
  77195991
- clean u3cat pages · b5279c64
  Augustin Lemesle authored 4 years ago
  
  b5279c64
- add u3cat files · 092a28ce
  Augustin Lemesle authored 4 years ago
  
  092a28ce
- Merge branch 'feature/allan/improve-publications' into 'master' · 1c1a1446
  Allan Blanchard authored 4 years ago
  
  Improve (and provide some fixes in) publications and documentation Closes #18 See merge request !51
  1c1a1446
- Fixes some links in ENSIIE course · ef751629
  Allan Blanchard authored 4 years ago
  
  ef751629
- Documentation: make sure links are one line long · ad8c909a
  Allan Blanchard authored 4 years ago
  
  ad8c909a
- Documentation: invert ACSL and Frama-C · b4d4a1f4
  Allan Blanchard authored 4 years ago
  
  b4d4a1f4
- Documentation: Merge "Frama-C" and "About" · 1ea53954
  Allan Blanchard authored 4 years ago
  
  1ea53954
- Publications: lighter details hover · ff930de8
  Allan Blanchard authored 4 years ago
  
  ff930de8
- Publications: fixes sidebar width · 5fd2e257
  Allan Blanchard authored 4 years ago
  
  5fd2e257
- Publications: JS script to close menu on click · 6e501784
  Allan Blanchard authored 4 years ago
  
  6e501784
- Publications: Better details · 7c187841
  Allan Blanchard authored 4 years ago
  
  7c187841
- Publication: side menu - changes visibility · 940032d2
  Allan Blanchard authored 4 years ago
  
  - always visible on wide screen - named "categories" when in mobile mode - change font size to follow the rest of website
  940032d2
Sep 02, 2020
- Merge branch 'feature/allan/tutorials-page' into 'master' · 4f24739e
  Allan Blanchard authored 4 years ago
  
  New tutorials and teaching pages See merge request !49
  4f24739e
- No more wiki CSS · 4f01b967
  Allan Blanchard authored 4 years ago
  
  4f01b967
- Removes last dokuwiki files · db96785d
  Allan Blanchard authored 4 years ago
  
  db96785d
- Moves some content from dokuwiki to blog · 80dfb6f8
  Allan Blanchard authored 4 years ago
  
  80dfb6f8
- Adds last missing plugin in publications · 88b0b1a6
  Allan Blanchard authored 4 years ago
  
  88b0b1a6
- Removes dokuwiki pages that are now elsewhere · f0626839
  Allan Blanchard authored 4 years ago
  
  f0626839
- Do not include dokuwiki · 8aa6ba8b
  Allan Blanchard authored 4 years ago
  
  8aa6ba8b
- Adds a title for terms of use · 4f2b8396
  Allan Blanchard authored 4 years ago
  
  4f2b8396
- Removes old dokuwiki link · 3aca560a
  Allan Blanchard authored 4 years ago
  
  3aca560a
- Moves ENSIIE course content · d68386a5
  Allan Blanchard authored 4 years ago
  
  d68386a5
- Removes dokuwiki links in documentation · 72e84822
  Allan Blanchard authored 4 years ago
  
  72e84822
- New teaching page · 45de92c7
  Allan Blanchard authored 4 years ago
  
  45de92c7
- Fixes title display in Contact · c32b726f
  Allan Blanchard authored 4 years ago
  
  c32b726f
- Fast animation (avoids motion sickness) · 2291b1ea
  Allan Blanchard authored 4 years ago
  
  2291b1ea
- Fixes links in stance tutorials · 30246dfd
  Allan Blanchard authored 4 years ago
  
  30246dfd
- Adds old site tutorials · c1b9594e
  Allan Blanchard authored 4 years ago
  
  c1b9594e
- New tutorials page · bd85f4d5
  Allan Blanchard authored 4 years ago
  
  bd85f4d5
- Merge branch 'recent-events' into 'master' · 7e76479a
  Allan Blanchard authored 4 years ago
  
  Adds recent events to timeline Closes #2 See merge request !46
  7e76479a
Sep 01, 2020
- Merge branch 'add-acsl-importer' into 'master' · 08fe063d
  Allan Blanchard authored 4 years ago
  
  Adds ACSL importer Closes #16 See merge request !47
  08fe063d
- Update acsl-importer.md · fed01928
  Patrick Baudin authored 4 years ago
  
  fed01928
- Merge branch 'add-acsl-importer' of... · e5c75917
  Allan Blanchard authored 4 years ago
  
  Merge branch 'add-acsl-importer' of git.frama-c.com:frama-c/frama-c.frama-c.com into add-acsl-importer
  e5c75917
- Add contact information to ACSL importer. · b9e4a2e1
  Allan Blanchard authored 4 years ago
  
  b9e4a2e1
- Adds ACSL importer · 998cfd48
  Allan Blanchard authored 4 years ago
  
  998cfd48
- Merge branch 'better-acsl-page-css' into 'master' · 3d38b863
  Allan Blanchard authored 4 years ago
  
  Improves ACSL page on mobile See merge request !48
  3d38b863
- Updates Frama-Clang · 843275ea
  Allan Blanchard authored 4 years ago
  
  843275ea
- Adds Scandium · 12de067d
  Allan Blanchard authored 4 years ago
  
  12de067d
- Adds Calcium · f647f1cb
  Allan Blanchard authored 4 years ago
  
  f647f1cb