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

formalsec / smtml
52%

Build:
DEFAULT BRANCH: main
Repo Added 22 Apr 2024 04:56PM UTC
Files 13
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: SELECT
CHANGE BRANCH
x
  • No branch selected
  • main

17 Nov 2025 06:24PM UTC coverage: 51.566%. Remained the same
416

push

github

filipeom
Release 0.14.0

988 of 1916 relevant lines covered (51.57%)

10.6 hits per line

Relevant lines Covered
Build:
Build:
1916 RELEVANT LINES 988 COVERED LINES
10.6 HITS PER LINE
Source Files on main
  • Tree
  • List 13
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
416 main Release 0.14.0 push 17 Nov 2025 06:28PM UTC filipeom github
51.57
415 main Add `threads` to smtml's libraries stanza push 17 Nov 2025 06:24PM UTC filipeom github
51.57
414 main Add draft smtml logo push 17 Nov 2025 05:35PM UTC filipeom github
51.57
413 main Update README with logo and project details Added logo and enhanced project description. push 17 Nov 2025 04:10PM UTC web-flow github
51.57
412 main Add draft smtml logo push 17 Nov 2025 04:00PM UTC filipeom github
51.57
411 main Release 0.14.0 push 17 Nov 2025 10:02AM UTC filipeom github
51.57
410 main Promote tests push 14 Nov 2025 07:49PM UTC filipeom github
51.57
409 main WIP: Add a simple Smtml.Expr.t -> smt2 pretty printer push 31 Oct 2025 01:34PM UTC filipeom github
51.57
408 main Bring back collections-c benchmarking as a test push 29 Oct 2025 05:13PM UTC filipeom github
53.75
407 main Release 0.13.0 push 27 Oct 2025 09:38AM UTC filipeom github
53.75
See All Builds (250)
  • Repo on GitHub
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