yosys.git
9 years agoYosys 0.4 yosys-0.4
Clifford Wolf [Sat, 8 Nov 2014 11:15:01 +0000 (12:15 +0100)]
Yosys 0.4

9 years agoAdded "ENABLE_PLUGINS := 0" to verific amd64 build instructions
Clifford Wolf [Sat, 8 Nov 2014 10:38:44 +0000 (11:38 +0100)]
Added "ENABLE_PLUGINS := 0" to verific amd64 build instructions

9 years agoVarious documentation updates
Clifford Wolf [Sat, 8 Nov 2014 09:59:48 +0000 (10:59 +0100)]
Various documentation updates

9 years agoAdded "Nx" syntax to "show" command for repeating SigChunks
Clifford Wolf [Sat, 8 Nov 2014 09:58:57 +0000 (10:58 +0100)]
Added "Nx" syntax to "show" command for repeating SigChunks

9 years agoAdded "used" attribute to entries in yosys_cover_list
Clifford Wolf [Fri, 7 Nov 2014 19:58:08 +0000 (20:58 +0100)]
Added "used" attribute to entries in yosys_cover_list

http://www.reddit.com/r/yosys/comments/2kw479/fyi_clang_350_build_error/cltgwyc
http://llvm.org/bugs/show_bug.cgi?id=19474

9 years agoMinor corrections in CodingReadme
Clifford Wolf [Fri, 7 Nov 2014 14:47:18 +0000 (15:47 +0100)]
Minor corrections in CodingReadme

9 years agoImproved TopoSort determinism
Clifford Wolf [Fri, 7 Nov 2014 14:21:03 +0000 (15:21 +0100)]
Improved TopoSort determinism

9 years agoFixed generation of temp names in verilog backend
Clifford Wolf [Fri, 7 Nov 2014 13:40:06 +0000 (14:40 +0100)]
Fixed generation of temp names in verilog backend

9 years agoUpdated ABC to 5b5af75f1dda
Clifford Wolf [Fri, 7 Nov 2014 13:39:49 +0000 (14:39 +0100)]
Updated ABC to 5b5af75f1dda

9 years agoChangelog for Yosys 0.4
Clifford Wolf [Fri, 7 Nov 2014 12:34:05 +0000 (13:34 +0100)]
Changelog for Yosys 0.4

9 years agoFixed typo in "log_cmd_error_exception"
Clifford Wolf [Fri, 7 Nov 2014 11:48:15 +0000 (12:48 +0100)]
Fixed typo in "log_cmd_error_exception"

9 years agoMade "cover" a compile-time option (disabled by default)
Clifford Wolf [Thu, 6 Nov 2014 08:39:55 +0000 (09:39 +0100)]
Made "cover" a compile-time option (disabled by default)

9 years agoRemoved QMAKE variable from Makefile
Clifford Wolf [Wed, 5 Nov 2014 09:37:37 +0000 (10:37 +0100)]
Removed QMAKE variable from Makefile

9 years agoAdded "abc" label in synth script
Clifford Wolf [Fri, 31 Oct 2014 02:46:27 +0000 (03:46 +0100)]
Added "abc" label in synth script

9 years agoAdded "opt -full" alias for all more aggressive optimizations
Clifford Wolf [Fri, 31 Oct 2014 02:36:51 +0000 (03:36 +0100)]
Added "opt -full" alias for all more aggressive optimizations

9 years agoFixed parsing of "module mymod #( parameter foo = 1, bar = 2 ..."
Clifford Wolf [Thu, 30 Oct 2014 13:01:02 +0000 (14:01 +0100)]
Fixed parsing of "module mymod #( parameter foo = 1, bar = 2 ..."

9 years agoImproved nomem2reg documentation
Clifford Wolf [Thu, 30 Oct 2014 08:12:55 +0000 (09:12 +0100)]
Improved nomem2reg documentation

9 years agoAdded support for empty lines to here documents
Clifford Wolf [Wed, 29 Oct 2014 08:05:17 +0000 (09:05 +0100)]
Added support for empty lines to here documents

