Actions: scroll-tech/ceno
Actions
3,011 workflow runs
3,011 workflow runs
ToExpr
trait instead of ad-hoc expr
functions
Tests
#2922:
Pull request #736
synchronize
by
matthiasgoergens
sum
instead of writing our own ad-hoc version
Tests
#2920:
Pull request #738
synchronize
by
matthiasgoergens
ToExpr
trait instead of ad-hoc expr
functions
Tests
#2919:
Pull request #736
synchronize
by
matthiasgoergens
sum
instead of writing our own ad-hoc version
Tests
#2915:
Pull request #738
opened
by
matthiasgoergens
ToExpr
trait instead of ad-hoc expr
functions
Tests
#2914:
Pull request #736
synchronize
by
matthiasgoergens
ToExpr
trait instead of ad-hoc expr
functions
Tests
#2913:
Pull request #736
synchronize
by
matthiasgoergens
u128
/i128
implementations
Tests
#2912:
Pull request #737
opened
by
matthiasgoergens
ToExpr
trait instead of ad-hoc expr
functions
Tests
#2911:
Pull request #736
opened
by
matthiasgoergens
Value::as_i32
(#732)
Tests
#2910:
Commit 2cd6a6d
pushed
by
matthiasgoergens
Value::as_i32
Tests
#2908:
Pull request #732
synchronize
by
matthiasgoergens
Value::as_i32
Tests
#2907:
Pull request #732
synchronize
by
matthiasgoergens
Value::as_i32
Tests
#2906:
Pull request #732
synchronize
by
matthiasgoergens