set up testing code, one initial test more to come soon

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@133 e5a44606-1236-43ac-9aa5-cdde1b33ff33
setup more test utilities + more tests

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@134 e5a44606-1236-43ac-9aa5-cdde1b33ff33


git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@137 e5a44606-1236-43ac-9aa5-cdde1b33ff33
tests

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@138 e5a44606-1236-43ac-9aa5-cdde1b33ff33
More tests + fixed null-pointer exception in FuncCallExpr

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@139 e5a44606-1236-43ac-9aa5-cdde1b33ff33
finished tests for fixed functions

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@141 e5a44606-1236-43ac-9aa5-cdde1b33ff33
added semantic checking for random function definition
only support distribution with constant argument now

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@143 e5a44606-1236-43ac-9aa5-cdde1b33ff33
added semantic checking and translation for number statement

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@144 e5a44606-1236-43ac-9aa5-cdde1b33ff33
rename blog.absyn.Evidence to blog.absyn.EvidenceStmt 
rename blog.absyn.Query to blog.absyn.QueryStmt 

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@146 e5a44606-1236-43ac-9aa5-cdde1b33ff33
semantic checking value evidence, sub case number evidence

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@147 e5a44606-1236-43ac-9aa5-cdde1b33ff33
added semantic checking for evidence and query

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@148 e5a44606-1236-43ac-9aa5-cdde1b33ff33
fixed errors, now it compiles
integrated parser and semantic checking and translation in Main

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@149 e5a44606-1236-43ac-9aa5-cdde1b33ff33
added translation for origin function

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@150 e5a44606-1236-43ac-9aa5-cdde1b33ff33
fixed error in parsing clause

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@151 e5a44606-1236-43ac-9aa5-cdde1b33ff33
tiny fix

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@152 e5a44606-1236-43ac-9aa5-cdde1b33ff33
fixed error in duplication checking for symbol evidence

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@153 e5a44606-1236-43ac-9aa5-cdde1b33ff33
tiny fix

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@154 e5a44606-1236-43ac-9aa5-cdde1b33ff33
start to implementing block sampler, especiallly for set sampler

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@156 e5a44606-1236-43ac-9aa5-cdde1b33ff33
move sub classes of possibleWorld into blog.world

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@157 e5a44606-1236-43ac-9aa5-cdde1b33ff33
renamed blog.sampling to blog.sample

git-svn-id: https://patmos.banatao.berkeley.edu:8889/svnbase/outbids/code/trunk@158 e5a44606-1236-43ac-9aa5-cdde1b33ff33