9 years agoAST simplifier: optimize constant AST_CASE nodes before recursively descending
Clifford Wolf [Wed, 29 Oct 2014 07:29:51 +0000 (08:29 +0100)]
AST simplifier: optimize constant AST_CASE nodes before recursively descending

9 years agoAdded support for task and function args in parentheses
Clifford Wolf [Mon, 27 Oct 2014 12:21:57 +0000 (13:21 +0100)]
Added support for task and function args in parentheses

9 years agoImprovements in $readmem[bh] implementation
Clifford Wolf [Sun, 26 Oct 2014 22:29:36 +0000 (23:29 +0100)]
Improvements in $readmem[bh] implementation

9 years agoAdded support for $readmemh/$readmemb
Clifford Wolf [Sun, 26 Oct 2014 19:33:10 +0000 (20:33 +0100)]
Added support for $readmemh/$readmemb

9 years agoFixed constant "cond ? string1 : string2" with strings of different size
Clifford Wolf [Sat, 25 Oct 2014 16:23:53 +0000 (18:23 +0200)]
Fixed constant "cond ? string1 : string2" with strings of different size

9 years agoRe-introduced Yosys::readsome() helper function
Clifford Wolf [Thu, 23 Oct 2014 08:47:21 +0000 (10:47 +0200)]
Re-introduced Yosys::readsome() helper function
(f.read() + f.gcount() made problems with lines > 16kB)

9 years agominor indenting corrections
Clifford Wolf [Sun, 19 Oct 2014 16:42:03 +0000 (18:42 +0200)]
minor indenting corrections

9 years agoMerge pull request #40 from parvizp/compile_mac_10.9.2
Clifford Wolf [Sun, 19 Oct 2014 16:40:22 +0000 (18:40 +0200)]
Merge pull request #40 from parvizp/compile_mac_10.9.2

Builds on Mac 10.9.2 with LLVM 3.5.

9 years agoBuilds on Mac 10.9.2 with LLVM 3.5.
Parviz Palangpour [Sat, 18 Oct 2014 19:26:49 +0000 (14:26 -0500)]
Builds on Mac 10.9.2 with LLVM 3.5.

9 years agoImproved new_id() for win32
Clifford Wolf [Sat, 18 Oct 2014 17:26:03 +0000 (19:26 +0200)]
Improved new_id() for win32

9 years agoAlso look for yosys-abc in parent dir on win32
Clifford Wolf [Sat, 18 Oct 2014 17:01:44 +0000 (19:01 +0200)]
Also look for yosys-abc in parent dir on win32

9 years agoVarious improvements to version reporting on win32
Clifford Wolf [Sat, 18 Oct 2014 17:00:52 +0000 (19:00 +0200)]
Various improvements to version reporting on win32

9 years agoDisabled READLINE in MXE cross build
Clifford Wolf [Sat, 18 Oct 2014 16:21:33 +0000 (18:21 +0200)]
Disabled READLINE in MXE cross build

9 years agoFixed typo in test_cell
Clifford Wolf [Sat, 18 Oct 2014 15:52:06 +0000 (16:52 +0100)]
Fixed typo in test_cell

9 years agoFixed shell prompt and proc_self_dirname() for win32
Clifford Wolf [Sat, 18 Oct 2014 15:51:50 +0000 (16:51 +0100)]
Fixed shell prompt and proc_self_dirname() for win32

9 years agoFixed various VS warnings
Clifford Wolf [Sat, 18 Oct 2014 13:20:38 +0000 (15:20 +0200)]
Fixed various VS warnings

9 years agoCreate vcxsrc in mxe build "make dist"
Clifford Wolf [Sat, 18 Oct 2014 13:17:33 +0000 (15:17 +0200)]
Create vcxsrc in mxe build "make dist"

9 years agoMoved yosys-config.in to misc/
Clifford Wolf [Sat, 18 Oct 2014 12:15:05 +0000 (14:15 +0200)]
Moved yosys-config.in to misc/

9 years agoAdded notes regarding building in VS
Clifford Wolf [Fri, 17 Oct 2014 14:39:24 +0000 (16:39 +0200)]
Added notes regarding building in VS

9 years agoAdded vcxproj_files.txt to MXE "make dist"
Clifford Wolf [Fri, 17 Oct 2014 14:00:28 +0000 (16:00 +0200)]
Added vcxproj_files.txt to MXE "make dist"

9 years agoMore win32 (mxe and vs) build fixes
Clifford Wolf [Fri, 17 Oct 2014 13:51:33 +0000 (15:51 +0200)]
More win32 (mxe and vs) build fixes

9 years agoVarious win32 / vs build fixes
Clifford Wolf [Fri, 17 Oct 2014 12:01:47 +0000 (14:01 +0200)]
Various win32 / vs build fixes

9 years agoAdded genfiles.zip to MXE "make dist"
Clifford Wolf [Fri, 17 Oct 2014 10:11:15 +0000 (12:11 +0200)]
Added genfiles.zip to MXE "make dist"

9 years agoVarious MXE build fixes
Clifford Wolf [Fri, 17 Oct 2014 10:04:40 +0000 (12:04 +0200)]
Various MXE build fixes

9 years agoHeader changes so it will compile on VS
William Speirs [Thu, 16 Oct 2014 16:06:54 +0000 (12:06 -0400)]
Header changes so it will compile on VS

9 years agoWrapped math in int constructor
William Speirs [Tue, 14 Oct 2014 21:16:50 +0000 (17:16 -0400)]
Wrapped math in int constructor

9 years agoFixed a few VS warnings
Clifford Wolf [Fri, 17 Oct 2014 04:02:38 +0000 (06:02 +0200)]
Fixed a few VS warnings

9 years agoDon't be too smart with $dff cells with "init" attribute on out signal
Clifford Wolf [Thu, 16 Oct 2014 09:49:31 +0000 (11:49 +0200)]
Don't be too smart with $dff cells with "init" attribute on out signal

9 years agoSome cleanups in opt_clean
Clifford Wolf [Thu, 16 Oct 2014 09:46:57 +0000 (11:46 +0200)]
Some cleanups in opt_clean

9 years agoPrint "SystemVerilog" in "read_verilog -sv" log messages
Clifford Wolf [Thu, 16 Oct 2014 08:31:54 +0000 (10:31 +0200)]
Print "SystemVerilog" in "read_verilog -sv" log messages

9 years agoFixed RTLIL::SigSpec::parse() for out-of-range bit- and part-selects
Clifford Wolf [Wed, 15 Oct 2014 22:54:14 +0000 (00:54 +0200)]
Fixed RTLIL::SigSpec::parse() for out-of-range bit- and part-selects

9 years agoFixed handling of invalid array access in mem2reg code
Clifford Wolf [Wed, 15 Oct 2014 22:44:23 +0000 (00:44 +0200)]
Fixed handling of invalid array access in mem2reg code

9 years agoReplaced log_assert() do { ... } while (0) hack with a static inline function
Clifford Wolf [Wed, 15 Oct 2014 18:36:32 +0000 (20:36 +0200)]
Replaced log_assert() do { ... } while (0) hack with a static inline function

9 years agoFixed gcc warning
Clifford Wolf [Wed, 15 Oct 2014 00:48:51 +0000 (02:48 +0200)]
Fixed gcc warning

9 years agoFixed MXE build
Clifford Wolf [Wed, 15 Oct 2014 00:43:50 +0000 (02:43 +0200)]
Fixed MXE build

9 years agoMerge branch 'win32'
Clifford Wolf [Tue, 14 Oct 2014 23:20:14 +0000 (01:20 +0200)]
Merge branch 'win32'

9 years agoCheck for _YOSYS_ in yosys.h
Clifford Wolf [Tue, 14 Oct 2014 23:18:31 +0000 (01:18 +0200)]
Check for _YOSYS_ in yosys.h

9 years agoUpdated .gitignore file for ilang and verilog frontends
Clifford Wolf [Tue, 14 Oct 2014 23:14:38 +0000 (01:14 +0200)]
Updated .gitignore file for ilang and verilog frontends

9 years agoReplaced readsome() with read() and gcount()
Clifford Wolf [Tue, 14 Oct 2014 23:12:53 +0000 (01:12 +0200)]
Replaced readsome() with read() and gcount()

