formalsec / smtml
44%

DEFAULT BRANCH: main
Repo Added
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

coverage: 44.018%. Remained the same
461

push

github

filipeom 
Add ocamlopt flags

953 of 2165 relevant lines covered (44.02%)

8.57 hits per line

Relevant lines Covered
2165 RELEVANT LINES 953 COVERED LINES
8.57 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
461 main Add ocamlopt flags push filipeom github
44.02
460 main Add minimal smtml logo push filipeom github
44.02
459 main Release 0.19.0 push filipeom github
44.02
458 main Reduce allocations in hashconsing hash function Seems to improve performance a bit. Not sure if it is just by not using tuples or because of the hash functions of the other modules. push filipeom github
44.02
457 main Fix logging of queries after model generation push hra687261 github
45.36
456 main Export individual modules in Eval push filipeom github
45.36
455 main Release 0.18.0 push filipeom github
44.64
454 main Use fine-grained token to create release PR This is required because `GITHUB_TOKEN` does not trigger github actions to run. Which in turn, makes the PR unmergable by people that are not repository owners. push filipeom github
44.64
453 main Improve error messages in the error_kind printer push filipeom github
44.64
452 main Add Eval.pp_error_kind function push filipeom github
44.78
See All Builds (290)