Frama-C Website merge requestshttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests2023-05-17T07:04:41Zhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/193[publications] Add section for listing all theses in one place2023-05-17T07:04:41ZVirgile Prevosto[publications] Add section for listing all theses in one placeAllan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/184[publications] generate BibTeX entries for phdthesis/manual categories2023-03-23T13:48:22ZAndre Maroneze[publications] generate BibTeX entries for phdthesis/manual categories- 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 `phdthe...- 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` entriesAndre MaronezeAndre Maronezehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/183Publications add dois2023-03-21T08:19:25ZAndre MaronezePublications add doisAdds DOIs for all documents for which I could find them.
Also normalizes 'link:' entries by adding double quotes around all of them.
Unfortunately also changes several files due to previously absent terminating newline.Adds DOIs for all documents for which I could find them.
Also normalizes 'link:' entries by adding double quotes around all of them.
Unfortunately also changes several files due to previously absent terminating newline.Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/1252 new E-ACSL publis2021-07-13T11:33:42ZJulien Signoles2 new E-ACSL publisAllan BlanchardAllan Blanchard