index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
kernel
Commit message (
Expand
)
Author
Age
Files
Lines
*
Added version info to yosys command and added -V option
Clifford Wolf
2013-08-20
1
-2
/
+13
*
Implemented same div-by-zero behavior as found in other synthesis tools
Clifford Wolf
2013-08-15
1
-5
/
+28
*
Fixed signed div/mod in const eval (rounding and stuff)
Clifford Wolf
2013-08-15
1
-2
/
+8
*
Added sat -ignore_div_by_zero switch
Clifford Wolf
2013-08-15
1
-1
/
+6
*
Added eval -brute_force_equiv_checker_x mode
Clifford Wolf
2013-08-15
1
-4
/
+10
*
Added SAT support for $div and $mod cells
Clifford Wolf
2013-08-11
1
-0
/
+46
*
Added "clean -purge" and ";;;" support
Clifford Wolf
2013-08-11
1
-0
/
+2
*
Added ";;" as shortcut for "; clean;"
Clifford Wolf
2013-08-11
1
-1
/
+4
*
Added techmap -opt mode
Clifford Wolf
2013-08-09
1
-2
/
+5
*
Some fixes to improve determinism
Clifford Wolf
2013-08-09
2
-2
/
+8
*
Fixed SigPool::del() method
Clifford Wolf
2013-08-06
1
-1
/
+1
*
Added proper deallocation of history buffer
Clifford Wolf
2013-08-06
1
-0
/
+5
*
Added "design" command (-reset, -save, -load)
Clifford Wolf
2013-07-27
2
-12
/
+101
*
Added "help -write-web-command-reference-manual"
Clifford Wolf
2013-07-26
1
-0
/
+52
*
Added $lut cells and abc lut mapping support
Clifford Wolf
2013-07-23
1
-0
/
+3
*
Fixed shift ops with large right hand side
Clifford Wolf
2013-07-09
1
-1
/
+1
*
Added "eval" pass
Clifford Wolf
2013-06-19
2
-0
/
+86
*
Fixed build with clang
Clifford Wolf
2013-06-18
1
-41
/
+69
*
Added RTLIL::Module::fixup_ports() API and RTLIL::*::rewrite_sigspecs() API
Clifford Wolf
2013-06-18
2
-2
/
+79
*
Fixed even more ConstEval bugs found using xsthammer
Clifford Wolf
2013-06-14
2
-28
/
+58
*
Added consteval testing to xsthammer and fixed bugs
Clifford Wolf
2013-06-13
1
-0
/
+8
*
More fixes for bugs found using xsthammer
Clifford Wolf
2013-06-13
1
-0
/
+1
*
Another fix for a bug found using xsthammer
Clifford Wolf
2013-06-12
1
-0
/
+10
*
Sign-extension related fixes in SatGen and AST frontend
Clifford Wolf
2013-06-10
1
-8
/
+8
*
Improvements and fixes in SAT code
Clifford Wolf
2013-06-10
1
-5
/
+22
*
Added history file read/write to driver
Clifford Wolf
2013-06-10
1
-0
/
+16
*
Implemented temporal induction proofs in sat_solve
Clifford Wolf
2013-06-09
1
-2
/
+2
*
Fixed handling of $_XOR_ in SAT generator
Clifford Wolf
2013-06-09
1
-1
/
+1
*
Added sequential solving support to sat_solve
Clifford Wolf
2013-06-09
1
-32
/
+49
*
Set rl_basic_word_break_characters in shell
Clifford Wolf
2013-06-09
1
-0
/
+1
*
Improved readline tab completion
Clifford Wolf
2013-06-09
2
-25
/
+75
*
Look for yosys-abc and yosys-svgviewer where the main exe is
Clifford Wolf
2013-06-09
2
-1
/
+21
*
Moved cmds from kernel/ to passes/cmds/
Clifford Wolf
2013-06-08
2
-1736
/
+0
*
Added support for shifter cells to SAT generator
Clifford Wolf
2013-06-08
1
-7
/
+26
*
Added "cd" and "ls" commands for convenience
Clifford Wolf
2013-06-08
1
-0
/
+111
*
Various improvements in sat_solve pass and SAT generator
Clifford Wolf
2013-06-08
1
-31
/
+81
*
Improved auto-detection of -show signals in sat_solve
Clifford Wolf
2013-06-08
1
-0
/
+24
*
Improved sat generator and sat_solve pass
Clifford Wolf
2013-06-07
1
-9
/
+46
*
Added SAT generator and simple sat_solve command
Clifford Wolf
2013-06-07
1
-0
/
+137
*
Added "dump" command (part ilang backend)
Clifford Wolf
2013-06-02
2
-16
/
+16
*
Added log_assert() api
Clifford Wolf
2013-05-24
2
-2
/
+5
*
Added log_abort() api
Clifford Wolf
2013-05-24
1
-0
/
+2
*
Only initialize TCL interpreter when needed
Clifford Wolf
2013-05-23
3
-39
/
+50
*
Added labels to "help -write-tex-command-reference-manual" output
Clifford Wolf
2013-05-23
1
-0
/
+2
*
Added support for processes to show command
Clifford Wolf
2013-05-23
1
-2
/
+81
*
Fixed show command for constant assignments
Clifford Wolf
2013-05-23
1
-2
/
+2
*
Added tcl "yosys -import" command
Clifford Wolf
2013-05-02
1
-3
/
+29
*
Improved/simplified TCL bindings
Clifford Wolf
2013-05-01
3
-40
/
+57
*
Fixed "show -format ..." command line parsing
Clifford Wolf
2013-04-15
1
-1
/
+1
*
Fixed/improved handling of colored wires in show command
Clifford Wolf
2013-04-01
1
-2
/
+2
[next]