Commits · 55e080fa34f906c0a1394d8d312edd2a9cc27177 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 21, 2020
- [ivette] Reset table whenever the selection changes. · 55e080fa
  Michele Alberti authored 4 years ago
  
  55e080fa
- [ivette] Revert changes for dynamic columns. · 780515e6
  Michele Alberti authored 4 years ago
  
  780515e6
- [ivette] linting... · 0cf22b72
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  0cf22b72
- [dome] add documentation on table column callbacks · c55fd76b
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  c55fd76b
- [ivette] fix dynamic column renderers · bf779288
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  bf779288
- [dome] upgrade dev-tools · e9d6bdfb
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  e9d6bdfb
- [Ivette] adjust columns of value component · 977c4462
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  977c4462
- [dome] catch exception when loading dev-tools · 9ee53b74
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  9ee53b74
- [ivette] adding a test case for EVA · 143f48c7
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  143f48c7
- [ivette] Dynamic visibility of column for after values. · 3c5048a0
  Michele Alberti authored 4 years ago
  
  3c5048a0
- [ivette] First try to render ColumnAlarm only when needed. · 6e5230bd
  Michele Alberti authored 4 years ago
  
  6e5230bd
- [ivette] Do not show before and after columns when no (expression) name is available. · 9f1260b6
  Michele Alberti authored 4 years ago
  
  9f1260b6
- [ivette] Update Values to marker API changes, and make Eva Values table to... · 2f281140
  Michele Alberti authored 4 years ago
  
  [ivette] Update Values to marker API changes, and make Eva Values table to filter out not related localizables.
  2f281140
- [ivette] Update ASTview to marker API changes. · 5b8a2ae1
  Michele Alberti authored 4 years ago
  
  5b8a2ae1
- [server] Kernel ast: changes MarkerKind and adds MarkerVar to the markers array. · bf91559d
  David Bühler authored 4 years ago and Michele Alberti committed 4 years ago
  
  Makes marker kinds a direct reflection of the ocaml type; removes the 'variable' and 'function' kinds. Adds a new column to the synchronized array of markers that indicates if a marker is a variable, a function, or something else.
  bf91559d
- [ivette] Update to generated server API. · 926ffa08
  Michele Alberti authored 4 years ago
  
  926ffa08
- [Eva] Rename registered data and services. · 50eab52e
  Michele Alberti authored 4 years ago
  
  50eab52e
- [Eva] Again on rebasing on new server API. · 44196c3c
  Michele Alberti authored 4 years ago
  
  44196c3c
- [Eva] Update to server API changes. · 602f9624
  Michele Alberti authored 4 years ago
  
  602f9624
- [ivette] Update to table model changes. · 5edc13f7
  Michele Alberti authored 4 years ago
  
  5edc13f7
- [ivette] New component displaying the values inferred by an Eva analysis. · cf4c4b09
  David Bühler authored 4 years ago and Michele Alberti committed 4 years ago
  
  cf4c4b09
- [Eva] New request returning the values inferred by the analysis. · fba51f48
  David Bühler authored 4 years ago and Michele Alberti committed 4 years ago
  
  fba51f48
- Merge branch 'feature/basile/eacsl-remove-fc-dev-output' into 'master' · 6f0c0f10
  Julien Signoles authored 4 years ago
  
  [eacsl] Update tests See merge request frama-c/frama-c!2756
  6f0c0f10
Jul 20, 2020
- Merge branch 'bugfix/basile/eacsl-124-gen-globals-order' into 'master' · a45e9d2b
  Basile Desloges authored 4 years ago
  
  [eacsl] Fix order of generated globals Closes e-acsl#124 See merge request frama-c/frama-c!2761
  a45e9d2b
- [opam] update URL for bug reports · 641f788e
  Andre Maroneze authored 4 years ago
  
  641f788e
- [eacsl] Update changelog · 2125e328
  Basile Desloges authored 4 years ago
  
  2125e328
- [eacsl] Update tests · 87564b2b
  Basile Desloges authored 4 years ago
  
  87564b2b
- [eacsl:codegen] Fix order of generated functions · 58434afe
  Basile Desloges authored 4 years ago
  
  58434afe
- [eacsl:tests] Fix missing include in bts2252.c · 9bd40552
  Basile Desloges authored 4 years ago
  
  9bd40552
- [eacsl:tests] Remove obsolete oracles · b6d2d297
  Basile Desloges authored 4 years ago
  
  b6d2d297
Jul 18, 2020
- Merge branch 'feature/basile/test-config-in-makefile' into 'master' · 4a5370dd
  Julien Signoles authored 4 years ago
  
  [eacsl:tests] Allow the use of `PTESTS_OPTS` to change the test configuration See merge request frama-c/frama-c!2758
  4a5370dd
Jul 17, 2020
- Merge branch 'feature/ptests/noframac' into 'master' · 7beacaf3
  Andre Maroneze authored 4 years ago
  
  Ptests enhancement: new directive NOFRAMAC and fix configuration scanning Closes #848 and #916 See merge request frama-c/frama-c!2759
  7beacaf3
- [tests] apply new NOFRAMAC directive to existing test · 8b1535a8
  Andre Maroneze authored 4 years ago
  
  8b1535a8
- [ptests] only scan a comment for directives if it introduces a configuration · adbcf8fe
  Virgile Prevosto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  adbcf8fe
- [devman] documentation for NOFRAMAC · fc9d8662
  Virgile Prevosto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  fc9d8662
- [devman] add missing documentation of TIMEOUT directive · 2467774a
  Virgile Prevosto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  2467774a
- [ptests] count EXEC: directives as run · 4a9a193e
  Virgile Prevosto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  4a9a193e
- [tests] use NOFRAMAC for E-ACSL 'dev' test config · dbe66dce
  Virgile Prevosto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  dbe66dce
- [ptests] add NOFRAMAC directive in ptests · 17239f30
  Virgile Prevosto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  17239f30
- Merge branch 'feature/ivette/fix-array-sync' into 'master' · cf85d0fe
  Michele Alberti authored 4 years ago
  
  [dome] fixed synchronized array API See merge request frama-c/frama-c!2757
  cf85d0fe