Search results

Basic support for structs

enhancement

Status: Open.

#31 In marcelosousa/poet;

· marcelosousa opened on Jan 11, 2017

Implement widening across multiple executions of collapse

enhancement

Status: Open.

#28 In marcelosousa/poet;

· marcelosousa opened on Jan 10, 2017

Implement narrowing

enhancement

Status: Open.

#27 In marcelosousa/poet;

· marcelosousa opened on Jan 8, 2017

Pass arguments to threads

enhancement

Status: Open.

#25 In marcelosousa/poet;

· marcelosousa opened on Jan 6, 2017

Support pointers in the front-end and the backend

Status: Open.

#5 In marcelosousa/poet;

· marcelosousa opened on Nov 24, 2016

Symbolic Exploration

Status: Open.

#2 In marcelosousa/poet;

· marcelosousa opened on Sep 22, 2015

· 

Symbolic Unfolding