2019-06-14 |
Eddie Hung | Cleanup
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Cleanup/optimise toposort in write_xaiger
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Remove extra semicolon
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Add TODO to parse_xaiger
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Optimise some more
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | Move ConstEvalAig to aigerparse.cc
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | Fix name clash
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | More slimming
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | Add ConstEvalAig specialised for AIGs
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | Update CHANGELOG with "synth -abc9"
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | Fix LP SB_LUT4 timing
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | More accurate CHANGELOG
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Update CHANGELOG
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Rip out all non FPGA stuff from abc9
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Fix spelling
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Revert "For 'stat' do not count modules with abc_box_id"
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Revert "Merge remote-tracking branch 'origin/eddie...
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Move neg-pol to pos-pol mapping from ff_map to cells_map.v
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Be more precise when connecting during ABC9 re-integration
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Remove unnecessary undriven_bits.insert
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Remove hacky wideports_split from abc9
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Fix compile errors when #if 1 for debug
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | parse_xaiger to cope with inouts
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | write_xaiger to preserve POs even if driven by constant
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Add a couple more tests
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Do not call abc9 if no outputs
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | More write_xaiger cleanup
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Cleanup write_xaiger
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Consistency
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Reduce diff with master
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Remove abc_flop{,_d} attributes from ice40/cells_sim.v
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Fix spacing
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Remove wide mux inference
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Merge branch 'xc7mux' into xaig
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Merge branch 'xc7mux' of github.com:YosysHQ/yosys into...
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Typo: wire delay is -W argument
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Revert "Merge remote-tracking branch 'origin/eddie...
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Revert "Merge remote-tracking branch 'origin/eddie...
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Revert "Merge remote-tracking branch 'origin/eddie...
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Merge remote-tracking branch 'origin/xc7mux' into xaig
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Retry "Add "-W' wire delay arg to abc9, use from synth_xilinx"
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Revert "Add "-W' wire delay arg to abc9, use from synth_xilinx"
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Add shregmap -tech xilinx test
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Add "-W' wire delay arg to abc9, use from synth_xilinx
|
commit | commitdiff | tree |
2019-06-11 |
Eddie Hung | Revert "Try way that doesn't involve creating a new...
|
commit | commitdiff | tree |
2019-06-11 |
Eddie Hung | Revert "Merge remote-tracking branch 'origin/eddie...
|
commit | commitdiff | tree |
2019-06-11 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/shregmap_improve...
|
commit | commitdiff | tree |
2019-06-11 |
Eddie Hung | Try way that doesn't involve creating a new wire
|
commit | commitdiff | tree |
2019-06-11 |
Eddie Hung | Disable dist RAM boxes due to comb loop
|
commit | commitdiff | tree |
2019-06-11 |
Eddie Hung | Remove #ifndef ABC
|
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/shregmap_improve...
|
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | If d_bit already in sigbit_chain_next, create extra...
|
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | Add test
|
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | Revert "Revert "Move ff_map back after ABC for shregmap""
|
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | Revert "Rename shregmap -tech xilinx -> xilinx_dynamic"
|
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | Revert "shregmap -tech xilinx_dynamic to work -params...
|
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | Revert "Refactor to ShregmapTechXilinx7Static"
|
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | Revert "Add -tech xilinx_static"
|
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | Revert "Continue support for ShregmapTechXilinx7Static"
|
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | Revert "shregmap -tech xilinx_static to handle INIT"
|
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7mux
|
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | Add some more comments
|
commit | commitdiff | tree |
2019-06-08 |
Eddie Hung | Update CHANGELOG
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Comment out muxpack (currently broken)
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Fine tune aigerparse
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7mux
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Fix spacing from spaces to tabs
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Add read_aiger to CHANGELOG
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Fix spacing (entire file is wrong anyway, will fix...
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Remove unnecessary std::getline() for ASCII
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Test *.aag too, by using *.aig as reference
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Fix read_aiger -- create zero driver, fix init width...
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Use ABC to convert from AIGER to Verilog
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Use ABC to convert AIGER to Verilog, then sat against...
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Add symbols to AIGER test inputs for ABC
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Allow muxcover costs to be changed
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Allow muxcover costs to be changed
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | $__XILINX_MUX_ -> $__XILINX_SHIFTX
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Fix muxcover and its techmapping
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Run muxpack and muxcover in synth_xilinx
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Remove abc_flop attributes for now
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/muxpack...
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Fix and test for balanced case
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/muxpack...
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Fix warnings
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Support cascading $pmux.A with $mux.A and $mux.B
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | More cleanup
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Fix spacing
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Non chain user check using next_sig
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Add non exclusive test
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Move muxpack from passes/techmap to passes/opt
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Update doc
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Add to CHANGELOG
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | One more and tidy up
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Add a few more special case tests
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Add tests, fix for !=
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Missing file
|
commit | commitdiff | tree |
2019-06-06 |
Eddie Hung | Initial adaptation of muxpack from shregmap
|
commit | commitdiff | tree |
2019-06-05 |
Eddie Hung | Missing doc for -tech xilinx in shregmap
|
commit | commitdiff | tree |
next |