22 Commits

Author	SHA1	Message	Date
Ivan Krysak	70a39678ff	OperatorPrecedence: introduce forced parentheses	2024-09-05 14:33:12 +03:00
Pietro Fezzardi	a1bc9b10f4	Add emit-recompilable-archive artifact to doc	2024-06-27 22:10:01 +02:00
Alessandro Di Federico	e7c4952377	Add cleanup-ir to docs	2024-06-27 22:10:01 +02:00
Ivan Krysak	cd36ef1963	Update the docs	2024-06-27 11:05:52 +02:00
Ivan Krysak	dfa7478685	Adopt reworked model::Type	2024-06-27 11:05:51 +02:00
Ivan Krysak	ac587cbb4f	Model: rename Type into TypeDefinition	2024-06-27 11:05:48 +02:00
Alessandro Di Federico	bce1d6c0f3	Adopt invalidation along the core pipeline	2024-06-20 10:24:50 +02:00
Djordje Todorovic	6349299806	docs: Add simplify-switch artifact	2024-05-29 16:25:53 +02:00
Lauri Vasama	4636bb736f	Fix MIME types documentation	2024-05-29 15:42:15 +02:00
Alessandro Di Federico	84e3fac538	Minor changes	2024-05-29 12:06:03 +02:00
Alessandro Di Federico	738da4fbb5	Minor changes	2024-05-22 10:25:25 +02:00
Djordje Todorovic	e3f191ff67	doc: Adjust tests because of cast reduction	2024-05-16 17:55:19 +02:00
Giacomo Vercesi	f7b1130dc2	mkdocs: add additional.js ... Add an empty `additional.js` file which can be used by downstream users for additional javascript code.	2024-03-26 11:30:14 +01:00
Ivan Krysak	5894201920	Yield: update model-tutorial.md	2024-03-18 17:23:07 +01:00
Ivan Krysak	44e5328477	Yield: add explicit directive support	2024-03-18 11:40:32 +00:00
Ivan Krysak	7403f09b7d	docs: add new asm tokens	2024-03-18 07:20:41 +00:00
Ivan Krysak	aa44fdbe91	docs: fix some typos	2024-03-18 07:20:41 +00:00
Alessandro Di Federico	85abd9b6fc	revng artifact: introduce --analyze	2024-02-29 18:04:35 +01:00
Alessandro Di Federico	d21aadfdd0	docs: document binary installation	2024-02-29 17:03:04 +01:00
Alessandro Di Federico	2403f1e10b	mkdocs: make links relative	2024-02-26 16:08:54 +01:00
Alessandro Di Federico	9f097e079d	revng-c opening: update docs	2024-02-16 10:32:49 +01:00
Alessandro Di Federico	757f7e21d7	Import docs	2024-02-09 10:04:24 +01:00