Support tuples with ghost components #1269

Merged

RustanLeino merged 11 commits intodafny-lang:masterfrom fpoli:ghost-args

Aug 3, 2021

+439-81

Commits on Jul 19, 2021

Support tuples with ghost components
Federico Poli
committed

Commits on Jul 29, 2021

Merge branch 'master' into ghost-args
RustanLeino
authored

Commits on Jul 30, 2021

Fix code formatting

fpoli
and
RustanLeino
authored
Fix code formatting

fpoli
and
RustanLeino
authored
Address feedback
Federico Poli
committed
Change List to IEnumerable
Federico Poli
committed

Commits on Aug 2, 2021

Add tests and address feedback
Federico Poli
committed
Describe ghost components in the reference manual
Federico Poli
committed
Fix test
Federico Poli
committed
Fix test
Federico Poli
committed

Commits on Aug 3, 2021

Merge branch 'master' into ghost-args
RustanLeino
authored