Check read and write specs in combinational groups #1259
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
janpaulpl
added a commit
that referenced
this pull request
Nov 29, 2022
* add CompileInvoke to no-opt pipeline (#1206) * allow passing tcl file (#1207) * [Interpreter] Signed fix (#1208) * fix the parse bug * fix black invocation * Reorder logical and expressions. (#1209) * Fix Papercut For Multiple Go-Done Pairs (#1210) * Do not group2invoke components with multiple go/done pairs (#1211) * Update Contributor List (#1212) * fixes LeNet (#1213) * Fix Dockerfile not working with runt cocotb tests (#1216) * Cocotb-bus is now built from github repo LANG env variable is also set explicitly to be utf-8 * Fix calyx branch and reduce apt-get calls Co-authored-by: Nathaniel Navarro <nrn25@cornell.edu> * small changes to bounded sharing (#1214) * Vivado Maps seq-mems to Urams (#1219) * vivado maps to urams * small change Co-authored-by: Caleb Min Sup Kim <cmk265@havarti.cs.cornell.edu> * facilitate ref declaration (#1218) * facilitate ref declaration * check that a cell is not both external and passed in by reference * fix types * Any Base Exponentiation (#1226) * added any base * got rid of muck * got rid of code garbage * rewrote tests * Adding reserved words (#1236) Discussed in #1233 * [Interpreter] turn off group assignments the same cycle done becomes high (#1237) * add alias to avoid confusion * using boxed error instead * bunch of clippy lints * bug fixing * Print out X-values in dat output (#1242) * Generate X-values in the final DAT file * format frontend code * High-level "builder" (kind of an embedded DSL?) in the Python library for easy program generation (#1229) * PoC Python AST builder library * Operator overloading for guard expressions * Absurd contextual assignment syntax * Bind group names in context statements * Ridiculous avoidance of Python builtins * Support Python integer literals * Support width inference for `done` holes * Naming & docs * Slight context access reorg * Simplify the example a tiny bit * Flip assignment ordering For the modern AST library, which has sensibly reversed these things. * Mild Python cleanup * New attempt at conditional assignments * Type cleanliness * More docs suggested by @cgyurgyik * Avoid pyramid. (#1243) * Small LiveRangeAnalysis Change (#1222) * small lra change * documentation change * clarified code + docs * added clarifying comments * save_mem flag to allow `dense` operation to save memory (#1230) * allow dense to save memory * addded clarifying comment * made relay_visitor.py runnable as script * simplified save_mem flag and added documentation * added lrn, cleaned up gen_exp (#1231) * added lrn, cleaned up gen_exp * updated docs * small doc changes * super small change (#1247) * Check that there are no ref cells before compiling invokes (#1248) * Disable static timing tests (#1252) * `group2invoke` should not convert groups with guarded assignments to go/done ports (#1251) * `group2invoke` should not convert groups with guarded assignments to go/done ports * comment about wait group * Comment about the wait restore group * synchronize before starting new iteration * remove redundant sync test * skip sync-while test * Preserve attributes in group2invoke (#1256) * `group2invoke` should not convert groups with guarded assignments to go/done ports * comment about wait group * Comment about the wait restore group * synchronize before starting new iteration * Fix #1253 * fmt * Fix std_fp_mult_pipe Primitive (#1246) * Fix std_fp_mult_pipe primitive * Maybe enable real pipelined multiply * update exp tests * systolic and ntt test updates Co-authored-by: Rachit Nigam <rachit.nigam12@gmail.com> * separate out compiler tests (#1258) * Check read and write specs in combinational groups (#1259) * clippy warnings * Read write specs checked in comb groups * add test * Don't use `then_some` which is not available in older version * Bump minimatch from 3.0.4 to 3.1.2 in /web (#1263) Bumps [minimatch](https://github.com/isaacs/minimatch) from 3.0.4 to 3.1.2. - [Release notes](https://github.com/isaacs/minimatch/releases) - [Commits](isaacs/minimatch@v3.0.4...v3.1.2) --- updated-dependencies: - dependency-name: minimatch dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com> Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> * Fix #1239 (#1267) * Add ability to parse empty control with attributes (#1266) * Add autoupdate workflow (#1257) * Add autoupdate workflow * disable requirement on eval * autoupdate separate out workflow * Revert "Add autoupdate workflow (#1257)" This reverts commit e3c1412. * limit concurrency in actions (#1271) * Reduce struct sizes (#1269) * Reduce size of Error * Box span in ir::Id * Make Span unclonable and behind Rc * Add ability to parse empty control with attributes (#1266) * Add autoupdate workflow (#1257) * Add autoupdate workflow * disable requirement on eval * autoupdate separate out workflow * Fix #1244 (#1268) Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> * Fix #1277 (#1279) * Add timing specified timing information to latency_data * Fix #1277 * Generate program without buffering (#1280) * vscode nonsense * print to output stream directly instead of buffering * Generate body without buffering * flip * update tests * Upgrade dependencies * Revert "Upgrade dependencies" This reverts commit b807bf5. * Upgrade dependencies (#1281) * Upgrade dependencies * rust upd * Log parsing time * CDF Generator (#1275) * started on cdf-gen * more progress * cdf generator * formatting * updated cdf formulation to be more accurate * cleaned code changed way we count sharing * clippy * Make builder work with python 3.9 * add test for builder * Update Verilator v5.002 (#1289) * vscode nonsense * Fix #1260 * update tests * Use builder for systolic frontend (#1288) * vscode nonsense * Port systolic frontend to use builder * update test * remove pe def * cleanup * upd * [Interpreter] Misc reorg (#1290) * commit regression test from earlier * Do some light reorganization * fix the tests * use usize instead of u64 * Ref problem (#1255) * fixed the issue with ref * added comments * made changes to insert port in the start function * formatting issue * modified compile-ref and test cases * format * change compile-sync to original version * formatting * canonicalize * fix borrow error * fixed small error Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> Co-authored-by: Rachit Nigam <rachit.nigam12@gmail.com> * Update documentation (#1291) * Fill TK in lang-ref * inlining trick * document data format * minor fixes * Modify sync (#1285) * change compile-sync * modified compile-sync so it adds barriers to single group enables and cell invokes * changed compile-sync and modified passes * modify tests * changed example test cases * added error message, changed name for `wait`, changed markdown * format * fix format Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: Rachit Nigam <rachit.nigam12@gmail.com> Co-authored-by: Griffin Berlstein <griffin@berlste.in> Co-authored-by: Chris Gyurgyik <37983775+cgyurgyik@users.noreply.github.com> Co-authored-by: Andrew Butt <andrewb1999@gmail.com> Co-authored-by: calebmkim <55243755+calebmkim@users.noreply.github.com> Co-authored-by: Nathaniel Navarro <nathanielnrn99@gmail.com> Co-authored-by: Nathaniel Navarro <nrn25@cornell.edu> Co-authored-by: Caleb Min Sup Kim <cmk265@havarti.cs.cornell.edu> Co-authored-by: Susan Garry <sgarry406@gmail.com> Co-authored-by: Adrian Sampson <adrian@radbox.org> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> Co-authored-by: paili0628 <92661158+paili0628@users.noreply.github.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fixes #1215