aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
Commit message (Expand)AuthorAgeFilesLines
...
* Progress in Verific bindingsClifford Wolf2014-03-151-39/+16
* Progress in Verific bindingsClifford Wolf2014-03-151-7/+15
* Progress in Verific bindingsClifford Wolf2014-03-151-31/+31
* Progress in Verific bindingsClifford Wolf2014-03-141-13/+38
* Progress in Verific bindingsClifford Wolf2014-03-141-222/+338
* Progress in Verific bindingsClifford Wolf2014-03-131-10/+65
* Copy Verific vdbs files to Yosys "share" data directoryClifford Wolf2014-03-132-8/+23
* Added test_navre.ys for verific frontendClifford Wolf2014-03-131-0/+17
* Merged OSX fixes from Siesh1oo with some modificationsClifford Wolf2014-03-131-0/+1
* Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosysClifford Wolf2014-03-111-4/+12
* Added support for `line compiler directiveClifford Wolf2014-03-111-0/+11
* Improved verific command (added support for some operators)Clifford Wolf2014-03-101-2/+160
* Improvements in verific commandClifford Wolf2014-03-101-59/+39
* Added "verific" commandClifford Wolf2014-03-092-0/+489
* Bugfix in ilang frontend autoidx recoveryClifford Wolf2014-03-071-2/+2
* Fixed gcc compiler warningClifford Wolf2014-03-061-1/+2
* Include id2ast pointers when dumping ASTClifford Wolf2014-03-051-0/+6
* Fixed merging of compatible wire decls in AST frontendClifford Wolf2014-03-051-1/+4
* Bugfix in recursive AST simplificationClifford Wolf2014-03-051-10/+22
* Fixed vhdl2verilog temp dir nameClifford Wolf2014-03-011-1/+1
* Fixed vhdl2verilog help messageClifford Wolf2014-03-011-3/+2
* Fixed bit-extending in $mux argument (use $bu0 instead of $pos)Clifford Wolf2014-02-261-5/+5
* Don't blow up constants unneccessarily in Verilog frontendClifford Wolf2014-02-241-1/+1
* Fixed bug in generation of undefs for $memwr MUXesClifford Wolf2014-02-221-4/+6
* Added vhdl2verilogClifford Wolf2014-02-212-0/+155
* Cleanups in handling of read_verilog -defer and -icellsClifford Wolf2014-02-201-6/+7
* Added Verilog support for "`default_nettype none"Clifford Wolf2014-02-178-8/+31
* Added a warning note about error reporting to read_verilog help messageClifford Wolf2014-02-161-0/+5
* Improved support for constant functionsClifford Wolf2014-02-161-1/+50
* Added ff and latch support to read_libertyClifford Wolf2014-02-151-40/+254
* Bugfix in expression parser of read_libertyClifford Wolf2014-02-151-2/+1
* Correctly convert constants to RTLIL (fixed undef handling)Clifford Wolf2014-02-151-11/+1
* Added liberty frontendClifford Wolf2014-02-152-0/+362
* Be more conservative with new const-function codeClifford Wolf2014-02-141-1/+5
* Added support for FOR loops in function calls in parametersClifford Wolf2014-02-143-0/+43
* Created basic support for function calls in parameter valuesClifford Wolf2014-02-144-49/+184
* Implemented read_verilog -deferClifford Wolf2014-02-133-59/+90
* Added support for functions returning integerClifford Wolf2014-02-121-2/+12
* renamed ilang "scope error" to "ilang error"Clifford Wolf2014-02-111-9/+9
* Improved ilang parser error messagesClifford Wolf2014-02-091-9/+9
* Fixed gcc compiler warnings with release buildClifford Wolf2014-02-061-1/+1
* Added read_verilog -setattrClifford Wolf2014-02-051-0/+15
* Fixed bug in sequential sat proofs and improved handling of assertsClifford Wolf2014-02-041-0/+2
* Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)Clifford Wolf2014-02-031-0/+1
* Added support for blanks after -I and -D in read_verilogClifford Wolf2014-02-021-7/+20
* Fixed comment/eol parsing in ilang frontendClifford Wolf2014-02-012-22/+25
* Added constant size expression support of sized constantsClifford Wolf2014-02-015-0/+44
* Bugfix in name resolution with generate blocksClifford Wolf2014-01-301-1/+1
* Added read_verilog -icells optionClifford Wolf2014-01-294-6/+20
* Fixed handling of unsized constants in verilog frontendClifford Wolf2014-01-241-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 06:17:39 +0000