xaiger: update help text
[yosys.git] / kernel / calc.cc
2017-02-24 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2017-02-23 Clifford WolfFix mingw compile issue (2nd attempt)
2017-02-23 Clifford WolfFix mingw compile issue (maybe.. I can't test it)
2016-07-08 Clifford WolfMerge branch 'yosys-0.5-vtr' of https://github.com...
2015-12-07 Clifford WolfMerge pull request #108 from cseed/master
2015-10-25 Clifford WolfImport more std:: stuff into Yosys namespace
2015-07-02 Clifford WolfFixed trailing whitespaces
2015-04-09 Clifford WolfFixed const2big performance bug
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol...
2014-10-10 Clifford WolfRenamed SIZE() to GetSize() because of name collision...
2014-09-22 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol...
2014-09-04 Clifford WolfRemoved $bu0 cell type
2014-09-03 Clifford WolfUsing $pos models for $bu0
2014-09-02 Clifford WolfSmall bug fixes in $not, $neg, and $shiftx models
2014-08-31 Clifford WolfFixed return size of const_*() eval functions
2014-07-31 Clifford WolfMoved some stuff to kernel/yosys.{h,cc}, using Yosys...
2014-07-29 Clifford WolfAdded $shift and $shiftx cell types (needed for correct...
2014-07-28 Clifford WolfUsing log_assert() instead of assert()
2014-03-06 Clifford WolfStrictly zero-extend unsigned A-inputs of shift operations
2014-01-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol...
2013-12-28 Clifford WolfAdded $bu0 cell (for easy correct $eq/$ne mapping)
2013-12-27 Clifford WolfAdded proper === and !== support in constant expressions
2013-11-08 Clifford WolfMore undef-propagation related fixes
2013-11-08 Clifford WolfRemoved debug log from const_pow()
2013-11-07 Clifford WolfFixed handling of power operator
2013-11-07 Clifford WolfFixed more extend vs. extend_u0 issues
2013-11-06 Clifford WolfImproved undef handling in == and != for ConstEval
2013-11-06 Clifford WolfImproved width extension with regard to undef propagation
2013-11-06 Clifford WolfFixed handling of undef values in POS cells in ConstEval
2013-11-05 Clifford WolfFixed sign handling in const eval of sshl and sshr
2013-08-15 Clifford WolfFixed signed div/mod in const eval (rounding and stuff)
2013-08-15 Clifford WolfAdded eval -brute_force_equiv_checker_x mode
2013-06-14 Clifford WolfFixed even more ConstEval bugs found using xsthammer
2013-02-27 Clifford WolfMoved stand-alone libs to libs/ directory and added...
2013-01-05 Clifford Wolfinitial import