yosys.git
10 years agoimproved const function support
Clifford Wolf [Fri, 6 Jun 2014 20:55:02 +0000 (22:55 +0200)]
improved const function support

10 years agofix functions with no block (but single statement, loop, etc.)
Clifford Wolf [Fri, 6 Jun 2014 19:29:23 +0000 (21:29 +0200)]
fix functions with no block (but single statement, loop, etc.)

10 years agoAdded tests/simple/repwhile.v
Clifford Wolf [Fri, 6 Jun 2014 15:47:20 +0000 (17:47 +0200)]
Added tests/simple/repwhile.v

10 years agoimproved ast simplify of const functions
Clifford Wolf [Fri, 6 Jun 2014 15:40:45 +0000 (17:40 +0200)]
improved ast simplify of const functions

10 years agoadded while and repeat support to verilog parser
Clifford Wolf [Fri, 6 Jun 2014 15:40:04 +0000 (17:40 +0200)]
added while and repeat support to verilog parser

10 years agoImproved error message for options after front-end filename arguments
Clifford Wolf [Wed, 4 Jun 2014 07:10:50 +0000 (09:10 +0200)]
Improved error message for options after front-end filename arguments

10 years agoadded tee cmd
Clifford Wolf [Tue, 3 Jun 2014 07:23:31 +0000 (09:23 +0200)]
added tee cmd

10 years agoFixed log messages in memory_dff
Clifford Wolf [Sun, 1 Jun 2014 09:32:27 +0000 (11:32 +0200)]
Fixed log messages in memory_dff

10 years agoUpdated ABC to rev fa4404b395f0
Clifford Wolf [Thu, 29 May 2014 09:03:15 +0000 (11:03 +0200)]
Updated ABC to rev fa4404b395f0

10 years agoMerge pull request #36 from hansiglaser/master
Clifford Wolf [Thu, 29 May 2014 08:26:55 +0000 (10:26 +0200)]
Merge pull request #36 from hansiglaser/master

Various changes merged

10 years agoadded log_header to miter and expose pass, show cell type for exposed ports
Johann Glaser [Wed, 28 May 2014 16:05:38 +0000 (18:05 +0200)]
added log_header to miter and expose pass, show cell type for exposed ports

10 years agonew flags -ignore_miss_func and -ignore_miss_dir for read_liberty
Johann Glaser [Wed, 28 May 2014 14:50:13 +0000 (16:50 +0200)]
new flags -ignore_miss_func and -ignore_miss_dir for read_liberty

10 years agobe more verbose when techmap yielded processes
Johann Glaser [Mon, 26 May 2014 15:13:41 +0000 (17:13 +0200)]
be more verbose when techmap yielded processes

10 years agoFixed bug in opt_reduce (see vloghammer issue_044)
Clifford Wolf [Mon, 12 May 2014 10:45:47 +0000 (12:45 +0200)]
Fixed bug in opt_reduce (see vloghammer issue_044)

10 years agofixed syntax error in dot file created by "show" command
Clifford Wolf [Sat, 10 May 2014 14:22:56 +0000 (16:22 +0200)]
fixed syntax error in dot file created by "show" command

