• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

drym-org / qi / #70

Builds Branch Commit Type Ran Committer Via Coverage
#70 first-optimizations WIP from today's meeting - Check specifically for right chirality in deforestation - some unit tests for rewrite rules - more tests for deforestation - considering false return value for find-and-map mapping functions Pull #76 22 Sep 2023 07:37PM UTC countvajhula cover
93.3
#69 HEAD Merge 7265eb91a into 0d6289571 push 22 Sep 2023 07:37PM UTC web-flow cover
93.3
#68 HEAD Merge 253e5fe75 into 0d6289571 push 16 Sep 2023 08:59PM UTC web-flow cover
94.4
#67 first-optimizations foldr fusable stream terminator (committing code from yesterday's meetup) Pull #76 16 Sep 2023 08:59PM UTC countvajhula cover
94.4
#66 first-optimizations benchmark for functional pipeline using foldr Pull #76 15 Sep 2023 05:00PM UTC countvajhula cover
94.29
#65 HEAD Merge be0e6edd7 into 0d6289571 push 15 Sep 2023 04:59PM UTC web-flow cover
94.29
#64 first-optimizations add the hand-coded iteration (upper bound on performance) Pull #76 15 Aug 2023 08:22AM UTC countvajhula cover pending completion   set done
#63 HEAD Merge 0351c39fb into 0d6289571 push 15 Aug 2023 08:22AM UTC web-flow cover pending completion   set done
#62 first-optimizations add version from ben with partially evaluated match, for completeness Pull #76 12 Aug 2023 04:49PM UTC countvajhula cover pending completion   set done
#61 HEAD Merge b19783de0 into 0d6289571 push 12 Aug 2023 04:47PM UTC web-flow cover pending completion   set done
#60 first-optimizations implement filter-map using multiple values instead of allocated data (continuing from today's meeting) Pull #76 11 Aug 2023 11:30PM UTC countvajhula cover pending completion   set done
#59 HEAD Merge c698e2674 into 0d6289571 push 11 Aug 2023 11:29PM UTC web-flow cover pending completion   set done
#58 main readme: minor improvements push 09 Aug 2023 08:53PM UTC countvajhula cover pending completion   set done
#57 main Merge pull request #109 from benknoble/docs Update documentation push 09 Aug 2023 08:29PM UTC web-flow cover pending completion   set done
#56 first-optimizations Commit wip from today's meeting - define a new "large list" benchmark exerciser - simple list-based functional pipeline for filter-map - fold universality baseline implementation - stream fusion - various hand optimized stages on top of stream fu... Pull #76 04 Aug 2023 11:33PM UTC countvajhula cover pending completion   set done
  • ← Previous
  • 1
  • 2
  • …
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • Next →
  • Back to Repo
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc