stv0g/yosys
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Commit graph

  • d39db41df8 Work-around for boolector bug Clifford Wolf 2016-09-13 13:23:06 +02:00
  • d01e34136e Merge pull request #228 from Kmanfi/test Clifford Wolf 2016-09-13 12:34:19 +02:00
  • 2c031cd24f Fix for modules with big interfaces. Kaj Tuomi 2016-09-13 13:13:27 +03:00
  • 6f416c1953 Added missing :produce-models setting to smtio.py Clifford Wolf 2016-09-11 18:08:56 +02:00
  • 5199aafca0 Minor improvements to smtio.py vcd writer Clifford Wolf 2016-09-10 16:24:08 +02:00
  • b582f11074 fixed write_smt2 for (non-combinatorial) loops through hierarchical cells Clifford Wolf 2016-09-10 15:14:41 +02:00
  • 3ceba145d5 smt2 mem init bugfix Clifford Wolf 2016-09-08 18:08:15 +02:00
  • 2c0d818296 Merge branch 'master' of github.com:cliffordwolf/yosys Clifford Wolf 2016-09-08 11:17:05 +02:00
  • 14bfd3c5c1 yosys-smtbmc meminit support Clifford Wolf 2016-09-08 11:16:12 +02:00
  • 9e72046906 Merge pull request #225 from Kmanfi/test Clifford Wolf 2016-09-08 10:06:40 +02:00
  • df4ab169a7 Typo fix. Kaj Tuomi 2016-09-08 10:57:16 +03:00
  • 209a3d9ffc Bugfix in "yosys-smtbmc --unroll" Clifford Wolf 2016-09-07 21:01:51 +02:00
  • 6770d6e0f8 Added "yosys-smtbmc --unroll" Clifford Wolf 2016-09-07 20:57:56 +02:00
  • ceff7ecd91 Install celledges.h Clifford Wolf 2016-09-07 13:43:57 +02:00
  • cb7dbf4070 Improvements in assertpmux Clifford Wolf 2016-09-07 12:42:16 +02:00
  • e2570ffb87 Updated ABC to hg 8e08604f8ad3 Clifford Wolf 2016-09-07 11:08:54 +02:00
  • ab18e9df7c Added assertpmux Clifford Wolf 2016-09-07 00:28:01 +02:00
  • f3f5a02045 Added "tee +INT -INT" Clifford Wolf 2016-09-06 17:43:24 +02:00
  • fc5281b3f7 Run log_flush() before solving in sat command Clifford Wolf 2016-09-06 17:35:25 +02:00
  • d55a93b39f Bugfix in parsing of BLIF latch init values Clifford Wolf 2016-09-06 17:35:06 +02:00
  • 97583ab729 Avoid creation of bogus initial blocks for assert/assume in always @* Clifford Wolf 2016-09-06 17:34:42 +02:00
  • dcb5a6ea8a Fix spelling and grammar in README Larry Doolittle 2016-09-05 19:58:18 -07:00
  • 97b449fe55 yosys-smtbmc: flush stdout after each log msg Clifford Wolf 2016-09-06 01:40:31 +02:00
  • 372d672c2a Minor bugfix in write_smt2 Clifford Wolf 2016-09-04 16:32:47 +02:00
  • 19a3b3732c Minor README updates Clifford Wolf 2016-09-03 18:49:53 +02:00
  • fa5565b606 Added boolector support to yosys-smtbmc Clifford Wolf 2016-09-03 14:26:00 +02:00
  • d2eba7631f Merge branch 'smtbmc-kmanfi' Clifford Wolf 2016-09-02 13:55:51 +02:00
  • 068d5bc02f Made examples/smtbmc/demo1.v more interesting Clifford Wolf 2016-09-02 13:54:24 +02:00
  • 948aac9e1e Don't re-create hex_dict for each value Clifford Wolf 2016-09-02 13:46:56 +02:00
  • d88cd0ae7f More PEP 8 fixes. Kaj Tuomi 2016-09-02 13:09:09 +03:00
  • c4ba1965fd Indentation and PEP 8 fixes. CamelCase and white space after semicolon. Kaj Tuomi 2016-09-02 13:01:31 +03:00
  • 2343dda946 Use dict lookup instead of many ifs. Kaj Tuomi 2016-09-02 12:50:23 +03:00
  • 279298c0b8 Fix: Unresolved reference. Kaj Tuomi 2016-09-02 11:12:30 +03:00
  • 74dd36ad55 Some syntax fixes. Generator and comma separated list modifications. Kaj Tuomi 2016-09-02 11:02:19 +03:00
  • 2ee9bf10d0 Added "prep -nomem" Clifford Wolf 2016-08-30 23:57:24 +02:00
  • aa25a4cec6 Added $anyconst support to yosys-smtbmc Clifford Wolf 2016-08-30 19:27:42 +02:00
  • 6f41e5277d Removed $aconst cell type Clifford Wolf 2016-08-30 19:09:56 +02:00
  • a8124c137e Fixed memory bug in write_smt2 Clifford Wolf 2016-08-30 14:49:47 +02:00
  • b04a40d9fe Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem" Clifford Wolf 2016-08-30 12:40:09 +02:00
  • 39e4faa2e4 Added $anyconst support to smt2 back-end Clifford Wolf 2016-08-30 11:26:10 +02:00
  • 4ea7054b56 Improved init spec handling in opt_rmdff, modernized the code a bit Clifford Wolf 2016-08-30 01:34:04 +02:00
  • c417421495 Added "yosys-smtbmc --dump-all" Clifford Wolf 2016-08-29 22:41:45 +02:00
  • b226893461 More yosys-smtbmc bugfixes Clifford Wolf 2016-08-29 14:53:32 +02:00
  • a2e2fc5980 Various fixes and improvements in yosys-smtbmc Clifford Wolf 2016-08-29 13:53:12 +02:00
  • eae390ae17 Removed $predict again Clifford Wolf 2016-08-28 21:35:33 +02:00
  • 66582964bc Improved "show" help message Clifford Wolf 2016-08-28 12:34:36 +02:00
  • f56dba8e20 Some changes to yosys-smtbmc cmd line options, add --final-only Clifford Wolf 2016-08-27 22:04:15 +02:00
  • 23afeadb5e Fixed handling of transparent bram rd ports on ROMs Clifford Wolf 2016-08-27 17:06:22 +02:00
  • adcda6817e Added smtc "final" statement Clifford Wolf 2016-08-27 14:30:36 +02:00
  • 7500b403de Merge branch 'master' of github.com:cliffordwolf/yosys Clifford Wolf 2016-08-26 23:36:15 +02:00
  • 3356d3947b Merge pull request #215 from frznchckn/to_upstream Clifford Wolf 2016-08-26 23:36:05 +02:00
  • 1276c87a56 Added read_verilog -norestrict -assume-asserts Clifford Wolf 2016-08-26 23:35:27 +02:00
  • ee620c6a24 Relax test to see if yosys dir is a git repository in Makefile Russell L Friesenhahn 2016-08-26 11:15:36 -05:00
  • 23f217b166 Allow redefining of the ABC repository URL Russell L Friesenhahn 2016-08-16 22:07:36 -05:00
  • 17233b11e1 Various fixes and improvements in smt2 back-end Clifford Wolf 2016-08-26 17:33:02 +02:00
  • 4be4969bae Improved verilog parser errors Clifford Wolf 2016-08-25 11:44:25 +02:00
  • ad56ad44c3 More yosys-smtbmc smtc features Clifford Wolf 2016-08-24 23:18:29 +02:00
  • ee3e7a0e45 yosys-smtbmc --smtc -g Clifford Wolf 2016-08-24 22:09:50 +02:00
  • cd18235f30 Added SV "restrict" keyword Clifford Wolf 2016-08-24 15:30:08 +02:00
  • 6523023645 Minor yosys-smtbmc bugfix Clifford Wolf 2016-08-22 17:45:01 +02:00
  • 583ceee6eb Added "yosys-smtbmc --constr" Clifford Wolf 2016-08-22 17:27:43 +02:00
  • 2bd30e2026 Added "yosys-smtbmc --dump-constr" Clifford Wolf 2016-08-22 16:48:46 +02:00
  • f8a77abfac Added glob support to all front-ends Clifford Wolf 2016-08-22 15:05:57 +02:00
  • 450f6f59b4 Fixed bug with memories that do not have a down-to-zero data width Clifford Wolf 2016-08-22 14:27:46 +02:00
  • cad40fc874 Fixed bug in memory_share for memory ports with different ABITS Clifford Wolf 2016-08-22 14:26:33 +02:00
  • 7a33b9892a yosys-smtbmc: improved --dump-vlogtb handling of memories Clifford Wolf 2016-08-21 15:56:22 +02:00
  • cdd0b85e47 Added another mem2reg test case Clifford Wolf 2016-08-21 13:45:46 +02:00
  • 82a4a0230f Another bugfix in mem2reg code Clifford Wolf 2016-08-21 13:23:58 +02:00
  • dbdd8927e7 Minor improvements to AstNode::dumpAst() and AstNode::dumpVlog() Clifford Wolf 2016-08-21 13:18:09 +02:00
  • a93fcec93f Added examples/smtbmc/demo2.v Clifford Wolf 2016-08-20 18:44:27 +02:00
  • f7578b0239 Added "yosys-smtbmc --dump-vlogtb" Clifford Wolf 2016-08-20 18:43:39 +02:00
  • ed785194de Added support for memories to smtio.py Clifford Wolf 2016-08-20 18:42:32 +02:00
  • c325bae792 Deprecated "write_smt2 -regs" (by default on now), and some other smt2 back-end improvements Clifford Wolf 2016-08-20 18:41:57 +02:00
  • 28271e43c9 Added "yosys-smtbmc -g" Clifford Wolf 2016-08-20 16:32:50 +02:00
  • a889acb897 Added smtbmc longopt support Clifford Wolf 2016-08-20 16:07:59 +02:00
  • fe9315b7a1 Fixed finish_addr handling in $readmemh/$readmemb Clifford Wolf 2016-08-20 13:47:46 +02:00
  • 75bf7416f0 Bugfix in partial mem write handling in verilog back-end Clifford Wolf 2016-08-20 13:06:06 +02:00
  • d77a914683 Added "wreduce -memx" Clifford Wolf 2016-08-20 12:52:50 +02:00
  • 15ef608453 Added memory_memx pass, "memory -memx", and "prep -memx" Clifford Wolf 2016-08-19 19:48:26 +02:00
  • f6629b9c29 Optimize memory address port width in wreduce and memory_collect, not verilog front-end Clifford Wolf 2016-08-19 18:38:25 +02:00
  • 9b8e06bee1 Added missing support for mem read enable ports to verilog back-end Clifford Wolf 2016-08-18 21:47:02 +02:00
  • b3a01451a5 Bugfix in test_autotb Clifford Wolf 2016-08-18 13:43:12 +02:00
  • de8ee412c3 Improved smtbmc vcd generation performance Clifford Wolf 2016-08-18 11:17:45 +02:00
  • dfcd30ea86 Added printing of code loc of failed asserts to yosys-smtbmc Clifford Wolf 2016-08-17 20:10:02 +02:00
  • 42a971226b Fixed default build config Clifford Wolf 2016-08-16 22:44:38 +02:00
  • 1419f3983e Merge pull request #203 from cr1901/master Clifford Wolf 2016-08-16 22:41:53 +02:00
  • 5299b17056 Add MSYS2-compatible build. William D. Jones 2016-08-16 14:41:37 -04:00
  • 5767e4bc4d Use _Exit(0) on win32, always use _Exit(1) in log_error() Clifford Wolf 2016-08-16 09:36:49 +02:00
  • 5531bd7578 Updated ABC to hg rev a86455b00da5 Clifford Wolf 2016-08-16 09:08:26 +02:00
  • 00f29d5e5c Fixed use-after-free dict<> usage pattern in hierarchy.cc Clifford Wolf 2016-08-16 09:07:13 +02:00
  • b4d544f0d9 Updated ABC to hg rev 760ba358e790 Clifford Wolf 2016-08-16 00:56:42 +02:00
  • 4561586eed ABC mxe cross-build fix Clifford Wolf 2016-08-16 00:52:10 +02:00
  • 321e15b0bf Minor fixes in show command Clifford Wolf 2016-08-16 00:36:24 +02:00
  • 5d90a5b905 Added greenpak4_dffinv Clifford Wolf 2016-08-15 09:33:06 +02:00
  • f0a8713fea Fixed upto handling in verilog back-end Clifford Wolf 2016-08-15 08:26:20 +02:00
  • 1058660ac8 Merge pull request #200 from azonenberg/master Clifford Wolf 2016-08-14 15:49:08 +02:00
  • 0b0ba96488 greenpak4: Changed name of inverted output ports for consistency Andrew Zonenberg 2016-08-14 00:30:45 -07:00
  • 3b9756c6a3 greenpak4: Added GP_DFFxI cells Andrew Zonenberg 2016-08-14 00:11:44 -07:00
  • 2b062c48cb greenpak4: Renamed ports for better consistency (see azonenberg/openfpga:#6) Andrew Zonenberg 2016-08-13 22:27:58 -07:00
  • 6ac67eac10 Merge pull request #198 from whitequark/master Clifford Wolf 2016-08-11 11:17:44 +02:00