aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | Properly clean up unused "init" attributesClifford Wolf2015-08-182-6/+36
* | | Small corrections to const2ast warning messagesClifford Wolf2015-08-171-2/+2
* | | Check base-n literals only contain valid digitsFlorian Zeitz2015-08-171-0/+3
* | | Warn on literals exceeding the specified bit widthFlorian Zeitz2015-08-171-34/+39
* | | Merge pull request #72 from cseed/masterClifford Wolf2015-08-171-0/+34
|\| |
| * | Added .travis.yml.Cotton Seed2015-08-171-0/+34
|/ /
* | Another bugfix for ice40 and xilinx brams_init make rulesClifford Wolf2015-08-164-9/+9
* | Fixed Makefile rules for generated share filesClifford Wolf2015-08-163-2/+20
* | Added $tribuf and $_TBUF_ sim modelsClifford Wolf2015-08-162-0/+20
* | Added tribuf commandClifford Wolf2015-08-163-0/+189
* | Added $tribuf and $_TBUF_ cell typesClifford Wolf2015-08-165-2/+42
* | Fixed opt_clean handling of inout portsClifford Wolf2015-08-161-2/+2
* | Fixed generation of smt2 concat statementsClifford Wolf2015-08-151-3/+5
* | Fix version strings for out-of-tree buildsLarry Doolittle2015-08-141-2/+2
* | Another block of spelling fixesLarry Doolittle2015-08-1424-53/+53
* | Keep gcc from complaining about uninitialized variablesLarry Doolittle2015-08-142-3/+3
* | Re-created command-reference-manual.tex, copied some doc fixes to online helpClifford Wolf2015-08-1410-52/+668
* | Spell check (by Larry Doolittle)Clifford Wolf2015-08-1463-220/+220
* | Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2015-08-1317-79/+169
|\ \
| * | Added "write_smt2 -regs"Clifford Wolf2015-08-121-7/+36
| * | Fixed "make clean" for out-of-tree buildsClifford Wolf2015-08-121-1/+1
| * | Adjust makefiles to work with out-of-tree buildsClifford Wolf2015-08-1212-41/+32
| * | Improved handling of "keep" attributes in hierarchical designs in opt_cleanClifford Wolf2015-08-122-27/+58
| * | Fixed hashlib for 64 bit int keysClifford Wolf2015-08-121-3/+9
| * | Added SMV back-end 'test_cells.sh' scriptClifford Wolf2015-08-121-0/+33
* | | More ASCII encoding fixesClifford Wolf2015-08-132-2/+2
* | | Fixed CRLF line endingsClifford Wolf2015-08-136-563/+563
* | | Some ASCII encoding fixes (comments and docs) by Larry DoolittleClifford Wolf2015-08-134-6/+6
|/ /
* | Merge pull request #70 from gaomy3832/bugfixClifford Wolf2015-08-121-0/+10
|\ \
| * | Remove unused blackbox modules in opt_clean.Mingyu Gao2015-08-111-0/+10
| * | Bugfix for cell hash cache option in opt_share.Mingyu Gao2015-08-101-0/+2
* | | Bugfix for cell hash cache option in opt_share.Mingyu Gao2015-08-111-0/+2
* | | Fixed handling of [a-fxz?] in decimal constantsClifford Wolf2015-08-112-2/+11
* | | Added missing ct_all setup to opt_cleanClifford Wolf2015-08-111-0/+3
|/ /
* | Use MEMID as name for $mem cellClifford Wolf2015-08-092-43/+53
* | Merge pull request #69 from zeldin/masterClifford Wolf2015-08-071-0/+10
|\ \
| * | Added iCE40 WARMBOOT cellMarcus Comstedt2015-08-061-0/+10
|/ /
* | Remove some very strange whitespace in btor.cc (by Larry Doolittle)Clifford Wolf2015-08-051-7/+7
* | Bugfix in SMV back-end for partially unassigned wiresClifford Wolf2015-08-051-4/+16
* | Added ENABLE_LIBYOSYS Makefile optionClifford Wolf2015-08-042-14/+10
* | Added $assert support to SMV back-endClifford Wolf2015-08-041-4/+21
* | Added libyosys.so buildClifford Wolf2015-08-043-3/+24
* | Merge pull request #68 from zeldin/masterClifford Wolf2015-08-011-1/+8
|\ \
| * | Add -noautowire option to verilog frontendMarcus Comstedt2015-08-011-1/+8
|/ /
* | Added WORDS parameter to $meminitClifford Wolf2015-07-316-16/+95
* | Fixed flatten $meminit handlingClifford Wolf2015-07-301-1/+1
* | Improvements in BLIF back-endClifford Wolf2015-07-291-5/+84
* | Fixed nested mem2regClifford Wolf2015-07-292-4/+11
* | Don't write a 17th memory bit in ice40/cells_sim (by Larry Doolittle)Clifford Wolf2015-07-271-1/+0
* | Fixed "check" command for inout portsClifford Wolf2015-07-271-3/+11
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-22 09:10:45 +0000