Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • stable/zinc
  • 2699-wp-region-plugin-division-by-0-with-empty-region-node
  • stable/copper
  • stable/nickel
  • stable/cobalt
  • stable/iron
  • stable/manganese
  • stable/chromium
  • stable/vanadium
  • stable/titanium-backport
  • stable/titanium
  • stable/scandium
  • 30.0 protected
  • 30.0-beta protected
  • MIEL-2024-10 protected
  • 29.0 protected
  • 29.0-beta protected
  • 28.1 protected
  • 28.0 protected
  • MIEL-2023-10 protected
  • 28.0-beta protected
  • 27.1 protected
  • 27.0 protected
  • 27.0-beta protected
  • 26.1 protected
  • 26.0 protected
  • 26.0-beta protected
  • 25.0-r1 protected
  • pre-dune protected
  • 25.0 protected
  • 25.0-beta protected
  • 2022-03-23 protected
33 results
Compare
user avatar
[Kernel] New assertion kind: Assert or Check.
David Bühler authored 
Asserts are both evaluated and used as hypotheses afterwards.
Checks are only evaluated, but are not used as hypotheses: they must not affect
the analyses.
30cee395
History
user avatar 30cee395
History
Name Last commit Last update
..
parsing
runtime
typing
README.md
README.md

This directory contains the kernel backend.

It is low-level files which are internally used by other parts of the kernel, in particular to build the AST from the annotated C input files into an AST.

It should not contain any useful APIs for the plug-in developers, except for very low-level interactions and corner cases.