Commit graph

Select branches

Hide pull requests

aki/sby_stages

blackbox_tests

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

#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

Mono Color

• 7f3c4137c1 create json export and read in properties N. Engelhardt 2022-01-19 19:34:11 +0100
• 6ec2df34e3 WIP change junit print to conform to schema; needs additional data, currently printing dummy info N. Engelhardt 2021-12-07 20:16:15 +0100
• cdf5650c12 add JUnit schema and validator N. Engelhardt 2021-12-07 20:14:06 +0100
• 02a5b71982
  Merge pull request #138 from YosysHQ/mmicko/ci Miodrag Milanović 2022-01-12 14:24:51 +0100
• ab5ff32b31 Added CI Miodrag Milanovic 2022-01-12 14:18:17 +0100
• f878a0e517
  Merge pull request #136 from nakengelhardt/fix_pono Miodrag Milanović 2022-01-12 13:46:25 +0100
• 257a57d8ed create only a single bad when using pono solver; workaround for #137 N. Engelhardt 2022-01-12 13:18:54 +0100
• ad07ea0e85 add testcase exposing #137 N. Engelhardt 2022-01-12 11:06:05 +0100
• 5a04ac3fcc use --witness option when calling pono N. Engelhardt 2022-01-12 10:48:32 +0100
• f5a41e5ab1
  Merge pull request #135 from nakengelhardt/rename_task N. Engelhardt 2022-01-12 10:52:42 +0100
• 63bf8457d7
  Merge pull request #134 from nakengelhardt/advertise_suite_in_readme N. Engelhardt 2022-01-11 17:34:35 +0100
• 7c9e5b026b Rename SbyJob to SbyTask and SbyTask to SbyProc to reduce confusion. Config file tasks now correspond to SbyTasks. N. Engelhardt 2022-01-11 16:12:23 +0100
• 9af6e220f9 mention tabby+oss cad suite in readme N. Engelhardt 2022-01-04 16:32:59 +0100
• ac9001b22c Improvements and cleanups in tasks handling Claire Xenia Wolf 2021-12-18 11:36:34 +0100
• f1d3be3914 Fixed [tasks] section parsing Claire Xenia Wolf 2021-12-17 20:57:19 +0100
• f7f5135508
  Update README.md Claire Xen 2021-12-17 15:50:57 +0100
• 7f2c4189dc
  Update README.md Claire Xen 2021-12-17 15:48:01 +0100
• 4a07e026dd Add inductive invariants example Claire Xenia Wolf 2021-12-17 15:42:04 +0100
• ab9d4fd3cf Add ":"-syntax for [tasks] section Claire Xenia Wolf 2021-12-17 15:36:35 +0100
• b409b1179e Update docs theme Claire Xenia Wolf 2021-11-30 10:47:43 +0100
• 38562a5bb9 Update docs theme Claire Xenia Wolf 2021-11-29 16:51:54 +0100
• 882d5b3a96 update docs theme Claire Xenia Wolf 2021-11-26 20:34:55 +0100
• ba859012a9 Add documentation for smtbmc engine --anybase option George Rennie 2021-11-16 15:34:21 +0000
• 79634d5016 Add --anybase option to smtbmc engine George Rennie 2021-11-16 15:16:32 +0000
• 5d19e4641a Add support for directories in [files] section Claire Xenia Wolf 2021-10-31 14:43:02 +0100
• 1b3832cf92 Fixed names and links Claire Xenia Wolf 2021-10-31 14:42:39 +0100
• 64c7da9940 Add -j<N> parallel tasks argument George Rennie 2021-10-19 16:38:08 +0100
• 15278f1346
  Merge pull request #127 from christian-krieg/feat/update-docs_super-prove Miodrag Milanović 2021-09-13 16:21:18 +0200
• 863a53b312 Fix regression Miodrag Milanovic 2021-08-25 12:10:18 +0200
• 156cc5d8c9 Initialize variable Miodrag Milanovic 2021-08-25 11:38:24 +0200
• dd60141f0d
  Merge pull request #126 from piegamesde/master Claire Xen 2021-08-23 16:03:03 +0200
