summaryrefslogtreecommitdiff
path: root/Test/codeexpr
Commit message (Expand)AuthorAge
* fixed codexpr bug reported by Michael Emmi; removed special handling of codex...Gravatar qadeer2014-08-08
* Removed old test infrastructure files except forGravatar Dan Liew2014-05-28
* Fix lit test suite when running Boogie under a path that containsGravatar Dan Liew2014-05-27
* Enable codeexpr lit tests.Gravatar Dan Liew2014-05-07
* Dafny:Gravatar rustanleino2010-09-14
* Boogie: Added boolean code expressions (sans well-formedness checks on the in...Gravatar rustanleino2010-08-10