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

musalbas / smt / 39

Builds Branch Commit Type Ran Committer Via Coverage
39 optimised_compute Merge branch 'master' of github.com:musalbas/smt push 12 Jun 2020 04:16PM UTC musalbas travis-ci
92.15
38 optimised_compute Basic working version. push 12 Jun 2020 04:13PM UTC musalbas travis-ci
88.68
37 efficient-hash Basic working version. push 26 Dec 2019 10:46PM UTC musalbas travis-ci
88.68
36 efficient-hash Support custom hashers in tests. push 26 Dec 2019 08:12PM UTC musalbas travis-ci
92.43
35 efficient-hash Add node/leaf prefixes before hashing. push 26 Dec 2019 08:05PM UTC musalbas travis-ci
92.43
34 master Merge branch 'master' of github.com:musalbas/smt push 19 Aug 2018 10:30PM UTC musalbas travis-ci pending completion
33 master Fix typo push 19 Aug 2018 05:50PM UTC web-flow travis-ci pending completion
32 master Update README.md push 19 Aug 2018 12:02PM UTC web-flow travis-ci pending completion
31 master Update README.md push 19 Aug 2018 11:59AM UTC web-flow travis-ci pending completion
30 master Update README.md push 19 Aug 2018 11:23AM UTC web-flow travis-ci pending completion
29 master Add test for imported tree push 19 Aug 2018 10:29AM UTC musalbas travis-ci pending completion
28 master Merge branch 'master' of github.com:musalbas/smt push 19 Aug 2018 10:23AM UTC musalbas travis-ci pending completion
27 master Create LICENSE push 19 Aug 2018 10:10AM UTC web-flow travis-ci pending completion
25 master Update README.md push 19 Aug 2018 10:02AM UTC web-flow travis-ci pending completion
24 master More tests push 19 Aug 2018 09:42AM UTC musalbas travis-ci pending completion
  • ← Previous
  • 1
  • 2
  • 3
  • 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

© 2026 Coveralls, Inc