aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* makefileAhmed Irfan2014-01-032-3/+3
* btorAhmed Irfan2014-01-034-0/+816
* Fixes and other changes in READMEClifford Wolf2013-12-081-7/+6
* Finished AppNote 011Clifford Wolf2013-12-0822-22/+619
* Progress on AppNote 011Clifford Wolf2013-12-081-86/+88
* Added sat -max_undef featureClifford Wolf2013-12-071-11/+50
* Progress on AppNote 011Clifford Wolf2013-12-071-3/+134
* Added "sat" undef support and "sat -set-init" optionsClifford Wolf2013-12-072-53/+170
* Fixed uninitialized const flags bugClifford Wolf2013-12-071-1/+1
* Fixed compiler warining in passes/sat/eval.ccClifford Wolf2013-12-071-2/+2
* Progress on AppNote 011Clifford Wolf2013-12-072-2/+156
* Progress on AppNote 011Clifford Wolf2013-12-073-42/+90
* Added eval -set-undef and eval -tableClifford Wolf2013-12-071-11/+140
* Fixes and improvements in RTLIL::SigSpec::parseClifford Wolf2013-12-071-2/+12
* Fixes in fsm detect/extract for better detection of non-fsm circuitsClifford Wolf2013-12-062-4/+4
* Fixed bug in example prog in appnote 011Clifford Wolf2013-12-051-2/+2
* Keep strings as strings in const ternary and concatClifford Wolf2013-12-053-5/+25
* Added const folding support for $signed and $unsignedClifford Wolf2013-12-051-0/+7
* Added AstNode::mkconst_str APIClifford Wolf2013-12-053-12/+19
* Fixed generate-for (and disabled double warning for auto-wire)Clifford Wolf2013-12-041-1/+5
* Added support for $clog2 system functionClifford Wolf2013-12-041-4/+20
* Various improvements in support for generate statementsClifford Wolf2013-12-047-7/+161
* Replaced signed_parameters API with CONST_FLAG_SIGNEDClifford Wolf2013-12-0410-16/+11
* Replaced RTLIL::Const::str with generic decoder methodClifford Wolf2013-12-0421-84/+125
* Fix in sincos testbench genClifford Wolf2013-12-041-1/+1
* Added sincos test caseClifford Wolf2013-12-041-0/+124
* Added support for local regs in named blocksClifford Wolf2013-12-043-2/+30
* Fixed gentb_constant handling in autotest backendClifford Wolf2013-12-041-2/+2
* More ABC releated Makefile changesClifford Wolf2013-12-041-1/+10
* Minor improvements in ABc buildClifford Wolf2013-12-031-8/+3
* Progress on AppNote 011Clifford Wolf2013-12-025-3/+77
* Fixed submod for non-primitive cellsClifford Wolf2013-12-021-0/+1
* Fixed submod for non-cleaned designsClifford Wolf2013-12-021-1/+4
* Added Pass:call_newsel APIClifford Wolf2013-12-022-0/+27
* Added "history" commandClifford Wolf2013-12-021-0/+18
* A fix in memory_dff for write ports with static addressesClifford Wolf2013-12-011-10/+10
* Progress on AppNote 011Clifford Wolf2013-12-014-24/+200
* Progress on AppNote 011Clifford Wolf2013-11-296-16/+110
* Progress on AppNote 011Clifford Wolf2013-11-296-11/+190
* Using RTLIL::id2cstr for prompt printingClifford Wolf2013-11-291-1/+1
* Added dump -m and -n optionsClifford Wolf2013-11-292-54/+89
* Progress on AppNote 011Clifford Wolf2013-11-284-58/+143
* Merge pull request #17 from mschmoelzer/masterClifford Wolf2013-11-281-0/+1
|\
| * Include unistd.h in svgview.cpp (required for getcwd() function)Martin Schmölzer2013-11-281-0/+1
* | Fixed temp net name generation in rtlil process generator for abbreviated nam...Clifford Wolf2013-11-281-0/+2
* | Added pattern support to "ls" commandClifford Wolf2013-11-281-30/+35
* | Improved ID matching scheme in select (and thus for all commands)Clifford Wolf2013-11-281-2/+12
* | Fixes and improvements in "show" commandClifford Wolf2013-11-281-10/+42
* | More progress on AppNote 011Clifford Wolf2013-11-284-5/+122
* | Added "src" attribute to processesClifford Wolf2013-11-282-1/+5
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-03 14:43:38 +0000