Commits · 18b86fad7868f42bfe3e1ac20be32bcbb70e893b · pub / frama-c · GitLab

Snippets Groups Projects

Oct 30, 2019
- Start investigating sarif support · 18b86fad
  Virgile Prevosto authored 6 years ago
  
  18b86fad
- update to changes in kernel API · 83fcd38f
  Virgile Prevosto authored 6 years ago
  
  83fcd38f
- [output] work around a pandoc/latex issue over anchors' names · 7bfe9929
  Virgile Prevosto authored 6 years ago
  
  7bfe9929
- [remarks] remove blank lines at beginning/end of remarks · 34619b9f
  Virgile Prevosto authored 6 years ago
  
  34619b9f
- [draft] keep remarks between two runs in draft mode + remark on stub section · e3620d0e
  Virgile Prevosto authored 6 years ago
  
  still TODO: allows grouping stubs into categories of related functions
  e3620d0e
- [stubs] normalize filenames for stub files. · 8a2779bb
  Virgile Prevosto authored 6 years ago
  
  8a2779bb
- add acsl.xml for pandoc highlighting + better Makefile · b73e5ae2
  Virgile Prevosto authored 7 years ago
  
  b73e5ae2
- fixes function calls computation in eva coverage · 741564aa
  Virgile Prevosto authored 7 years ago
  
  741564aa
- style · 49e90e02
  Virgile Prevosto authored 7 years ago
  
  49e90e02
- Don't forget to add remarks over stub functions in the final document · e02997ec
  Virgile Prevosto authored 7 years ago
  
  e02997ec
- Fixes typo · ba13a79f
  Virgile Prevosto authored 7 years ago
  
  ba13a79f
- Fix regex (and other bugs) for parsing remarks · 535fa718
  Virgile Prevosto authored 7 years ago
  
  535fa718
- Debug info when parsing remark files · 6d6d8831
  Virgile Prevosto authored 7 years ago
  
  6d6d8831
- Better coverage metrics · fc5cf3eb
  Virgile Prevosto authored 7 years ago
  
  fc5cf3eb
- better handling of Raw material · be01f75e
  Virgile Prevosto authored 7 years ago
  
  be01f75e
- Work-around for having not-too-ugly tables in LaTeX output · f13507e2
  Virgile Prevosto authored 7 years ago
  
  f13507e2
- typo · 18896e17
  Virgile Prevosto authored 7 years ago
  
  18896e17
- Fix order of warnings · 2598e54b
  Virgile Prevosto authored 7 years ago
  
  2598e54b
- Simplify list of input files · 6372943d
  Virgile Prevosto authored 7 years ago
  
  6372943d
- add -mdr-title option · c08b29eb
  Virgile Prevosto authored 7 years ago
  
  c08b29eb
- coverage information · 87e63f58
  Virgile Prevosto authored 7 years ago
  
  87e63f58
- eva coverage, first version · 04f9186c
  Virgile Prevosto authored 7 years ago
  
  04f9186c
- Fix version typo · 3ac9c1fa
  Florent Kirchner authored 7 years ago and Virgile Prevosto committed 5 years ago
  
  3ac9c1fa
- Start generation of coverage statistics · bc6615a7
  Virgile Prevosto authored 7 years ago
  
  bc6615a7
- infrastructure for inserting non-generated remarks in the report · 24de661a
  Virgile Prevosto authored 7 years ago
  
  24de661a
- Fixes wrong usage of Globals.FileIndex.get_function · a2cebea6
  Virgile Prevosto authored 7 years ago
  
  a2cebea6
- start taking additional markdown into account · 2835eced
  Virgile Prevosto authored 7 years ago
  
  2835eced
- Fix event formatting and Flamegraph caption. · 104b49c7
  Florent Kirchner authored 7 years ago and Virgile Prevosto committed 5 years ago
  
  104b49c7
- Add requirements and example to README · 4e914773
  Florent Kirchner authored 7 years ago and Virgile Prevosto committed 5 years ago
  
  4e914773
- Add FlameGraph parameter · ac1a86db
  Florent Kirchner authored 7 years ago and Virgile Prevosto committed 5 years ago
  
  ac1a86db
- Fix markdown formatting issues · 2a7804f8
  Florent Kirchner authored 7 years ago and Virgile Prevosto committed 5 years ago
  
  2a7804f8
- [Doc] Fix output of -mdr-h · 89d8ff94
  Florent Kirchner authored 7 years ago and Virgile Prevosto committed 5 years ago
  
  89d8ff94
- [Fix] Downgrade to 4.04 · 2f359973
  Florent Kirchner authored 7 years ago and Virgile Prevosto committed 5 years ago
  
  2f359973
- Preparing inclusion of handwritten remarks · 9b9027d2
  Virgile Prevosto authored 7 years ago
  
  9b9027d2
- preparing manual addition of remarks into the report · ccb6c034
  Virgile Prevosto authored 7 years ago
  
  ccb6c034
- Initial version of markdown generator · e60a67fa
  Virgile Prevosto authored 7 years ago
  
  e60a67fa
Oct 29, 2019
- [Kernel] Fixes the help message of the deprecated option -warn-decimal-float. · 0ac24004
  David Bühler authored 5 years ago
  
  0ac24004
- Merge branch 'fix/andre/libc-wchar' into 'master' · b5cf31b5
  Andre Maroneze authored 5 years ago
  
  [Libc] Fix/improve several specifications Closes #693 See merge request frama-c/frama-c!2347
  b5cf31b5
- [Libc] more fixes after review · 6664c43f
  Andre Maroneze authored 5 years ago
  
  6664c43f
- [Libc] fix libc spec: utimes; add test · 4eab1f50
  Andre Maroneze authored 5 years ago
  
  4eab1f50