fix obejct contract


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24610 e3db86c2-31ce-0310-bca5-be3edd1b5589
sync


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24611 e3db86c2-31ce-0310-bca5-be3edd1b5589
update test cases


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24612 e3db86c2-31ce-0310-bca5-be3edd1b5589
sync


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24613 e3db86c2-31ce-0310-bca5-be3edd1b5589
add new benchmark results


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24615 e3db86c2-31ce-0310-bca5-be3edd1b5589
sync


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24617 e3db86c2-31ce-0310-bca5-be3edd1b5589
rename package name


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24618 e3db86c2-31ce-0310-bca5-be3edd1b5589
add build method


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24619 e3db86c2-31ce-0310-bca5-be3edd1b5589
sync


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24621 e3db86c2-31ce-0310-bca5-be3edd1b5589
add canonical contracts


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24628 e3db86c2-31ce-0310-bca5-be3edd1b5589
snapshot


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24630 e3db86c2-31ce-0310-bca5-be3edd1b5589
snapshot


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24631 e3db86c2-31ce-0310-bca5-be3edd1b5589
snapshot

git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24632 e3db86c2-31ce-0310-bca5-be3edd1b5589
snapshot

git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24633 e3db86c2-31ce-0310-bca5-be3edd1b5589
sync


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24634 e3db86c2-31ce-0310-bca5-be3edd1b5589
add new testcases


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24635 e3db86c2-31ce-0310-bca5-be3edd1b5589
canonicalize contracts


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24636 e3db86c2-31ce-0310-bca5-be3edd1b5589
cleanup



git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24637 e3db86c2-31ce-0310-bca5-be3edd1b5589
change example contracts


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24640 e3db86c2-31ce-0310-bca5-be3edd1b5589
cleanup


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24641 e3db86c2-31ce-0310-bca5-be3edd1b5589