aboutsummaryrefslogtreecommitdiffstats
path: root/kernel
Commit message (Expand)AuthorAgeFilesLines
...
* Progress on cell help messagesClifford Wolf2015-10-171-1/+1
* Added first help messages for cell typesClifford Wolf2015-10-141-6/+43
* Added read-enable to memory modelClifford Wolf2015-09-252-3/+5
* Cosmetic fix in Module::addLut()Clifford Wolf2015-09-182-5/+5
* Removed unnecessary cast.Andrei Errapart2015-09-011-2/+2
* Microsoft Visual C++ fixes in hashlib; template specializations on int32_t an...Andrei Errapart2015-09-011-6/+8
* Microsoft Visual C++ fix for log.h.Andrei Errapart2015-09-011-0/+5
* Added SigMap::allbits()Clifford Wolf2015-08-311-0/+8
* Added $tribuf and $_TBUF_ cell typesClifford Wolf2015-08-163-0/+24
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-144-4/+4
* Fixed hashlib for 64 bit int keysClifford Wolf2015-08-121-3/+9
* Fixed handling of [a-fxz?] in decimal constantsClifford Wolf2015-08-111-0/+4
* Added WORDS parameter to $meminitClifford Wolf2015-07-311-1/+1
* Fixed trailing whitespacesClifford Wolf2015-07-0222-59/+59
* Added design->rename(module, new_name)Clifford Wolf2015-06-302-0/+8
* Added "rename -top new_name"Clifford Wolf2015-06-172-0/+16
* Added "write_smv" skeletonClifford Wolf2015-06-151-2/+4
* Fixed cstr_buf for std::string with small string optimizationClifford Wolf2015-06-113-2/+13
* Improvements in cellaigs.cc and "json -aig"Clifford Wolf2015-06-111-4/+152
* AigMaker refactoringClifford Wolf2015-06-102-76/+151
* Added "json -aig"Clifford Wolf2015-06-102-0/+13
* Fixed cellaigs port extendingClifford Wolf2015-06-101-1/+1
* Added "aig" passClifford Wolf2015-06-091-16/+142
* Added cellaigs APIClifford Wolf2015-06-093-1/+172
* Fixed "avail_parameters" handling in module clone/copyClifford Wolf2015-06-081-0/+2
* Added log_dump() support for IdStringsClifford Wolf2015-06-082-0/+5
* Added read_blif commandClifford Wolf2015-05-171-0/+2
* Verific build fixesClifford Wolf2015-05-171-1/+1
* Added $eq/$neq -> $logic_not/$reduce_bool optimizationClifford Wolf2015-04-292-0/+16
* Improved attributes API and handling of "src" attributesClifford Wolf2015-04-244-23/+79
* A "#" does start a comment, not a label.Clifford Wolf2015-04-161-0/+3
* Added back-end auto-detect for .edif and .jsonClifford Wolf2015-04-091-0/+4
* Fixed const2big performance bugClifford Wolf2015-04-091-14/+21
* Added support for "file names with blanks"Clifford Wolf2015-04-083-6/+24
* Added hashlib support for std::tuple<>Clifford Wolf2015-04-071-0/+15
* Added pool<K>::pop()Clifford Wolf2015-04-071-0/+8
* Added support for initialized bramsClifford Wolf2015-04-061-1/+10
* Avoid parameter values with size 0 ($mem cells)Clifford Wolf2015-04-051-5/+5
* Added $_MUX4_, $_MUX8_, and $_MUX16_ cell typesClifford Wolf2015-04-052-2/+14
* Added "dffinit", Support for initialized Xilinx DFFClifford Wolf2015-04-041-0/+1
* Fixed detection of absolute paths in ABC for win32Clifford Wolf2015-03-222-0/+10
* Added $assume cell typeClifford Wolf2015-02-263-0/+38
* Some cleanups in "clean"Clifford Wolf2015-02-241-0/+8
* Replaced ezDefaultSAT with ezSatPtrClifford Wolf2015-02-213-1/+46
* YosysJS stuffClifford Wolf2015-02-193-5/+32
* Fixed clang (svn trunk) warningsClifford Wolf2015-02-181-2/+2
* More YosysJS stuffClifford Wolf2015-02-161-0/+4
* Added YosysJS wrapperClifford Wolf2015-02-161-1/+3
* More emcc stuffClifford Wolf2015-02-151-3/+10
* More emscripten stuff, Added example appClifford Wolf2015-02-151-0/+28