15 Commits

Author	SHA1	Message	Date
Dominik Maier	f752acc2a4	Info about how to migrate to 0.11 (#1395)	2023-08-03 02:35:37 +02:00
Dominik Maier	977415cad2	Reworked Book, add missing files (#888) ... * Added missing links to docs * Reworked docs * Remove empty file * remove Launcher info (that moved to spawn_instances) * ignore more	2022-11-10 13:08:35 +01:00
syheliel	6b95361123	Add doc for example baby_fuzzer_* (#564) ... * Add doc for example `baby_fuzzer_*` * Fix `mdbook build` Co-authored-by: syheliel <syheliel>	2022-03-14 19:14:46 +01:00
Andrea Fioraldi	40b73d4b1b	Book refactoring and update (#280) ... * llmp docs skeleton * llmp documentation * more llmp docu * llmp * some core concepts * start working on tutorial * adapted rng_core to lain * fix tutorial build * warnings, format * add explanation * No need to own the types * metadata * writing * fmt * tutorial folder * lain needs nightly * added mdbook test to ci * fix ci, add linkcheck * more book * baby * tutorial target * fix mdbook build * fix mdbook test * more book * fixed typo * fixed build * spawn instances' * 'finish' book * added sugar crate information Co-authored-by: Dominik Maier <domenukk@gmail.com>	2021-09-27 09:39:32 +02:00
bitwave	e17f4b846f	Added documentation for no_std build and fuzzing (#282) ... * added unfinished no_std docs * docs: added missing example * Update no_std.md Co-authored-by: Dominik Maier <domenukk@gmail.com>	2021-09-24 20:26:45 +02:00
julihoh	d1021c7a9a	initial book entry for concolic (#257) ... * initial book entry for concolic * update links to still work with fixed version of symcc_runtime * spelling	2021-08-23 09:28:10 +02:00
Andrea Fioraldi	fe57c5ecd6	Update book	2021-07-08 17:01:35 +02:00
Andrea Fioraldi	744d2eaf7c	docs	2021-04-26 13:44:45 +02:00
Andrea Fioraldi	381aa3c052	meta	2021-04-07 16:39:51 +02:00
Andrea Fioraldi	6d2ad10e3f	docs	2021-04-07 09:53:04 +02:00
Andrea Fioraldi	ceea3e0c14	docs	2021-04-02 11:59:38 +02:00
Andrea Fioraldi	0f17fa3fc9	docs	2021-03-31 11:24:52 +02:00
Andrea Fioraldi	d231966dbe	setup page in book	2021-03-27 09:42:51 +01:00
Andrea Fioraldi	4b77ea9975	book intro	2021-03-27 00:36:13 +01:00
Andrea Fioraldi	009c35dbf9	docs folder	2021-03-22 20:22:42 +01:00