Search results

Platform-independent resource bounds for z3 in Inox, instead of wall clock

feature

Status: Open.

#258 In epfl-lara/inox;

· vkuncak opened on May 27, 2026

CVC4 not available on macOS runner

Status: Open.

#251 In epfl-lara/inox;

· mbovel opened on Feb 27, 2026

Provision timeout in unrolling solver

enhancement

Status: Open.

#223 In epfl-lara/inox;

· samuelchassot opened on Sep 6, 2024

Add a sequence type: finitary arrays from natural numbers to some type

feature

Status: Open.

#213 In epfl-lara/inox;

· vkuncak opened on Jul 23, 2024

CVC4/5 unsupported feature shows an error even though another solver is verifying the VC

Status: Open.

#208 In epfl-lara/inox;

· samuelchassot opened on Oct 13, 2023

Enable reading smt-lib files with dependent types for future text interface from Stainless

feature

Status: Open.

#182 In epfl-lara/inox;

· vkuncak opened on Jun 10, 2022

StackOverflowError on an equivalence checking example

Status: Open.

#180 In epfl-lara/inox;

· drganam opened on Apr 3, 2022

Underapproximate unfolding

feature

Status: Open.

#169 In epfl-lara/inox;

· vkuncak opened on Nov 1, 2021

ChooseEncoder doesn't transform all the trees

Status: Open.

#167 In epfl-lara/inox;

· jad-hamza opened on Oct 1, 2021

Type error in tip printed from Stainless

Status: Open.

#153 In epfl-lara/inox;

· jad-hamza opened on May 12, 2021

Choose under lamba

bug

soundness

Status: Open.

#139 In epfl-lara/inox;

· jad-hamza opened on Apr 25, 2021

BitVector <-> Integer conversions

Status: Open.

#108 In epfl-lara/inox;

· romac opened on Sep 4, 2019