summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* makefileAhmed Irfan2014-01-03
|
* btorAhmed Irfan2014-01-03
|
* Fixes and other changes in READMEClifford Wolf2013-12-08
|
* Finished AppNote 011Clifford Wolf2013-12-08
|
* Progress on AppNote 011Clifford Wolf2013-12-08
|
* Added sat -max_undef featureClifford Wolf2013-12-07
|
* Progress on AppNote 011Clifford Wolf2013-12-07
|
* Added "sat" undef support and "sat -set-init" optionsClifford Wolf2013-12-07
|
* Fixed uninitialized const flags bugClifford Wolf2013-12-07
|
* Fixed compiler warining in passes/sat/eval.ccClifford Wolf2013-12-07
|
* Progress on AppNote 011Clifford Wolf2013-12-07
|
* Progress on AppNote 011Clifford Wolf2013-12-07
|
* Added eval -set-undef and eval -tableClifford Wolf2013-12-07
|
* Fixes and improvements in RTLIL::SigSpec::parseClifford Wolf2013-12-07
|
* Fixes in fsm detect/extract for better detection of non-fsm circuitsClifford Wolf2013-12-06
|
* Fixed bug in example prog in appnote 011Clifford Wolf2013-12-05
|
* Keep strings as strings in const ternary and concatClifford Wolf2013-12-05
|
* Added const folding support for $signed and $unsignedClifford Wolf2013-12-05
|
* Added AstNode::mkconst_str APIClifford Wolf2013-12-05
|
* Fixed generate-for (and disabled double warning for auto-wire)Clifford Wolf2013-12-04
|
* Added support for $clog2 system functionClifford Wolf2013-12-04
|
* Various improvements in support for generate statementsClifford Wolf2013-12-04
|
* Replaced signed_parameters API with CONST_FLAG_SIGNEDClifford Wolf2013-12-04
|
* Replaced RTLIL::Const::str with generic decoder methodClifford Wolf2013-12-04
|
* Fix in sincos testbench genClifford Wolf2013-12-04
|
* Added sincos test caseClifford Wolf2013-12-04
|
* Added support for local regs in named blocksClifford Wolf2013-12-04
|
* Fixed gentb_constant handling in autotest backendClifford Wolf2013-12-04
|
* More ABC releated Makefile changesClifford Wolf2013-12-04
|
* Minor improvements in ABc buildClifford Wolf2013-12-03
|
* Progress on AppNote 011Clifford Wolf2013-12-02
|
* Fixed submod for non-primitive cellsClifford Wolf2013-12-02
|
* Fixed submod for non-cleaned designsClifford Wolf2013-12-02
|
* Added Pass:call_newsel APIClifford Wolf2013-12-02
|
* Added "history" commandClifford Wolf2013-12-02
|
* A fix in memory_dff for write ports with static addressesClifford Wolf2013-12-01
|
* Progress on AppNote 011Clifford Wolf2013-12-01
|
* Progress on AppNote 011Clifford Wolf2013-11-29
|
* Progress on AppNote 011Clifford Wolf2013-11-29
|
* Using RTLIL::id2cstr for prompt printingClifford Wolf2013-11-29
|
* Added dump -m and -n optionsClifford Wolf2013-11-29
|
* Progress on AppNote 011Clifford Wolf2013-11-28
|
* Merge pull request #17 from mschmoelzer/masterClifford Wolf2013-11-28
|\ | | | | Include unistd.h in svgview.cpp (required for getcwd() function)
| * Include unistd.h in svgview.cpp (required for getcwd() function)Martin Schmölzer2013-11-28
| | | | | | | | | | | | This fixes compilation on Arch Linux, which otherwise fails. Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>
* | Fixed temp net name generation in rtlil process generator for abbreviated ↵Clifford Wolf2013-11-28
| | | | | | | | name matching
* | Added pattern support to "ls" commandClifford Wolf2013-11-28
| |
* | Improved ID matching scheme in select (and thus for all commands)Clifford Wolf2013-11-28
| |
* | Fixes and improvements in "show" commandClifford Wolf2013-11-28
| |
* | More progress on AppNote 011Clifford Wolf2013-11-28
| |
* | Added "src" attribute to processesClifford Wolf2013-11-28
| |