yosys.git
9 years agoChanged users of cell->connections_ to the new API (sed command)
Clifford Wolf [Sat, 26 Jul 2014 12:32:50 +0000 (14:32 +0200)]
Changed users of cell->connections_ to the new API (sed command)

git grep -l 'connections_' | xargs sed -i -r -e '
s/(->|\.)connections_\["([^"]*)"\] = (.*);/\1set("\2", \3);/g;
s/(->|\.)connections_\["([^"]*)"\]/\1get("\2")/g;
s/(->|\.)connections_.at\("([^"]*)"\)/\1get("\2")/g;
s/(->|\.)connections_.push_back/\1connect/g;
s/(->|\.)connections_/\1connections()/g;'

9 years agoAdded some missing "const" in rtlil.h
Clifford Wolf [Sat, 26 Jul 2014 13:57:27 +0000 (15:57 +0200)]
Added some missing "const" in rtlil.h

9 years agoAdded RTLIL::Module::connections()
Clifford Wolf [Sat, 26 Jul 2014 12:38:33 +0000 (14:38 +0200)]
Added RTLIL::Module::connections()

9 years agoAdded RTLIL::Module::connect(const RTLIL::SigSig&)
Clifford Wolf [Sat, 26 Jul 2014 12:31:47 +0000 (14:31 +0200)]
Added RTLIL::Module::connect(const RTLIL::SigSig&)

9 years agoUse "wget -N" in tests/vloghtb/run-test.sh
Clifford Wolf [Sat, 26 Jul 2014 12:08:43 +0000 (14:08 +0200)]
Use "wget -N" in tests/vloghtb/run-test.sh

9 years agoAdded "passed" message to make test targets
Clifford Wolf [Sat, 26 Jul 2014 12:08:20 +0000 (14:08 +0200)]
Added "passed" message to make test targets

9 years agoAutomatically pack SigSpec on copy/assign
Clifford Wolf [Sat, 26 Jul 2014 11:59:30 +0000 (13:59 +0200)]
Automatically pack SigSpec on copy/assign

9 years agoAdded new RTLIL::Cell port access methods
Clifford Wolf [Sat, 26 Jul 2014 10:22:58 +0000 (12:22 +0200)]
Added new RTLIL::Cell port access methods

9 years agoRenamed RTLIL::{Module,Cell}::connections to connections_
Clifford Wolf [Sat, 26 Jul 2014 09:58:03 +0000 (11:58 +0200)]
Renamed RTLIL::{Module,Cell}::connections to connections_

9 years agoCosmetic fixes for "make abc"
Clifford Wolf [Sat, 26 Jul 2014 09:55:58 +0000 (11:55 +0200)]
Cosmetic fixes for "make abc"

9 years agoAdded "Checklist for adding internal cell types"
Clifford Wolf [Sat, 26 Jul 2014 09:23:43 +0000 (11:23 +0200)]
Added "Checklist for adding internal cell types"

9 years agoAdded copy-constructor-like module->addCell(name, other) method
Clifford Wolf [Fri, 25 Jul 2014 22:38:44 +0000 (00:38 +0200)]
Added copy-constructor-like module->addCell(name, other) method

9 years agoUse only module->addCell() and module->remove() to create and delete cells
Clifford Wolf [Fri, 25 Jul 2014 13:05:18 +0000 (15:05 +0200)]
Use only module->addCell() and module->remove() to create and delete cells

9 years agoVarious RTLIL::SigSpec related code cleanups
Clifford Wolf [Fri, 25 Jul 2014 12:23:31 +0000 (14:23 +0200)]
Various RTLIL::SigSpec related code cleanups

9 years agoAdded RTLIL::SigSpec is_chunk()/as_chunk() API
Clifford Wolf [Fri, 25 Jul 2014 12:23:10 +0000 (14:23 +0200)]
Added RTLIL::SigSpec is_chunk()/as_chunk() API

9 years agoAdded "make vgtest"
Clifford Wolf [Fri, 25 Jul 2014 11:15:46 +0000 (13:15 +0200)]
Added "make vgtest"

9 years agoFixed two memory leaks in ast simplify
Clifford Wolf [Fri, 25 Jul 2014 11:07:31 +0000 (13:07 +0200)]
Fixed two memory leaks in ast simplify

9 years agoRenamed some of the test cases in tests/simple to avoid name collisions
Clifford Wolf [Fri, 25 Jul 2014 11:01:45 +0000 (13:01 +0200)]
Renamed some of the test cases in tests/simple to avoid name collisions

