Clifford Wolf [Thu, 15 Aug 2013 09:09:30 +0000 (11:09 +0200)]
Added eval -brute_force_equiv_checker_x mode
Clifford Wolf [Mon, 12 Aug 2013 12:47:50 +0000 (14:47 +0200)]
Added support for "2**n" shifter encoding
Clifford Wolf [Sun, 11 Aug 2013 14:27:15 +0000 (16:27 +0200)]
Added SAT support for $div and $mod cells
Clifford Wolf [Sun, 11 Aug 2013 11:59:14 +0000 (13:59 +0200)]
Added "clean -purge" and ";;;" support
Clifford Wolf [Sun, 11 Aug 2013 11:33:38 +0000 (13:33 +0200)]
Added ";;" as shortcut for "; clean;"
Clifford Wolf [Sat, 10 Aug 2013 13:03:13 +0000 (15:03 +0200)]
freduce performance fix
Clifford Wolf [Fri, 9 Aug 2013 15:09:24 +0000 (17:09 +0200)]
Added $div and $mod technology mapping
Clifford Wolf [Fri, 9 Aug 2013 13:20:22 +0000 (15:20 +0200)]
Added techmap -opt mode
Clifford Wolf [Fri, 9 Aug 2013 10:42:32 +0000 (12:42 +0200)]
Some fixes to improve determinism
Clifford Wolf [Thu, 8 Aug 2013 13:46:00 +0000 (15:46 +0200)]
Sort ctrl signals in fsm_extract
Clifford Wolf [Thu, 8 Aug 2013 08:56:27 +0000 (10:56 +0200)]
Added -try option to freduce pass
Clifford Wolf [Thu, 8 Aug 2013 08:53:37 +0000 (10:53 +0200)]
Added "clean" command (less verbose opt_clean)
Clifford Wolf [Wed, 7 Aug 2013 17:38:19 +0000 (19:38 +0200)]
Fixed topological ordering in freduce pass
Clifford Wolf [Wed, 7 Aug 2013 16:39:49 +0000 (18:39 +0200)]
Improved handling of private names in opt_clean and rename commands
Clifford Wolf [Wed, 7 Aug 2013 00:19:35 +0000 (02:19 +0200)]
Added stubnets example to manual prog chapter
Clifford Wolf [Tue, 6 Aug 2013 13:53:09 +0000 (15:53 +0200)]
Small bugfixes in freduce pass
Clifford Wolf [Tue, 6 Aug 2013 13:04:52 +0000 (15:04 +0200)]
Added freduce command
Clifford Wolf [Tue, 6 Aug 2013 13:04:24 +0000 (15:04 +0200)]
Fixed SigPool::del() method
Clifford Wolf [Tue, 6 Aug 2013 13:03:46 +0000 (15:03 +0200)]
Added proper deallocation of history buffer
Clifford Wolf [Thu, 1 Aug 2013 18:02:15 +0000 (20:02 +0200)]
Updated TODO section in README
Clifford Wolf [Sat, 27 Jul 2013 12:27:51 +0000 (14:27 +0200)]
Added "design" command (-reset, -save, -load)
Clifford Wolf [Thu, 25 Jul 2013 22:01:31 +0000 (00:01 +0200)]
Added "help -write-web-command-reference-manual"
Clifford Wolf [Thu, 25 Jul 2013 13:01:02 +0000 (15:01 +0200)]
Fixed comments in manual rtlil/ilang syntax
Clifford Wolf [Thu, 25 Jul 2013 12:00:16 +0000 (14:00 +0200)]
Added RTLIL and Liberty syntax highlighting to manual
Clifford Wolf [Wed, 24 Jul 2013 18:19:08 +0000 (20:19 +0200)]
Automatically run "proc" on extract map files
Clifford Wolf [Tue, 23 Jul 2013 14:19:34 +0000 (16:19 +0200)]
Added $lut cells and abc lut mapping support
Clifford Wolf [Tue, 23 Jul 2013 12:19:47 +0000 (14:19 +0200)]
Fixed "make clean" for manual files
Clifford Wolf [Sun, 21 Jul 2013 13:04:37 +0000 (15:04 +0200)]
Added web site link to README
Clifford Wolf [Sat, 20 Jul 2013 13:19:12 +0000 (15:19 +0200)]
Added Yosys Manual
Clifford Wolf [Fri, 12 Jul 2013 11:13:04 +0000 (13:13 +0200)]
More fixes in ternary op sign handling
Clifford Wolf [Thu, 11 Jul 2013 23:15:37 +0000 (01:15 +0200)]
Fixed sign handling in ternary operator
Clifford Wolf [Thu, 11 Jul 2013 17:31:57 +0000 (19:31 +0200)]
Added ast frontend refactoring to TODO
Clifford Wolf [Thu, 11 Jul 2013 17:24:59 +0000 (19:24 +0200)]
Another vloghammer related bugfix
Clifford Wolf [Wed, 10 Jul 2013 10:52:29 +0000 (12:52 +0200)]
Bugfixes for empty signal vectors
Clifford Wolf [Tue, 9 Jul 2013 21:53:55 +0000 (23:53 +0200)]
Fixed sign propagation in bit-wise operators
Clifford Wolf [Tue, 9 Jul 2013 21:41:28 +0000 (23:41 +0200)]
More fixes in ast expression sign/width handling
Clifford Wolf [Tue, 9 Jul 2013 17:00:10 +0000 (19:00 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Tue, 9 Jul 2013 16:59:59 +0000 (18:59 +0200)]
Fixed shift ops with large right hand side
Clifford Wolf [Tue, 9 Jul 2013 12:31:57 +0000 (14:31 +0200)]
Major redesign of expr width/sign detecion (verilog/ast frontend)
Clifford Wolf [Sun, 7 Jul 2013 14:49:30 +0000 (16:49 +0200)]
Fixed another bug found using vloghammer
Clifford Wolf [Sun, 7 Jul 2013 13:40:26 +0000 (15:40 +0200)]
Fixed AST_CONSTANT node generation
Clifford Wolf [Sun, 7 Jul 2013 11:01:15 +0000 (13:01 +0200)]
Removed tests/xsthammer
This test is now available as 'vloghammer' in a seperate repository:
https://github.com/cliffordwolf/VlogHammer
Clifford Wolf [Sun, 7 Jul 2013 10:59:30 +0000 (12:59 +0200)]
Added opt_clean -purge option
Clifford Wolf [Sun, 7 Jul 2013 10:59:00 +0000 (12:59 +0200)]
Fixed handling of $eq and $ne in opt_const
Clifford Wolf [Fri, 5 Jul 2013 17:33:42 +0000 (19:33 +0200)]
Fixed vivado related xsthammer bugs
Clifford Wolf [Fri, 5 Jul 2013 14:04:02 +0000 (16:04 +0200)]
Various improvements in xsthammer report generator
Clifford Wolf [Fri, 5 Jul 2013 13:29:03 +0000 (15:29 +0200)]
Added work-around to isim bug in xsthammer report script
Clifford Wolf [Fri, 5 Jul 2013 13:00:20 +0000 (15:00 +0200)]
Fixed gcc warnings in ezminisat
Clifford Wolf [Fri, 5 Jul 2013 12:46:33 +0000 (14:46 +0200)]
Added CARRY4 Xilinx cell to xsthammer cell lib
Clifford Wolf [Fri, 5 Jul 2013 12:21:24 +0000 (14:21 +0200)]
Added xsthammer report generator
Clifford Wolf [Thu, 4 Jul 2013 19:26:49 +0000 (21:26 +0200)]
Improved xsthammer quartus support
Clifford Wolf [Thu, 4 Jul 2013 12:50:03 +0000 (14:50 +0200)]
Added Altera Cyclon III cell library to xsthammer
Clifford Wolf [Thu, 4 Jul 2013 12:17:25 +0000 (14:17 +0200)]
Documentation updates
Clifford Wolf [Thu, 4 Jul 2013 12:12:33 +0000 (14:12 +0200)]
Added defparam support to Verilog/AST frontend
Clifford Wolf [Wed, 3 Jul 2013 21:54:43 +0000 (23:54 +0200)]
Added QMAKE makefile variable
Clifford Wolf [Wed, 3 Jul 2013 18:40:54 +0000 (20:40 +0200)]
Added Altera Quartus support to xsthammer
Clifford Wolf [Wed, 3 Jul 2013 09:19:18 +0000 (11:19 +0200)]
Progress in xsthammer
Clifford Wolf [Wed, 26 Jun 2013 10:34:06 +0000 (12:34 +0200)]
Added vivado support to xsthammer
Clifford Wolf [Sun, 23 Jun 2013 11:28:30 +0000 (13:28 +0200)]
Added SAT support for -all/-max with -verify
Clifford Wolf [Thu, 20 Jun 2013 10:49:28 +0000 (12:49 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Thu, 20 Jun 2013 10:49:10 +0000 (12:49 +0200)]
Added timout functionality to SAT solver
Clifford Wolf [Wed, 19 Jun 2013 14:55:43 +0000 (16:55 +0200)]
Added renaming of wires and cells to "rename" command
Clifford Wolf [Wed, 19 Jun 2013 07:30:37 +0000 (09:30 +0200)]
Added "eval" pass
Clifford Wolf [Tue, 18 Jun 2013 17:54:33 +0000 (19:54 +0200)]
Fixed build with clang
Clifford Wolf [Tue, 18 Jun 2013 15:11:36 +0000 (17:11 +0200)]
Added splitnets command
Clifford Wolf [Tue, 18 Jun 2013 15:11:13 +0000 (17:11 +0200)]
Added RTLIL::Module::fixup_ports() API and RTLIL::*::rewrite_sigspecs() API
Clifford Wolf [Mon, 17 Jun 2013 09:30:25 +0000 (11:30 +0200)]
Added more stuff to xsthammer, found first xst bug
Clifford Wolf [Sat, 15 Jun 2013 11:50:38 +0000 (13:50 +0200)]
Added support for "assign" statements in abc vlparse
Clifford Wolf [Sat, 15 Jun 2013 09:00:34 +0000 (11:00 +0200)]
Added ternary op and concat op to xsthammer
Clifford Wolf [Fri, 14 Jun 2013 08:31:18 +0000 (10:31 +0200)]
Fixed even more ConstEval bugs found using xsthammer
Clifford Wolf [Thu, 13 Jun 2013 17:51:13 +0000 (19:51 +0200)]
Added consteval testing to xsthammer and fixed bugs
Clifford Wolf [Thu, 13 Jun 2013 15:23:51 +0000 (17:23 +0200)]
More xsthammer improvements (using xst 14.5 now)
Clifford Wolf [Thu, 13 Jun 2013 09:18:45 +0000 (11:18 +0200)]
More fixes for bugs found using xsthammer
Clifford Wolf [Wed, 12 Jun 2013 17:31:17 +0000 (19:31 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Wed, 12 Jun 2013 17:09:14 +0000 (19:09 +0200)]
Another fix for a bug found using xsthammer
Clifford Wolf [Wed, 12 Jun 2013 12:41:33 +0000 (14:41 +0200)]
Added "scatter" command
Clifford Wolf [Wed, 12 Jun 2013 08:42:59 +0000 (10:42 +0200)]
Renamed yosys-show temp files to be dot-files in the users home directory
Clifford Wolf [Wed, 12 Jun 2013 08:18:01 +0000 (10:18 +0200)]
Fixed gcc build (c++11 stuff in ezSAT)
Clifford Wolf [Tue, 11 Jun 2013 17:49:35 +0000 (19:49 +0200)]
Further improved and extended xsthammer
Clifford Wolf [Mon, 10 Jun 2013 19:07:22 +0000 (21:07 +0200)]
More xsthammer improvements
Clifford Wolf [Mon, 10 Jun 2013 19:04:04 +0000 (21:04 +0200)]
More sign-extension related fixes
Clifford Wolf [Mon, 10 Jun 2013 15:10:06 +0000 (17:10 +0200)]
Sign-extension related fixes in SatGen and AST frontend
Clifford Wolf [Mon, 10 Jun 2013 14:17:09 +0000 (16:17 +0200)]
Progress xsthammer scripts
Clifford Wolf [Mon, 10 Jun 2013 14:09:29 +0000 (16:09 +0200)]
Improvements and fixes in SAT code
Clifford Wolf [Mon, 10 Jun 2013 13:42:52 +0000 (15:42 +0200)]
Added history file read/write to driver
Clifford Wolf [Mon, 10 Jun 2013 11:57:10 +0000 (13:57 +0200)]
Progress in xsthammer: working proof for cell models
Clifford Wolf [Mon, 10 Jun 2013 11:56:03 +0000 (13:56 +0200)]
Fixes and improvements in AST const folding
Clifford Wolf [Mon, 10 Jun 2013 11:19:04 +0000 (13:19 +0200)]
Enabled AST/Verilog front-end optimizations per default
Clifford Wolf [Mon, 10 Jun 2013 10:38:02 +0000 (12:38 +0200)]
Fixed generation of newlines in "dump" output
Clifford Wolf [Mon, 10 Jun 2013 10:37:22 +0000 (12:37 +0200)]
Added "rename" command
Clifford Wolf [Mon, 10 Jun 2013 10:37:05 +0000 (12:37 +0200)]
Progress on xsthammer
Clifford Wolf [Sun, 9 Jun 2013 23:40:20 +0000 (01:40 +0200)]
Added first xsthammer scripts
Clifford Wolf [Sun, 9 Jun 2013 19:55:53 +0000 (21:55 +0200)]
Renamed "sat_solve" pass to "sat"
Clifford Wolf [Sun, 9 Jun 2013 16:07:05 +0000 (18:07 +0200)]
Implemented temporal induction proofs in sat_solve
Clifford Wolf [Sun, 9 Jun 2013 14:30:37 +0000 (16:30 +0200)]
Added support for non-temporal proofs to sat_solve
Clifford Wolf [Sun, 9 Jun 2013 13:49:32 +0000 (15:49 +0200)]
Re-organization in sat_solver pass for temporal induction
Clifford Wolf [Sun, 9 Jun 2013 12:21:18 +0000 (14:21 +0200)]
Added ezSAT api support for don't care values in models
Clifford Wolf [Sun, 9 Jun 2013 12:01:50 +0000 (14:01 +0200)]
Fixed handling of $_XOR_ in SAT generator
Clifford Wolf [Sun, 9 Jun 2013 11:35:46 +0000 (13:35 +0200)]
Added sequential solving support to sat_solve
Clifford Wolf [Sun, 9 Jun 2013 09:51:06 +0000 (11:51 +0200)]
Set rl_basic_word_break_characters in shell
projects / yosys.git / log