countvajhula / qi / #551

Builds Branch Commit Type Ran Committer Via Coverage
#551 main Merge pull request #80 from countvajhula/update-links-for-migrated-repo Repo migration: update links to point to drym-org push web-flow cover pending completion   set done
#550 main tests for pre-supplied as well as invocation-time keyword args push countvajhula cover pending completion   set done
#549 main misc. minor doc improvements push countvajhula cover pending completion   set done
#548 main fix pattern in flow macro that was obscuring a syntax error push countvajhula cover pending completion   set done
#547 HEAD <a href="https://github.com/countvajhula/qi/commit/84b3f15ff">&lt;a href=&quot;https://github.com/countvajhula/qi/commit/</a><a class="double-link" href="https://github.com/countvajhula/qi/commit/&lt;a class=&quot;do... push web-flow cover pending completion   set done
#546 first-optimizations add tests to check known counterexamples to seeming equivalences push countvajhula cover pending completion   set done
#545 HEAD <a href="https://github.com/countvajhula/qi/commit/15fb9e827">Merge </a><a class="double-link" href="https://github.com/countvajhula/qi/commit/0f6e72539">0f6e72539</a><a href="https://g... push web-flow cover pending completion   set done
#544 first-optimizations remove invalid optimization (CR) push countvajhula cover pending completion   set done
#543 main Link to the Developer's Guide Now that all development-related content is incorporated there, we don't need to have it duplicated in CONTRIBUTING. push countvajhula cover pending completion   set done
#542 first-optimizations remove invalid deforestation optimization (noted in CR) push countvajhula cover pending completion   set done
#541 HEAD <a href="https://github.com/countvajhula/qi/commit/8e089ede4">Merge </a><a class="double-link" href="https://github.com/countvajhula/qi/commit/787ec1f7d">787ec1f7d</a><a href="https://g... push web-flow cover pending completion   set done
#540 first-optimizations rudimentary deforestation push countvajhula cover pending completion   set done
#539 add-bindings-to-qi shell for a distinct codegen pass for processing bindings push countvajhula cover pending completion   set done
#538 HEAD <a href="https://github.com/countvajhula/qi/commit/cd9260a77">&lt;a href=&quot;https://github.com/countvajhula/qi/commit/</a><a class="double-link" href="https://github.com/countvajhula/qi/commit/&lt;a class=&quot;do... push web-flow cover pending completion   set done
#537 HEAD <a href="https://github.com/countvajhula/qi/commit/3ec5ab683">Merge </a><a class="double-link" href="https://github.com/countvajhula/qi/commit/405fdd301">405fdd301</a><a href="https://g... push web-flow cover pending completion   set done