9 years agoFixed memory corruption in "opt_reduce" pass
Clifford Wolf [Fri, 25 Jul 2014 10:49:51 +0000 (12:49 +0200)]
Fixed memory corruption in "opt_reduce" pass

9 years agoDisabled cover() for non-linux builds
Clifford Wolf [Fri, 25 Jul 2014 10:22:37 +0000 (12:22 +0200)]
Disabled cover() for non-linux builds

9 years agoAdded more stuff to checklist
Clifford Wolf [Fri, 25 Jul 2014 10:16:23 +0000 (12:16 +0200)]
Added more stuff to checklist

9 years agoUpdated verific build/test instructions
Clifford Wolf [Fri, 25 Jul 2014 10:16:03 +0000 (12:16 +0200)]
Updated verific build/test instructions

9 years agoImprovements in "cover" command
Clifford Wolf [Fri, 25 Jul 2014 10:04:40 +0000 (12:04 +0200)]
Improvements in "cover" command

9 years agoRemoved Minisat dependency on zlib
Clifford Wolf [Fri, 25 Jul 2014 01:31:16 +0000 (03:31 +0200)]
Removed Minisat dependency on zlib

9 years agoAdded more stuff to the checklist
Clifford Wolf [Fri, 25 Jul 2014 01:18:16 +0000 (03:18 +0200)]
Added more stuff to the checklist

9 years agoFixed typo in cover id
Clifford Wolf [Fri, 25 Jul 2014 01:17:35 +0000 (03:17 +0200)]
Fixed typo in cover id

9 years agoAdded "make clean-abc"
Clifford Wolf [Fri, 25 Jul 2014 01:17:06 +0000 (03:17 +0200)]
Added "make clean-abc"

9 years agoFurther improved "make" prettiness
Clifford Wolf [Fri, 25 Jul 2014 01:12:14 +0000 (03:12 +0200)]
Further improved "make" prettiness

9 years agoReplaced more old SigChunk programming patterns
Clifford Wolf [Thu, 24 Jul 2014 20:47:57 +0000 (22:47 +0200)]
Replaced more old SigChunk programming patterns

9 years agoUpdated ABC to hg id "b1e63d18768d"
Clifford Wolf [Thu, 24 Jul 2014 18:57:21 +0000 (20:57 +0200)]
Updated ABC to hg id "b1e63d18768d"

9 years agoAdded cover() calls to opt_const
Clifford Wolf [Thu, 24 Jul 2014 17:36:43 +0000 (19:36 +0200)]
Added cover() calls to opt_const

9 years agoAdded cover_list() API
Clifford Wolf [Thu, 24 Jul 2014 17:36:20 +0000 (19:36 +0200)]
Added cover_list() API

9 years agoAdded "make SMALL=1"
Clifford Wolf [Thu, 24 Jul 2014 17:03:57 +0000 (19:03 +0200)]
Added "make SMALL=1"

9 years agoNow "make PRETTY=1" is the default setting
Clifford Wolf [Thu, 24 Jul 2014 15:55:55 +0000 (17:55 +0200)]
Now "make PRETTY=1" is the default setting

9 years agoAdded percentage display to "make PRETTY=1"
Clifford Wolf [Thu, 24 Jul 2014 15:53:11 +0000 (17:53 +0200)]
Added percentage display to "make PRETTY=1"

9 years agoAdded "make PRETTY=1"
Clifford Wolf [Thu, 24 Jul 2014 15:15:01 +0000 (17:15 +0200)]
Added "make PRETTY=1"

9 years agoAdded "cover" command
Clifford Wolf [Thu, 24 Jul 2014 13:06:45 +0000 (15:06 +0200)]
Added "cover" command

9 years agoSome improvements in SigSpec packing/unpacking and checking
Clifford Wolf [Thu, 24 Jul 2014 13:05:41 +0000 (15:05 +0200)]
Some improvements in SigSpec packing/unpacking and checking

9 years agoNow using a dedicated ELF section for all coverage counters
Clifford Wolf [Thu, 24 Jul 2014 13:05:05 +0000 (15:05 +0200)]
Now using a dedicated ELF section for all coverage counters

9 years agoSmall changes regarding cover() and check() in SigSpec
Clifford Wolf [Thu, 24 Jul 2014 02:46:36 +0000 (04:46 +0200)]
Small changes regarding cover() and check() in SigSpec

9 years agoRenamed RELEASE_CHECKLIST -> CHECKLIST
Clifford Wolf [Thu, 24 Jul 2014 02:24:47 +0000 (04:24 +0200)]
Renamed RELEASE_CHECKLIST -> CHECKLIST

