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

unbound type symbol 'opaque_ptr' in why3 ide

nishanthkarthik started Feb 20, 2024 in General

1
You must be logged in to vote

The State of Creusot

xldenis started Oct 24, 2023 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