Commits · 5211cbf05152727e9b1ecf5ea4096eb94041bbed · pub / frama-c · GitLab

Snippets Groups Projects

Oct 30, 2019
- Use proper option names for arguments of `Dynamic.Parameter.*.get` · 5211cbf0
  Virgile Prevosto authored 6 years ago
  
  It appears that the alias mechanism does not inform `Dynamic` of the aliases
  5211cbf0
- [sarif] Minimal generation of a sarif object + introducing mdr_register.ml · 246282e2
  Virgile Prevosto authored 6 years ago
  
  246282e2
- [sarif] slightly more json generated · 5104d394
  Virgile Prevosto authored 6 years ago
  
  5104d394
- A version for MdR · 596e38e8
  Virgile Prevosto authored 6 years ago
  
  596e38e8
- [sarif] skeleton of sarif object generated · cce26385
  Virgile Prevosto authored 6 years ago
  
  cce26385
- Refactor cmdline options that decide what kind of output should be generated · 8c1b25ab
  Virgile Prevosto authored 6 years ago
  
  8c1b25ab
- [sarif] proper handling of dictionaries + more regular structure · 1758b331
  Virgile Prevosto authored 6 years ago
  
  1758b331
- [sarif] prepare proper handling of dictionaries · 57b6c657
  Virgile Prevosto authored 6 years ago
  
  57b6c657
- [sarif] initial version of the sarif schema implementation · ccea170c
  Virgile Prevosto authored 6 years ago
  
  ccea170c
- 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