Commits · f84688455cc29bc2c9158c326b8039c362a48285 · pub / frama-c · GitLab

Snippets Groups Projects

Jan 24, 2019
- [Wp/Model] IA binder · f8468845
  Bouillaguet Quentin authored 6 years ago
  
  f8468845
Jan 23, 2019
- Merge branch 'feature/happy-new-year-2019' into 'master' · 00d7c374
  Virgile Prevosto authored 6 years ago
  
  Happy New Year 2019 See merge request frama-c/frama-c!2123
  00d7c374
Jan 21, 2019
- [Headers] upgrade distributed files · 45f9b04a
  Loïc Correnson authored 6 years ago
  
  (blind make headers from specifications)
  45f9b04a
- [Headers] upgrade specifications to 2019 · b07a47d5
  Loïc Correnson authored 6 years ago
  
  b07a47d5
- Merge branch 'feature/virgile/gtk3' into 'master' · 24229436
  Loïc Correnson authored 6 years ago
  
  run Frama-C against GTK3 Closes #581 See merge request frama-c/frama-c!2083
  24229436
- [gui] headers for gtk-3 compatibility layer · 41fd630c
  Loïc Correnson authored 6 years ago
  
  41fd630c
- [configure] Allow compiling against lablgtk2 even if lablgtk3 is also installed · 8ceb8c00
  Virgile Prevosto authored 6 years ago
  
  8ceb8c00
- [gui] tame WP's feral TIP panel · aaf056cd
  Virgile Prevosto authored 6 years ago
  
  And restore proper scrolling in all the other lower notebook items under gtk3
  aaf056cd
- [gui] restore lablgtk2 compatibility · 5776bf8d
  Virgile Prevosto authored 6 years ago
  
  5776bf8d
- [gui] cleanup: remove debug outputs · ab9ddff0
  Virgile Prevosto authored 6 years ago
  
  ab9ddff0
- [gui] fold/unfold with appropriate scrolling · 8867f77f
  Virgile Prevosto authored 6 years ago
  
  8867f77f
- [gui] restore fold/unfold, modulo rescrolling to right place · 95d430dc
  Virgile Prevosto authored 6 years ago
  
  it seems like scrolling in a sourceview whose buffer has just been modified is not the easiest thing to do in gtk
  95d430dc
- [gui] lablgtk 2/3 compatibility layer · c4813e51
  Virgile Prevosto authored 6 years ago
  
  c4813e51
- [gui] bullet restored in lablgtk3 · 58a8eb07
  Virgile Prevosto authored 6 years ago
  
  58a8eb07
- [gui] enable compilation of WP's GUI against lablgtk3 · 567bf97a
  Virgile Prevosto authored 6 years ago
  
  567bf97a
- [gui] Add helper function for selecting a file · 9852fe0d
  Virgile Prevosto authored 6 years ago
  
  replaces GToolbox.select_file that no longer exists in lablgtk3
  9852fe0d
- [gui] Better layout for menu items · e87117ec
  Virgile Prevosto authored 6 years ago
  
  e87117ec
- [gui] remove obsolete attribute of statusbar · 30518988
  Virgile Prevosto authored 6 years ago
  
  (See [this discussion](https://github.com/garrigue/lablgtk/issues/2#issuecomment-451203335) upstream for more information)
  30518988
- [makefile] mark gtk2/3 compatibility layer as generated files · f40e2e15
  Virgile Prevosto authored 6 years ago
  
  f40e2e15
- [gui] don't remove lablgtk2 compatibility too early · c1bd6622
  Virgile Prevosto authored 6 years ago
  
  c1bd6622
- [gui] full upgrade to lablgtk3 beta · 161dc97e
  Virgile Prevosto authored 6 years ago
  
  161dc97e
- [gui] get rid of deprecated (and removed in gtk3) attributes allow_{shrink,grow} · 4d692708
  Virgile Prevosto authored 6 years ago
  
  4d692708
- [lablgtk3] configure now targets new opam package lablgtk3 · ad4e8388
  Virgile Prevosto authored 6 years ago
  
  ad4e8388
- [GUI] fixes GObject.create crash. GUI's window now appears on screen · da71563e
  Virgile Prevosto authored 6 years ago
  
  da71563e
- [GUI] Update plugin for GTK3 · aa42c89c
  Virgile Prevosto authored 6 years ago
  
  aa42c89c
- [GUI] Compiles against GTK3 · 0b61e8d5
  Virgile Prevosto authored 6 years ago
  
  0b61e8d5
- [GUI] Dgraph compatibility: use fake Dgraph module in gtk3 mode · e03fc173
  Virgile Prevosto authored 6 years ago
  
  e03fc173
- [GUI] Hack for maintaining compatibility between gtksourceview 2 and 3 · 05c9434b
  Virgile Prevosto authored 6 years ago
  
  05c9434b
- [configure] Check lablgtk2on3 configuration · c7c57bd7
  Virgile Prevosto authored 6 years ago
  
  c7c57bd7
- Merge branch 'fix/patrick/extended-annotation-for-behavior' into 'master' · 6bb67677
  Virgile Prevosto authored 6 years ago
  
  [ACSL] fixes extended annotation for behaviors See merge request frama-c/frama-c!2121
  6bb67677
Jan 19, 2019
- Merge branch 'feature/andre/warn-loops-no-unroll' into 'master' · 4a7ec927
  Valentin Perrelle authored 6 years ago
  
  Feature/andre/warn loops no unroll See merge request frama-c/frama-c!2081
  4a7ec927
- Merge branch 'fix/virgile/accept_read_kw' into 'master' · 9e46a2df
  Patrick Baudin authored 6 years ago
  
  Accept ACSL keywords as C identifiers as volatile or logic reads zones See merge request frama-c/frama-c!2118
  9e46a2df
- Merge branch 'fix/andre/disable-test-log-file' into 'master' · fc5c4717
  Valentin Perrelle authored 6 years ago
  
  [tests] disable log-file.i due to non-deterministic errors in CI See merge request frama-c/frama-c!2119
  fc5c4717
Jan 18, 2019
- [tests] '//@ for bhv-list: extended-annotation;' · 11d95eab
  Patrick Baudin authored 6 years ago
  
  11d95eab
- [ACSL] fixes acceptance of '//@ for behavior-list: extented-annotation;' · b95720ff
  Patrick Baudin authored 6 years ago
  
  b95720ff
- [tests] update ACSL kw test and oracles · daeabe46
  Virgile Prevosto authored 6 years ago
  
  daeabe46
- [ACSL] fix the fix on logic reads · ded1c3e3
  Virgile Prevosto authored 6 years ago
  
  ded1c3e3
- [tests] disable log-file.i due to non-deterministic errors in CI · 84efda0b
  Andre Maroneze authored 6 years ago
  
  84efda0b
- [ACSL] fixes acceptance of identifier with ACSL keyword in volatile clauses · 676b1078
  Virgile Prevosto authored 6 years ago
  
  676b1078
- [ACSL] Accept ACSL keywords as C identifiers as volatile or logic reads zones · fe04c520
  Virgile Prevosto authored 6 years ago
  
  fe04c520