charm.git
2010-03-31 Ryan MokosAdded documentation for the new POSE checkpoint command...
2010-03-31 Gengbin Zhengmodify the pose array creation to work with load balancer.
2010-03-31 Gengbin Zhengadded a command line option +lb_gvt_pose to set the...
2010-03-31 Gengbin Zhengadded basic support for load balancing in pose (using...
2010-03-30 Ryan MokosChanged POSE checkpointing so it's activated with comma...
2010-03-30 Ramprasad VenkataramancontrolPoints: Explicitly include climits for INT_MAX
2010-03-30 Filippo GioachinAdding warning to Envelope mtype field
2010-03-30 Yanhua YanhuaSunLaptopfix the problem that the binary of parsat_tnm is too...
2010-03-29 Isaac DooleyUpdating to an API change.
2010-03-29 Gengbin Zhenga new function CmiPrintCPUAffinty() that can be called...
2010-03-29 Yanhua YanhuaSunLaptop fix some mistakes in TNM
2010-03-29 Yanhua YanhuaSunLaptopadd minisat and TNM sequential solvers in sat problem
2010-03-29 Yanhua YanhuaSunLaptopone charm parallel two sequential SAT solver
2010-03-28 Yanhua YanhuaSunLaptoprename charm related files into par_* to distiguish...
2010-03-28 Yanhua YanhuaSunLaptopMerge branch 'charm' of charmgit:charm into charm
2010-03-28 Yanhua YanhuaSunLaptopport the minisat sequential part into charm parallel...
2010-03-27 Gengbin Zhengfix for -pedantic
2010-03-27 Gengbin Zhengrenamed Set.h to ckset.h
2010-03-27 Gengbin ZhengMerge branch 'charm' of charmgit:charm into charm
2010-03-27 Gengbin Zhengrenamed heap.h to ckheap.h to avoid using too general...
2010-03-26 Ryan MokosMerge branch 'charm' of charmgit:charm into charm
2010-03-26 Ryan MokosAdded checkpointing to POSE. Also added a couple tests...
2010-03-26 Isaac DooleyAdding an always use defaults option to tuning framework.
2010-03-26 Gengbin ZhengVC++ has _snprintf, instead of snprintf
2010-03-26 Gengbin Zhengibverbs for net-linux-ppc
2010-03-26 Gengbin ZhengMerge branch 'charm' of charmgit:charm into charm
2010-03-26 Gengbin Zhengadded support for avail_vector, so it can be used with FT.
2010-03-26 Filippo Gioachinrenamed old directories as *.old.nobackup so backup...
2010-03-25 Gengbin Zhengthe temp buf does not need to be that big now for print...
2010-03-25 Isaac DooleyAdding expedited to performance gathering entry methods...
2010-03-25 Gengbin ZhengOrion's change to fix ckstream when a temp print buffer...
2010-03-25 Ramprasad VenkataramanMake pup definitions visible to ckcomplex
2010-03-25 Aaron BeckerEmit scoped names for messages inside a namespace
2010-03-25 Isaac DooleyAdding a timer to determine time spent generating contr...
2010-03-25 Gengbin Zhengonly test MPI build when CMK_BUILD_MPI is set in conv...
2010-03-25 Gengbin Zhengadded some dummy stuff so that it is not completely...
2010-03-25 Gengbin Zhengdon't explicitly specify at link time to use -lmpi...
2010-03-25 Gengbin Zhengfixed CMK_LDXX to be CMK_CXX
2010-03-25 Gengbin Zhengwhen compiler test shows it is 64 bit compiler, and...
2010-03-24 Isaac DooleyFixing a bug in the divide & conquer steering scheme.
2010-03-24 Yanhua YanhuaSunLaptopMerge branch 'charm' of charmgit:charm into charm
2010-03-24 Yanhua YanhuaSunLaptopfix a bug that occur in sequential part in satisfiabili...
2010-03-24 Gengbin Zhengreplaced strdup (which is a problem on aix) by malloc...
2010-03-24 Yanhua YanhuaMerge branch 'charm' of charmgit:charm into charm
2010-03-24 Yanhua Yanhua add the verify program to check whether 3sat output...
2010-03-24 Yanhua Yanhua remove the ckprintf satisfiability problem
2010-03-23 Gengbin ZhengMerge branch 'charm' of charmgit:charm into charm
2010-03-23 Gengbin Zhengupdated +bgcorrect option.
2010-03-23 Yanhua YanhuaSunLaptopMerge branch 'charm' of charmgit:charm into charm
2010-03-23 Yanhua YanhuaSunLaptopAdd 3 sat result verification program
2010-03-23 Chao MeiAdded compiler options that enable TLS (thread-local...
2010-03-23 Yanhua YanhuaSunLaptopadd an example of 9000 clauses for 3 sat progra
2010-03-23 Yanhua Yanhuafix a bug of unit clause size equal 0 in satisfiability...
2010-03-23 Yanhua YanhuaSunLaptopadd an test case example file_50 for satisfiability...
2010-03-23 Yanhua YanhuaSunLaptopmodify data structure in satisfiability example
2010-03-23 Gengbin Zhengstrtok_r is not implemented in VC++, however strtok...
2010-03-22 Gengbin Zhengfixed a bug with strtok because it is not thread safe...
2010-03-22 Gengbin Zhengfixed the previous change on the default arraymap....
2010-03-21 Gengbin Zhengupdated cygpath
2010-03-21 Gengbin ZhengMerge branch 'charm' of charmgit:charm into charm
2010-03-21 Gengbin Zhenga few tweaks for +replay to work under BigSim.
2010-03-21 Gengbin Zhengfixed another c++ style varaible declaratio in c
2010-03-20 Gengbin Zhenganother fix for the previous change
2010-03-20 Gengbin ZhengMerge branch 'charm' of charmgit:charm into charm
2010-03-20 Gengbin Zhengmask in set_cpu_affinity is not always needed. don...
2010-03-20 Gengbin Zhengfixed a c++ style varaible declaration.
2010-03-20 Gengbin Zhengfixed wrong usage of converse message
2010-03-20 Gengbin ZhengMerge branch 'charm' of charmgit:charm into charm
2010-03-20 Gengbin Zhenga new option +commap to set cpuaffinity for comm threads.
2010-03-20 Gengbin ZhengCMK_64BIT needs to be set in xlc64 config files. Missin...
2010-03-20 Gengbin Zhengnew +pemap option that set core map to pemap[mype]...
2010-03-20 Gengbin Zhengany command line option starts with +p won't be correct...
2010-03-19 Chao MeiFixed a bug for testing in default mode
2010-03-19 Chao MeiMerge branch 'charm' of charmgit:charm into charm
2010-03-19 Chao MeiAdded a memory contention benchmark in smputil;
2010-03-19 Filippo GioachinAdded error statement
2010-03-19 Isaac DooleyMerge branch 'charm' of charmgit:charm into charm
2010-03-19 Isaac DooleyReplacing loops with single assignments.
2010-03-19 Gengbin Zhengfixed a bug in accessing objtime after it is removed...
2010-03-19 Gengbin ZhengMerge branch 'charm' of charmgit:charm into charm
2010-03-19 Gengbin Zhengconsider background load in making vector decisions
2010-03-19 Isaac DooleyAdding better default behavior for generatePlan.
2010-03-19 Isaac DooleyMerge branch 'charm' of charmgit:charm into charm
2010-03-19 Isaac DooleyAdding a tuning scheme for finding idle=overhead point...
2010-03-19 Aaron BeckerCharj: modified antlr build task and ant rules for...
2010-03-19 Gengbin Zhengsome error checking for bgreply mode to make sure only...
2010-03-19 Gengbin Zhengwth and cth default to 1
2010-03-19 Gengbin ZhengMerge branch 'charm' of charmgit:charm into charm
2010-03-19 Gengbin Zhengchanged recorded file name prefix to bgfullreplay
2010-03-19 Gengbin ZhengBigSim: turn static _triggersSent to Cksv varaible...
2010-03-19 Gengbin Zhenga working CsdEnqueueLifo() definition
2010-03-19 Gengbin Zhenga new function BgIsMainthread() to tell if caller is...
2010-03-19 Filippo GioachinCorrected warning: record/replay does not require memor...
2010-03-19 Gengbin Zhengin record/replay mode, give a warning when program...
2010-03-19 Gengbin Zhengadded charmdebug flag, so CmiMemoryIs can tell what...
2010-03-18 Isaac DooleyMerge branch 'charm' of charmgit:charm into charm
2010-03-18 Isaac DooleyRenaming some periodic control point stuff.
2010-03-18 Gengbin Zhengwhen numpes < 4, switch to two level tree.
2010-03-18 Gengbin Zhengsome LBDebug print
2010-03-18 Gengbin Zhengclean up the tree class, add a two level tree
next