Commits · b9ef028ea9155b971f284699d3ef1bb1ba3188e6 · pub / frama-c · GitLab

Snippets Groups Projects

Jan 20, 2021
- [ivette] refine selection typing · b9ef028e
  Loïc Correnson authored 4 years ago and David Bühler committed 4 years ago
  
  b9ef028e
Dec 02, 2020
- [server] optional fields in states · 9d8937ca
  Loïc Correnson authored 4 years ago
  
  9d8937ca
Jul 09, 2020
- [ivette] merge with master · 5e9ed98e
  Loïc Correnson authored 4 years ago
  
  5e9ed98e
Jun 25, 2020
- [ivette] fix phantom key · 81e15d00
  Loïc Correnson authored 4 years ago
  
  81e15d00
Jun 24, 2020
- [ivette] fix api generation · 9db56550
  Loïc Correnson authored 4 years ago
  
  9db56550
- [ivette] state names · a216a977
  Loïc Correnson authored 4 years ago
  
  a216a977
- [server] use derived names · 4e405c95
  Loïc Correnson authored 4 years ago
  
  4e405c95
Jun 23, 2020
- [server] cleaning · fb97be03
  Loïc Correnson authored 4 years ago
  
  fb97be03
- [server] kernel ast · 90df7f9c
  Loïc Correnson authored 4 years ago
  
  90df7f9c
- [server] kernel-main · 5d8fa139
  Loïc Correnson authored 4 years ago
  
  5d8fa139
- [server] simplify descr to plain text · e5a13d37
  Loïc Correnson authored 4 years ago
  
  e5a13d37
- [server] arrays · 1f7e9627
  Loïc Correnson authored 4 years ago
  
  1f7e9627
- [server] move doc to Server_doc · 989d05a2
  Loïc Correnson authored 4 years ago
  
  989d05a2
May 26, 2020
- [server] Fixes the synchronization of states arrays. · 9ff8b276
  David Bühler authored 4 years ago and Michele Alberti committed 4 years ago
  
  Emits the array signal at the creation of the array content.
  9ff8b276
Mar 19, 2020
- [server] fix signal emission management · 02069ba1
  Loïc Correnson authored 5 years ago
  
  02069ba1
- [server] internal documentation of states · 07dff637
  Loïc Correnson authored 5 years ago
  
  07dff637
Mar 18, 2020
- [server] update copyright in headers · 4d10441a
  Loïc Correnson authored 5 years ago
  
  4d10441a
Mar 17, 2020
- [server] allows dictionary extensions · f00360d6
  Loïc Correnson authored 5 years ago
  
  - possibly delayed generation of documentation - prefix extension - API extension
  f00360d6
- [server] generator for enumerated values · 3110035e
  Loïc Correnson authored 5 years ago
  
  Application to logs, properties kind & status
  3110035e
- [ivette] fix in state items · d0638adf
  Loïc Correnson authored 5 years ago
  
  d0638adf
- [server] properties sync-array · 1e91bd6a
  Loïc Correnson authored 5 years ago
  
  1e91bd6a
- [server] install state hooks (only) on demand · 1a6c23c9
  Loïc Correnson authored 5 years ago
  
  1a6c23c9
- [server] states documentation · 4e468d35
  Loïc Correnson authored 5 years ago
  
  4e468d35
- [server] model vs. array · d1c95877
  Loïc Correnson authored 5 years ago
  
  d1c95877
- [server] states gc on signal · 691d84e6
  Loïc Correnson authored 5 years ago
  
  691d84e6
- [server] synchronized values, states & models · b5d75d2f
  Loïc Correnson authored 5 years ago
  
  b5d75d2f
- [server] (projectified) states & values · a12dd4df
  Loïc Correnson authored 5 years ago
  
  a12dd4df
Mar 06, 2020
- update copyright to 2020 · 325661e6
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  325661e6
Oct 30, 2019
- [markdown] smart constructors · 575340fb
  Loïc Correnson authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  575340fb
- [library] Promote MdR markdown module as the main Frama-C markdown lib · eb6f852a
  Virgile Prevosto authored 5 years ago
  
  eb6f852a
Mar 15, 2019
- [server] remove request functorial interface · 750c66fc
  Loïc Correnson authored 6 years ago
  
  750c66fc
- [doc/server] hints on naming constraints · 8aeddd8b
  Loïc Correnson authored 6 years ago
  
  8aeddd8b
- [doc/server] styling the documentation · 28a31db6
  Loïc Correnson authored 6 years ago
  
  28a31db6
- [server] new request API · d0f6ca84
  Loïc Correnson authored 6 years ago
  
  d0f6ca84
Mar 14, 2019
- [server] new API for a better formatting doc · 81f52945
  Loïc Correnson authored 6 years ago
  
  Incomplete : request API must also change
  81f52945
Mar 13, 2019
- [server] update headers · 9ce2c136
  Loïc Correnson authored 6 years ago
  
  9ce2c136
Feb 05, 2019
- Merge branch 'feature/server/plugin' of git.frama-c.com:frama-c/frama-c into feature/server/plugin · 4bf2c145
  Loïc Correnson authored 6 years ago
  
  4bf2c145