N. Engelhardt
3834fe7622
document btor engine, add overview of mode/engine/solver combinations, remove unimplemented modes
2022-03-25 18:01:09 +01:00
Claire Xen
fa5d5ad831
Merge pull request #120 from ythoma/patch-1
...
Update install.rst
2022-03-15 16:33:46 +01:00
Claire Xenia Wolf
38562a5bb9
Update docs theme
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-11-29 16:51:54 +01:00
Claire Xenia Wolf
882d5b3a96
update docs theme
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-11-26 20:34:55 +01:00
Claire Xenia Wolf
1b3832cf92
Fixed names and links
2021-10-31 14:42:39 +01:00
Christian Krieg
21371fb7ac
Updated install instructions for super_prove
...
* Links were dead
* No binaries to download
* Updated with install information from super_prove github repository
* Augmented with additional commands to ease installation
2021-07-20 22:33:28 +02:00
Claire Xenia Wolf
66a458958d
Update docs conf.py
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-05-21 03:36:11 +02:00
Claire Xenia Wolf
dac0e1b69b
New docs conf.py
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-05-21 03:31:50 +02:00
Claire Xen
1ffef12cf1
Update conf.py
2021-03-04 16:49:31 +01:00
Claire Xen
ddd44fc30b
Delete symbiotic_logo.png
2021-02-24 17:52:54 +01:00
Claire Xen
9aa0963f26
Update conf.py
2021-02-24 17:48:13 +01:00
ythoma
0270359962
Update install.rst
...
On Ubuntu 20.04, I had to install curl as well:
sudo apt install curl
I guess that would be the same on other setups.
2021-02-05 09:46:04 +01:00
Miodrag Milanovic
091222b87f
Extract installation procedure to separate file
2020-10-23 14:03:55 +02:00
Matt Venn
37a1fec120
copyright
2020-10-15 18:02:03 +02:00
Matt Venn
81258745eb
logo and links
2020-10-15 17:02:52 +02:00
Alexandre Dumont aka Adlx
d29f7b9837
Tipo missing * in Global Clock example
2020-06-29 00:42:06 +02:00
Clifford Wolf
9cb542ac7a
Fix YosysHQ links
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-08-13 17:25:10 +02:00
Clifford Wolf
ddbad8fd71
Documentation update: Boolector is using the MIT license now
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-07-23 15:24:04 +02:00
ZipCPU
2462855e0f
Updated Verilog documentation
2019-05-21 20:55:46 -04:00
Clifford Wolf
44869656b8
Improve readability of boolector build instructions
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-03-28 08:48:49 +01:00
Felix Vietmeyer
e80ed3bc80
Update Boolector build instructions
2019-03-16 15:47:47 -06:00
Clifford Wolf
cef50242df
Add --dumptasks to documentation
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-03-08 12:20:08 -08:00
Clifford Wolf
d5fa89ee0c
Improve sby file pycode/tasks handling
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-03-08 10:58:28 -08:00
Clifford Wolf
970e4b2857
Also add install docs for btorsim
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-12-08 23:42:52 +01:00
Clifford Wolf
b8549f3a2d
Update boolector build instructions
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-12-08 07:34:03 +01:00
Clifford Wolf
4eb91d5b88
Add "smtbmc ... -- ..." feature (for "raw" smtbmc options)
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-11-22 17:08:28 +01:00
Clifford Wolf
bf47da495b
Add "skip" options (smtbmc only)
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-09-12 13:23:34 +02:00
Clifford Wolf
7ff783598f
Update docs
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-09-06 19:36:25 +02:00
Clifford Wolf
2fa29974dd
Update remaining quickstart examples
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-06-29 18:21:38 +02:00
Clifford Wolf
45a11da8ea
Update quickstart demo
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-06-29 10:05:52 +02:00
Clifford Wolf
93e7e1d1e2
Improve documentation of scripts and Verific bindings
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-06-23 18:25:52 +02:00
Clifford Wolf
437a401739
Add [script] documentation, add some paragraphs on "verific" command
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-04-18 19:32:58 +02:00
Clifford Wolf
f0bf0c155a
Typo fix
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-04-13 18:10:22 +02:00
Clifford Wolf
9beb469ad9
Add documentation on [files] and [file ..] sections
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-04-13 16:52:56 +02:00
Clifford Wolf
47729cd61c
Add smtbmc --progress option
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-07 22:16:24 +01:00
Clifford Wolf
055b305c81
Update verific.rst
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-06 23:46:52 +01:00
Clifford Wolf
f6ab848797
Improvements in [tasks] handling
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-06 18:05:51 +01:00
Clifford Wolf
fd0fd88e22
Update verific.rst
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-06 15:41:57 +01:00
Clifford Wolf
f151ea733a
Update verific.rst
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-06 11:19:27 +01:00
Clifford Wolf
fbd5ddb615
Minor format fix in documentation
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-06 01:18:19 +01:00
Clifford Wolf
9e35d16e95
Add more documentation
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-06 01:12:03 +01:00
Clifford Wolf
d736fb14f9
Slightly change tasks syntax
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-06 00:01:55 +01:00
Clifford Wolf
231d06b7c5
Add documentation for [tasks] section
2018-03-05 13:09:40 +01:00
Clifford Wolf
a94f21abab
Add multiclock option
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-04 14:09:16 +01:00
Clifford Wolf
e966f3dca4
Add smtbmc --stdt option
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-04 14:08:55 +01:00
Clifford Wolf
23a369e16d
Add engines documentation
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-03 15:54:00 +01:00
Clifford Wolf
db9c7e97b8
Add missing prerequisites to quickstart guide
2017-10-28 14:01:42 +02:00
Clifford Wolf
27da852e38
Remove AIGER from install section
2017-09-21 02:02:31 +02:00
Clifford Wolf
6d0183f6c6
Add gperf to prerequisites
2017-09-21 01:49:18 +02:00
Clifford Wolf
3f1cbb0706
Update quickstart.rst
2017-09-14 03:29:12 +02:00