9 years agoAdded support for YOSYS_COVER_FILE env variable
Clifford Wolf [Thu, 24 Jul 2014 02:16:32 +0000 (04:16 +0200)]
Added support for YOSYS_COVER_FILE env variable

9 years agoAdded cover() calls to RTLIL::SigSpec methods
Clifford Wolf [Thu, 24 Jul 2014 01:50:28 +0000 (03:50 +0200)]
Added cover() calls to RTLIL::SigSpec methods

9 years agoAdded support for YOSYS_COVER_DIR env variable
Clifford Wolf [Thu, 24 Jul 2014 01:49:32 +0000 (03:49 +0200)]
Added support for YOSYS_COVER_DIR env variable

9 years agoAdded cover() API
Clifford Wolf [Thu, 24 Jul 2014 01:48:38 +0000 (03:48 +0200)]
Added cover() API

9 years agoAdded RELEASE_CHECKLIST
Clifford Wolf [Thu, 24 Jul 2014 00:13:37 +0000 (02:13 +0200)]
Added RELEASE_CHECKLIST

9 years agoAdded "make config-gcc-4.7"
Clifford Wolf [Thu, 24 Jul 2014 00:12:24 +0000 (02:12 +0200)]
Added "make config-gcc-4.7"

9 years agoAdded "make vloghtb"
Clifford Wolf [Thu, 24 Jul 2014 00:11:12 +0000 (02:11 +0200)]
Added "make vloghtb"

9 years agoAdded hashing to RTLIL::SigSpec relational and equal operators
Clifford Wolf [Wed, 23 Jul 2014 21:58:03 +0000 (23:58 +0200)]
Added hashing to RTLIL::SigSpec relational and equal operators

9 years agoDisabled RTLIL::SigSpec::check() in release builds
Clifford Wolf [Wed, 23 Jul 2014 19:42:44 +0000 (21:42 +0200)]
Disabled RTLIL::SigSpec::check() in release builds

9 years agoFixed release build
Clifford Wolf [Wed, 23 Jul 2014 19:38:18 +0000 (21:38 +0200)]
Fixed release build

9 years agoVarious fixes in Verific frontend for new RTLIL API
Clifford Wolf [Wed, 23 Jul 2014 19:35:01 +0000 (21:35 +0200)]
Various fixes in Verific frontend for new RTLIL API

9 years agoAdded RTLIL::SigSpec::repeat()
Clifford Wolf [Wed, 23 Jul 2014 19:34:14 +0000 (21:34 +0200)]
Added RTLIL::SigSpec::repeat()

9 years agoVarious small fixes (from gcc compiler warnings)
Clifford Wolf [Wed, 23 Jul 2014 18:45:27 +0000 (20:45 +0200)]
Various small fixes (from gcc compiler warnings)

9 years agoRemoved RTLIL::SigSpec::optimize()
Clifford Wolf [Wed, 23 Jul 2014 18:32:28 +0000 (20:32 +0200)]
Removed RTLIL::SigSpec::optimize()

9 years agoTurned RTLIL::SigSpec::optimize() to a no-op: a packed SigSpec is now always optimized
Clifford Wolf [Wed, 23 Jul 2014 18:11:55 +0000 (20:11 +0200)]
Turned RTLIL::SigSpec::optimize() to a no-op: a packed SigSpec is now always optimized

9 years agoFixed manual/CHAPTER_Prog/stubnets.cc
Clifford Wolf [Wed, 23 Jul 2014 17:36:43 +0000 (19:36 +0200)]
Fixed manual/CHAPTER_Prog/stubnets.cc

9 years agoRemoved RTLIL::SigSpec::expand() method
Clifford Wolf [Wed, 23 Jul 2014 14:09:27 +0000 (16:09 +0200)]
Removed RTLIL::SigSpec::expand() method

9 years agoAdded eclipse .setting folder to .gitignore
Clifford Wolf [Wed, 23 Jul 2014 17:30:21 +0000 (19:30 +0200)]
Added eclipse .setting folder to .gitignore

9 years agoFixed all users of SigSpec::chunks_rw() and removed it
Clifford Wolf [Wed, 23 Jul 2014 13:36:09 +0000 (15:36 +0200)]
Fixed all users of SigSpec::chunks_rw() and removed it

9 years agoReplaced RTLIL::SigSpec::operator!=() with inline version
Clifford Wolf [Wed, 23 Jul 2014 13:35:09 +0000 (15:35 +0200)]
Replaced RTLIL::SigSpec::operator!=() with inline version