9 years agoA few indent fixes
Clifford Wolf [Tue, 14 Oct 2014 23:05:08 +0000 (01:05 +0200)]
A few indent fixes

9 years agoChanged from "and" to "&&"
William Speirs [Tue, 14 Oct 2014 21:15:35 +0000 (17:15 -0400)]
Changed from "and" to "&&"

9 years agoChanged to explicit heap allocated memory
William Speirs [Tue, 14 Oct 2014 21:15:08 +0000 (17:15 -0400)]
Changed to explicit heap allocated memory

9 years agoWrapped init in std::set constructor
William Speirs [Tue, 14 Oct 2014 21:10:53 +0000 (17:10 -0400)]
Wrapped init in std::set constructor

9 years agoMade iterators extend std::iterator and added == operator
William Speirs [Tue, 14 Oct 2014 21:10:08 +0000 (17:10 -0400)]
Made iterators extend std::iterator and added == operator

9 years agoDefine empty __attribute__ macro for non-gcc, non-clang compilers
Clifford Wolf [Tue, 14 Oct 2014 22:56:04 +0000 (00:56 +0200)]
Define empty __attribute__ macro for non-gcc, non-clang compilers

9 years agoFixed log so it will compile under Visual Studio
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

9 years agoUpdated lexers & parsers to include prefixes
William Speirs [Tue, 14 Oct 2014 21:06:02 +0000 (17:06 -0400)]
Updated lexers & parsers to include prefixes

9 years agoUpdated ABC, enabled ABC in mxe builds
Clifford Wolf [Tue, 14 Oct 2014 22:41:14 +0000 (00:41 +0200)]
Updated ABC, enabled ABC in mxe builds

9 years agoRemoved CHECK() macro from libparse.cc (was using non-std c features)
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)

9 years agoFixed ABC ARCHFLAGS for win32 cross build
Clifford Wolf [Sun, 12 Oct 2014 13:02:40 +0000 (15:02 +0200)]
Fixed ABC ARCHFLAGS for win32 cross build

9 years agoMore win32/abc fixes
Clifford Wolf [Sun, 12 Oct 2014 12:48:19 +0000 (14:48 +0200)]
More win32/abc fixes

9 years agoVarious Makefile changes for cross-compiling ABC for Win32
Clifford Wolf [Sun, 12 Oct 2014 11:48:05 +0000 (13:48 +0200)]
Various Makefile changes for cross-compiling ABC for Win32

9 years agoVarious small fixes for non-win32 builds
Clifford Wolf [Sun, 12 Oct 2014 10:18:38 +0000 (12:18 +0200)]
Various small fixes for non-win32 builds

9 years agoAdded make_temp_{file,dir}() and remove_directory() APIs
Clifford Wolf [Sun, 12 Oct 2014 10:11:57 +0000 (12:11 +0200)]
Added make_temp_{file,dir}() and remove_directory() APIs

9 years agoUsing stringf() instead of asprintf() in "abc" pass
Clifford Wolf [Sun, 12 Oct 2014 09:17:53 +0000 (11:17 +0200)]
Using stringf() instead of asprintf() in "abc" pass

9 years agoAdded run_command() api to replace system() and popen()
Clifford Wolf [Sun, 12 Oct 2014 08:57:15 +0000 (10:57 +0200)]
Added run_command() api to replace system() and popen()

9 years agoRenamed "log.cc" to "logcmd.cc" so there aren't two "log.cc" in the source tree
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

9 years agoShrinked the copyright banner by 1 character
Clifford Wolf [Sat, 11 Oct 2014 09:59:35 +0000 (11:59 +0200)]
Shrinked the copyright banner by 1 character

9 years agoAdded "make dist" for mxe builds
Clifford Wolf [Sat, 11 Oct 2014 09:53:36 +0000 (11:53 +0200)]
Added "make dist" for mxe builds

9 years agoFixed Makefile PRETTY=1 for MXE (win32) and EMCC (js) 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

