Commits · feature/contact/more-visible-links · pub / Frama-C Website

15 Dec, 2021 2 commits
- Reorganizes contact to make community more visible · b06887f0
  Allan Blanchard authored Dec 15, 2021
  
  b06887f0
- Merge branch 'improve-get-frama-c' into 'master' · a896bea7
  Allan Blanchard authored Dec 15, 2021
```
Improve get frama c

See merge request !137
```
  a896bea7
14 Dec, 2021 2 commits
- fix Frama-C Twitter account handle · 0df6453c
  Andre Maroneze authored Dec 14, 2021
  
  0df6453c
- add more prominent link to INSTALL.md in Get-Frama-C · 35b5f2f4
  Andre Maroneze authored Dec 14, 2021
  
  35b5f2f4
01 Dec, 2021 6 commits
- Merge branch 'fix/main-manuals' into 'master' · 72944810
  Allan Blanchard authored Dec 01, 2021
```
Fix/main manuals

See merge request !136
```
  72944810
- Fix main RTE manual · 91f9a2a3
  Allan Blanchard authored Dec 01, 2021
  
  91f9a2a3
- Fix main ACSL implementation manual · ccaead2e
  Allan Blanchard authored Dec 01, 2021
  
  ccaead2e
- Merge branch 'fix/manuals-version-number' into 'master' · 5543d48c
  Allan Blanchard authored Dec 01, 2021
```
fix version numbers in manuals

See merge request !135
```
  5543d48c
- fix version numbers in manuals · bd618ae9
  Virgile Prevosto authored Dec 01, 2021
  
  bd618ae9
- Merge branch 'release/stable-24.0-chromium' into 'master' · 314380fc
  Allan Blanchard authored Dec 01, 2021
```
24.0-Chromium release

See merge request !134
```
  314380fc
30 Nov, 2021 1 commit
- 24.0-Chromium release · 90e90ddf
  Virgile Prevosto authored Nov 30, 2021
  
  90e90ddf
10 Nov, 2021 4 commits
- minor · b6b65ec1
  Thibaud Antignac authored Nov 10, 2021
  
  b6b65ec1
- researcher/engineer -> computer scientist · 91bf8dc5
  Thibaud Antignac authored Nov 10, 2021
  
  91bf8dc5
- Merge branch 'pub/add/cacm-dog-pursuit' into 'master' · c41e2c8e
  Allan Blanchard authored Nov 10, 2021
```
[Pub] Add publication "the dog pursuit"

See merge request !133
```
  c41e2c8e
- [Pub] Add publication "the dog pursuit" · 24597393
  Allan Blanchard authored Nov 09, 2021
  
  24597393
09 Nov, 2021 6 commits
- Merge branch 'feature/fc-discuss-archives' into 'master' · 0960762c
  Allan Blanchard authored Nov 09, 2021
```
Frama-C discuss old archives

See merge request !130
```
  0960762c
- Changes mailing list generation and fixes display · d3e469d1
  Allan Blanchard authored Nov 09, 2021
  
  d3e469d1
- Fix CSS minifying · 5e93d30d
  Allan Blanchard authored Nov 09, 2021
  
  5e93d30d
- CSS Lint · 251459cf
  Allan Blanchard authored Nov 09, 2021
  
  251459cf
- Fixes CSS syntax · a7b5e580
  Allan Blanchard authored Nov 09, 2021
  
  a7b5e580
- Improve old mailing list display · 10eef179
  Allan Blanchard authored Nov 09, 2021
  
  10eef179
08 Nov, 2021 3 commits
- [archives] better description of the old archive on the contact page. · 166da624
  Virgile Prevosto authored Nov 08, 2021
  
  166da624
- [archives] better integration with website · 854b25f3
  Virgile Prevosto authored Nov 08, 2021
  
  854b25f3
- [archives] mhonarc file generations is not done server side · 6aa56519
  Virgile Prevosto authored Nov 08, 2021
```
Since mhonarc-generated files are not really supposed to change once
the corresponding MR has been merged (basically, an appropriate layout
should be designed and changes be made to this layout), it seems useless
to have the server install mhonarc and try to regenerate these files at
each commit
```
  6aa56519
05 Nov, 2021 7 commits
- [archives] generates archives files trhough ci · e953103c
  Virgile Prevosto authored Nov 05, 2021
  
  e953103c
- [archives] use jekyll on mhonarc-generated files as well · 1f9b41d9
  Virgile Prevosto authored Nov 05, 2021
  
  1f9b41d9
- .gitignore · 1ee0cb27
  Virgile Prevosto authored Nov 05, 2021
  
  1ee0cb27
- [archives] fix URL of Renater's archives · 276dfec3
  Virgile Prevosto authored Nov 05, 2021
  
  276dfec3
- [archives] draft script working · ae611a95
  Virgile Prevosto authored Oct 12, 2021
  
  ae611a95
- ignore fc-discuss in jekyll rendering · ce620cae
  Virgile Prevosto authored Oct 12, 2021
  
  ce620cae
- [archives] put raw archives of fc-discuss + draft conversion script to html · 51549d07
  Virgile Prevosto authored Oct 12, 2021
  
  51549d07
04 Nov, 2021 2 commits
- Merge branch 'release/beta-24.0-beta-chromium' into 'master' · 17d20a75
  Virgile Prevosto authored Nov 04, 2021
```
24.0-beta-Chromium release

See merge request !132
```
  17d20a75
- 24.0-beta-Chromium release · c3af54fb
  Virgile Prevosto authored Nov 04, 2021
  
  c3af54fb
15 Oct, 2021 2 commits
- Merge branch 'blog-old-frama-c-docker' into 'master' · 1b7def1f
  Andre Maroneze authored Oct 15, 2021
```
[blog] new post about old Frama-C Docker images

See merge request !131
```
  1b7def1f
- [blog] new post about old Frama-C Docker images · 36d244ec
  Andre Maroneze authored Oct 15, 2021
  
  36d244ec
06 Aug, 2021 5 commits
- Merge branch 'jobs/e-acsl-2021-0' into 'master' · 69b71e04
  Allan Blanchard authored Aug 06, 2021
```
2 postdoc and 1 PhD positions on runtime verification

See merge request !129
```
  69b71e04
- [Jobs] Few typos · 240cfc2e
  Allan Blanchard authored Aug 06, 2021
  
  240cfc2e
- [Jobs] Adds short title to pages · cc53394c
  Allan Blanchard authored Aug 06, 2021
  
  cc53394c
- [Jobs] Complete runtime verification jobs desc · 45694588
  Allan Blanchard authored Aug 06, 2021
  
  45694588
- [Job] Fixes postdoc -> PḧD for an offer · 6e92f428
  Allan Blanchard authored Aug 06, 2021
  
  6e92f428