9 years agoMerge branch: Refactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor
Clifford Wolf [Wed, 23 Jul 2014 08:05:42 +0000 (10:05 +0200)]
Merge branch: Refactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor

9 years agoRefactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 3/3
Clifford Wolf [Wed, 23 Jul 2014 07:48:26 +0000 (09:48 +0200)]
Refactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 3/3

9 years agoRefactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 2/3
Clifford Wolf [Wed, 23 Jul 2014 06:40:31 +0000 (08:40 +0200)]
Refactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 2/3

9 years agoRefactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 1/3
Clifford Wolf [Wed, 23 Jul 2014 07:00:16 +0000 (09:00 +0200)]
Refactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 1/3

9 years agoSome cleanups in RTLIL::SigChunk::SigChunk(const RTLIL::Const&)
Clifford Wolf [Wed, 23 Jul 2014 06:59:54 +0000 (08:59 +0200)]
Some cleanups in RTLIL::SigChunk::SigChunk(const RTLIL::Const&)

9 years agoSigSpec refactoring: More cleanups of old SigSpec use pattern
Clifford Wolf [Tue, 22 Jul 2014 21:50:21 +0000 (23:50 +0200)]
SigSpec refactoring: More cleanups of old SigSpec use pattern

9 years agoSigSpec refactoring: Added RTLIL::SigSpecIterator
Clifford Wolf [Tue, 22 Jul 2014 21:49:26 +0000 (23:49 +0200)]
SigSpec refactoring: Added RTLIL::SigSpecIterator

9 years agoSigSpec refactoring: cleanup of old SigSpec usage in fsm_* commands
Clifford Wolf [Tue, 22 Jul 2014 21:07:42 +0000 (23:07 +0200)]
SigSpec refactoring: cleanup of old SigSpec usage in fsm_* commands

9 years agoFixed memory corruption with new SigSpec API in proc_mux
Clifford Wolf [Tue, 22 Jul 2014 20:54:39 +0000 (22:54 +0200)]
Fixed memory corruption with new SigSpec API in proc_mux

9 years agoSigSpec refactoring: added RTLIL::SigSpec::operator[]
Clifford Wolf [Tue, 22 Jul 2014 20:54:03 +0000 (22:54 +0200)]
SigSpec refactoring: added RTLIL::SigSpec::operator[]

9 years agofixed memory leak in fsm_opt
Clifford Wolf [Tue, 22 Jul 2014 20:52:57 +0000 (22:52 +0200)]
fixed memory leak in fsm_opt

9 years agoSigSpec refactoring: rewrote some RTLIL::SigSpec methods to use unpacked form
Clifford Wolf [Tue, 22 Jul 2014 20:26:30 +0000 (22:26 +0200)]
SigSpec refactoring: rewrote some RTLIL::SigSpec methods to use unpacked form

9 years agoRemoved RTLIL::SigChunk::compare()
Clifford Wolf [Tue, 22 Jul 2014 19:40:52 +0000 (21:40 +0200)]
Removed RTLIL::SigChunk::compare()

9 years agoSigSpec refactoring: added RTLIL::SigSpec::bits() and pack/unpack api
Clifford Wolf [Tue, 22 Jul 2014 19:33:52 +0000 (21:33 +0200)]
SigSpec refactoring: added RTLIL::SigSpec::bits() and pack/unpack api

9 years agoSigSpec refactoring: change RTLIL::SigSpec::chunks() to be read-only, created interim...
Clifford Wolf [Tue, 22 Jul 2014 18:58:44 +0000 (20:58 +0200)]
SigSpec refactoring: change RTLIL::SigSpec::chunks() to be read-only, created interim RTLIL::SigSpec::chunks_rw()

9 years agoSigSpec refactoring: change RTLIL::SigSpec::size() to be read-only
Clifford Wolf [Tue, 22 Jul 2014 18:39:13 +0000 (20:39 +0200)]
SigSpec refactoring: change RTLIL::SigSpec::size() to be read-only

9 years agoSigSpec refactoring: using the accessor functions everywhere
Clifford Wolf [Tue, 22 Jul 2014 18:15:14 +0000 (20:15 +0200)]
SigSpec refactoring: using the accessor functions everywhere

9 years agoSigSpec refactoring: renamed the SigSpec members to chunks_ and width_ and added...
Clifford Wolf [Tue, 22 Jul 2014 18:12:15 +0000 (20:12 +0200)]
SigSpec refactoring: renamed the SigSpec members to chunks_ and width_ and added accessor functions

