VOOZH
about
URL: https://fstarlang.github.io/lowstar/html/
⇱ The KaRaMeL user manual and documentation — The KaRaMeL user manual documentation
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