• 21371fb7ac Updated install instructions for super_prove Christian Krieg 2021-07-20 22:33:03 +0200
• bb19bca77c fixup! Allow to set a working directory even when having multiple tasks piegames 2021-07-08 20:48:23 +0200
• 3960fd3e8c
  Merge 34a2139a21 into 66a458958d Ed Bordin 2021-07-07 20:04:09 +0800
• 874d13ff89 Better error message when tasks failed piegames 2021-06-25 00:03:05 +0200
• 2d7d48885b Turn .format() strings into f-strings piegames 2021-06-25 00:02:22 +0200
• 1f6700f21d Allow to set a working directory even when having multiple tasks piegames 2021-06-21 22:32:29 +0200
• 99aca04638 Print paths as absolute piegames 2021-06-21 22:31:51 +0200
• 66a458958d Update docs conf.py Claire Xenia Wolf 2021-05-21 03:36:11 +0200
• dac0e1b69b New docs conf.py Claire Xenia Wolf 2021-05-21 03:31:50 +0200
• f5f1d9936f Make readme of abstraction example more tutorial-like N. Engelhardt 2021-04-16 15:54:51 +0200
• 4db5d70c34
  Merge pull request #121 from YosysHQ/windows_fix Miodrag Milanović 2021-03-22 16:51:11 +0100
• ecf7b8f1b0 Windows specific fixes Miodrag Milanovic 2021-03-22 16:48:33 +0100
• 1ffef12cf1
  Update conf.py Claire Xen 2021-03-04 16:49:31 +0100
• ddd44fc30b
  Delete symbiotic_logo.png Claire Xen 2021-02-24 17:52:54 +0100
• 9aa0963f26
  Update conf.py Claire Xen 2021-02-24 17:48:13 +0100
• 0270359962
  Update install.rst ythoma 2021-02-05 09:46:04 +0100
• 605db98382 Fix syntax errors Miodrag Milanovic 2021-01-26 09:09:43 +0100
• 091222b87f Extract installation procedure to separate file Miodrag Milanovic 2020-10-23 14:03:55 +0200
• 37a1fec120 copyright Matt Venn 2020-10-15 18:02:03 +0200
• 81258745eb logo and links Matt Venn 2020-10-15 17:02:52 +0200
• cc1becc1bf
  Merge pull request #116 from nakengelhardt/sed_mac N. Engelhardt 2020-10-12 13:01:15 +0200
• 7148bdd785 sed -i option is not posix, and argument syntax is incompatible between mac and linux. use redirects instead N. Engelhardt 2020-10-09 11:41:18 +0200
• 93d65cc865
  Merge pull request #115 from nakengelhardt/rename_test Miodrag Milanović 2020-09-11 16:28:32 +0200
• 9f77a4a5f1 rename make test to make ci N. Engelhardt 2020-09-11 13:22:07 +0200
• 33b0bb7d83
  Merge pull request #101 from YosysHQ/program-prefix whitequark 2020-08-22 14:49:25 +0000
• 287e33a47f Add a PROGRAM_PREFIX= Makefile option for packages with prefixed Yosys. whitequark 2020-07-11 05:28:19 +0000
• 1a7819979f Add format target and yapf style formatting Miodrag Milanovic 2020-08-10 12:14:04 +0200
• 34a2139a21 rm old import Ed Bordin 2020-08-09 18:21:38 +1000
• 3a776c329f rm ctypes impl as it is no longer needed Ed Bordin 2020-08-09 18:16:32 +1000
• 031cdb8df3 use a console process group and send ctrl+break signal instead Ed Bordin 2020-08-09 16:44:22 +1000
• 7ac54c6a2e simplify graph traversal code Ed Bordin 2020-08-09 14:22:31 +1000
• daa8329baa minor fixes after testing Ed Bordin 2020-08-08 15:35:51 +1000
• 20ec63899a replace taskkill with ctypes/WinAPI implementation Ed Bordin 2020-08-08 15:12:17 +1000
• 021b6a7093 manually improve merge Ed Bordin 2020-08-01 14:09:33 +1000
• b172357161 Run dffunmap before writing the design with aiger/btor/smt2 backends. Marcelina Kościelnicka 2020-07-31 13:10:13 +0200
• b4d0f84931 Run dffunmap before writing the design with aiger/btor/smt2 backends. Marcelina Kościelnicka 2020-07-31 13:10:13 +0200
• b6dc1c9da3 fix test rule N. Engelhardt 2020-07-24 16:06:44 +0200
• a23c76a169 Remove redundant copy of picorv32 Claire Wolf 2020-07-24 15:13:45 +0200
• 5a9efba584 Improvements in "make test" Claire Wolf 2020-07-24 14:58:23 +0200
• a3db21aaff
  Merge pull request #104 from nakengelhardt/more_tests clairexen 2020-07-24 14:48:36 +0200
