Jannis Harder c5dce57067 append_assume: Make append_assume on the default for now ... Having `append_assume off` needs `vcd_sim on` to not be ignored with a warning and `vcd_sim off` is still the default.		2023-02-08 14:18:52 +01:00
..
media	Add section on sby to newstart	2022-06-09 14:29:21 +12:00
autotune.rst	Autotune example in docs	2022-07-26 16:35:57 +02:00
conf.diff	Update docs theme	2021-11-29 16:51:54 +01:00
conf.py	Update docs theme	2021-11-29 16:51:54 +01:00
index.rst	Moving newstart to replace quickstart	2022-08-22 21:20:59 +12:00
install.rst	docs: Yices is still recommended	2023-02-06 16:54:37 +01:00
license.rst	Title case for license.rst	2022-05-10 11:40:17 +12:00
quickstart.rst	Moving newstart to replace quickstart	2022-08-22 21:20:59 +12:00
reference.rst	append_assume: Make append_assume on the default for now	2023-02-08 14:18:52 +01:00
requirements.txt	update docs theme	2021-11-26 20:34:55 +01:00
verific.rst	Improve documentation of scripts and Verific bindings	2018-06-23 18:25:52 +02:00
verilog.rst	Tipo missing * in Global Clock example	2020-06-29 00:42:06 +02:00