projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2015-04-04 Clifford Wolfappnote 012 fix commit | commitdiff | tree
2015-04-04 Clifford WolfAppnote 012 commit | commitdiff | tree
2015-04-04 Clifford WolfUpdated ABC to 51705b168d7a commit | commitdiff | tree
2015-04-04 Clifford WolfMerge pull request #55 from ahmedirfan1983/master commit | commitdiff | tree
2015-04-03 Ahmed IrfanUpdate README commit | commitdiff | tree
2015-04-03 Ahmed IrfanDelete btor.ys commit | commitdiff | tree
2015-04-03 Ahmed IrfanUpdate README commit | commitdiff | tree
2015-04-03 Ahmed Irfanseparated memory next from write cell commit | commitdiff | tree
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... commit | commitdiff | tree
2015-04-03 Ahmed IrfanMerge branch 'btor' of https://github.com/ahmedirfan198... commit | commitdiff | tree
2015-04-03 Ahmed Irfanappnote for verilog to btor commit | commitdiff | tree
2015-03-29 Clifford Wolfdocumentation improvements commit | commitdiff | tree
2015-03-25 Clifford WolfIgnore celldefine directive in verilog front-end commit | commitdiff | tree
2015-03-25 Clifford WolfFixes in cmos_cells.v commit | commitdiff | tree
2015-03-22 Clifford WolfFixed detection of absolute paths in ABC for win32 commit | commitdiff | tree
2015-03-22 Clifford WolfAdded blif reference to appnote 010 commit | commitdiff | tree
2015-03-20 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2015-03-20 Clifford Wolffix for python 2.6.6 commit | commitdiff | tree
2015-03-18 Clifford WolfFixed handling of quotes in liberty parser commit | commitdiff | tree
2015-03-18 Clifford WolfAdded hierarchy -auto-top commit | commitdiff | tree
2015-03-18 Clifford WolfAdded Verilog backend $dffsr support commit | commitdiff | tree
2015-03-06 Clifford WolfDocumentation for JSON format, added attributes commit | commitdiff | tree
2015-03-05 Clifford WolfAdded very first version of "synth_ice40" commit | commitdiff | tree
2015-03-04 Clifford WolfFixed bug in "hierarchy" for parametric designs commit | commitdiff | tree
2015-03-03 Clifford WolfJson bugfix commit | commitdiff | tree
2015-03-03 Clifford WolfJson backend improvements commit | commitdiff | tree
2015-03-02 Clifford WolfAdded write_blif -attr commit | commitdiff | tree
2015-03-02 Clifford WolfAdded JSON backend commit | commitdiff | tree
2015-03-01 Clifford WolfConst-fold parameter defs on-demand in AstNode::detectS... commit | commitdiff | tree
2015-02-26 Clifford WolfAdded $assume support to write_smt2 commit | commitdiff | tree
2015-02-26 Clifford WolfAdded non-std verilog assume() statement commit | commitdiff | tree
2015-02-26 Clifford WolfAdded $assume cell type commit | commitdiff | tree
2015-02-25 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2015-02-25 Clifford WolfBugfix in iopadmap commit | commitdiff | tree
2015-02-25 Clifford WolfAdded "keep_hierarchy" attribute commit | commitdiff | tree
2015-02-24 Clifford WolfSome cleanups in "clean" commit | commitdiff | tree
2015-02-24 Clifford WolfFixed compilation problems with gcc 4.6.3; use enum... commit | commitdiff | tree
2015-02-22 Clifford WolfMinor "write_smt2" help msg change commit | commitdiff | tree
2015-02-22 Clifford WolfFixed "check -assert" commit | commitdiff | tree
2015-02-22 Clifford WolfAdded "<mod>_a" and "<mod>_i" to write_smt2 output commit | commitdiff | tree
2015-02-22 Clifford WolfAdded "check -assert" doc commit | commitdiff | tree
2015-02-22 Clifford WolfAdded "check -assert" commit | commitdiff | tree
2015-02-22 Clifford WolfFixed "sat -initsteps" off-by-one bug commit | commitdiff | tree
2015-02-21 Clifford WolfAdded "sat -stepsize" and "sat -tempinduct-step" commit | commitdiff | tree
2015-02-21 Clifford Wolfsat docu change commit | commitdiff | tree
2015-02-21 Clifford WolfWhen "sat -tempinduct-baseonly -maxsteps N" reaches... commit | commitdiff | tree
2015-02-21 Clifford WolfAdded "sat -tempinduct-baseonly -tempinduct-inductonly" commit | commitdiff | tree
2015-02-21 Clifford WolfFixed basecase init for "sat -tempinduct" commit | commitdiff | tree
2015-02-21 Clifford WolfFixed "flatten" for non-pre-derived modules commit | commitdiff | tree
2015-02-21 Clifford WolfHotfix for yosysjs/demo03.html commit | commitdiff | tree
2015-02-21 Clifford WolfYosysJS: Wait for Viz to load commit | commitdiff | tree
2015-02-21 Clifford WolfReplaced ezDefaultSAT with ezSatPtr commit | commitdiff | tree
2015-02-21 Clifford WolfCatch constants assigned to cell outputs in "flatten" commit | commitdiff | tree
2015-02-20 Clifford WolfAdded deep recursion warning to AST simplify commit | commitdiff | tree
2015-02-20 Clifford WolfParser support for complex delay expressions commit | commitdiff | tree
2015-02-19 Clifford WolfYosysJS firefox fixes commit | commitdiff | tree
2015-02-19 Clifford WolfYosysJS stuff commit | commitdiff | tree
2015-02-19 Clifford Wolfformat fixes in "sat -dump_json" commit | commitdiff | tree
2015-02-19 Clifford WolfAdded "sat -dump_json" (WaveJSON format) commit | commitdiff | tree
2015-02-19 Clifford WolfChanged "show" defaults for Win32 commit | commitdiff | tree
2015-02-18 Clifford WolfConvert floating point cell parameters to strings commit | commitdiff | tree
2015-02-18 Clifford WolfFixed clang (svn trunk) warnings commit | commitdiff | tree
2015-02-18 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2015-02-18 Clifford WolfAdded "select %xe %cie %coe" commit | commitdiff | tree
2015-02-17 Clifford Wolfwreduce help typo fix commit | commitdiff | tree
2015-02-17 Clifford WolfCodingReadme commit | commitdiff | tree
2015-02-16 Clifford WolfYosysJS fixes for firefox commit | commitdiff | tree
2015-02-16 Clifford WolfMore YosysJS stuff commit | commitdiff | tree
2015-02-16 Clifford WolfAdded YosysJS wrapper commit | commitdiff | tree
2015-02-16 Clifford WolfBugfix in wreduce commit | commitdiff | tree
2015-02-15 Clifford WolfMore yosys.js improvements commit | commitdiff | tree
2015-02-15 Clifford WolfAdded Viz to yosys.js commit | commitdiff | tree
2015-02-15 Clifford WolfAdded yosys.js FS support commit | commitdiff | tree
2015-02-15 Clifford WolfMore emcc stuff commit | commitdiff | tree
2015-02-15 Clifford WolfImproved yosys.js example commit | commitdiff | tree
2015-02-15 Clifford WolfAdded "stat" to "synth" and "synth_xilinx" commit | commitdiff | tree
2015-02-15 Clifford WolfAdded final checks to "synth" and "synth_xilinx" commit | commitdiff | tree
2015-02-15 Clifford WolfAdded "check -noinit" commit | commitdiff | tree
2015-02-15 Clifford WolfCosmetic fixes in "hierarchy" for blackbox modules commit | commitdiff | tree
2015-02-15 Clifford WolfMore emscripten stuff, Added example app commit | commitdiff | tree
2015-02-15 Clifford WolfFixed default EMCCFLAGS commit | commitdiff | tree
2015-02-14 Clifford WolfSmaller default parameters in $mem simlib model commit | commitdiff | tree
2015-02-14 Clifford WolfFixed "stat" handling of blackbox modules commit | commitdiff | tree
2015-02-14 Clifford WolfVarious fixes for memories with offsets commit | commitdiff | tree
2015-02-14 Clifford WolfAdded $meminit support to "memory" command commit | commitdiff | tree
2015-02-14 Clifford WolfAdded $meminit test case commit | commitdiff | tree
2015-02-14 Clifford WolfAdded "read_verilog -nomeminit" and "nomeminit" attribute commit | commitdiff | tree
2015-02-14 Clifford WolfCreating $meminit cells in verilog front-end commit | commitdiff | tree
2015-02-14 Clifford WolfAdded $meminit cell type commit | commitdiff | tree
2015-02-14 Clifford WolfFixed handling of "//" in filenames in verilog pre... commit | commitdiff | tree
2015-02-13 Clifford WolfFixed "write_verilog -attr2comment" handling of "*... commit | commitdiff | tree
2015-02-13 Clifford Wolfhotfix in "check" command commit | commitdiff | tree
2015-02-13 Clifford WolfAdded "check" command commit | commitdiff | tree
2015-02-13 Clifford WolfAdded AstNode::simplify() recursion counter commit | commitdiff | tree
2015-02-13 Clifford WolfAdded EMCCFLAGS commit | commitdiff | tree
2015-02-12 Clifford WolfSome test related fixes commit | commitdiff | tree
2015-02-12 Clifford WolfAdded "proc_dlatch" commit | commitdiff | tree
2015-02-10 Clifford WolfLess aggressive "share" defaults commit | commitdiff | tree
2015-02-10 Clifford WolfImproved read_verilog support for empty behavioral... commit | commitdiff | tree
2015-02-10 Clifford WolfAdded "scc -expect <N> -nofeedback" commit | commitdiff | tree
next