A&O Oleg Demchenko 2012-08-07: Code Contracts Verifier

2 views

Skip to first unread message

Oleg Demchenko

unread,

Aug 7, 2012, 3:58:58 PM8/7/12

to mono-s...@googlegroups.com

Achievements:

Global method cache refactoring
Add needed subroutines:
Calling Contract Subroutine
Model Ensures Subroutine
Invariant Subroutine
Add needed caches:
Ensures Cache
Invariant Cache
Requires Cache

Objectives:

Complete cache logic

Add contracts invariant
Make heap analysis refactoring

Reply all

Reply to author

Forward

0 new messages