Commits · b9d43a8a16771b2464c59e6c4a33fe3c5c1e98e2 · pub / frama-c · GitLab

Snippets Groups Projects

Apr 01, 2022
- [server] Adds the location in marker informations. · b9d43a8a
  David Bühler authored 3 years ago
  
  b9d43a8a
- [server] Adds the type of the varinfo in a declaration marker information. · 5c1ed150
  David Bühler authored 3 years ago
  
  5c1ed150
- [ivette/astinfo] simplified selection · 72ab42e9
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  72ab42e9
- [ivette/astinfo] conforms to color mode · 8e98542b
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  8e98542b
- [ivette/richtext] fix richtext buffer self-destruction · a2a8c73c
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  a2a8c73c
- [headers] fix headers · 982d0477
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  982d0477
- [ivette/api] fix signal generation · 31f7e1bd
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  31f7e1bd
- [ivette] AST informations · eb05e7ac
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  eb05e7ac
- [server] fix documentation · db19b37a
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  db19b37a
- [server] export more API · 92dfcb65
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  92dfcb65
- [ivette] ranked extension points · 7b77bdd2
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  7b77bdd2
- [ivette] hooks on hovered selection · 2b7252e4
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  2b7252e4
- [dome] fix settings hooks · 5420e310
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  5420e310
- Merge branch 'feature/ivette/fix-synchro' into 'master' · e9d8ccd7
  David Bühler authored 2 years ago
  
  [ivette] fix server-synchro problems Closes #860 and #1113 See merge request frama-c/frama-c!3684
  e9d8ccd7
- Merge branch 'fix/andre/e-acsl-gcc-help-examples' into 'master' · fbc88554
  Julien Signoles authored 2 years ago
  
  [e-acsl] provide some examples in e-acsl-gcc.sh help message See merge request frama-c/frama-c!3685
  fbc88554
- [ivette] server more connection retries · 1dba1ef3
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  1dba1ef3
- [server] fixed socket server default size · eb13f169
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  eb13f169
- [server] Improves the stopping condition of functions [send_bytes]. · 07750492
  David Bühler authored 3 years ago
  
  07750492
- [ivette] Server: uses [clearInterval] instead of [clearTimeout] to stop polling. · 357fb3b1
  David Bühler authored 3 years ago
  
  357fb3b1
- [server] larger default socket max size · 7e63db25
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  7e63db25
- [server] maximal socket buffer size · 12f02be6
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  12f02be6
- [server] signaling cmdline once ; replies order · 44f0e1f1
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  44f0e1f1
- [server] better trace with debug 2 · d59d58d8
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  d59d58d8
- [ivette] only stop polling when no pending rqs · a1c7bc19
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  a1c7bc19
- [server] more robust socket read & send routines · 504ca843
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  504ca843
- [ivette] keep server running on running · b8369434
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  b8369434
- [server] updated server doc · 20fae7a6
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  20fae7a6
- [ivette+server] cmdline aware server & client · 1848895a
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  1848895a
- [server] identifies cmdline stages · 728f46a7
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  728f46a7
- [server] small refactoring · 1168ef11
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  1168ef11
- [ivette] synchro client/server polling rates · c466cda0
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  c466cda0
- [server] force flushing of in & out socket buffers · 0dde5a0f
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  0dde5a0f
- [ivette] better feedback on polling · 0c0b4ba4
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  0c0b4ba4
- [ivette] reducing polling & response latency · eb44670c
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  eb44670c
- [server/socket] force flushing bsnd on polling · 81b7ef80
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  81b7ef80
- [Ivette] force emit signal in case of errors · 7b6c6aab
  Loïc Correnson authored 3 years ago and David Bühler committed 2 years ago
  
  7b6c6aab
Mar 31, 2022
- Merge branch 'feature/kernel/upgrade-ocp-indent' into 'master' · 5e23a535
  Virgile Prevosto authored 3 years ago
  
  Uses ocp-indent 1.8.1 for indentation (instead of 1.7.0). See merge request frama-c/frama-c!3679
  5e23a535
Mar 30, 2022
- Uses ocp-indent 1.8.1 for indentation (instead of 1.7.0). · 9e7a96ac
  David Bühler authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  9e7a96ac
- [e-acsl] provide some examples in e-acsl-gcc.sh help message · 6344a031
  Andre Maroneze authored 3 years ago
  
  6344a031
Mar 29, 2022
- Merge branch 'fix/andre/cpp-replace-extra-args' into 'master' · 9ab42aaf
  Andre Maroneze authored 3 years ago
  
  [Kernel] refactor some preprocessing functions See merge request frama-c/frama-c!3142
  9ab42aaf