| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added sat -show-regs, -show-public, -show-all | Clifford Wolf | 2015-08-18 | 1 | -0/+39 |
| | | |||||
| * | Bugfix in fsm_detect for complex muxtrees | Clifford Wolf | 2015-08-18 | 1 | -15/+23 |
| | | |||||
| * | Properly clean up unused "init" attributes | Clifford Wolf | 2015-08-18 | 2 | -6/+36 |
| | | |||||
| * | Small corrections to const2ast warning messages | Clifford Wolf | 2015-08-17 | 1 | -2/+2 |
| | | |||||
| * | Check base-n literals only contain valid digits | Florian Zeitz | 2015-08-17 | 1 | -0/+3 |
| | | |||||
| * | Warn on literals exceeding the specified bit width | Florian Zeitz | 2015-08-17 | 1 | -34/+39 |
| | | |||||
| * | Merge pull request #72 from cseed/master | Clifford Wolf | 2015-08-17 | 1 | -0/+34 |
| |\ | | | | | Added .travis.yml. | ||||
| | * | Added .travis.yml. | Cotton Seed | 2015-08-17 | 1 | -0/+34 |
| |/ | |||||
| * | Another bugfix for ice40 and xilinx brams_init make rules | Clifford Wolf | 2015-08-16 | 4 | -9/+9 |
| | | |||||
| * | Fixed Makefile rules for generated share files | Clifford Wolf | 2015-08-16 | 3 | -2/+20 |
| | | |||||
| * | Added $tribuf and $_TBUF_ sim models | Clifford Wolf | 2015-08-16 | 2 | -0/+20 |
| | | |||||
| * | Added tribuf command | Clifford Wolf | 2015-08-16 | 3 | -0/+189 |
| | | |||||
| * | Added $tribuf and $_TBUF_ cell types | Clifford Wolf | 2015-08-16 | 5 | -2/+42 |
| | | |||||
| * | Fixed opt_clean handling of inout ports | Clifford Wolf | 2015-08-16 | 1 | -2/+2 |
| | | |||||
| * | Fixed generation of smt2 concat statements | Clifford Wolf | 2015-08-15 | 1 | -3/+5 |
| | | |||||
| * | Fix version strings for out-of-tree builds | Larry Doolittle | 2015-08-14 | 1 | -2/+2 |
| | | | | | Still assumes source tree is a git repository | ||||
| * | Another block of spelling fixes | Larry Doolittle | 2015-08-14 | 24 | -53/+53 |
| | | | | | Smaller this time | ||||
| * | Keep gcc from complaining about uninitialized variables | Larry Doolittle | 2015-08-14 | 2 | -3/+3 |
| | | |||||
| * | Re-created command-reference-manual.tex, copied some doc fixes to online help | Clifford Wolf | 2015-08-14 | 10 | -52/+668 |
| | | |||||
| * | Spell check (by Larry Doolittle) | Clifford Wolf | 2015-08-14 | 63 | -220/+220 |
| | | |||||
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-08-13 | 17 | -79/+169 |
| |\ | |||||
| | * | Added "write_smt2 -regs" | Clifford Wolf | 2015-08-12 | 1 | -7/+36 |
| | | | |||||
| | * | Fixed "make clean" for out-of-tree builds | Clifford Wolf | 2015-08-12 | 1 | -1/+1 |
| | | | |||||
| | * | Adjust makefiles to work with out-of-tree builds | Clifford Wolf | 2015-08-12 | 12 | -41/+32 |
| | | | | | | | | | This is based on work done by Larry Doolittle | ||||
| | * | Improved handling of "keep" attributes in hierarchical designs in opt_clean | Clifford Wolf | 2015-08-12 | 2 | -27/+58 |
| | | | |||||
| | * | Fixed hashlib for 64 bit int keys | Clifford Wolf | 2015-08-12 | 1 | -3/+9 |
| | | | |||||
| | * | Added SMV back-end 'test_cells.sh' script | Clifford Wolf | 2015-08-12 | 1 | -0/+33 |
| | | | |||||
| * | | More ASCII encoding fixes | Clifford Wolf | 2015-08-13 | 2 | -2/+2 |
| | | | |||||
| * | | Fixed CRLF line endings | Clifford Wolf | 2015-08-13 | 6 | -563/+563 |
| | | | |||||
| * | | Some ASCII encoding fixes (comments and docs) by Larry Doolittle | Clifford Wolf | 2015-08-13 | 4 | -6/+6 |
| |/ | |||||
| * | Merge pull request #70 from gaomy3832/bugfix | Clifford Wolf | 2015-08-12 | 1 | -0/+10 |
| |\ | | | | | Remove unused blackbox modules in opt_clean. | ||||
| | * | Remove unused blackbox modules in opt_clean. | Mingyu Gao | 2015-08-11 | 1 | -0/+10 |
| | | | |||||
| | * | Bugfix for cell hash cache option in opt_share. | Mingyu Gao | 2015-08-10 | 1 | -0/+2 |
| | | | |||||
| * | | Bugfix for cell hash cache option in opt_share. | Mingyu Gao | 2015-08-11 | 1 | -0/+2 |
| | | | |||||
| * | | Fixed handling of [a-fxz?] in decimal constants | Clifford Wolf | 2015-08-11 | 2 | -2/+11 |
| | | | |||||
| * | | Added missing ct_all setup to opt_clean | Clifford Wolf | 2015-08-11 | 1 | -0/+3 |
| |/ | |||||
| * | Use MEMID as name for $mem cell | Clifford Wolf | 2015-08-09 | 2 | -43/+53 |
| | | |||||
| * | Merge pull request #69 from zeldin/master | Clifford Wolf | 2015-08-07 | 1 | -0/+10 |
| |\ | | | | | Added iCE40 WARMBOOT cell | ||||
| | * | Added iCE40 WARMBOOT cell | Marcus Comstedt | 2015-08-06 | 1 | -0/+10 |
| |/ | |||||
| * | Remove some very strange whitespace in btor.cc (by Larry Doolittle) | Clifford Wolf | 2015-08-05 | 1 | -7/+7 |
| | | |||||
| * | Bugfix in SMV back-end for partially unassigned wires | Clifford Wolf | 2015-08-05 | 1 | -4/+16 |
| | | |||||
| * | Added ENABLE_LIBYOSYS Makefile option | Clifford Wolf | 2015-08-04 | 2 | -14/+10 |
| | | |||||
| * | Added $assert support to SMV back-end | Clifford Wolf | 2015-08-04 | 1 | -4/+21 |
| | | |||||
| * | Added libyosys.so build | Clifford Wolf | 2015-08-04 | 3 | -3/+24 |
| | | |||||
| * | Merge pull request #68 from zeldin/master | Clifford Wolf | 2015-08-01 | 1 | -1/+8 |
| |\ | | | | | Add -noautowire option to verilog frontend | ||||
| | * | Add -noautowire option to verilog frontend | Marcus Comstedt | 2015-08-01 | 1 | -1/+8 |
| |/ | |||||
| * | Added WORDS parameter to $meminit | Clifford Wolf | 2015-07-31 | 6 | -16/+95 |
| | | |||||
| * | Fixed flatten $meminit handling | Clifford Wolf | 2015-07-30 | 1 | -1/+1 |
| | | |||||
| * | Improvements in BLIF back-end | Clifford Wolf | 2015-07-29 | 1 | -5/+84 |
| | | |||||
| * | Fixed nested mem2reg | Clifford Wolf | 2015-07-29 | 2 | -4/+11 |
| | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |