Search results

Heads-up: #[start] is being removed

Status: Open.

#802 In smackers/smack;

· RalfJung opened on Dec 20, 2024

Translation error of uses of the copysign family of functions

bug

Status: Open.

#801 In smackers/smack;

· keram88 opened on Sep 4, 2024

Advanced SMACK guide

enhancement

Status: Open.

#798 In smackers/smack;

· keram88 opened on Mar 29, 2023

All programs verify when SMT solver (Z3) is not present

Status: Open.

#796 In smackers/smack;

· rakamaric opened on Mar 22, 2023

Unhandled experimental intrinsics crash SMACK

Status: Open.

#795 In smackers/smack;

· keram88 opened on Mar 17, 2023

Unhandled LLVM intrinsic generated from math.c

Status: Open.

#794 In smackers/smack;

· keram88 opened on Feb 19, 2023

Build issue on Ubuntu 18.04

Status: Open.

#793 In smackers/smack;

· keram88 opened on Jan 24, 2023

llvm2bpl report error when use smack generate boogie code

Status: Open.

#792 In smackers/smack;

· Luweicai opened on Dec 23, 2022

How it can support ensures, requires, invariant API in Rust

Status: Open.

#791 In smackers/smack;

· 1vs9 opened on Nov 24, 2022

Verifying D programs

Status: Open.

#788 In smackers/smack;

· roxanaRA opened on Apr 7, 2022

Upgrade Rust version to support edition 2021

enhancement

Status: Open.

#783 In smackers/smack;

· shaobo-he opened on Mar 8, 2022

Generalize <code>clang-options</code> into <code>compiler-options</code>

Status: Open.

#781 In smackers/smack;

· shaobo-he opened on Mar 1, 2022