stainless icon indicating copy to clipboard operation
stainless copied to clipboard

Published 20 hours ago • verified publisher icon epfl-lara

Write Scala implementation for BitVectors library

Open jad-hamza opened this issue 3 years ago • 1 comments

https://github.com/epfl-lara/stainless/blob/aa48894c6e4bf4b3eec7e9f3f26d76754c4d0f63/frontends/library/stainless/math/BitVectors.scala#L10

jad-hamza avatar Apr 13 '21 09:04 jad-hamza

Also write test cases that compare the behavior of operations in genc, JVM, and built-in interpreters and compilers.

vkuncak avatar May 11 '22 15:05 vkuncak