Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Progress on cell help messages | Clifford Wolf | 2015-10-17 | 1 | -1/+1 |
| | |||||
* | Added first help messages for cell types | Clifford Wolf | 2015-10-14 | 1 | -6/+43 |
| | |||||
* | Added read-enable to memory model | Clifford Wolf | 2015-09-25 | 2 | -3/+5 |
| | |||||
* | Cosmetic fix in Module::addLut() | Clifford Wolf | 2015-09-18 | 2 | -5/+5 |
| | |||||
* | Removed unnecessary cast. | Andrei Errapart | 2015-09-01 | 1 | -2/+2 |
| | |||||
* | Microsoft Visual C++ fixes in hashlib; template specializations on int32_t ↵ | Andrei Errapart | 2015-09-01 | 1 | -6/+8 |
| | | | | and int64_t. | ||||
* | Microsoft Visual C++ fix for log.h. | Andrei Errapart | 2015-09-01 | 1 | -0/+5 |
| | |||||
* | Added SigMap::allbits() | Clifford Wolf | 2015-08-31 | 1 | -0/+8 |
| | |||||
* | Added $tribuf and $_TBUF_ cell types | Clifford Wolf | 2015-08-16 | 3 | -0/+24 |
| | |||||
* | Spell check (by Larry Doolittle) | Clifford Wolf | 2015-08-14 | 4 | -4/+4 |
| | |||||
* | Fixed hashlib for 64 bit int keys | Clifford Wolf | 2015-08-12 | 1 | -3/+9 |
| | |||||
* | Fixed handling of [a-fxz?] in decimal constants | Clifford Wolf | 2015-08-11 | 1 | -0/+4 |
| | |||||
* | Added WORDS parameter to $meminit | Clifford Wolf | 2015-07-31 | 1 | -1/+1 |
| | |||||
* | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 22 | -59/+59 |
| | |||||
* | Added design->rename(module, new_name) | Clifford Wolf | 2015-06-30 | 2 | -0/+8 |
| | |||||
* | Added "rename -top new_name" | Clifford Wolf | 2015-06-17 | 2 | -0/+16 |
| | |||||
* | Added "write_smv" skeleton | Clifford Wolf | 2015-06-15 | 1 | -2/+4 |
| | |||||
* | Fixed cstr_buf for std::string with small string optimization | Clifford Wolf | 2015-06-11 | 3 | -2/+13 |
| | |||||
* | Improvements in cellaigs.cc and "json -aig" | Clifford Wolf | 2015-06-11 | 1 | -4/+152 |
| | |||||
* | AigMaker refactoring | Clifford Wolf | 2015-06-10 | 2 | -76/+151 |
| | |||||
* | Added "json -aig" | Clifford Wolf | 2015-06-10 | 2 | -0/+13 |
| | |||||
* | Fixed cellaigs port extending | Clifford Wolf | 2015-06-10 | 1 | -1/+1 |
| | |||||
* | Added "aig" pass | Clifford Wolf | 2015-06-09 | 1 | -16/+142 |
| | |||||
* | Added cellaigs API | Clifford Wolf | 2015-06-09 | 3 | -1/+172 |
| | |||||
* | Fixed "avail_parameters" handling in module clone/copy | Clifford Wolf | 2015-06-08 | 1 | -0/+2 |
| | |||||
* | Added log_dump() support for IdStrings | Clifford Wolf | 2015-06-08 | 2 | -0/+5 |
| | |||||
* | Added read_blif command | Clifford Wolf | 2015-05-17 | 1 | -0/+2 |
| | |||||
* | Verific build fixes | Clifford Wolf | 2015-05-17 | 1 | -1/+1 |
| | |||||
* | Added $eq/$neq -> $logic_not/$reduce_bool optimization | Clifford Wolf | 2015-04-29 | 2 | -0/+16 |
| | |||||
* | Improved attributes API and handling of "src" attributes | Clifford Wolf | 2015-04-24 | 4 | -23/+79 |
| | |||||
* | A "#" does start a comment, not a label. | Clifford Wolf | 2015-04-16 | 1 | -0/+3 |
| | |||||
* | Added back-end auto-detect for .edif and .json | Clifford Wolf | 2015-04-09 | 1 | -0/+4 |
| | |||||
* | Fixed const2big performance bug | Clifford Wolf | 2015-04-09 | 1 | -14/+21 |
| | |||||
* | Added support for "file names with blanks" | Clifford Wolf | 2015-04-08 | 3 | -6/+24 |
| | |||||
* | Added hashlib support for std::tuple<> | Clifford Wolf | 2015-04-07 | 1 | -0/+15 |
| | |||||
* | Added pool<K>::pop() | Clifford Wolf | 2015-04-07 | 1 | -0/+8 |
| | |||||
* | Added support for initialized brams | Clifford Wolf | 2015-04-06 | 1 | -1/+10 |
| | |||||
* | Avoid parameter values with size 0 ($mem cells) | Clifford Wolf | 2015-04-05 | 1 | -5/+5 |
| | |||||
* | Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types | Clifford Wolf | 2015-04-05 | 2 | -2/+14 |
| | |||||
* | Added "dffinit", Support for initialized Xilinx DFF | Clifford Wolf | 2015-04-04 | 1 | -0/+1 |
| | |||||
* | Fixed detection of absolute paths in ABC for win32 | Clifford Wolf | 2015-03-22 | 2 | -0/+10 |
| | |||||
* | Added $assume cell type | Clifford Wolf | 2015-02-26 | 3 | -0/+38 |
| | |||||
* | Some cleanups in "clean" | Clifford Wolf | 2015-02-24 | 1 | -0/+8 |
| | |||||
* | Replaced ezDefaultSAT with ezSatPtr | Clifford Wolf | 2015-02-21 | 3 | -1/+46 |
| | |||||
* | YosysJS stuff | Clifford Wolf | 2015-02-19 | 3 | -5/+32 |
| | |||||
* | Fixed clang (svn trunk) warnings | Clifford Wolf | 2015-02-18 | 1 | -2/+2 |
| | |||||
* | More YosysJS stuff | Clifford Wolf | 2015-02-16 | 1 | -0/+4 |
| | |||||
* | Added YosysJS wrapper | Clifford Wolf | 2015-02-16 | 1 | -1/+3 |
| | |||||
* | More emcc stuff | Clifford Wolf | 2015-02-15 | 1 | -3/+10 |
| | |||||
* | More emscripten stuff, Added example app | Clifford Wolf | 2015-02-15 | 1 | -0/+28 |
| |