Commits · 3c6cd5e745cfd7664551d42051d40406fa628738 · pub / Frama-C Website · GitLab

Snippets Groups Projects

May 12, 2020
- Merge branch 'acsl-and-kernel-pages' into 'master' · 3c6cd5e7
  Andre Maroneze authored 4 years ago
  
  Acsl and kernel pages See merge request !34
  3c6cd5e7
- Restores wrapping for sidenotes · 58be2577
  Allan Blanchard authored 4 years ago
  
  58be2577
- Typos in ACSL + Kernel · 44ca18f9
  Allan Blanchard authored 4 years ago
  
  44ca18f9
- Update post.html · c7d0a6bb
  Augustin Lemesle authored 4 years ago and Allan Blanchard committed 4 years ago
  
  c7d0a6bb
- Typos in ACSL · 6d94422e
  Allan Blanchard authored 4 years ago
  
  6d94422e
- Links in Kernel page · 1ace0fe3
  Allan Blanchard authored 4 years ago
  
  1ace0fe3
- Shortens the Kernel page · f49304f3
  Allan Blanchard authored 4 years ago
  
  f49304f3
- ACSL · a22c6714
  Allan Blanchard authored 4 years ago
  
  a22c6714
- Example of sidenotes in the ACSL page. · ae1b4f9c
  David Bühler authored 4 years ago and Allan Blanchard committed 4 years ago
  
  ae1b4f9c
- New CSS tags to create sidenotes to the right of code. · b3929590
  David Bühler authored 4 years ago and Allan Blanchard committed 4 years ago
  
  b3929590
May 11, 2020
- Merge branch 'feature/install/macos' into 'master' · f389f5b9
  Augustin Lemesle authored 4 years ago
  
  [get-frama-c] macOS installation See merge request !35
  f389f5b9
- Merge branch 'feature/copyright' into 'master' · 2ed2024b
  Augustin Lemesle authored 4 years ago
  
  [copyright] fix copyright style See merge request !36
  2ed2024b
- Merge branch 'plugins-to-markdown' into 'master' · 25f08270
  Augustin Lemesle authored 4 years ago
  
  [plugins] Convert to Markdown, normalize section names and URLs See merge request !30
  25f08270
- [copyright] fix copyright style · 3b2500ef
  Loïc Correnson authored 4 years ago
  
  3b2500ef
- [get-frama-c] macOS installation · 9c7e0fbf
  Loïc Correnson authored 4 years ago
  
  9c7e0fbf
May 07, 2020
- Update download/hello.tgz · 681ff7ab
  Augustin Lemesle authored 4 years ago
  
  681ff7ab
- Merge branch 'master' of git.frama-c.com:pub/pub.frama-c.com · 2cb6afea
  Augustin Lemesle authored 4 years ago
  
  2cb6afea
- add .pdf · 358fefbc
  Augustin Lemesle authored 4 years ago
  
  358fefbc
- remove .PDF · 58a69d53
  Augustin Lemesle authored 4 years ago
  
  58a69d53
- Merge branch 'new-gui-page' into 'master' · bcd926d3
  Augustin Lemesle authored 4 years ago
  
  [GUI] add feature page for GUI See merge request !33
  bcd926d3
- Adds description of the Instantiate plug-in · 6b4943e1
  Allan Blanchard authored 4 years ago
  
  6b4943e1
- Removes the line after the last tabLink. · bd3a2f45
  David Bühler authored 4 years ago
  
  bd3a2f45
- Do not lock the active tabLink when on a plugin page. · be491dd3
  David Bühler authored 4 years ago
  
  The user should be able to return to the plugins list from a plugin page.
  be491dd3
- Prettier front matter and plugin list · 6ce5855f
  Augustin Lemesle authored 4 years ago
  
  6ce5855f
May 06, 2020
- Minor fixes to plugins markdown description. · 9ca34d83
  David Bühler authored 4 years ago
  
  9ca34d83
- Uses the non-breaking hyphen unicode dash in the Eva markdown description. · cf78d391
  David Bühler authored 4 years ago
  
  cf78d391
- [GUI] add feature page for GUI · 3b149b12
  Andre Maroneze authored 4 years ago
  
  3b149b12
- Minor fixes to the plugins markdown description. · 5dfb2033
  David Bühler authored 4 years ago
  
  5dfb2033
- Defines the font-size inside list as in paragraphs. · fb68c933
  David Bühler authored 4 years ago
  
  fb68c933
- Redesigns the CSS for the plugin pages generated from markdown files. · bf919e2e
  David Bühler authored 4 years ago
  
  bf919e2e
- [plugins] Convert to Markdown, normalize section names and URLs, update text · c68413b8
  Andre Maroneze authored 4 years ago and David Bühler committed 4 years ago
  
  c68413b8
- Merge branch 'calendar' into 'master' · 3b633685
  Augustin Lemesle authored 4 years ago
  
  Better timeline See merge request !32
  3b633685
- Clean headers and navbar · 40d6b87c
  Augustin Lemesle authored 4 years ago
  
  40d6b87c
- clean tabs · 7261180a
  Augustin Lemesle authored 4 years ago
  
  7261180a
- fix background of timeline · bd57333e
  Augustin Lemesle authored 4 years ago
  
  bd57333e
- Merge branch 'master' of git.frama-c.com:pub/pub.frama-c.com · 72007524
  Augustin Lemesle authored 4 years ago
  
  72007524
- add layouts for features · 9347b24f
  Augustin Lemesle authored 4 years ago
  
  9347b24f
- Timeline: even more events from the past. · ecf0f977
  David Bühler authored 4 years ago
  
  ecf0f977
- Timeline: removes the mask of the time line. · 00d4e9a5
  David Bühler authored 4 years ago
  
  The mask does not work on chrome, and leads to visual bugs on firefox when the window is resized.
  00d4e9a5
- Timeline: tweaks sizes and positions. · 22bbdf86
  David Bühler authored 4 years ago
  
  22bbdf86