Commits · master · pub / ltest / lannotate

Sep 20, 2024
- Merge branch 'feature/steven/add-option-to-annot-callees' into 'master' · 3cd4633c
  Thibault Martin authored 6 months ago
  
  Adds an option to annotate functions and their callees See merge request labels/lannotate!7
  3cd4633c
- Add a test for -lannot-with-called · a55e7ddd
  Thibault Martin authored 6 months ago
  
  a55e7ddd
- Minor fixes and lint · 4ee936c0
  Thibault Martin authored 6 months ago
  
  4ee936c0
- Adds an option to annotate functions and their callers · 65a37ee2
  Steven de Oliveira authored 7 months ago and Thibault Martin committed 6 months ago
  
  Adds an option to specify callees of a selected set of functions. It depends the Callgraph plugin.
  65a37ee2
Sep 03, 2024
- [ci] update minimal OCaml version following Frama-C's kernel changes · 38ae8175
  Virgile Prevosto authored 7 months ago
  
  38ae8175
Sep 02, 2024
- [compat] update against Postdominators plug-in removal and other API changes · 5c3b22a9
  Virgile Prevosto authored 7 months ago
  
  5c3b22a9
Aug 01, 2024
- [compat] update against changes in kernel's API · 4fd49a55
  Virgile Prevosto authored 8 months ago
  
  4fd49a55
Jul 11, 2024
- [compat] update wrt new Interpreted_automata interface · 3a4b7f63
  Virgile Prevosto authored 9 months ago
  
  3a4b7f63
Jul 03, 2024
- [Compatibility] Replace pragma unroll by unfold · 8042b22d
  Thibault Martin authored 9 months ago
  
  8042b22d
- Remove generated opam file · aec20c43
  Thibault Martin authored 9 months ago
  
  aec20c43
Jun 18, 2024
- Merge branch 'stable/copper' into 'master' · bd0f98ce
  Virgile Prevosto authored 9 months ago
  
  Merge Stable/copper See merge request labels/lannotate!6
  bd0f98ce
- Add opam file · f074f33e
  Thibault Martin authored 9 months ago
  
  View commits for tag 0.2.3 0.2.3
  
  f074f33e
Jun 14, 2024
- Bump Lannotate version · 1137bade
  Thibault Martin authored 9 months ago
  
  1137bade
- Bump frama-c version, add dune/ocaml version dependencies · 720bbc56
  Thibault Martin authored 9 months ago
  
  720bbc56
- Remove Db and add PostDominators dependency · b33b7351
  Thibault Martin authored 9 months ago
  
  b33b7351
- Fix fun used to enable LAnnot, Db -> Boot · a24517b5
  Thibault Martin authored 9 months ago
  
  a24517b5
Jan 31, 2024
- Version bump · dd74fcbc
  Virgile Prevosto authored 1 year ago
  
  dd74fcbc
Aug 04, 2023
- test ci rule · b44e5a4e
  Virgile Prevosto authored 1 year ago
  
  b44e5a4e
- test ci rule · 2af29c06
  Virgile Prevosto authored 1 year ago
  
  2af29c06
- test ci rule · fb43183d
  Virgile Prevosto authored 1 year ago
  
  fb43183d
- test ci rule · 82f38f68
  Virgile Prevosto authored 1 year ago
  
  82f38f68
- Fix rule activation conditions · 52fd265c
  Virgile Prevosto authored 1 year ago
  
  52fd265c
- Fix rules for jobs activation · 87ca304e
  Virgile Prevosto authored 1 year ago
  
  87ca304e
- Do not lint or check headers when only testing for compatibility with current Frama-C master · 983d0021
  Virgile Prevosto authored 1 year ago
  
  983d0021
- update against kernel API changes · b0f78242
  Virgile Prevosto authored 1 year ago
  
  b0f78242
- Bump OCaml version in CI · 0534170e
  Virgile Prevosto authored 1 year ago
  
  0534170e
- bump Frama-C version · da72d8e3
  Virgile Prevosto authored 1 year ago
  
  View commits for tag 0.2.1 0.2.1
  
  da72d8e3
Jan 17, 2023
- Use new Interpreted_automata fun for iterating over stmts in fixed order · d5fb3fb4
  Virgile Prevosto authored 2 years ago
  
  d5fb3fb4
Dec 09, 2022
- Merge branch 'upgrade/ci/4.14' into 'master' · a964d351
  Virgile Prevosto authored 2 years ago
  
  Continuous Integration See merge request labels/lannotate!5
  a964d351
Oct 12, 2022
- fix name of nix target in CI · 003ff928
  Virgile Prevosto authored 2 years ago
  
  003ff928
- Add lint target and fix indentation · ddcba163
  Virgile Prevosto authored 2 years ago
  
  ddcba163
- check-headers should ignore ci-related files · 2775ebe7
  Virgile Prevosto authored 2 years ago
  
  2775ebe7
- update nix instructions from template · 55a53b69
  Virgile Prevosto authored 2 years ago
  
  55a53b69
- prepare CI for lannotate · 76a6365b
  Virgile Prevosto authored 2 years ago
  
  76a6365b
- use standard Frama-C mechanism for dealing with file headers · b2c1df8a
  Virgile Prevosto authored 2 years ago
  
  b2c1df8a
- dunification of tests and share dir · 51f02e39
  Virgile Prevosto authored 2 years ago
  
  51f02e39
Oct 11, 2022
- create sample Makefile and update dune/opam integration · 85f1bcd4
  Virgile Prevosto authored 2 years ago
  
  85f1bcd4
- migrate to dune compilation · 0d5d1b5a
  Virgile Prevosto authored 2 years ago
  
  0d5d1b5a
Aug 25, 2022
- update opam instructions · 3c103d7e
  Virgile Prevosto authored 2 years ago
  
  View commits for tag 0.2 0.2
  
  3c103d7e
- Merge branch 'changes_mutations_bounded_dataflow' into 'stable/manganese' · d093ff15
  Virgile Prevosto authored 2 years ago
  
  Changes for mutations and bounded dataflow See merge request labels/lannotate!4
  d093ff15