Fix run script for sudoku

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9146 dc4e9af1-7f46-4ead-bba6-71afc04862de
Initial work on regression test for sudoku bug

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9196 dc4e9af1-7f46-4ead-bba6-71afc04862de
Fix unused import warnings

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9197 dc4e9af1-7f46-4ead-bba6-71afc04862de
Debug trace for refcount placement

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9198 dc4e9af1-7f46-4ead-bba6-71afc04862de
Refactor forward dataflow to use cleaner scheme for indicating
alias equivalence where this is determined entirely by computed
value.

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9258 dc4e9af1-7f46-4ead-bba6-71afc04862de
WIP on fixing computedValue substitution difficulties

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9259 dc4e9af1-7f46-4ead-bba6-71afc04862de
Rework value tracking to store full info about computed value always

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9260 dc4e9af1-7f46-4ead-bba6-71afc04862de
Correct method for result values resulting from copy

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9261 dc4e9af1-7f46-4ead-bba6-71afc04862de
Remove substitutable parameter that was essentially a hack that is no longer necessary with the isCopy stuff

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9262 dc4e9af1-7f46-4ead-bba6-71afc04862de
WIP on congruence approach and refactoring

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9282 dc4e9af1-7f46-4ead-bba6-71afc04862de
Parameterize ComputedValue type

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9283 dc4e9af1-7f46-4ead-bba6-71afc04862de
Work in progress in more rigorous implementation of congruence sets

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9284 dc4e9af1-7f46-4ead-bba6-71afc04862de
Clean up deref/loadref to use same computed value

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9285 dc4e9af1-7f46-4ead-bba6-71afc04862de
Fix bug in replacement map causing no replacements to happen

Fix switch arguments

Fix mixup between RecCV and ArgCV

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9286 dc4e9af1-7f46-4ead-bba6-71afc04862de
Add increased validation to fwd dataflow.  Add note about issue with merging classes

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9287 dc4e9af1-7f46-4ead-bba6-71afc04862de
Notes on how to integrate constant folding.

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9288 dc4e9af1-7f46-4ead-bba6-71afc04862de
Add constant folding code in.  Automatic inverse adding

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9289 dc4e9af1-7f46-4ead-bba6-71afc04862de
Fix bug with marking contradictions

Avoid substituting result with contradiction

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9290 dc4e9af1-7f46-4ead-bba6-71afc04862de
Fix looking up key with wrong type

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9291 dc4e9af1-7f46-4ead-bba6-71afc04862de
Fix eval short-circuit bug. Fix bug in short-circuiting of logical operator, extend short-circuiting.

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@9292 dc4e9af1-7f46-4ead-bba6-71afc04862de