2014-06-19 |
Clifford Wolf | Do not create $dffsr cells with no-op resets in proc_dff
|
commit | commitdiff | tree |
2014-06-17 |
Clifford Wolf | Added test case for AstNode::MEM2REG_FL_CMPLX_LHS
|
commit | commitdiff | tree |
2014-06-17 |
Clifford Wolf | Added AstNode::MEM2REG_FL_CMPLX_LHS
|
commit | commitdiff | tree |
2014-06-17 |
Clifford Wolf | Improved handling of relational op of real values
|
commit | commitdiff | tree |
2014-06-16 |
Clifford Wolf | Little steps in realmath test bench
|
commit | commitdiff | tree |
2014-06-16 |
Clifford Wolf | Improved ternary support for real values
|
commit | commitdiff | tree |
2014-06-16 |
Clifford Wolf | Use undef (x/z vs. NaN) rules for real values from...
|
commit | commitdiff | tree |
2014-06-16 |
Clifford Wolf | Fixed parsing of TOK_INTEGER (implies TOK_SIGNED)
|
commit | commitdiff | tree |
2014-06-16 |
Clifford Wolf | Added found_real feature to AstNode::detectSignWidth
|
commit | commitdiff | tree |
2014-06-15 |
Clifford Wolf | Added more calls to "hierarchy" to README file
|
commit | commitdiff | tree |
2014-06-15 |
Clifford Wolf | Removed long running tests from tests/simple/realexpr...
|
commit | commitdiff | tree |
2014-06-15 |
Clifford Wolf | Added tests/realmath to "make test"
|
commit | commitdiff | tree |
2014-06-15 |
Clifford Wolf | Improved AstNode::realAsConst for large numbers
|
commit | commitdiff | tree |
2014-06-15 |
Clifford Wolf | Improved realmath test bench
|
commit | commitdiff | tree |
2014-06-15 |
Clifford Wolf | Improved parsing of large integer constants
|
commit | commitdiff | tree |
2014-06-15 |
Clifford Wolf | Improved AstNode::asReal for large integers
|
commit | commitdiff | tree |
2014-06-14 |
Clifford Wolf | improved realmath test bench
|
commit | commitdiff | tree |
2014-06-14 |
Clifford Wolf | improved (fixed) conversion of real values to bit vectors
|
commit | commitdiff | tree |
2014-06-14 |
Clifford Wolf | progress in realmath test bench
|
commit | commitdiff | tree |
2014-06-14 |
Clifford Wolf | Fixed relational operators for const real expressions
|
commit | commitdiff | tree |
2014-06-14 |
Clifford Wolf | added first draft of real math testcase generator
|
commit | commitdiff | tree |
2014-06-14 |
Clifford Wolf | Progress in presentation
|
commit | commitdiff | tree |
2014-06-14 |
Clifford Wolf | Added %D and %c select commands
|
commit | commitdiff | tree |
2014-06-14 |
Clifford Wolf | Added support for math functions
|
commit | commitdiff | tree |
2014-06-14 |
Clifford Wolf | Added realexpr.v test case
|
commit | commitdiff | tree |
2014-06-14 |
Clifford Wolf | Added handling of real-valued parameters/localparams
|
commit | commitdiff | tree |
2014-06-14 |
Clifford Wolf | Implemented more real arithmetic
|
commit | commitdiff | tree |
2014-06-14 |
Clifford Wolf | Implemented basic real arithmetic
|
commit | commitdiff | tree |
2014-06-14 |
Clifford Wolf | Added real->int convertion in ast genrtlil
|
commit | commitdiff | tree |
2014-06-13 |
Clifford Wolf | Added Verilog lexer and parser support for real values
|
commit | commitdiff | tree |
2014-06-12 |
Clifford Wolf | Added read_verilog -sv options, added support for bit...
|
commit | commitdiff | tree |
2014-06-08 |
Clifford Wolf | Now we are in Yoys 0.3.0+ development
|
commit | commitdiff | tree |
2014-06-08 |
Clifford Wolf | Tagging Yosys 0.3.0
|
commit | commitdiff | tree |
2014-06-08 |
Clifford Wolf | Updated ABC to 7600ffb9340c
|
commit | commitdiff | tree |
2014-06-07 |
Clifford Wolf | added tests for new verilog features
|
commit | commitdiff | tree |
2014-06-07 |
Clifford Wolf | fixed cell array handling of positional arguments
|
commit | commitdiff | tree |
2014-06-07 |
Clifford Wolf | Add support for cell arrays
|
commit | commitdiff | tree |
2014-06-07 |
Clifford Wolf | Added support for repeat stmt in const functions
|
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | further improved const function support
|
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | made the generate..endgenrate keywords optional
|
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | improved const function support
|
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | fix functions with no block (but single statement,...
|
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | Added tests/simple/repwhile.v
|
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | improved ast simplify of const functions
|
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | added while and repeat support to verilog parser
|
commit | commitdiff | tree |
2014-06-04 |
Clifford Wolf | Improved error message for options after front-end...
|
commit | commitdiff | tree |
2014-06-03 |
Clifford Wolf | added tee cmd
|
commit | commitdiff | tree |
2014-06-01 |
Clifford Wolf | Fixed log messages in memory_dff
|
commit | commitdiff | tree |
2014-05-29 |
Clifford Wolf | Updated ABC to rev fa4404b395f0
|
commit | commitdiff | tree |
2014-05-29 |
Clifford Wolf | Merge pull request #36 from hansiglaser/master
|
commit | commitdiff | tree |
2014-05-12 |
Clifford Wolf | Fixed bug in opt_reduce (see vloghammer issue_044)
|
commit | commitdiff | tree |
2014-05-10 |
Clifford Wolf | fixed syntax error in dot file created by "show" command
|
commit | commitdiff | tree |
2014-05-09 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys
|
commit | commitdiff | tree |
2014-05-09 |
Clifford Wolf | Updated ABC to 67c84cdd49e4
|
commit | commitdiff | tree |
2014-05-06 |
Clifford Wolf | Progress in presentation
|
commit | commitdiff | tree |
2014-05-06 |
Clifford Wolf | Improved ezsat stand-alone tests
|
commit | commitdiff | tree |
2014-05-03 |
Clifford Wolf | workaround for OpenBSD 'stdout' implementation
|
commit | commitdiff | tree |
2014-05-02 |
Clifford Wolf | workaround for OpenBSD 'stdin' implementation
|
commit | commitdiff | tree |
2014-05-02 |
Clifford Wolf | Merge pull request #35 from bentley/dox
|
commit | commitdiff | tree |
2014-04-20 |
Clifford Wolf | Fixed clang -Wdeprecated-register warnings
|
commit | commitdiff | tree |
2014-04-20 |
Clifford Wolf | Replaced depricated %name-prefix= bison directive
|
commit | commitdiff | tree |
2014-04-20 |
Clifford Wolf | minisat compile fix
|
commit | commitdiff | tree |
2014-04-18 |
Clifford Wolf | Updated README
|
commit | commitdiff | tree |
2014-04-11 |
Clifford Wolf | Merge pull request #33 from bentley/dox
|
commit | commitdiff | tree |
2014-04-05 |
Clifford Wolf | Merge pull request #31 from bentley/posix-rm
|
commit | commitdiff | tree |
2014-04-02 |
Clifford Wolf | Added SIMLIB_NOLUT to simlib.v
|
commit | commitdiff | tree |
2014-04-02 |
Clifford Wolf | Added SIMLIB_NOSR to simlib.v
|
commit | commitdiff | tree |
2014-03-31 |
Clifford Wolf | Added support for dlatchsr cells
|
commit | commitdiff | tree |
2014-03-20 |
Clifford Wolf | Fixed mapping of Verific WIDE_DFFRS operator
|
commit | commitdiff | tree |
2014-03-20 |
Clifford Wolf | Fixed mapping of Verific FADD primitive with unconnected...
|
commit | commitdiff | tree |
2014-03-19 |
Clifford Wolf | Fixed performance problem in opt_mux with nets driven...
|
commit | commitdiff | tree |
2014-03-17 |
Clifford Wolf | Progress in Verific bindings
|
commit | commitdiff | tree |
2014-03-17 |
Clifford Wolf | Fixed typo in RTLIL::Module::addAdff()
|
commit | commitdiff | tree |
2014-03-17 |
Clifford Wolf | Progress in Verific bindings
|
commit | commitdiff | tree |
2014-03-17 |
Clifford Wolf | Progress in Verific bindings
|
commit | commitdiff | tree |
2014-03-16 |
Clifford Wolf | Added support for memories to verific bindings
|
commit | commitdiff | tree |
2014-03-16 |
Clifford Wolf | Use Verific Net::{IsGnd,IsPwr} API in Verific bindings
|
commit | commitdiff | tree |
2014-03-15 |
Clifford Wolf | Fixed typo in RTLIL::Module::{addSshl,addSshr}
|
commit | commitdiff | tree |
2014-03-15 |
Clifford Wolf | Progress in Verific bindings
|
commit | commitdiff | tree |
2014-03-15 |
Clifford Wolf | Progress in Verific bindings
|
commit | commitdiff | tree |
2014-03-15 |
Clifford Wolf | Progress in Verific bindings
|
commit | commitdiff | tree |
2014-03-15 |
Clifford Wolf | Added RTLIL::Module::add{Dff,Dffsr,Adff,Dlatch}Gate...
|
commit | commitdiff | tree |
2014-03-14 |
Clifford Wolf | Progress in Verific bindings
|
commit | commitdiff | tree |
2014-03-14 |
Clifford Wolf | Added log_dump() support for generic pointers
|
commit | commitdiff | tree |
2014-03-14 |
Clifford Wolf | Progress in Verific bindings
|
commit | commitdiff | tree |
2014-03-14 |
Clifford Wolf | Added RTLIL::Module::Add{Inv,And,Or,Xor,Mux}Gate API
|
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Progress in Verific bindings
|
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Copy Verific vdbs files to Yosys "share" data directory
|
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Small improvement in SAT log messages
|
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Added test_navre.ys for verific frontend
|
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Hotfix for kernel/compatibility.h
|
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Merge branch 'master' of https://github.com/Siesh1oo...
|
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Merged OSX fixes from Siesh1oo with some modifications
|
commit | commitdiff | tree |
2014-03-12 |
Clifford Wolf | Some fixes in libs/minisat (thanks to Siesh1oo)
|
commit | commitdiff | tree |
2014-03-12 |
Clifford Wolf | Fixed dependencies of "make test"
|
commit | commitdiff | tree |
2014-03-12 |
Clifford Wolf | Added libs/minisat (copy of minisat git master)
|
commit | commitdiff | tree |
2014-03-11 |
Clifford Wolf | OSX compatible creation of stdcells.inc, using code...
|
commit | commitdiff | tree |
2014-03-11 |
Clifford Wolf | Merged addition of SED makefile variable from github...
|
commit | commitdiff | tree |
2014-03-11 |
Clifford Wolf | Merged a few fixes for non-posix systems from github...
|
commit | commitdiff | tree |
2014-03-11 |
Clifford Wolf | Added support for `line compiler directive
|
commit | commitdiff | tree |
next |