10 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Fri, 9 May 2014 16:24:13 +0000 (18:24 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys

10 years agoUpdated ABC to 67c84cdd49e4
Clifford Wolf [Fri, 9 May 2014 16:23:21 +0000 (18:23 +0200)]
Updated ABC to 67c84cdd49e4

10 years agoProgress in presentation
Clifford Wolf [Tue, 6 May 2014 12:42:04 +0000 (14:42 +0200)]
Progress in presentation

10 years agoImproved ezsat stand-alone tests
Clifford Wolf [Tue, 6 May 2014 11:48:25 +0000 (13:48 +0200)]
Improved ezsat stand-alone tests

10 years agoworkaround for OpenBSD 'stdout' implementation
Clifford Wolf [Sat, 3 May 2014 10:55:56 +0000 (12:55 +0200)]
workaround for OpenBSD 'stdout' implementation

10 years agoworkaround for OpenBSD 'stdin' implementation
Clifford Wolf [Fri, 2 May 2014 11:22:26 +0000 (13:22 +0200)]
workaround for OpenBSD 'stdin' implementation

10 years agoMerge pull request #35 from bentley/dox
Clifford Wolf [Fri, 2 May 2014 11:18:43 +0000 (13:18 +0200)]
Merge pull request #35 from bentley/dox

Typos and grammar fixes through chapter 4.

10 years agoTypos and grammar fixes through chapter 4.
Anthony J. Bentley [Fri, 2 May 2014 09:08:40 +0000 (03:08 -0600)]
Typos and grammar fixes through chapter 4.

10 years agoFixed clang -Wdeprecated-register warnings
Clifford Wolf [Sun, 20 Apr 2014 12:28:23 +0000 (14:28 +0200)]
Fixed clang -Wdeprecated-register warnings

10 years agoReplaced depricated %name-prefix= bison directive
Clifford Wolf [Sun, 20 Apr 2014 12:22:11 +0000 (14:22 +0200)]
Replaced depricated %name-prefix= bison directive

10 years agominisat compile fix
Clifford Wolf [Sun, 20 Apr 2014 12:17:40 +0000 (14:17 +0200)]
minisat compile fix

10 years agoUpdated README
Clifford Wolf [Fri, 18 Apr 2014 08:19:46 +0000 (10:19 +0200)]
Updated README

10 years agoMerge pull request #33 from bentley/dox
Clifford Wolf [Fri, 11 Apr 2014 11:06:02 +0000 (13:06 +0200)]
Merge pull request #33 from bentley/dox

Typos and grammar fixes through chapter 2.

10 years agoTypos and grammar fixes through chapter 2.
Anthony J. Bentley [Fri, 11 Apr 2014 08:42:59 +0000 (02:42 -0600)]
Typos and grammar fixes through chapter 2.

10 years agoMerge pull request #31 from bentley/posix-rm
Clifford Wolf [Sat, 5 Apr 2014 00:56:28 +0000 (02:56 +0200)]
Merge pull request #31 from bentley/posix-rm

Remove non-POSIX 'rm -v'.

10 years agoPOSIX find requires a path argument.
Anthony J. Bentley [Fri, 4 Apr 2014 22:51:27 +0000 (16:51 -0600)]
POSIX find requires a path argument.

10 years agoRemove non-POSIX 'rm -v'.
Anthony J. Bentley [Fri, 4 Apr 2014 22:39:03 +0000 (16:39 -0600)]
Remove non-POSIX 'rm -v'.

10 years agoAdded SIMLIB_NOLUT to simlib.v
Clifford Wolf [Wed, 2 Apr 2014 19:28:33 +0000 (21:28 +0200)]
Added SIMLIB_NOLUT to simlib.v

10 years agoAdded SIMLIB_NOSR to simlib.v
Clifford Wolf [Wed, 2 Apr 2014 19:06:55 +0000 (21:06 +0200)]
Added SIMLIB_NOSR to simlib.v

10 years agoAdded support for dlatchsr cells
Clifford Wolf [Mon, 31 Mar 2014 12:14:40 +0000 (14:14 +0200)]
Added support for dlatchsr cells

10 years agoFixed mapping of Verific WIDE_DFFRS operator
Clifford Wolf [Thu, 20 Mar 2014 12:40:01 +0000 (13:40 +0100)]
Fixed mapping of Verific WIDE_DFFRS operator

10 years agoFixed mapping of Verific FADD primitive with unconnected outputs
Clifford Wolf [Thu, 20 Mar 2014 12:26:52 +0000 (13:26 +0100)]
Fixed mapping of Verific FADD primitive with unconnected outputs

10 years agoFixed performance problem in opt_mux with nets driven by many conflicting drivers
Clifford Wolf [Wed, 19 Mar 2014 09:05:01 +0000 (10:05 +0100)]
Fixed performance problem in opt_mux with nets driven by many conflicting drivers

10 years agoProgress in Verific bindings
Clifford Wolf [Mon, 17 Mar 2014 13:42:07 +0000 (14:42 +0100)]
Progress in Verific bindings

10 years agoFixed typo in RTLIL::Module::addAdff()
Clifford Wolf [Mon, 17 Mar 2014 13:41:41 +0000 (14:41 +0100)]
Fixed typo in RTLIL::Module::addAdff()

10 years agoProgress in Verific bindings
Clifford Wolf [Mon, 17 Mar 2014 01:43:53 +0000 (02:43 +0100)]
Progress in Verific bindings

10 years agoProgress in Verific bindings
Clifford Wolf [Mon, 17 Mar 2014 00:56:00 +0000 (01:56 +0100)]
Progress in Verific bindings

10 years agoAdded support for memories to verific bindings
Clifford Wolf [Sun, 16 Mar 2014 16:05:05 +0000 (17:05 +0100)]
Added support for memories to verific bindings

10 years agoUse Verific Net::{IsGnd,IsPwr} API in Verific bindings
Clifford Wolf [Sun, 16 Mar 2014 15:06:03 +0000 (16:06 +0100)]
Use Verific Net::{IsGnd,IsPwr} API in Verific bindings

10 years agoFixed typo in RTLIL::Module::{addSshl,addSshr}
Clifford Wolf [Sat, 15 Mar 2014 21:52:10 +0000 (22:52 +0100)]
Fixed typo in RTLIL::Module::{addSshl,addSshr}

10 years agoProgress in Verific bindings
Clifford Wolf [Sat, 15 Mar 2014 21:51:12 +0000 (22:51 +0100)]
Progress in Verific bindings

10 years agoProgress in Verific bindings
Clifford Wolf [Sat, 15 Mar 2014 14:31:54 +0000 (15:31 +0100)]
Progress in Verific bindings

10 years agoProgress in Verific bindings
Clifford Wolf [Sat, 15 Mar 2014 13:36:11 +0000 (14:36 +0100)]
Progress in Verific bindings

10 years agoAdded RTLIL::Module::add{Dff,Dffsr,Adff,Dlatch}Gate() API
Clifford Wolf [Sat, 15 Mar 2014 13:35:29 +0000 (14:35 +0100)]
Added RTLIL::Module::add{Dff,Dffsr,Adff,Dlatch}Gate() API

10 years agoProgress in Verific bindings
Clifford Wolf [Fri, 14 Mar 2014 15:40:25 +0000 (16:40 +0100)]
Progress in Verific bindings

10 years agoAdded log_dump() support for generic pointers
Clifford Wolf [Fri, 14 Mar 2014 15:39:50 +0000 (16:39 +0100)]
Added log_dump() support for generic pointers

10 years agoProgress in Verific bindings
Clifford Wolf [Fri, 14 Mar 2014 10:46:13 +0000 (11:46 +0100)]
Progress in Verific bindings

10 years agoAdded RTLIL::Module::Add{Inv,And,Or,Xor,Mux}Gate API
Clifford Wolf [Fri, 14 Mar 2014 10:45:44 +0000 (11:45 +0100)]
Added RTLIL::Module::Add{Inv,And,Or,Xor,Mux}Gate API

10 years agoProgress in Verific bindings
Clifford Wolf [Thu, 13 Mar 2014 17:21:00 +0000 (18:21 +0100)]
Progress in Verific bindings

10 years agoCopy Verific vdbs files to Yosys "share" data directory
Clifford Wolf [Thu, 13 Mar 2014 16:34:31 +0000 (17:34 +0100)]
Copy Verific vdbs files to Yosys "share" data directory

10 years agoSmall improvement in SAT log messages
Clifford Wolf [Thu, 13 Mar 2014 12:12:49 +0000 (13:12 +0100)]
Small improvement in SAT log messages

10 years agoAdded test_navre.ys for verific frontend
Clifford Wolf [Thu, 13 Mar 2014 12:12:06 +0000 (13:12 +0100)]
Added test_navre.ys for verific frontend

10 years agoHotfix for kernel/compatibility.h
Clifford Wolf [Thu, 13 Mar 2014 11:55:15 +0000 (12:55 +0100)]
Hotfix for kernel/compatibility.h

10 years agoMerge branch 'master' of https://github.com/Siesh1oo/yosys
Clifford Wolf [Thu, 13 Mar 2014 11:50:34 +0000 (12:50 +0100)]
Merge branch 'master' of https://github.com/Siesh1oo/yosys

10 years agoMerged OSX fixes from Siesh1oo with some modifications
Clifford Wolf [Thu, 13 Mar 2014 11:48:10 +0000 (12:48 +0100)]
Merged OSX fixes from Siesh1oo with some modifications

10 years ago - Makefile, kernel/posix_compatibility.h/.cc: replay isolated OSX/POSIX.2008 compati...
Siesh1oo [Thu, 13 Mar 2014 10:34:21 +0000 (11:34 +0100)]
 - Makefile, kernel/posix_compatibility.h/.cc: replay isolated OSX/POSIX.2008 compatibility patch.

10 years agoMerge branch 'master' of https://github.com/Siesh1oo/yosys
Siesh1oo [Thu, 13 Mar 2014 10:30:50 +0000 (11:30 +0100)]
Merge branch 'master' of https://github.com/Siesh1oo/yosys

Conflicts:
Makefile
libs/minisat/System.cc

10 years ago - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_n...
Siesh1oo [Wed, 12 Mar 2014 17:33:37 +0000 (18:33 +0100)]
 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.

10 years ago - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link...
Siesh1oo [Wed, 12 Mar 2014 13:42:26 +0000 (14:42 +0100)]
 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.

10 years ago - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_n...
Siesh1oo [Wed, 12 Mar 2014 17:33:37 +0000 (18:33 +0100)]
 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.

10 years ago - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link...
Siesh1oo [Wed, 12 Mar 2014 13:42:26 +0000 (14:42 +0100)]
 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library

10 years ago - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app
Siesh1oo [Wed, 12 Mar 2014 13:18:07 +0000 (14:18 +0100)]
 - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here
Siesh1oo [Mon, 10 Mar 2014 19:12:20 +0000 (20:12 +0100)]
 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.

10 years ago - Makefile: resolve merge conflict.
Siesh1oo [Tue, 11 Mar 2014 18:39:01 +0000 (19:39 +0100)]
 - Makefile: resolve merge conflict.

10 years agoSome fixes in libs/minisat (thanks to Siesh1oo)
Clifford Wolf [Wed, 12 Mar 2014 22:28:10 +0000 (23:28 +0100)]
Some fixes in libs/minisat (thanks to Siesh1oo)

10 years ago - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_n...
Siesh1oo [Wed, 12 Mar 2014 17:33:37 +0000 (18:33 +0100)]
 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.

10 years ago - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_n...
Siesh1oo [Wed, 12 Mar 2014 17:33:37 +0000 (18:33 +0100)]
 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.

10 years ago - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link...
Siesh1oo [Wed, 12 Mar 2014 13:42:26 +0000 (14:42 +0100)]
 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library

10 years ago - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app
Siesh1oo [Wed, 12 Mar 2014 13:18:07 +0000 (14:18 +0100)]
 - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app

10 years ago - Makefile: follow changes in https://github.com/cliffordwolf/yosys
Siesh1oo [Wed, 12 Mar 2014 13:16:55 +0000 (14:16 +0100)]
 - Makefile: follow changes in https://github.com/cliffordwolf/yosys

10 years ago - libs/minisat/Solver.cc: insert spaces between string and PRIu64 literal, otherwise...
Siesh1oo [Wed, 12 Mar 2014 13:15:53 +0000 (14:15 +0100)]
 - libs/minisat/Solver.cc: insert spaces between string and PRIu64 literal, otherwise c++11-compliant compilers will bail out due to user-defined literals (minisat bug tracker #13).

10 years ago - libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPe...
Siesh1oo [Wed, 12 Mar 2014 13:12:52 +0000 (14:12 +0100)]
 - libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPeak() and mark unused parameters as unused to fix compiler error+warning. (minisat bug tracker issues #1, #9, #10.)

10 years agoMerge branch 'master' of https://github.com/Siesh1oo/yosys
Siesh1oo [Wed, 12 Mar 2014 13:01:10 +0000 (14:01 +0100)]
Merge branch 'master' of https://github.com/Siesh1oo/yosys

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here
Siesh1oo [Mon, 10 Mar 2014 19:12:20 +0000 (20:12 +0100)]
 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.

10 years ago - Makefile: resolve merge conflict.
Siesh1oo [Tue, 11 Mar 2014 18:39:01 +0000 (19:39 +0100)]
 - Makefile: resolve merge conflict.

10 years agoFixed dependencies of "make test"
Clifford Wolf [Wed, 12 Mar 2014 09:46:27 +0000 (10:46 +0100)]
Fixed dependencies of "make test"

10 years agoAdded libs/minisat (copy of minisat git master)
Clifford Wolf [Wed, 12 Mar 2014 09:17:51 +0000 (10:17 +0100)]
Added libs/minisat (copy of minisat git master)

10 years ago - Makefile: don't add '-g' after '-ggdb' to CXXFLAGS
Siesh1oo [Tue, 11 Mar 2014 21:00:49 +0000 (22:00 +0100)]
 - Makefile: don't add '-g' after '-ggdb' to CXXFLAGS

10 years agoRebase to cliffordwolf repo HEAD finished.
Siesh1oo [Tue, 11 Mar 2014 18:44:34 +0000 (19:44 +0100)]
Rebase to cliffordwolf repo HEAD finished.

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here
Siesh1oo [Mon, 10 Mar 2014 19:12:20 +0000 (20:12 +0100)]
 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.

10 years ago - Makefile: resolve merge conflict.
Siesh1oo [Tue, 11 Mar 2014 18:39:01 +0000 (19:39 +0100)]
 - Makefile: resolve merge conflict.

10 years agoOSX compatible creation of stdcells.inc, using code from github.com/Siesh1oo/yosys
Clifford Wolf [Tue, 11 Mar 2014 13:52:37 +0000 (14:52 +0100)]
OSX compatible creation of stdcells.inc, using code from github.com/Siesh1oo/yosys
(see https://github.com/cliffordwolf/yosys/pull/28)

10 years agoMerged addition of SED makefile variable from github.com/Siesh1oo/yosys
Clifford Wolf [Tue, 11 Mar 2014 13:42:58 +0000 (14:42 +0100)]
Merged addition of SED makefile variable from github.com/Siesh1oo/yosys
(see https://github.com/cliffordwolf/yosys/pull/28)

10 years agoMerged a few fixes for non-posix systems from github.com/Siesh1oo/yosys
Clifford Wolf [Tue, 11 Mar 2014 13:24:24 +0000 (14:24 +0100)]
Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys
(see https://github.com/cliffordwolf/yosys/pull/28)

10 years agoAdded support for `line compiler directive
Clifford Wolf [Tue, 11 Mar 2014 13:06:57 +0000 (14:06 +0100)]
Added support for `line compiler directive

10 years ago - passes/techmap/Makefile.inc: POSIX 'od' has no '-w' option. Use '-An' instead...
Siesh1oo [Tue, 11 Mar 2014 13:06:41 +0000 (14:06 +0100)]
 - passes/techmap/Makefile.inc: POSIX 'od' has no '-w' option. Use '-An' instead. Replace awk by simple shell commands for portability.

10 years agoFixed memory corruption in passes/abc/blifparse.cc
Clifford Wolf [Tue, 11 Mar 2014 12:09:01 +0000 (13:09 +0100)]
Fixed memory corruption in passes/abc/blifparse.cc