Commits · 062916e81947d95056159b4e911d26603504bcf1 · pub / Frama-C Website · GitLab

Snippets Groups Projects

May 16, 2023
- [publications] Add section for listing all theses in one place · 8e4e75d7
  Virgile Prevosto authored 1 year ago
  
  8e4e75d7
- update list of publications with missing PhD and PILAT-related articles · b6716726
  Virgile Prevosto authored 1 year ago
  
  b6716726
Mar 21, 2023
- [publications] use citekey as bibtex dialog ID · fd588f03
  Andre Maroneze authored 1 year ago
  
  fd588f03
- [publications] unify place and school; add type for phdthesis · 20edfca7
  Andre Maroneze authored 1 year ago
  
  20edfca7
- [publications] generate BibTeX entries for phdthesis/manual categories · e14381cf
  Andre Maroneze authored 2 years ago
  
  - rename categories: manuals -> manual, tutorials -> tutorial, thesis -> phdthesis (note that this category also includes French HDR) - normalize 'authors:' field as an YAML list of strings - add 'school:' field for 'phdthesis' entries
  e14381cf
Sep 08, 2020
- further tab navigation · 25162216
  Augustin Lemesle authored 4 years ago
  
  25162216
- add color for tab navigation · 50680ac2
  Augustin Lemesle authored 4 years ago
  
  50680ac2
Sep 04, 2020
- move imgs, dead links publis · 702f0404
  Augustin Lemesle authored 4 years ago
  
  702f0404
- change menu transition at 1080px · 07f45c1b
  Augustin Lemesle authored 4 years ago
  
  07f45c1b
- menu and layout u3cat · db8fb0e1
  Augustin Lemesle authored 4 years ago
  
  db8fb0e1
Sep 03, 2020
- Makes logo compatible with dark mode · 18bde1fa
  Allan Blanchard authored 4 years ago
  
  18bde1fa
- Publications: Better details · 7c187841
  Allan Blanchard authored 4 years ago
  
  7c187841
Sep 02, 2020
- New teaching page · 45de92c7
  Allan Blanchard authored 4 years ago
  
  45de92c7
- New tutorials page · bd85f4d5
  Allan Blanchard authored 4 years ago
  
  bd85f4d5
Aug 27, 2020
- Simplifies publications generation · 29a2bfd7
  Allan Blanchard authored 4 years ago
  
  29a2bfd7
- hover black when content is empty · 88765d6c
  Augustin Lemesle authored 4 years ago and Allan Blanchard committed 4 years ago
  
  88765d6c
- Better presentation for publications · 7658fbef
  Allan Blanchard authored 4 years ago
  
  7658fbef
- New publication page system · 4987ef26
  Allan Blanchard authored 4 years ago
  
  4987ef26
- fix _ in tags · 2c2142da
  Augustin Lemesle authored 4 years ago
  
  2c2142da
- fix side-bar blog tags for category pages · 4dea621a
  Augustin Lemesle authored 4 years ago
  
  4dea621a
- add download button, fix z-index · 7a1847a3
  Augustin Lemesle authored 4 years ago
  
  7a1847a3
- clean some useless classes · 6d4cc6c3
  Augustin Lemesle authored 4 years ago
  
  6d4cc6c3
- remove js from phone menu · d04e92a3
  Augustin Lemesle authored 4 years ago
  
  d04e92a3
Aug 07, 2020
- refacto le js · 35cb983d
  Augustin Lemesle authored 4 years ago
  
  35cb983d
- More robust way to select header value · b6437b08
  Allan Blanchard authored 4 years ago
  
  b6437b08
Jun 26, 2020
- add Eva-related job offer · 64c0d179
  Andre Maroneze authored 4 years ago
  
  64c0d179
Jun 18, 2020
- Temporarily turn blog into "standalone" site · 5b7d29d6
  Andre Maroneze authored 4 years ago
  
  5b7d29d6
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
May 05, 2020
- beautify post · 41ee7895
  Augustin Lemesle authored 4 years ago
  
  41ee7895
- malberti fixes · 2324ab7a
  Augustin Lemesle authored 4 years ago
  
  2324ab7a
- fix typos in Frama-C · 68a72d8d
  Andre Maroneze authored 4 years ago
  
  68a72d8d
- fix footer · 05c5c2d8
  Augustin Lemesle authored 4 years ago
  
  05c5c2d8
Apr 06, 2020
- [blog] various layout changes and fixes · cd21f839
  Andre Maroneze authored 4 years ago
  
  cd21f839
Jan 15, 2020
- add ack · 5c17fb48
  Augustin Lemesle authored 5 years ago
  
  5c17fb48
Oct 02, 2019
- Added dokuwiki to menu instead of documentation · 3eb50897
  Augustin Lemesle authored 5 years ago
  
  Others
  3eb50897
Sep 19, 2019
- minor fixes · 15a4a9c7
  Augustin Lemesle authored 5 years ago
  
  15a4a9c7
Sep 10, 2019
- Added missing plugins · e17ee6cc
  Augustin Lemesle authored 5 years ago
  
  Images update
  e17ee6cc
Aug 29, 2019
- Kernel · 483c842d
  Augustin Lemesle authored 5 years ago
  
  483c842d
- Added blog and pagination · e1410de6
  Augustin Lemesle authored 5 years ago
  
  e1410de6