creusot-rs creusot General · Discussions · GitHub

Cleaning up code & architecture
Ideas xldenis

Sort by: Latest activity

Categories

Community guidelines

General Discussions

Chat about anything and everything here

You must be logged in to vote

The State of Creusot

xldenis started Oct 24, 2023 in General

3
You must be logged in to vote

unbound type symbol 'opaque_ptr' in why3 ide

nishanthkarthik started Feb 20, 2024 in General

1
You must be logged in to vote

How to specify types with interior mutability

xldenis started Aug 14, 2023 in General

0
You must be logged in to vote

Improved strategies

xldenis started Mar 6, 2023 in General

5