verilog: fix $specify3 check
[yosys.git] / kernel /
2019-09-30 Eddie HungMerge pull request #1414 from hzeller/improve-replace...
2019-09-29 Eddie HungMerge pull request #1359 from YosysHQ/xc7dsp
2019-09-29 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff
2019-09-29 Miodrag MilanovicOpen aig frontend as binary file
2019-09-29 Miodrag MilanovićMerge pull request #1413 from YosysHQ/mmicko/backend_bi...
2019-09-29 Henner ZellerAvoid work in replace() if rules empty.
2019-09-28 Miodrag MilanovicSupport binary files for backends, fixes #1407
2019-09-28 Eddie HungFix typo
2019-09-28 Eddie HungFix typo
2019-09-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master
2019-09-27 Miodrag MilanovićMerge pull request #1409 from YosysHQ/mmicko/fix_getopt...
2019-09-27 Clifford WolfMerge pull request #1404 from YosysHQ/fix_gzip_macos
2019-09-26 Miodrag MilanovicMake read/write gzip files on macos works, fixes #1357
2019-09-25 Eddie HungMerge pull request #1401 from SergeyDegtyar/SergeyDegty...
2019-09-18 Eddie HungMerge pull request #1355 from YosysHQ/eddie/peepopt_dff...
2019-09-18 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp
2019-09-18 Eddie HungMerge pull request #1379 from mmicko/sim_models
2019-09-15 Eddie HungMerge pull request #1374 from YosysHQ/eddie/fix1371
2019-09-13 Eddie HungSpacing
2019-09-13 Eddie HungUse template specialisation
2019-09-13 Eddie HungRevert "SigSet<Cell*> to use stable compare class"
2019-09-12 Eddie HungGrammar
2019-09-12 Eddie Hungstatic_assert to enforce this going forward
2019-09-12 Eddie HungSigSet<Cell*> to use stable compare class
2019-09-04 Pepijn de VosMerge remote-tracking branch 'diego/gowin'
2019-08-30 Eddie HungMerge branch 'xc7dsp' of github.com:YosysHQ/yosys into...
2019-08-30 David ShahMerge branch 'master' into xc7dsp
2019-08-29 SergeyMerge pull request #3 from YosysHQ/Sergey/tests_ice40
2019-08-28 Eddie HungMerge remote-tracking branch 'origin/clifford/async2syn...
2019-08-26 Clifford WolfMerge tag 'yosys-0.9'
2019-08-25 Clifford WolfMerge pull request #1112 from acw1251/pyosys_sigsig_issue
2019-08-23 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_...
2019-08-23 Eddie HungMerge remote-tracking branch 'origin/master' into mwk...
2019-08-22 Eddie HungMerge pull request #1319 from TeaEngineering/shuckc...
2019-08-22 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2019-08-22 Eddie HungMerge pull request #1317 from YosysHQ/eddie/opt_expr_shiftx
2019-08-22 Clifford WolfBump year in copyright notice
2019-08-22 Clifford WolfBump year in copyright notice
2019-08-22 Clifford WolfMerge pull request #1281 from mmicko/efinix
2019-08-21 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp
2019-08-20 Eddie HungMerge pull request #1304 from YosysHQ/eddie/abc9_refactor
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2019-08-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff
2019-08-19 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into...
2019-08-19 Eddie HungMerge remote-tracking branch 'origin/master' into cliff...
2019-08-18 Miodrag MilanovicMerge remote-tracking branch 'upstream/master' into...
2019-08-18 whitequarkMerge branch 'master' into eddie/pr1266_again
2019-08-17 Clifford WolfMerge pull request #1283 from YosysHQ/clifford/fix1255
2019-08-17 Clifford WolfMerge pull request #1303 from YosysHQ/bogdanvuk/opt_share
2019-08-17 Clifford WolfMerge pull request #1300 from YosysHQ/eddie/cleanup2
2019-08-16 Eddie HungMerge branch 'eddie/abc9_refactor' into xaig_dff
2019-08-16 Eddie HungMerge pull request #1250 from bwidawsk/master
2019-08-16 Eddie HungMerge https://github.com/bogdanvuk/yosys into bogdanvuk...
2019-08-16 Eddie HungMerge remote-tracking branch 'origin/master' into mwk...
2019-08-16 Eddie HungMove namespace alias
2019-08-15 Eddie HungTry this for gcc-4.8?
2019-08-15 Eddie HungFix spacing
2019-08-15 Eddie HungUse more ID::{A,B,Y,blackbox,whitebox}
2019-08-15 Clifford WolfMerge pull request #1299 from YosysHQ/eddie/cleanup2
2019-08-15 Clifford WolfMerge branch 'master' into clifford/fix1255
2019-08-15 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp
2019-08-15 Eddie HungMerge branch 'xc7dsp' of github.com:YosysHQ/yosys into...
2019-08-15 Eddie HungMore use of IdString::in()
2019-08-15 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2019-08-15 Clifford WolfMerge pull request #1275 from YosysHQ/clifford/ids
2019-08-15 Clifford WolfMerge branch 'master' into clifford/ids
2019-08-14 Eddie HungRevert changes to RTLIL::SigSpec methods
2019-08-13 Clifford WolfFix various NDEBUG compiler warnings, closes #1255
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp
2019-08-12 Serge BazanskiMerge pull request #1152 from 1138-4EB/feat-docker
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2019-08-11 Clifford WolfAdd YOSYS_NO_IDS_REFCNT configuration macro
2019-08-11 Clifford WolfUse ID() in kernel/*, add simple ID:: hack (to be impro...
2019-08-11 Clifford WolfMore improvements and cleanups in IdString subsystem
2019-08-11 Clifford WolfImprove API of ID() macro
2019-08-10 Clifford WolfMerge pull request #1258 from YosysHQ/eddie/cleanup
2019-08-10 Clifford WolfMerge pull request #1261 from YosysHQ/clifford/verific_init
2019-08-09 Miodrag MilanovicMerge remote-tracking branch 'upstream/master' into...
2019-08-08 David ShahMerge branch 'xc7dsp' of github.com:YosysHQ/yosys into...
2019-08-07 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp
2019-08-07 Eddie Hungsubstr() -> compare()
2019-08-07 Eddie HungRTLIL::S{0,1} -> State::S{0,1} for headers
2019-08-07 Eddie HungRTLIL::S{0,1} -> State::S{0,1}
2019-08-07 Eddie HungMerge remote-tracking branch 'origin/master' into eddie...
2019-08-07 Eddie Hungstoi -> atoi
2019-08-07 Jim LawsonMerge branch 'master' into firrtl_err_on_unsupported_cell
2019-08-07 David ShahMerge pull request #1260 from YosysHQ/dave/ecp5_cell_fixes
2019-08-07 Clifford WolfAutomatically prune init attributes in verific front...
2019-08-07 Clifford WolfMerge pull request #1213 from YosysHQ/eddie/wreduce_add
2019-08-07 Clifford WolfMerge pull request #1240 from ucb-bar/firrtl-properties...
2019-08-07 Clifford WolfMerge pull request #1249 from mmicko/anlogic_fix
2019-08-07 Clifford WolfMerge pull request #1252 from YosysHQ/clifford/fix1231
2019-08-07 Clifford WolfMerge pull request #1253 from YosysHQ/clifford/check
2019-08-07 Clifford WolfMerge pull request #1257 from YosysHQ/clifford/cellcosts
2019-08-07 David ShahMerge pull request #1241 from YosysHQ/clifford/jsonfix
2019-08-07 Clifford WolfTweak default gate costs, cleanup "stat -tech cmos"
2019-08-07 Eddie HungFix typos
2019-08-06 Eddie HungUse std::stoi instead of atoi(<str>.c_str())
2019-08-06 Eddie HungUse IdString::begins_with()
next