GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

Missformed SMT source in ((_ map or) (store ((as const (Array Int Bool)) false) 0 true)

#236

· vkuncak opened

on Jun 4, 2025

Provision timeout in unrolling solver

#223

· samuelchassot opened

on Sep 6, 2024

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

#213

· vkuncak opened

on Jul 23, 2024

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

#208

· samuelchassot opened

on Oct 13, 2023

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

#182

· vkuncak opened

on Jun 10, 2022

StackOverflowError on an equivalence checking example

#180

· drganam opened

on Apr 3, 2022

Underapproximate unfolding

#169

· vkuncak opened

on Nov 1, 2021

ChooseEncoder doesn't transform all the trees

#167

· jad-hamza opened

on Oct 1, 2021

Type error in tip printed from Stainless

#153

· jad-hamza opened

on May 12, 2021

Choose under lamba

#139

· jad-hamza opened

on Apr 25, 2021

BitVector <-> Integer conversions

#108

· romac opened

on Sep 4, 2019

Add mode where lambda equality is considered undecidable

#87

· romac opened

on Jan 16, 2019

0