index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny0
/
Trait
Commit message (
Expand
)
Author
Age
*
Fix: Unify column numbers in Dafny's errors
Clément Pit--Claudel
2015-07-23
*
clarified error message that occurs when the "opened" keyword is left off of ...
Michael Lowell Roberts
2015-07-20
*
Fixed crashes in overrides checking of function decreases clauses, and improv...
Rustan Leino
2015-07-07
*
Improvements in traits test case
leino
2015-05-29
*
Include axioms about $Is and $IsAlloc for traits
leino
2015-04-07
*
Support calls to static trait methods/functions via the class
leino
2015-04-07
*
Revised look-up and compilation of inherited trait members (static functions/...
leino
2015-04-07
*
Fixed compilation of static members in traits
leino
2015-04-05
*
Fixed some bugs in override axioms (but still missing support for classes wit...
leino
2015-04-05
*
Whitespace deltas in test files (in particular, removing tabs and adjusting s...
leino
2015-04-03
*
Added test cases and fixes for overrides termination checks
leino
2015-04-03
*
Merge
leino
2014-12-09
|
\
|
*
minor change on a test.
Reza Ahmadi
2014-12-03
|
*
added multiple trait inheritance.
Reza Ahmadi
2014-12-03
*
|
Snapshot, to be continued
leino
2014-12-02
|
*
removing one unnessessary check in the cloner
Reza Ahmadi
2014-12-02
|
*
- fixed a bug in merging fields that come from a parent trait
Reza Ahmadi
2014-12-02
|
/
*
Resolved further merge issues
leino
2014-08-05
*
added one more test case
Reza Ahmadi
2014-07-31
*
combined few tests
Reza Ahmadi
2014-07-31
*
combined two tests
Reza Ahmadi
2014-07-31
*
added one more test.
Reza Ahmadi
2014-07-20
*
- fixed a bug in inheriting members from a trait
Reza Ahmadi
2014-07-20
*
fixed one .expect file. now all 11 tests related to Traits pass.
Reza Ahmadi
2014-07-20
*
- fixed an issue regarding including ghost functions in the compiled interface
Reza Ahmadi
2014-07-20
*
added trait feature:
Reza Ahmadi
2014-07-18