Makefile CI

Added bit twiddling hacks proofs using bv_decide #705

Sign in to view logs

Triggered via pull request August 16, 2024 15:45

shigoel

synchronize #85

nwetzler:bit_twiddling

Status Success

Total duration 8m 59s

Artifacts –

makefile.yml

on: pull_request

Matrix: build