History

Gerwin Klein 400c7b7131 Japheth's guide to find_consts Co-authored-by: Japheth Lim <Japheth.Lim@data61.csiro.au> Signed-off-by: Gerwin Klein <kleing@unsw.edu.au>		2021-04-13 10:41:28 +10:00
..
README.md	docs: an initial guide on naming conventions	2020-06-09 15:56:43 +10:00
arch-split.md	Add arch-splitting documentation	2021-04-13 10:41:28 +10:00
compacting-proofs.md	Matt's short guide on compacting proofs	2021-04-13 10:41:28 +10:00
conventions.md	trivial: fix broken links	2020-08-10 15:48:34 +08:00
de-duplicating-proofs.md	Add arch-splitting documentation	2021-04-13 10:41:28 +10:00
find-consts.md	Japheth's guide to find_consts	2021-04-13 10:41:28 +10:00
find-theorems.md	Japheth's guide to find_consts	2021-04-13 10:41:28 +10:00
setup.md	docs: factor out dependency specs (#161 )	2020-12-02 12:32:26 +11:00

Documentation

This directory contains markdown and theory files with conventions and other documentation for the l4v repository.

This is work in progress and contributions are welcome. Feel encouraged to raise pull requests for more material and/or corrections.