formalsec / smtml
56%

DEFAULT BRANCH: main
Repo Added
Files 10
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: 55.751%. Remained the same
341

push

github

filipeom 
`int_of_term` should expect a bitvector instead of an integer

950 of 1704 relevant lines covered (55.75%)

11.63 hits per line

Relevant lines Covered
1704 RELEVANT LINES 950 COVERED LINES
11.63 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
341 main `int_of_term` should expect a bitvector instead of an integer push filipeom github
55.75
340 main Fix model tests push filipeom github
55.75
339 main Fix `rotate_{left|right}` order of arguments in dolmenexpr_to_expr push filipeom github
55.75
338 main Fix cvc5's bindings push filipeom github
55.75
337 main Support of_ieee_bv in Alt-Ergo's mapping push filipeom github
55.75
336 main Fix conversion from int string to bv push filipeom github
55.75
335 main Support unknown apps as uninterpreted functions in the solver push filipeom github
55.75
334 main Add solver mappings `Internals` module and generic `to_ieee_bv` impl - All the mappings now include a `Internals` module that will inform the `Mappings` module of internal behaviours, such as const caching and native support for the `to_ieee_... push filipeom github
55.75
333 main correcting with Filipe's comments push filipeom github
55.75
332 main extend to_ieee_bv to support both f32 and f64 push filipeom github
56.31
See All Builds (182)