Commits

Commits on Jul 22, 2021

Stainless flags should overwrite default config (#169 )
yannbolliger
committedJul 22, 2021

Commits on Jul 21, 2021

Turn on Type Checker (#168 )
yannbolliger
committedJul 21, 2021

Commits on Jul 15, 2021

Make current class available in spec expression. (#167 )
yannbolliger
committedJul 15, 2021

Commits on Jul 5, 2021

Turn measure inference back on (#165 )
yannbolliger
committedJul 5, 2021

Commits on Jun 24, 2021

[Refactor] Add HIR helpers (#163 )
yannbolliger
committedJun 24, 2021

Commits on Jun 10, 2021

Fix matching on empty tuples, aka Unit. (#162 )
yannbolliger
committedJun 10, 2021

Commits on Jun 8, 2021

Extract tuples as synthesized ADTs (#160 )
yannbolliger
committedJun 8, 2021
Preliminary refactoring (#161 )
yannbolliger
committedJun 8, 2021

Commits on May 14, 2021

Fix anti-aliasing problems by using fresh copy (#156 )
yannbolliger
committedMay 14, 2021

Commits on May 4, 2021

Fix mutable parameters of mutable ADTs (#153 )
yannbolliger
committedMay 4, 2021

Commits on May 3, 2021

Allow local modules and imports (#152 )
yannbolliger
committedMay 3, 2021

Commits on Apr 28, 2021

Rename stainless collection API to match Rust std (#151 )
yannbolliger
committedApr 28, 2021

Commits on Apr 26, 2021

Update stainless version. (#149 )
yannbolliger
committedApr 26, 2021
Erase all Clone calls & impls (#124 )
yannbolliger
committedApr 26, 2021

Commits on Apr 22, 2021

Fix spec macros for mut self param (#148 )
yannbolliger
committedApr 22, 2021

Commits on Apr 20, 2021

Add runtime implementation for Set & Map (#131 )
yannbolliger
committedApr 20, 2021

Commits on Apr 15, 2021

Fix post macro crash on parameterless functions (#134 )

yannbolliger
and
romac
committedApr 15, 2021
Add Set::contains to library (#139 )

romac
and
yannbolliger
committedApr 15, 2021

Commits on Apr 14, 2021

Scope synth methods under common struct (#130 )
yannbolliger
committedApr 14, 2021
Add immutable Stainless Map (#127 )
yannbolliger
committedApr 14, 2021
Refactor expression extraction to self-contained module (#128 )
yannbolliger
committedApr 14, 2021

Commits on Apr 12, 2021

Add implies helper method (#125 )
yannbolliger
committedApr 12, 2021
Fix generic panic type (#126 )
yannbolliger
committedApr 12, 2021

Commits on Mar 30, 2021

Make evidence parameters available in spec bodies (#123 )
yannbolliger
committedMar 30, 2021

Commits on Mar 25, 2021

Hack: extract clone for strings by erasure (#120 )
yannbolliger
committedMar 25, 2021

Commits on Mar 24, 2021

Fix cfg flag usage (#116 )
yannbolliger
committedMar 24, 2021

Commits on Mar 22, 2021

Update to nightly-2021-03-22 (#111 )
yannbolliger
committedMar 22, 2021

Commits on Mar 19, 2021

Add support for String and &str types, and calls to to_string on those (#90 )

romac
and
yannbolliger
committedMar 19, 2021

Commits on Mar 18, 2021

Support early return statements (#108 )
yannbolliger
committedMar 18, 2021

Commits on Mar 17, 2021

Update Stainless to v0.8 (#107 )

yannbolliger
and
romac
committedMar 17, 2021

Commits on Mar 16, 2021

Extract normal specs on abstract trait methods (#106 )
yannbolliger
committedMar 16, 2021
Refactor method names and caching (#105 )
yannbolliger
committedMar 16, 2021
Fix build.
yannbolliger
committedMar 16, 2021
Extract PhantomData as a local ADT (#102 )
yannbolliger
committedMar 16, 2021

Commits on Mar 12, 2021

Add support for local mutations (#98 )
yannbolliger
committedMar 12, 2021