9 years agoDo not the 'z' modifier in format string (another win32 fix)
Clifford Wolf [Sat, 11 Oct 2014 09:42:08 +0000 (11:42 +0200)]
Do not the 'z' modifier in format string (another win32 fix)

9 years agoFixed win32 troubles with f.readsome()
Clifford Wolf [Sat, 11 Oct 2014 09:36:22 +0000 (11:36 +0200)]
Fixed win32 troubles with f.readsome()

9 years agoStrip win32 executeables
Clifford Wolf [Sat, 11 Oct 2014 09:35:54 +0000 (11:35 +0200)]
Strip win32 executeables

9 years agoAdded proc_self_dirname() for win32
Clifford Wolf [Sat, 11 Oct 2014 09:08:52 +0000 (11:08 +0200)]
Added proc_self_dirname() for win32

9 years agoFixed MXE readline support
Clifford Wolf [Sat, 11 Oct 2014 08:59:11 +0000 (10:59 +0200)]
Fixed MXE readline support

9 years agoFixed ifdefs for plugin unloading
Clifford Wolf [Sat, 11 Oct 2014 08:57:46 +0000 (10:57 +0200)]
Fixed ifdefs for plugin unloading

9 years agoDisabled "cover -d" on win32
Clifford Wolf [Sat, 11 Oct 2014 08:49:43 +0000 (10:49 +0200)]
Disabled "cover -d" on win32

9 years agoNot using std::to_string in ezsat (problems with mingw)
Clifford Wolf [Sat, 11 Oct 2014 08:46:50 +0000 (10:46 +0200)]
Not using std::to_string in ezsat (problems with mingw)

9 years agoDisabled vhdl2verilog command for win32 builds
Clifford Wolf [Sat, 11 Oct 2014 08:46:19 +0000 (10:46 +0200)]
Disabled vhdl2verilog command for win32 builds

9 years agoDisabled ezminisat timeout feature for Win32
Clifford Wolf [Sat, 11 Oct 2014 08:24:46 +0000 (10:24 +0200)]
Disabled ezminisat timeout feature for Win32

9 years agoUsing next_token() to parse commands
Clifford Wolf [Fri, 10 Oct 2014 16:53:03 +0000 (18:53 +0200)]
Using next_token() to parse commands

9 years agoFixed next_token()
Clifford Wolf [Fri, 10 Oct 2014 16:38:40 +0000 (18:38 +0200)]
Fixed next_token()

9 years agoMore Win32 build fixes
Clifford Wolf [Fri, 10 Oct 2014 16:34:19 +0000 (18:34 +0200)]
More Win32 build fixes

9 years agoAdded next_token() function (strtok() replacement)
Clifford Wolf [Fri, 10 Oct 2014 16:33:55 +0000 (18:33 +0200)]
Added next_token() function (strtok() replacement)

9 years agoVarious win32 build fixes in yosys.cc
Clifford Wolf [Fri, 10 Oct 2014 16:19:18 +0000 (18:19 +0200)]
Various win32 build fixes in yosys.cc

9 years agoMoved patmatch() to yosys.cc
Clifford Wolf [Fri, 10 Oct 2014 16:19:00 +0000 (18:19 +0200)]
Moved patmatch() to yosys.cc

9 years agoReplaced fnmatch() with patmatch()
Clifford Wolf [Fri, 10 Oct 2014 16:02:17 +0000 (18:02 +0200)]
Replaced fnmatch() with patmatch()

9 years agoAdded format __attribute__ to stringf()
Clifford Wolf [Fri, 10 Oct 2014 15:22:08 +0000 (17:22 +0200)]
Added format __attribute__ to stringf()

9 years agoRenamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32
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

9 years agoRenamed SIZE() to GetSize() 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

9 years agoReplaced "#ifdef WIN32" with "#ifdef _WIN32"
Clifford Wolf [Thu, 9 Oct 2014 15:00:54 +0000 (17:00 +0200)]
Replaced "#ifdef WIN32" with "#ifdef _WIN32"

9 years agoAdded API for generic cell cost calculations
Clifford Wolf [Thu, 9 Oct 2014 11:59:26 +0000 (13:59 +0200)]
Added API for generic cell cost calculations