Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | | | | | Merge branch 'master' of github.com:YosysHQ/yosys | Clifford Wolf | 2018-07-16 | 1 | -2/+6 | |
|\ \ \ \ \ \ \ | ||||||
| * | | | | | | | Merge pull request #580 from daveshah1/ice40_nx | Clifford Wolf | 2018-07-13 | 1 | -2/+6 | |
| |\| | | | | | | | |_|_|/ / / | |/| | | | | | ||||||
| | * | | | | | ice40: Add CIN_CONST and CIN_SET parameters to ICESTORM_LC | David Shah | 2018-07-13 | 1 | -2/+6 | |
| |/ / / / / | ||||||
* / / / / / | Add "read -incdir" | Clifford Wolf | 2018-07-16 | 1 | -0/+19 | |
|/ / / / / | ||||||
| | | | * | Merge branch 'YosysHQ-master' | Aman Goel | 2018-07-04 | 28 | -189/+1348 | |
| | | | |\ | ||||||
| | | | | * | Merging with official repo | Aman Goel | 2018-07-04 | 28 | -189/+1348 | |
| | | | |/| | |_|_|_|/ |/| | | | | ||||||
* | | | | | Fix verific eventually handling | Clifford Wolf | 2018-06-29 | 1 | -6/+5 | |
* | | | | | Add verific support for eventually properties | Clifford Wolf | 2018-06-29 | 1 | -5/+105 | |
* | | | | | Add "verific -formal" and "read -formal" | Clifford Wolf | 2018-06-29 | 1 | -7/+15 | |
* | | | | | Add "read -sv -D" support | Clifford Wolf | 2018-06-28 | 1 | -2/+25 | |
* | | | | | Add "read -undef" | Clifford Wolf | 2018-06-28 | 1 | -0/+32 | |
* | | | | | Fix handling of signed memories | Clifford Wolf | 2018-06-28 | 1 | -0/+3 | |
| |_|/ / |/| | | | ||||||
* | | | | Add YOSYS_NOVERIFIC env variable for temporarily disabling verific | Clifford Wolf | 2018-06-22 | 1 | -22/+40 | |
* | | | | Add simplified "read" command, enable extnets in implicit Verific import | Clifford Wolf | 2018-06-21 | 1 | -0/+84 | |
* | | | | Merge branch 'master' of github.com:YosysHQ/yosys | Clifford Wolf | 2018-06-20 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * \ \ \ | Merge pull request #572 from q3k/q3k/fix-protobuf-build | Clifford Wolf | 2018-06-20 | 1 | -1/+1 | |
| |\ \ \ \ | ||||||
| | * | | | | Fix protobuf build | Sergiusz Bazanski | 2018-06-20 | 1 | -1/+1 | |
| |/ / / / | ||||||
* / / / / | Add automatic verific import in hierarchy command | Clifford Wolf | 2018-06-20 | 3 | -1/+75 | |
|/ / / / | ||||||
* | | | | Merge pull request #571 from q3k/q3k/protobuf-backend | Clifford Wolf | 2018-06-19 | 5 | -0/+560 | |
|\ \ \ \ | ||||||
| * | | | | Add Protobuf backend | Serge Bazanski | 2018-06-19 | 5 | -0/+560 | |
* | | | | | Be slightly less aggressive in "deminout" pass | Clifford Wolf | 2018-06-19 | 1 | -4/+28 | |
* | | | | | Merge pull request #570 from edcote/patch-4 | Clifford Wolf | 2018-06-19 | 1 | -4/+4 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Include module name for area summary stats | Edmond Cote | 2018-06-18 | 1 | -4/+4 | |
|/ / / / | ||||||
* | | | | Bugfix in liberty parser (as suggested by aiju in #569) | Clifford Wolf | 2018-06-15 | 1 | -1/+1 | |
* | | | | Add "synth_ice40 -json" | Clifford Wolf | 2018-06-13 | 1 | -9/+22 | |
* | | | | Fix ice40_opt for cases where a port is connected to a signal with width != 1 | Clifford Wolf | 2018-06-11 | 1 | -9/+25 | |
|/ / / | ||||||
* | | | Merge pull request #561 from udif/pr_skip_typo | Clifford Wolf | 2018-06-06 | 1 | -1/+1 | |
|\ \ \ | ||||||
| * | | | Fixed typo (sikp -> skip) | Udi Finkelstein | 2018-06-05 | 1 | -1/+1 | |
|/ / / | ||||||
* | | | Add (* gclk *) attribute support | Clifford Wolf | 2018-06-01 | 4 | -1/+23 | |
* | | | Add setundef -anyseq / -anyconst support to -undriven mode | Clifford Wolf | 2018-06-01 | 1 | -3/+11 | |
* | | | Add "setundef -anyconst" | Clifford Wolf | 2018-06-01 | 1 | -20/+41 | |
* | | | Bugfix in handling of array instances with empty ports | Clifford Wolf | 2018-05-31 | 1 | -1/+1 | |
* | | | Update examples/cmos/counter.ys to use "synth" command | Clifford Wolf | 2018-05-30 | 1 | -5/+5 | |
* | | | Make -nordff the default in "prep" | Clifford Wolf | 2018-05-30 | 1 | -9/+13 | |
* | | | Update ABC to git rev 6df1396 | Clifford Wolf | 2018-05-30 | 1 | -1/+1 | |
* | | | Disable memory_dff for initialized FFs | Clifford Wolf | 2018-05-28 | 1 | -1/+19 | |
* | | | Add some cleanup code to memory_nordff | Clifford Wolf | 2018-05-28 | 1 | -26/+36 | |
* | | | Add comment to VIPER #13453 work-around | Clifford Wolf | 2018-05-28 | 1 | -0/+1 | |
* | | | Fix Verific handling of single-bit anyseq/anyconst wires | Clifford Wolf | 2018-05-25 | 1 | -2/+4 | |
* | | | Fix VerificClocking for cases where Verific generates chains of PRIM_SVA_POSEDGE | Clifford Wolf | 2018-05-24 | 1 | -1/+1 | |
* | | | Fix verific handling of anyconst/anyseq attributes | Clifford Wolf | 2018-05-24 | 2 | -16/+28 | |
* | | | Merge pull request #454 from rqou/emscripten-and-abc | Clifford Wolf | 2018-05-19 | 4 | -15/+87 | |
|\ \ \ | ||||||
| * | | | Force abc to align memory to 8 bytes | Robert Ou | 2018-05-18 | 1 | -1/+1 | |
| * | | | Modify emscripten main to mount nodefs and to run arg as a script | Robert Ou | 2018-05-18 | 1 | -1/+18 | |
| * | | | Force abc to be linked statically and without threads in emscripten | Robert Ou | 2018-05-18 | 1 | -0/+5 | |
| * | | | Fix infinite loop in abc command under emscripten | Robert Ou | 2018-05-18 | 1 | -5/+7 | |
| * | | | Fix reading techlibs under emscripten | Robert Ou | 2018-05-18 | 1 | -1/+1 | |
| * | | | Add options to disable abc's usage of pthreads and readline | Robert Ou | 2018-05-18 | 1 | -0/+10 | |
| * | | | Add an option to statically link abc into yosys | Robert Ou | 2018-05-18 | 2 | -4/+38 | |
| * | | | Makefile: Make abc always use stdint.h | Robert Ou | 2018-05-18 | 1 | -4/+8 | |
|/ / / |