Commit graph - mirrors/sby

mirrors/sby

Fork 0

mirror of https://github.com/YosysHQ/sby.git synced 2025-04-18 19:19:00 +00:00

Commit graph

Select branches

Hide pull requests

aki/sby_stages

dependabot/cargo/tools/aigcexmin/anstream-0.6.18

formatting

jix/witness_flow

krys/btor2aiger

main

sphinx-theme

#100

#101

#102

#104

#106

#108

#108

#109

#109

#11

#115

#116

#120

#121

#126

#127

#130

#131

#133

#134

#135

#136

#138

#139

#140

#142

#144

#144

#145

#146

#147

#148

#149

#150

#151

#154

#155

#156

#158

#159

#161

#163

#164

#166

#169

#170

#171

#172

#173

#174

#175

#176

#177

#178

#179

#18

#180

#181

#182

#183

#184

#185

#186

#187

#189

#190

#191

#192

#193

#194

#195

#196

#197

#198

#199

#2

#200

#201

#203

#204

#206

#207

#209

#210

#211

#212

#212

#213

#214

#215

#217

#217

#218

#219

#22

#220

#221

#223

#224

#226

#227

#228

#230

#232

#237

#238

#239

#240

#241

#242

#243

#244

#245

#246

#248

#249

#250

#252

#254

#256

#256

#258

#259

#260

#261

#262

#263

#264

#266

#266

#267

#268

#270

#271

#273

#274

#275

#276

#277

#278

#284

#294

#297

#298

#301

#302

#308

#310

#311

#312

#312

#313

#317

#319

#32

#320

#320

#33

#34

#35

#39

#39

#4

#42

#48

#49

#5

#5

#50

#52

#55

#56

#67

#68

#70

#73

#74

#85

#86

#87

#88

#90

#94

#95

#96

#97

#98

#99

v0.48

v0.49

v0.50

v0.51

v0.52

yosys-0.26

yosys-0.27

yosys-0.28

yosys-0.29

yosys-0.30

yosys-0.31

yosys-0.32

yosys-0.33

yosys-0.34

yosys-0.35

yosys-0.36

yosys-0.37

yosys-0.38

yosys-0.39

yosys-0.40

yosys-0.41

yosys-0.42

yosys-0.43

yosys-0.44

yosys-0.45

yosys-0.46

yosys-0.47

0772456a15 Further improve BTOR cex handling Clifford Wolf 2018-12-10 03:44:08 +0100
6878ba0a82 Improve BTOR cex handling Clifford Wolf 2018-12-10 02:42:03 +0100
970e4b2857 Also add install docs for btorsim Clifford Wolf 2018-12-08 23:42:52 +0100
b8549f3a2d Update boolector build instructions Clifford Wolf 2018-12-08 07:34:03 +0100
3d66e7cec5 Fixes and improvements in BTOR engine Clifford Wolf 2018-12-08 07:16:19 +0100
a362b35349

Merge pull request #22 from YosysHQ/btor Clifford Wolf 2018-12-07 22:03:36 -0800
150f30ae08 Working BTOR BMC engine Clifford Wolf 2018-12-08 07:01:21 +0100
4c485766e2 Add btor engine Clifford Wolf 2018-12-08 05:23:04 +0100
4eb91d5b88 Add "smtbmc ... -- ..." feature (for "raw" smtbmc options) Clifford Wolf 2018-11-22 17:08:28 +0100
b50f4f3d10 Generate AIGERs with -I -B Clifford Wolf 2018-11-12 09:36:12 +0100
9fcb536ca7 Use gentrace option to write trace files Tobias Woelfel 2018-10-19 16:23:46 +0200
e90bcb588e Improve bogus task tags detection Clifford Wolf 2018-09-12 13:26:08 +0200
e111f7c935 Detect bogus task tags Clifford Wolf 2018-09-12 13:23:22 +0200
bf47da495b Add "skip" options (smtbmc only) Clifford Wolf 2018-09-12 13:12:24 +0200
7ff783598f Update docs Clifford Wolf 2018-09-06 19:36:25 +0200
896f181d84

