Commits · v3.3 · CertiCompil / Chamois-Arsene · GitLab

Snippets Groups Projects

May 30, 2018
- Update for release 3.3 · 28b20aed
  Xavier Leroy authored 7 years ago
  
  View commits for tag v3.3 v3.3
  
  28b20aed
- coq2html: use OCaml's alternate string literals for multi-line strings · efd10a40
  Xavier Leroy authored 7 years ago
  
  efd10a40
- Changelog: minor updates for 3.3 · 07caf778
  Xavier Leroy authored 7 years ago
  
  07caf778
- Mention optional installation of .vo files · 0f218739
  Xavier Leroy authored 7 years ago
  
  0f218739
- Install Coq development (.vo files) if requested (#232) · e6177a79
  Xavier Leroy authored 7 years ago
  e6177a79
- Updates for public release 3.3 · 9b7e7d34
  Xavier Leroy authored 7 years ago
  
  9b7e7d34
May 29, 2018
- Simplify module Complements and add separate compilation (#121) · 23189960
  Xavier Leroy authored 7 years ago
  23189960
- Allow align attribute of zero. (#120) · a70741f8
  Bernhard Schommer authored 7 years ago
  a70741f8
- Removed duplicated whitespace. Bug 23660 · c4d9dce2
  Bernhard Schommer authored 7 years ago
  
  c4d9dce2
May 27, 2018
- String literals are l-values and have array types (#116) · a5f96b68
  Bernhard Schommer authored 7 years ago
  a5f96b68
May 26, 2018
- Preserve storage class for functions declared within a block · 9dc1505c
  Xavier Leroy authored 7 years ago
  9dc1505c
- Warning for extern declaration after definition. · 2b2585f3
  Bernhard Schommer authored 7 years ago
  2b2585f3
May 24, 2018
- Reject "e1, e2" as a compile-time constant expression · 3de896ce
  Xavier Leroy authored 7 years ago
  3de896ce
- Define the C11 type max_align_t (#115) · ca26f451
  Bernhard Schommer authored 7 years ago
  ca26f451
May 08, 2018
- Bug 23348 · 93a0d21e
  Bernhard Schommer authored 7 years ago
  
  93a0d21e
May 07, 2018
- Harden attributes_of_types against out-of-scope structs/unions/enums · 3e908631
  Xavier Leroy authored 7 years ago
  3e908631
- Revised elaboration of function definitions, part 2 · ea3a41bc
  Xavier Leroy authored 7 years ago
  ea3a41bc
- Revised elaboration of function definitions, part 1 · 2e2d3430
  Xavier Leroy authored 7 years ago
  2e2d3430
- Added a diagnostic for attributes dec after def · e2c2f22b
  Bernhard Schommer authored 7 years ago
  e2c2f22b
- Warning for comparison of incomplete pointers. · 6657ff7f
  Bernhard Schommer authored 7 years ago
  6657ff7f
May 04, 2018
- Check that variables declared in 'for' loops are local variables (#104) · f0857720
  Bernhard Schommer authored 7 years ago
  f0857720
- Reject empty declarations in K&R functions. (#107) · 338bbeac
  Bernhard Schommer authored 7 years ago
  338bbeac
May 02, 2018
- Reject arrays of incomplete type (#90) · e224022a
  Bernhard Schommer authored 7 years ago
  e224022a
- Add missing tab character, bug 23541 · 37a609c0
  Michael Schmidt authored 7 years ago
  
  37a609c0
Apr 27, 2018
- Add new powerpc builtins. · 5344a75a
  Michael Schmidt authored 7 years ago
  5344a75a
- Bug 23322 · 2aa105b5
  Bernhard Schommer authored 7 years ago
  
  2aa105b5
- Also check statement of label statement. · cd34661a
  Bernhard Schommer authored 7 years ago
  
  cd34661a
- Detect duplicate 'case' or 'default' statements within a 'switch' · b1dbe72e
  Xavier Leroy authored 7 years ago
  b1dbe72e
- Record value of constant expression in C.Scase constructor · 6f5eec9f
  Xavier Leroy authored 7 years ago
  6f5eec9f
- Detect 'case' and 'default' outside a 'switch' statement · 2f9932b8
  Xavier Leroy authored 7 years ago
  2f9932b8
Apr 26, 2018
- Additional checks on typedefs (#101) · 83f812f9
  Bernhard Schommer authored 7 years ago
  83f812f9
- Earlier, more comprehensive check for constant initializers (#88) · f1d9a904
  Xavier Leroy authored 7 years ago
  f1d9a904
Apr 25, 2018
- Check for enums that have the same tag as composites (#100) · 7d911677
  Bernhard Schommer authored 7 years ago
  7d911677
- Add diagnostic for illegal use of void (Bug 23342) · 3b6a054a
  Michael Schmidt authored 7 years ago
  
  3b6a054a
- Initialization of anonymous bit-fields in structs · 92c8be3a
  Xavier Leroy authored 7 years ago
  92c8be3a
- Bitfields transformation: record the fields after transformation · 7be3e73f
  Xavier Leroy authored 7 years ago
  7be3e73f
- Initialization of union bit fields · f016c515
  Xavier Leroy authored 7 years ago
  f016c515
- Bug 23346, Bug 23406 · 0a15edfb
  Bernhard Schommer authored 7 years ago
  
  0a15edfb
- Improved handling and diagnostics for the `auto` storage class (#99) · 760e4226
  Xavier Leroy authored 7 years ago
  760e4226
- Use "fix <name> <number>" instead of "fix <number>" · e34dc31e
  Xavier Leroy authored 7 years ago
  e34dc31e