William Speirs [Tue, 14 Oct 2014 21:15:08 +0000 (17:15 -0400)]
Changed to explicit heap allocated memory
William Speirs [Tue, 14 Oct 2014 21:10:53 +0000 (17:10 -0400)]
Wrapped init in std::set constructor
William Speirs [Tue, 14 Oct 2014 21:10:08 +0000 (17:10 -0400)]
Made iterators extend std::iterator and added == operator
Clifford Wolf [Tue, 14 Oct 2014 22:56:04 +0000 (00:56 +0200)]
Define empty __attribute__ macro for non-gcc, non-clang compilers
William Speirs [Tue, 14 Oct 2014 21:07:30 +0000 (17:07 -0400)]
Fixed log so it will compile under Visual Studio
- Included an implementation of gettimeofday
William Speirs [Tue, 14 Oct 2014 21:06:02 +0000 (17:06 -0400)]
Updated lexers & parsers to include prefixes
Clifford Wolf [Tue, 14 Oct 2014 22:41:14 +0000 (00:41 +0200)]
Updated ABC, enabled ABC in mxe builds
Clifford Wolf [Mon, 13 Oct 2014 15:22:06 +0000 (17:22 +0200)]
Removed CHECK() macro from libparse.cc (was using non-std c features)
Clifford Wolf [Sun, 12 Oct 2014 13:02:40 +0000 (15:02 +0200)]
Fixed ABC ARCHFLAGS for win32 cross build
Clifford Wolf [Sun, 12 Oct 2014 12:48:19 +0000 (14:48 +0200)]
More win32/abc fixes
Clifford Wolf [Sun, 12 Oct 2014 11:48:05 +0000 (13:48 +0200)]
Various Makefile changes for cross-compiling ABC for Win32
Clifford Wolf [Sun, 12 Oct 2014 10:18:38 +0000 (12:18 +0200)]
Various small fixes for non-win32 builds
Clifford Wolf [Sun, 12 Oct 2014 10:11:57 +0000 (12:11 +0200)]
Added make_temp_{file,dir}() and remove_directory() APIs
Clifford Wolf [Sun, 12 Oct 2014 09:17:53 +0000 (11:17 +0200)]
Using stringf() instead of asprintf() in "abc" pass
Clifford Wolf [Sun, 12 Oct 2014 08:57:15 +0000 (10:57 +0200)]
Added run_command() api to replace system() and popen()
Clifford Wolf [Sat, 11 Oct 2014 10:13:46 +0000 (12:13 +0200)]
Renamed "log.cc" to "logcmd.cc" so there aren't two "log.cc" in the source tree
Clifford Wolf [Sat, 11 Oct 2014 09:59:35 +0000 (11:59 +0200)]
Shrinked the copyright banner by 1 character
Clifford Wolf [Sat, 11 Oct 2014 09:53:36 +0000 (11:53 +0200)]
Added "make dist" for mxe builds
Clifford Wolf [Sat, 11 Oct 2014 09:44:36 +0000 (11:44 +0200)]
Fixed Makefile PRETTY=1 for MXE (win32) and EMCC (js) builds
Clifford Wolf [Sat, 11 Oct 2014 09:42:08 +0000 (11:42 +0200)]
Do not the 'z' modifier in format string (another win32 fix)
Clifford Wolf [Sat, 11 Oct 2014 09:36:22 +0000 (11:36 +0200)]
Fixed win32 troubles with f.readsome()
Clifford Wolf [Sat, 11 Oct 2014 09:35:54 +0000 (11:35 +0200)]
Strip win32 executeables
Clifford Wolf [Sat, 11 Oct 2014 09:08:52 +0000 (11:08 +0200)]
Added proc_self_dirname() for win32
Clifford Wolf [Sat, 11 Oct 2014 08:59:11 +0000 (10:59 +0200)]
Fixed MXE readline support
Clifford Wolf [Sat, 11 Oct 2014 08:57:46 +0000 (10:57 +0200)]
Fixed ifdefs for plugin unloading
Clifford Wolf [Sat, 11 Oct 2014 08:49:43 +0000 (10:49 +0200)]
Disabled "cover -d" on win32
Clifford Wolf [Sat, 11 Oct 2014 08:46:50 +0000 (10:46 +0200)]
Not using std::to_string in ezsat (problems with mingw)
Clifford Wolf [Sat, 11 Oct 2014 08:46:19 +0000 (10:46 +0200)]
Disabled vhdl2verilog command for win32 builds
Clifford Wolf [Sat, 11 Oct 2014 08:24:46 +0000 (10:24 +0200)]
Disabled ezminisat timeout feature for Win32
Clifford Wolf [Fri, 10 Oct 2014 16:53:03 +0000 (18:53 +0200)]
Using next_token() to parse commands
Clifford Wolf [Fri, 10 Oct 2014 16:38:40 +0000 (18:38 +0200)]
Fixed next_token()
Clifford Wolf [Fri, 10 Oct 2014 16:34:19 +0000 (18:34 +0200)]
More Win32 build fixes
Clifford Wolf [Fri, 10 Oct 2014 16:33:55 +0000 (18:33 +0200)]
Added next_token() function (strtok() replacement)
Clifford Wolf [Fri, 10 Oct 2014 16:19:18 +0000 (18:19 +0200)]
Various win32 build fixes in yosys.cc
Clifford Wolf [Fri, 10 Oct 2014 16:19:00 +0000 (18:19 +0200)]
Moved patmatch() to yosys.cc
Clifford Wolf [Fri, 10 Oct 2014 16:02:17 +0000 (18:02 +0200)]
Replaced fnmatch() with patmatch()
Clifford Wolf [Fri, 10 Oct 2014 15:22:08 +0000 (17:22 +0200)]
Added format __attribute__ to stringf()
Clifford Wolf [Fri, 10 Oct 2014 15:06:02 +0000 (17:06 +0200)]
Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32
Clifford Wolf [Fri, 10 Oct 2014 14:59:44 +0000 (16:59 +0200)]
Renamed SIZE() to GetSize() because of name collision on Win32
Clifford Wolf [Thu, 9 Oct 2014 15:00:54 +0000 (17:00 +0200)]
Replaced "#ifdef WIN32" with "#ifdef _WIN32"
Clifford Wolf [Thu, 9 Oct 2014 11:59:26 +0000 (13:59 +0200)]
Added API for generic cell cost calculations
Clifford Wolf [Thu, 9 Oct 2014 08:52:45 +0000 (10:52 +0200)]
added .exe and .html output files to .gitignore
Clifford Wolf [Thu, 9 Oct 2014 08:51:24 +0000 (10:51 +0200)]
No rusage on win32
Clifford Wolf [Thu, 9 Oct 2014 08:50:44 +0000 (10:50 +0200)]
Added mxe-based cross build for win32
Clifford Wolf [Wed, 8 Oct 2014 19:38:37 +0000 (21:38 +0200)]
Fixes in "hilomap" help message
Clifford Wolf [Fri, 3 Oct 2014 17:21:04 +0000 (19:21 +0200)]
sort cell types in "stat" output by name
Clifford Wolf [Fri, 3 Oct 2014 17:01:24 +0000 (19:01 +0200)]
sat encoding for exclusive $pmux ctrl inputs in "share" pass
Clifford Wolf [Fri, 3 Oct 2014 16:51:50 +0000 (18:51 +0200)]
satgen import sigbit api
Clifford Wolf [Fri, 3 Oct 2014 10:58:40 +0000 (12:58 +0200)]
added resource sharing of $macc cells
Clifford Wolf [Fri, 3 Oct 2014 08:12:28 +0000 (10:12 +0200)]
Added $_BUF_ cell type
Clifford Wolf [Fri, 3 Oct 2014 08:04:15 +0000 (10:04 +0200)]
remove buffers in opt_clean
Clifford Wolf [Fri, 3 Oct 2014 07:55:50 +0000 (09:55 +0200)]
resource sharing of $alu cells
Clifford Wolf [Tue, 30 Sep 2014 17:16:40 +0000 (19:16 +0200)]
set "keep" on modules with $assert cells in "hierarchy"
Clifford Wolf [Mon, 29 Sep 2014 10:51:54 +0000 (12:51 +0200)]
Added support for "keep" on modules
Clifford Wolf [Sat, 27 Sep 2014 14:17:53 +0000 (16:17 +0200)]
namespace Yosys
Clifford Wolf [Mon, 22 Sep 2014 10:37:43 +0000 (12:37 +0200)]
Merge pull request #39 from ahmedirfan1983/master
merged with current mas.ter branch + features added + bug fixes
Ahmed Irfan [Mon, 22 Sep 2014 09:35:04 +0000 (11:35 +0200)]
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
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
Clifford Wolf [Sun, 21 Sep 2014 17:44:08 +0000 (19:44 +0200)]
Re-enabled assert for new logic loops in "share" pass
Clifford Wolf [Sun, 21 Sep 2014 17:36:56 +0000 (19:36 +0200)]
Various improvements regarding logic loops in "share" results
Clifford Wolf [Sun, 21 Sep 2014 13:13:44 +0000 (15:13 +0200)]
Logic loop bugfix for "share" pass
Clifford Wolf [Sun, 21 Sep 2014 13:13:06 +0000 (15:13 +0200)]
Added "share -limit"
Clifford Wolf [Sun, 21 Sep 2014 12:51:07 +0000 (14:51 +0200)]
Still loop bug in "share": changed assert to warning
Clifford Wolf [Sun, 21 Sep 2014 11:52:39 +0000 (13:52 +0200)]
Do not introduce new logic loops in "share"
Clifford Wolf [Sun, 21 Sep 2014 10:57:33 +0000 (12:57 +0200)]
Assert on new logic loops in "share" pass
Clifford Wolf [Fri, 19 Sep 2014 13:51:34 +0000 (15:51 +0200)]
Added "test_abcloop" command
Clifford Wolf [Fri, 19 Sep 2014 13:50:55 +0000 (15:50 +0200)]
Initialize RTLIL::Const from std::vector<bool>
Clifford Wolf [Fri, 19 Sep 2014 13:50:34 +0000 (15:50 +0200)]
Sorting of object names in ilang backend
Clifford Wolf [Fri, 19 Sep 2014 12:05:41 +0000 (14:05 +0200)]
Small improvements in "abc" command handle_loops() function
Clifford Wolf [Fri, 19 Sep 2014 11:15:31 +0000 (13:15 +0200)]
Using "NOT" instead of "INV" as cell name in default abc genlib file
Clifford Wolf [Fri, 19 Sep 2014 09:13:10 +0000 (11:13 +0200)]
Alphabetically sort port names in "show" output
Clifford Wolf [Thu, 18 Sep 2014 17:00:21 +0000 (19:00 +0200)]
Do not run "scorr" in "abc -fast"
Clifford Wolf [Thu, 18 Sep 2014 10:57:55 +0000 (12:57 +0200)]
Improvements in "synth" script
Clifford Wolf [Thu, 18 Sep 2014 10:57:37 +0000 (12:57 +0200)]
Added "abc -fast"
ahmedirfan1983 [Thu, 18 Sep 2014 09:15:46 +0000 (11:15 +0200)]
fixed memory next issue, when same memory is written in different case statement
fixed reduce_xnor, logic_not bug translation bug
Clifford Wolf [Wed, 17 Sep 2014 05:19:34 +0000 (07:19 +0200)]
Added commit count to devel version number
Clifford Wolf [Tue, 16 Sep 2014 10:45:05 +0000 (12:45 +0200)]
Fixed $_NOR vs. $_NOR_ typo in abc.cc
Clifford Wolf [Tue, 16 Sep 2014 10:40:58 +0000 (12:40 +0200)]
Fixed $memwr/$memrd order in memory_dff
Clifford Wolf [Tue, 16 Sep 2014 09:26:44 +0000 (11:26 +0200)]
Added new CodingReadme file (replaces CodingStyle and CHECKLISTS)
Clifford Wolf [Tue, 16 Sep 2014 06:19:35 +0000 (08:19 +0200)]
Fixed $macc simlib model for zero-config
Clifford Wolf [Mon, 15 Sep 2014 10:42:11 +0000 (12:42 +0200)]
More aggressive $macc merging in alumacc
Clifford Wolf [Mon, 15 Sep 2014 10:22:03 +0000 (12:22 +0200)]
Added the obvious optimizations to alumacc $macc generator
Clifford Wolf [Mon, 15 Sep 2014 10:00:19 +0000 (12:00 +0200)]
Improved maccmap tree bit packing
Clifford Wolf [Mon, 15 Sep 2014 09:29:09 +0000 (11:29 +0200)]
Fixed wreduce $shiftx handling
Clifford Wolf [Sun, 14 Sep 2014 15:04:39 +0000 (17:04 +0200)]
Fixed monitor notifications for removed cell
Clifford Wolf [Sun, 14 Sep 2014 14:09:06 +0000 (16:09 +0200)]
Added "synth" command
Clifford Wolf [Sun, 14 Sep 2014 13:34:36 +0000 (15:34 +0200)]
Fixed techmap_wrap for techmap_celltype
Clifford Wolf [Sun, 14 Sep 2014 12:50:15 +0000 (14:50 +0200)]
Using alumacc in techmap.v
Clifford Wolf [Sun, 14 Sep 2014 12:49:53 +0000 (14:49 +0200)]
Various fixes/cleanups in alumacc and maccmap
Clifford Wolf [Sun, 14 Sep 2014 12:49:26 +0000 (14:49 +0200)]
Added techmap_wrap attribute
Clifford Wolf [Sun, 14 Sep 2014 12:00:14 +0000 (14:00 +0200)]
alumacc fix for $pos cells
Clifford Wolf [Sun, 14 Sep 2014 11:23:44 +0000 (13:23 +0200)]
Extract $alu cells in alumacc
Clifford Wolf [Sun, 14 Sep 2014 09:21:37 +0000 (11:21 +0200)]
Merge $macc cells in alumacc pass
Clifford Wolf [Sun, 14 Sep 2014 08:45:28 +0000 (10:45 +0200)]
Basic $macc extract in alumacc
Clifford Wolf [Sun, 14 Sep 2014 08:02:00 +0000 (10:02 +0200)]
alumacc skeleton
Clifford Wolf [Sun, 14 Sep 2014 08:01:30 +0000 (10:01 +0200)]
Cleanup in wreduce
Clifford Wolf [Sat, 13 Sep 2014 15:28:15 +0000 (17:28 +0200)]
Using pkg-config to find libffi
Clifford Wolf [Mon, 8 Sep 2014 15:09:39 +0000 (17:09 +0200)]
Fixed simlib $macc model for xilinx xsim
Clifford Wolf [Mon, 8 Sep 2014 14:59:39 +0000 (16:59 +0200)]
Simplified $fa undef model
Clifford Wolf [Mon, 8 Sep 2014 11:29:13 +0000 (13:29 +0200)]
Fixes and cleanups for blackbox.v
Clifford Wolf [Mon, 8 Sep 2014 11:28:23 +0000 (13:28 +0200)]
Added $lcu cell type