Update README.md Clifford Wolf 2018-08-27 19:35:25 +0200
6e53db0a66 Add "pour_853_4" puzzle to examples Clifford Wolf 2018-08-25 18:21:34 +0200
f2697c23c0 Fixed "counterexample trace:" log message for things like warmup failed Clifford Wolf 2018-08-21 14:00:30 +0200
d249e1f259 Made into Python module Chris Pattison 2018-08-01 22:46:49 -0700
2fef25f93d Fixed bug in examples/quickstart/demo.sv Clifford Wolf 2018-07-26 14:19:04 +0200
07d124084c Use async2sync for "multiclock off" mode Clifford Wolf 2018-07-19 15:31:49 +0200
c5e5f5dcbb Update examples Clifford Wolf 2018-06-29 19:32:03 +0200
2fa29974dd Update remaining quickstart examples Clifford Wolf 2018-06-29 18:21:38 +0200
45a11da8ea Update quickstart demo Clifford Wolf 2018-06-29 10:05:52 +0200
93e7e1d1e2 Improve documentation of scripts and Verific bindings Clifford Wolf 2018-06-23 18:25:52 +0200
983f066445 Use "multiclock on" option in dpmem.sby example Clifford Wolf 2018-05-12 17:21:00 +0200
d24d7e1aef Use "hierarchy -simcheck" in default script Clifford Wolf 2018-05-12 14:03:37 +0200
35d956c7bb Fix fix for chained tasks Clifford Wolf 2018-05-01 15:58:55 +0200
162bdc9a3b Fix bug in handling of chained tasks Clifford Wolf 2018-05-01 14:58:18 +0200
21d9e5d66f Add comment support in [tasks] section Clifford Wolf 2018-04-19 17:28:18 +0200
437a401739 Add [script] documentation, add some paragraphs on "verific" command Clifford Wolf 2018-04-18 19:32:58 +0200
f0bf0c155a Typo fix Clifford Wolf 2018-04-13 18:10:22 +0200
836d54d4c7 Add check for malformed dst filename in [files] section Clifford Wolf 2018-04-13 18:03:35 +0200
9beb469ad9 Add documentation on [files] and [file ..] sections Clifford Wolf 2018-04-13 16:52:56 +0200
fc7ace7884 Add JUnit XML output file and .stamp files Clifford Wolf 2018-03-28 13:31:50 +0200
36c7185393 More improvements in sby error handling Clifford Wolf 2018-03-27 16:23:57 +0200
9edc65874c Drastically improve sby error handling Clifford Wolf 2018-03-27 16:11:43 +0200
76a624a363 Improve handling of nomem models Clifford Wolf 2018-03-15 19:11:42 +0100
c003a1b078 Add localtime also to early log messages Clifford Wolf 2018-03-11 01:26:40 +0100
93752c6fce Add localtime to log file Clifford Wolf 2018-03-11 01:06:09 +0100
2c13fbefe6 Extend primegen example Clifford Wolf 2018-03-07 23:10:53 +0100
ec38b0b841 Add "smtbmc --basecase/--induction" Clifford Wolf 2018-03-07 22:23:50 +0100
47729cd61c Add smtbmc --progress option Clifford Wolf 2018-03-07 22:16:24 +0100
4d4a9b2e4f Add "mkdir -p" to "make install" Clifford Wolf 2018-03-07 12:31:56 +0100
0619c7428b

Merge 4d5b60cb55 into 055b305c81 jhol 2018-03-07 03:33:26 +0000
055b305c81 Update verific.rst Clifford Wolf 2018-03-06 23:46:52 +0100
cfff7095e4 Merge branch 'master' of github.com:cliffordwolf/SymbiYosys Clifford Wolf 2018-03-06 23:42:09 +0100
2efa7c2b90 Use memory_nordff in postprocess script Clifford Wolf 2018-03-06 23:38:05 +0100
4d5b60cb55 Makefile: Use install to guarantee existance of the installation directory Joel Holdsworth 2018-03-06 14:36:50 -0700
f6ab848797 Improvements in [tasks] handling Clifford Wolf 2018-03-06 18:05:51 +0100
fd0fd88e22 Update verific.rst Clifford Wolf 2018-03-06 15:41:57 +0100
f151ea733a Update verific.rst Clifford Wolf 2018-03-06 11:19:27 +0100
fbd5ddb615 Minor format fix in documentation Clifford Wolf 2018-03-06 01:18:19 +0100
9e35d16e95 Add more documentation Clifford Wolf 2018-03-06 01:12:03 +0100
951211856d Add fib example using tasks Clifford Wolf 2018-03-06 00:03:54 +0100
d736fb14f9 Slightly change tasks syntax Clifford Wolf 2018-03-06 00:01:55 +0100
231d06b7c5 Add documentation for [tasks] section Clifford Wolf 2018-03-05 13:09:40 +0100
92b247260a Add tasks in .sby files Clifford Wolf 2018-03-05 13:09:20 +0100
a94f21abab Add multiclock option Clifford Wolf 2018-03-04 14:09:16 +0100
e966f3dca4 Add smtbmc --stdt option Clifford Wolf 2018-03-04 14:08:55 +0100
4eed5ec8bb Fix --dump-smt2 trace name in cover mode Clifford Wolf 2018-03-03 19:59:06 +0100
0f21d01460 Add primegen example Clifford Wolf 2018-03-03 19:58:35 +0100
35a5fb94f1 Add wolf_goat_cabbage.sby Clifford Wolf 2018-03-03 19:28:26 +0100
23a369e16d Add engines documentation Clifford Wolf 2018-03-03 15:54:00 +0100
236f6412c1

