| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Bump version | github-actions[bot] | 2021-10-12 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-10-09 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-10-08 | 1 | -1/+1 |
| | | |||||
| * | FfData: some refactoring. | Marcelina Kościelnicka | 2021-10-07 | 1 | -1/+1 |
| | | | | | | | | | | | - FfData now keeps track of the module and underlying cell, if any (so calling emit on FfData created from a cell will replace the existing cell) - FfData implementation is split off to its own .cc file for faster compilation - the "flip FF data sense by inserting inverters in front and after" functionality that zinit uses is moved onto FfData class and beefed up to have dffsr support, to support more use cases | ||||
| * | Bump version | github-actions[bot] | 2021-10-05 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-10-03 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-09-28 | 1 | -1/+1 |
| | | |||||
| * | Prepare for next release cycle | Miodrag Milanovic | 2021-09-27 | 1 | -2/+2 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-09-25 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-09-22 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-09-19 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-09-14 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-09-11 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-09-10 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-09-03 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-09-01 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-31 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-30 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-23 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-21 | 1 | -1/+1 |
| | | |||||
| * | Make Verific extensions optional | Miodrag Milanovic | 2021-08-20 | 1 | -1/+6 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-18 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-17 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-15 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-14 | 1 | -1/+1 |
| | | |||||
| * | Generate an RTLIL representation of bind constructs | Rupert Swarbrick | 2021-08-13 | 1 | -0/+3 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | This code now takes the AST nodes of type AST_BIND and generates a representation in the RTLIL for them. This is a little tricky, because a binding of the form: bind baz foo_t foo_i (.arg (1 + bar)); means "make an instance of foo_t called foo_i, instantiate it inside baz and connect the port arg to the result of the expression 1+bar". Of course, 1+bar needs a cell for the addition. Where should that cell live? With this patch, the Binding structure that represents the construct is itself an AST::AstModule module. This lets us put the adder cell inside it. We'll pull the contents out and plonk them into 'baz' when we actually do the binding operation as part of the hierarchy pass. Of course, we don't want RTLIL::Binding to contain an AST::AstModule (since kernel code shouldn't depend on a frontend), so we define RTLIL::Binding as an abstract base class and put the AST-specific code into an AST::Binding subclass. This is analogous to the AST::AstModule class. | ||||
| * | Bump version | github-actions[bot] | 2021-08-13 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-12 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-11 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-10 | 1 | -1/+1 |
| | | |||||
| * | Refactor common parts of SAT-using optimizations into a helper. | Marcelina Kościelnicka | 2021-08-09 | 1 | -1/+2 |
| | | | | | | | | | | | | | | This also aligns the functionality: - in all cases, the onehot attribute is used to create appropriate constraints (previously, opt_dff didn't do it at all, and share created one-hot constraints based on $pmux presence alone, which is unsound) - in all cases, shift and mul/div/pow cells are now skipped when importing the SAT problem (previously only memory_share did this) — this avoids creating clauses for hard cells that are unlikely to help with proving the UNSATness needed for optimization | ||||
| * | Bump version | github-actions[bot] | 2021-08-08 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-07 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-05 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-04 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-03 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-08-02 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-07-31 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-07-30 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-07-29 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-07-28 | 1 | -1/+1 |
| | | |||||
| * | Bump version | github-actions[bot] | 2021-07-27 | 1 | -1/+1 |
| | | |||||
| * | Update to latest Verific with extensions for initial assertions | Miodrag Milanovic | 2021-07-09 | 1 | -1/+1 |
| | | |||||
| * | Makefile: allow running multiple sanitizers at once | Xiretza | 2021-07-05 | 1 | -3/+3 |
| | | |||||
| * | Makefile: use git/make -C instead of cd | Xiretza | 2021-07-05 | 1 | -3/+3 |
| | | |||||
| * | Makefile: pass PRETTY=0 to ABC | Xiretza | 2021-07-05 | 1 | -1/+1 |
| | | |||||
| * | Makefile: don't bake DESTDIR into libyosys DT_SONAME | Xiretza | 2021-07-05 | 1 | -2/+2 |
| | | | | | | | DESTDIR is only used as a temporary destination for installed files before they are packaged into an archive; the "real" installed location is determined by PREFIX/{BIN,LIB,DAT}DIR. | ||||
| * | Makefile: clean up PYOSYS configuration | Xiretza | 2021-07-05 | 1 | -34/+10 |
| | | |||||
| * | Include blif reader header in public facing extension header files. | Ashton Snelgrove | 2021-06-16 | 1 | -0/+1 |
| | | |||||
| * | Use HTTPS for website links, gatecat email | Claire Xenia Wolf | 2021-06-09 | 1 | -1/+1 |
| | | | | | | | | | | | git ls-tree -r --name-only HEAD | xargs sed -i -rf ~/fixemails.sed s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+(Shah|gatecat)\s+<(dave|david|gatecat)@(symbioticeda.com|yosyshq.com|ds0.me)>/gatecat <gatecat@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/|http://yosyshq.net/yosys/,https://yosyshq.net/yosys/,g; | ||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |