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

0 views
Skip to first unread message

Oleg Demchenko

unread,
Jul 31, 2012, 3:49:15 AM7/31/12
to mono-s...@googlegroups.com
Achievements:
Add hashing of methods
Add filter of methods
Designed prototype of method cache
Made a set of unit-tests for inference 
Made a set of unit-tests for preconditions

Objectives:
Develop connection logic between inference and methods filter
Add  method chache services
Add method chache controller  

Reply all
Reply to author
Forward
0 new messages