• 8c5b65cf97 add tests directory with additional tests N. Engelhardt 2020-07-24 13:50:02 +0200
• fc563941d0 Remove debug mode from event loop. William D. Jones 2019-04-02 23:30:06 -0400
• a320462976 Prevent the timeout callback from running if all tasks completed. William D. Jones 2019-04-02 21:20:30 -0400
• b6007aa68c Add Windows workaround for forceful subprocess termination. William D. Jones 2019-03-30 08:13:37 -0400
• 826cd1a6f2 run() -> init(). William D. Jones 2019-03-29 03:57:47 -0400
• 009a8194dd Cleanup dead (non-async) code and rename functions. William D. Jones 2019-03-29 03:46:21 -0400
• e618a1591d Do not spawn tasks in SbyTask constructor; rely on taskloop to do it. William D. Jones 2019-03-29 03:27:43 -0400
• b5350a2eb9 Add asynchronous timer to detect timeouts. William D. Jones 2019-03-29 02:03:45 -0400
• 118280191a Begin converting taskloop to use asyncio module. William D. Jones 2019-03-27 21:32:29 -0400
• 7bae1b8bba fix error message formatting N. Engelhardt 2020-07-21 14:48:38 +0200
• 494f84b0ab Include verilog source files for demo1.sby Claire Wolf 2020-07-21 13:01:36 +0200
• 59a8fbdf36
  Merge pull request #102 from YosysHQ/claire/maketest clairexen 2020-07-20 23:08:31 +0200
• 0d98201dc7 Add "Unexpected response" handling to smtbmc engine Claire Wolf 2020-07-20 19:42:10 +0200
• 42d5255231 Add "make test" Claire Wolf 2020-07-20 17:17:49 +0200
• cddfebe029
  Merge pull request #99 from whitequark/patch-1 clairexen 2020-07-09 18:18:09 +0200
• 86ff0fdb03
  Merge pull request #100 from edbordin/master clairexen 2020-07-09 18:12:13 +0200
• 49b6875ab5 use latest win python launcher from yosys Ed Bordin 2020-07-08 13:02:53 +1000
• db0e5f3637
  Inject executable dependencies from the environment whitequark 2020-07-05 10:20:35 +0000
• 06e80194c7
  Merge pull request #98 from YosysHQ/cosa2_to_pono clairexen 2020-07-03 17:42:51 +0200
• a62fded391 cosa2 -> pono rename Miodrag Milanovic 2020-07-03 11:25:55 +0200
• 72e84cb320
  Merge pull request #97 from nakengelhardt/seed_arg clairexen 2020-07-01 19:20:06 +0200
• 18ce85eb02
  Merge pull request #94 from nakengelhardt/fix_93 clairexen 2020-07-01 19:19:08 +0200
• ee5cfdef76 add --seed option to smtbmc and btor engines N. Engelhardt 2020-07-01 18:05:20 +0200
• 2751d19216
  Merge pull request #96 from YosysHQ/claire/btorscript clairexen 2020-07-01 16:21:55 +0200
• 56c9882152
  Merge pull request #95 from adumont/patch-1 N. Engelhardt 2020-06-30 11:54:04 +0200
• d29f7b9837
  Tipo missing * in Global Clock example Alexandre Dumont aka Adlx 2020-06-29 00:42:06 +0200
• 655d9c6bcd Be more conservative in btor ys script Claire Wolf 2020-06-23 14:32:59 +0200
• 25502e16ef ignore race condition in killing already-terminated process N. Engelhardt 2020-06-16 12:41:26 +0200
• 30c1887852 Fix config parser bug Tom Alcorn 2020-05-27 18:01:49 -0700