Ariadne Devos d8dd0d8fc1 Add missing wrap-around theorem před 5 roky
..
conf.py 13ace6b12d Add missing Sphinx build configuration před 5 roky
failbit.rst 991751ef26 Track arithmetic overflow in failbit před 5 roky
gpl.rst b59fddbe85 Include the license text nicely formatted in documentation před 5 roky
index.rst 9d35813c1b Correct <sHT/lex/nat.h> and implementation před 5 roky
license-copyright.rst b9a8a3bf34 Generate some documentation před 5 roky
memory-model.rst 36ec5f7f81 Define read-write-set and peek-poke před 5 roky
numeric-bases.rst d8dd0d8fc1 Add missing wrap-around theorem před 5 roky
reliability.rst b9a8a3bf34 Generate some documentation před 5 roky
slice.rst c23f08079f Math: introduce the slice concept před 5 roky
speculation.rst ff00662f56 Document speculation controls před 5 roky
tasks.md 896ddc89f7 Introduce SPDX-License-Identifier před 5 roky