Merge commit: branch 'work'

tree.{cc,h} were replaced with NodeStack. (Will need to update them)

Other trivial conflicts in Makefile and model.h

Conflicts:
	Makefile
	model.h
	tree.cc
	tree.h

diff --cc Makefile
index f91f4fdcbac9f4f7301e63453ced1f2fdcf8c04a,22a1c649a2f4c0cef5b111d92162fcd7e60b8cec..ef89c5a7e9d924ee97cf5560e32b5e29c5afeadb
--- 1/Makefile
--- 2/Makefile
+++ b/Makefile
@@@ -8,16 -8,12 +8,16 @@@ LIB_SO=lib$(LIB_NAME).s
  USER_O=userprog.o
  USER_H=libthreads.h libatomic.h
  
- MODEL_CC=libthreads.cc schedule.cc libatomic.cc model.cc threads.cc tree.cc librace.cc action.cc nodestack.cc clockvector.cc main.cc snapshot-interface.cc
- MODEL_O=libthreads.o schedule.o libatomic.o model.o threads.o tree.o librace.o action.o nodestack.o clockvector.o main.o snapshot-interface.o
- MODEL_H=libthreads.h schedule.h common.h libatomic.h model.h threads.h tree.h librace.h action.h nodestack.h clockvector.h snapshot-interface.h
 -MODEL_CC=libthreads.cc schedule.cc libatomic.cc model.cc malloc.c threads.cc librace.cc action.cc nodestack.cc clockvector.cc main.cc
 -MODEL_O=libthreads.o schedule.o libatomic.o model.o malloc.o threads.o librace.o action.o nodestack.o clockvector.o main.o
 -MODEL_H=libthreads.h schedule.h common.h libatomic.h model.h threads.h librace.h action.h nodestack.h clockvector.h
++MODEL_CC=libthreads.cc schedule.cc libatomic.cc model.cc threads.cc librace.cc action.cc nodestack.cc clockvector.cc main.cc snapshot-interface.cc
++MODEL_O=libthreads.o schedule.o libatomic.o model.o threads.o librace.o action.o nodestack.o clockvector.o main.o snapshot-interface.o
++MODEL_H=libthreads.h schedule.h common.h libatomic.h model.h threads.h librace.h action.h nodestack.h clockvector.h snapshot-interface.h
 +
 +SHMEM_CC=snapshot.cc malloc.c mymemory.cc
 +SHMEM_O=snapshot.o malloc.o mymemory.o
 +SHMEM_H=snapshot.h snapshotimp.h mymemory.h
  
  CPPFLAGS=-Wall -g
 -LDFLAGS=-ldl
 +LDFLAGS=-ldl -lrt
  
  all: $(BIN)
  

diff --cc action.h
Simple merge

diff --cc model.cc
index e068a089c162a292ba141351df5e217f26ab65bb,90dcdc7f1620c65a47f4a889ca023eb824123cb8..8da05aae2be481e348b4b5b9f3de6e08384ff523
--- 1/model.cc
--- 2/model.cc
+++ b/model.cc
@@@ -2,10 -2,8 +2,10 @@@
  
  #include "model.h"
  #include "action.h"
- #include "tree.h"
+ #include "nodestack.h"
  #include "schedule.h"
 +#include "snapshot-interface.h"
 +#undef DEBUG
  #include "common.h"
  
  #define INITIAL_THREAD_ID     0

diff --cc model.h
index 1dc6a158d3aa63247d1051977fe734f1b9cf042f,e8a8c5eb9e868dc2d4dca77e647d2d97484fed50..4718c503f9eac77a106d9505d49aca410b741d5b
--- 1/model.h
--- 2/model.h
+++ b/model.h
@@@ -63,9 -58,9 +62,9 @@@ private
  
        ucontext_t *system_context;
        action_list_t *action_trace;
 -      std::map<int, class Thread *> thread_map;
 +      std::map<int, class Thread *, std::less< int >, MyAlloc< std::pair< const int, class Thread * > > > thread_map;
-       class TreeNode *rootNode, *currentNode;
-       std::list<class Backtrack *, MyAlloc< class Backtrack * > > backtrack_list;
+       class NodeStack *node_stack;
+       ModelAction *next_backtrack;
  };
  
  extern ModelChecker *model;