c11tester.git
2019-10-11 weiyuAdd an exit node in predicate trees
2019-10-11 weiyuDesign a method to select predicate branches based...
2019-10-10 weiyuAvoid using a HashTable to associate FuncInsts with...
2019-10-10 weiyuTurns out that calling Predicate::evaluate in FuncNode...
2019-10-10 weiyuPerformance fix; delete unused data structures
2019-10-09 weiyuSelect a new predicate branch when the selected branch...
2019-10-09 weiyuSome edits
2019-10-09 weiyuToward implementing the counter approach to monitor...
2019-10-08 weiyuMonitor threads when they enter functions and decide...
2019-10-08 weiyuAdd some documentation for WaitObj
2019-10-08 weiyuBFS with distance was not implemented correctly
2019-10-08 weiyuFix a bug
2019-10-08 weiyuEvery time a thread enters a function, check whether...
2019-10-07 weiyuFix methods
2019-10-05 weiyuAdd some methods for WaitObj
2019-10-05 weiyuCreate WaitObj to store information about which thread...
2019-10-05 weiyuAdd default memory allocation and free functions for...
2019-10-04 weiyuCompute the threads that a paused thread my wait for
2019-10-03 weiyuToward computing which threads a paused thread may...
2019-10-02 weiyuDo not unset FuncInst locations when new executions...
2019-10-02 weiyuReorganize codes
2019-10-02 weiyuMove one snapshotted data structure from ModelHistory...
2019-10-02 weiyuFix a memory bug
2019-10-01 weiyuFree memory
2019-10-01 weiyuNotify threads paused by the Fuzzer when the desired...
2019-09-30 weiyuClear headers
2019-09-30 weiyuChange the return type of Predicate::evaluate
2019-09-30 weiyuConcrete predicate class
2019-09-30 weiyuFactor predicate expression types into a separate file
2019-09-27 weiyuAble to evaluate predicate expression against a 'contex...
2019-09-26 weiyuNeed to free memory
2019-09-26 weiyuFix a bug
2019-09-19 weiyuFix a bug in pthread_mutex_unlock; initialize mutex...
2019-09-19 weiyuKeep track of which FuncNodes may write to a memory...
2019-09-17 weiyuAdd comment about the difference between ModelAction...
2019-09-16 weiyuConstruct the graph of methods based on the order that...
2019-09-13 weiyuAdd edges between FuncNodes
2019-09-12 weiyuChange action_list_buffer to snapshot memory instead...
2019-09-11 weiyuMake sure that actions that do writes are labeled corre...
2019-09-10 weiyuReorganize codes
2019-09-10 weiyuAdd atomic write actions to predicate trees
2019-09-09 weiyuRemove an unused data structure
2019-09-09 weiyuRemove unused codes
2019-09-06 weiyuModify the implementation of wait and timed wait operation
2019-09-05 weiyuDo not process read actions paused by the fuzzer
2019-09-05 weiyuseems to work
2019-09-05 weiyuWhen an atomic read action cannot read from a desired...
2019-09-03 weiyusplit add_action_to_lists into to two functions and...
2019-08-30 weiyuremove a redundant member function that I added before
2019-08-29 weiyufix bug by changing MEMALLOC to SNAPSHOTALLOC
2019-08-29 weiyuimprove efficiency of selectWrite
2019-08-29 weiyuremove unused member functions
2019-08-28 weiyumove codes around in history.cc, and NewFuzzer::selectW...
2019-08-28 weiyuremove unused member functions and add a new data structure
2019-08-28 weiyuonly select a new predicate branch when new read action...
2019-08-27 weiyusome edits to NewFuzzer
2019-08-27 weiyuperformace fix
2019-08-26 weiyufix bug
2019-08-26 weiyuadd a data structrue to keep track of the run-time...
2019-08-26 weiyuinitial commit for declaring member functions of Fuzzer...
2019-08-24 weiyuonly generate NULLITY predicate when it has ever been...
2019-08-23 weiyuget rid of an unused function
2019-08-23 weiyurestructure the codes that generate predicates
2019-08-23 weiyurestructure code and working on deconstructors
2019-08-22 weiyuexperiment with generating equality predicates across...
2019-08-22 weiyudeduce which locations may share the same value from...
2019-08-22 weiyuupdate FuncNodes when there is a write
2019-08-21 weiyuadd helper functions; prepare for computing which memor...
2019-08-20 weiyuMerge branch 'master' into branch-weiyu
2019-08-20 weiyuallow ModelHistory to process non-atomic actions when...
2019-08-20 weiyureset memory locations of FuncInsts when new executions...
2019-08-20 bdemskyAdd mailing list
2019-08-20 bdemskyRemove msqueue test case
2019-08-20 bdemskyFix compile and readme
2019-08-20 weiyumemory locations should not outlive executions
2019-08-16 weiyuchange the way to detect loops
2019-08-16 weiyudefer the initial update of predicate tree for a better...
2019-08-16 weiyutry to infer nullity predicate inside update_predicate_...
2019-08-15 weiyuchange the structure of predicate expressions, and...
2019-08-14 weiyuexperiment with adding NULLITY predicate
2019-08-13 weiyudo optimization for FuncNode::update_tree
2019-08-12 weiyurevert commit
2019-08-12 weiyufix a bug about get_reads_from_value
2019-08-09 weiyuget rid of read_val_map; A bug is discovered.
2019-08-09 weiyufix bug - 'backedge' in predicate.cc uninitialized
2019-08-09 weiyufix bug
2019-08-08 weiyuadd a dummy predicate entry node to make code simpler...
2019-08-08 weiyurestructrue code of funcnode.cc, and planning for addin...
2019-08-07 weiyuSplit FuncNode::get_or_add_inst into two separate funct...
2019-08-06 weiyumove modelhistory code back
2019-08-06 weiyutoward updating predicate trees every time a function...
2019-08-05 weiyumove the codes that add actions to thrd_func_act_lists...
2019-08-05 weiyufix a bug and print predicate tree in xdot syntax
2019-08-03 weiyutoward building a naive predicate tree
2019-08-03 weiyuadd print
2019-08-02 weiyumove code around
2019-08-01 weiyuunlink the extra tmp file generated
2019-08-01 weiyulittle fixes
2019-08-01 weiyumerge
2019-08-01 rootSwitch from pipes to temporary file to store program...
next