The KaRaMeL user manual
Contents:
Introduction
Tooling and project setup
Low* language
Low* libraries
Low* examples
A toy project for learning Low*
Advanced tips & tricks
Advanced KaRaMeL topics
The KaRaMeL user manual
The KaRaMeL user manual and documentation
View page source
The KaRaMeL user manual and documentation
¶
Contents:
Introduction
The essence of Low*
Structure of this manual
Tooling and project setup
Installing the tools
Directory structure
Build
Low* language
A crash course on Low*
Extensions to Low*
Code quality improvements
Some non-Low* code
Low* libraries
Low* core libraries
Low* buffer libraries
Low* system libraries
Low* data structure libraries
Low* string manipulation
Low* examples
Example: linked list
Example: RingBuffer
Example:
memcpy
A toy project for learning Low*
Main specification
Specification test
Auxiliary implementation lemmas
Main implementation file
Linking with the outside world
Advanced tips & tricks
Advanced KaRaMeL topics
Bundling
Separate compilation via KaRaMeL
Assumptions on the C target
Indices and tables
¶
Index
Module Index
Search Page