9 years agoSigSpec refactoring: renamed chunks and width to __chunks and __width
Clifford Wolf [Tue, 22 Jul 2014 17:56:17 +0000 (19:56 +0200)]
SigSpec refactoring: renamed chunks and width to __chunks and __width

9 years agoFixed ilang parsing of process attributes
Clifford Wolf [Tue, 22 Jul 2014 18:35:58 +0000 (20:35 +0200)]
Fixed ilang parsing of process attributes

9 years agoFixed make rules for ilang parser
Clifford Wolf [Tue, 22 Jul 2014 18:18:05 +0000 (20:18 +0200)]
Fixed make rules for ilang parser

9 years agoUse "opt -fine" in test/vloght/test_mapopt.sh
Clifford Wolf [Mon, 21 Jul 2014 19:39:59 +0000 (21:39 +0200)]
Use "opt -fine" in test/vloght/test_mapopt.sh

9 years agoAdded "opt_const -keepdc"
Clifford Wolf [Mon, 21 Jul 2014 19:38:55 +0000 (21:38 +0200)]
Added "opt_const -keepdc"

9 years agoAdded mul to mux conversion to "opt_const -fine"
Clifford Wolf [Mon, 21 Jul 2014 15:19:50 +0000 (17:19 +0200)]
Added mul to mux conversion to "opt_const -fine"

9 years agoAdded "opt_const -fine" and "opt_reduce -fine"
Clifford Wolf [Mon, 21 Jul 2014 14:34:16 +0000 (16:34 +0200)]
Added "opt_const -fine" and "opt_reduce -fine"

9 years agoAdded "autoidx" statement to ilang file format
Clifford Wolf [Mon, 21 Jul 2014 13:15:18 +0000 (15:15 +0200)]
Added "autoidx" statement to ilang file format

9 years agoAdded opt_const support for simple identities
Clifford Wolf [Mon, 21 Jul 2014 12:09:11 +0000 (14:09 +0200)]
Added opt_const support for simple identities

9 years agoVarious improvements in test/vloghtb
Clifford Wolf [Mon, 21 Jul 2014 12:08:13 +0000 (14:08 +0200)]
Various improvements in test/vloghtb

9 years agoAdded support for scripts with labels
Clifford Wolf [Mon, 21 Jul 2014 11:28:12 +0000 (13:28 +0200)]
Added support for scripts with labels

9 years agoReplaced depricated NEW_WIRE macro with module->addWire() calls
Clifford Wolf [Mon, 21 Jul 2014 10:41:29 +0000 (12:41 +0200)]
Replaced depricated NEW_WIRE macro with module->addWire() calls

9 years agoRemoved deprecated module->new_wire()
Clifford Wolf [Mon, 21 Jul 2014 10:35:06 +0000 (12:35 +0200)]
Removed deprecated module->new_wire()

9 years agoWider range of cell types supported in "share" pass
Clifford Wolf [Mon, 21 Jul 2014 10:04:56 +0000 (12:04 +0200)]
Wider range of cell types supported in "share" pass

9 years agoBugfix in satgen for cells with wider in- than outputs.
Clifford Wolf [Mon, 21 Jul 2014 10:03:41 +0000 (12:03 +0200)]
Bugfix in satgen for cells with wider in- than outputs.

9 years agoAdded module->remove(), module->addWire(), module->addCell(), cell->check()
Clifford Wolf [Mon, 21 Jul 2014 10:02:55 +0000 (12:02 +0200)]
Added module->remove(), module->addWire(), module->addCell(), cell->check()

9 years agoAdded log_ping()
Clifford Wolf [Mon, 21 Jul 2014 10:01:45 +0000 (12:01 +0200)]
Added log_ping()

9 years agoUse ezSAT::non_incremental() in "share" pass
Clifford Wolf [Mon, 21 Jul 2014 00:08:38 +0000 (02:08 +0200)]
Use ezSAT::non_incremental() in "share" pass

9 years agoAdded ezSAT::keep_cnf() and ezSAT::non_incremental()
Clifford Wolf [Sun, 20 Jul 2014 23:49:59 +0000 (01:49 +0200)]
Added ezSAT::keep_cnf() and ezSAT::non_incremental()

9 years agoFixed ezSAT stand-alone build
Clifford Wolf [Sun, 20 Jul 2014 23:03:01 +0000 (01:03 +0200)]
Fixed ezSAT stand-alone build

9 years agoUpdated minisat
Clifford Wolf [Sun, 20 Jul 2014 23:01:26 +0000 (01:01 +0200)]
Updated minisat