aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | Shrinked the copyright banner by 1 characterClifford Wolf2014-10-111-19/+19
| |
* | Added "make dist" for mxe buildsClifford Wolf2014-10-111-0/+10
| |
* | Fixed Makefile PRETTY=1 for MXE (win32) and EMCC (js) buildsClifford Wolf2014-10-111-2/+2
| |
* | Do not the 'z' modifier in format string (another win32 fix)Clifford Wolf2014-10-115-9/+9
| |
* | Fixed win32 troubles with f.readsome()Clifford Wolf2014-10-116-4/+21
| |
* | Strip win32 executeablesClifford Wolf2014-10-111-1/+1
| |
* | Added proc_self_dirname() for win32Clifford Wolf2014-10-111-4/+12
| |
* | Fixed MXE readline supportClifford Wolf2014-10-111-1/+3
| |
* | Fixed ifdefs for plugin unloadingClifford Wolf2014-10-111-2/+2
| |
* | Disabled "cover -d" on win32Clifford Wolf2014-10-111-0/+4
| |
* | Not using std::to_string in ezsat (problems with mingw)Clifford Wolf2014-10-111-5/+11
| |
* | Disabled vhdl2verilog command for win32 buildsClifford Wolf2014-10-111-0/+5
| |
* | Disabled ezminisat timeout feature for Win32Clifford Wolf2014-10-112-0/+8
| |
* | Using next_token() to parse commandsClifford Wolf2014-10-101-24/+24
| |
* | Fixed next_token()Clifford Wolf2014-10-101-2/+2
| |
* | More Win32 build fixesClifford Wolf2014-10-102-10/+11
| |
* | Added next_token() function (strtok() replacement)Clifford Wolf2014-10-102-2/+19
| |
* | Various win32 build fixes in yosys.ccClifford Wolf2014-10-101-5/+30
| |
* | Moved patmatch() to yosys.ccClifford Wolf2014-10-106-95/+65
| |
* | Replaced fnmatch() with patmatch()Clifford Wolf2014-10-104-18/+105
| |
* | Added format __attribute__ to stringf()Clifford Wolf2014-10-105-6/+8
| |
* | Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32Clifford Wolf2014-10-105-118/+118
| |
* | Renamed SIZE() to GetSize() because of name collision on Win32Clifford Wolf2014-10-1048-447/+447
| |
* | Replaced "#ifdef WIN32" with "#ifdef _WIN32"Clifford Wolf2014-10-092-4/+4
| |
* | Added API for generic cell cost calculationsClifford Wolf2014-10-092-15/+100
| |
* | added .exe and .html output files to .gitignoreClifford Wolf2014-10-091-0/+4
| |
* | No rusage on win32Clifford Wolf2014-10-092-2/+13
| |
* | Added mxe-based cross build for win32Clifford Wolf2014-10-092-6/+24
| |
* | Fixes in "hilomap" help messageClifford Wolf2014-10-081-4/+2
| |
* | sort cell types in "stat" output by nameClifford Wolf2014-10-031-2/+2
| |
* | sat encoding for exclusive $pmux ctrl inputs in "share" passClifford Wolf2014-10-031-4/+16
| |
* | satgen import sigbit apiClifford Wolf2014-10-031-1/+17
| |
* | added resource sharing of $macc cellsClifford Wolf2014-10-032-3/+270
| |
* | Added $_BUF_ cell typeClifford Wolf2014-10-035-5/+19
| |
* | remove buffers in opt_cleanClifford Wolf2014-10-031-0/+13
| |
* | resource sharing of $alu cellsClifford Wolf2014-10-031-3/+21
| |
* | set "keep" on modules with $assert cells in "hierarchy"Clifford Wolf2014-09-301-0/+30
| |
* | Added support for "keep" on modulesClifford Wolf2014-09-294-2/+9
| |
* | namespace YosysClifford Wolf2014-09-2796-557/+850
| |
* | Merge pull request #39 from ahmedirfan1983/masterClifford Wolf2014-09-222-9/+62
|\ \ | | | | | | merged with current mas.ter branch + features added + bug fixes
| | * Merge branch 'btor' of https://github.com/ahmedirfan1983/yosys into btorAhmed Irfan2015-04-030-0/+0
| | |\
| | | * corrected abstract of appnoteAhmed Irfan2014-11-031-5/+5
| | | |
| | | * removed unused bibAhmed Irfan2014-11-031-12/+12
| | | | | | | | | | | | | | | | removed unused bibitems from the appnote verilog to btor
| | | * corrections in appnoteAhmed Irfan2014-11-031-1/+2
| | | |
| | | * appnote addedAhmed Irfan2014-11-031-0/+434
| | |/ | |/|
| | * appnote for verilog to btorAhmed Irfan2015-04-031-0/+435
| |/
| * Merge branch 'master' of https://github.com/cliffordwolf/yosys into btorAhmed Irfan2014-09-22513-12050/+34829
| |\ | |/ |/| | | | | | | | | | | | | added case for memwr cell that is used in muxes (same cell is used more than one time) corrected bug for xnor and logic_not added pmux cell translation Conflicts: backends/btor/btor.cc
* | Re-enabled assert for new logic loops in "share" passClifford Wolf2014-09-211-4/+1
| |
* | Various improvements regarding logic loops in "share" resultsClifford Wolf2014-09-211-37/+108
| |
* | Logic loop bugfix for "share" passClifford Wolf2014-09-211-3/+7
| |