Merge pull request #4 from daveshah1/fix_filetop Clifford Wolf 2018-01-22 14:46:25 +0100
c6d25f0045 Ignore whitespace at top of file David Shah 2018-01-22 13:00:32 +0000
221c8d24d7 Improve handling of comments in .sby files Clifford Wolf 2018-01-19 14:26:42 +0100
6b730e7779 Add DESTDIR and PREFIX to Makefile Clifford Wolf 2018-01-17 14:35:46 +0100
25936009bb Disable unrolling per default for z3 Clifford Wolf 2017-12-14 02:12:08 +0100
770c6441d8 Add dpmem multiclk example Clifford Wolf 2017-12-13 19:17:20 +0100
82f394260a Make --presat and --unroll the default for smtbmc Clifford Wolf 2017-12-05 17:16:38 +0100
20b8b8fe9f Add "sby -t", improve handling of stdin Clifford Wolf 2017-11-24 20:12:58 +0100
bb5e134164

Merge pull request #2 from awygle/scriptability Clifford Wolf 2017-11-24 19:58:39 +0100
b7c33a72e9 Minimum-modification change for stdin support Andrew Wygle 2017-11-24 09:39:41 -0800
db9c7e97b8 Add missing prerequisites to quickstart guide Clifford Wolf 2017-10-28 14:01:42 +0200
78efd64985 Add "smtbmc --dumpsmt2" Clifford Wolf 2017-10-23 02:17:39 +0200
b690221f99 Add "smtbmc --unroll" Clifford Wolf 2017-10-22 10:07:26 +0200
f403b99fae Add wolf_goat_cabbage.v puzzle solver Clifford Wolf 2017-09-26 19:17:16 +0200
27da852e38 Remove AIGER from install section Clifford Wolf 2017-09-21 02:02:31 +0200
6d0183f6c6 Add gperf to prerequisites Clifford Wolf 2017-09-21 01:49:18 +0200
3f1cbb0706 Update quickstart.rst Clifford Wolf 2017-09-14 03:29:12 +0200
68d90a5510 Add "smtbmc --presat" Clifford Wolf 2017-07-07 02:47:53 +0200
6ef12a4b31 Add tbtop config option Clifford Wolf 2017-07-01 18:33:36 +0200
3fb72628de Add "setundef -anyseq" to default yosys script Clifford Wolf 2017-05-28 12:32:30 +0200
ff054ab88b Add support for "aigsmt none" option Clifford Wolf 2017-05-28 12:32:03 +0200
a2c1dd3f91 Yices 2 is the new default solver for yosys-smtbmc Clifford Wolf 2017-05-27 12:04:43 +0200
7f871ec89a Add "Reactive Synthesis" as TBD to documentation Clifford Wolf 2017-05-22 12:26:02 +0200
8817f61de3 Add support for --pycode-begin/end-- sections Clifford Wolf 2017-05-08 15:01:56 +0200
a16e90a885 Add avy install instructions Clifford Wolf 2017-03-09 12:19:37 +0100
2b8533cf17 Fix CEX handle in liveness checking mode Clifford Wolf 2017-03-02 13:37:58 +0100
7fdbb4c179 Update docs Clifford Wolf 2017-03-01 11:09:30 +0100
774849a6ed Add "mode live" support Clifford Wolf 2017-03-01 11:09:14 +0100
6e03f1d895 Add support for AIGER solvers that do not return a CEX Clifford Wolf 2017-02-27 22:29:00 +0100
81144819e5 Add smtc option Clifford Wolf 2017-02-27 22:28:31 +0100
ad304ddda7 Add rc to DONE msg Clifford Wolf 2017-02-27 22:27:52 +0100
be8c995e15 Improve option handling Clifford Wolf 2017-02-26 14:32:33 +0100
5657976ad3 Fix typo in aiger engine Clifford Wolf 2017-02-26 13:07:58 +0100
9a718367ff Improve super_prove integration Clifford Wolf 2017-02-26 13:03:59 +0100
7be08218cb Add "append" option Clifford Wolf 2017-02-26 11:08:14 +0100
94260e01b8 Add aigbmc support Clifford Wolf 2017-02-25 23:50:33 +0100