Incorporate failed predicates in weights
[c11tester.git] / predicate.h
2019-12-14 weiyuIncorporate failed predicates in weights
2019-12-12 weiyuFix a bug in predicate.cc and declare 3 hashtables...
2019-12-10 weiyuMerge branch 'master' into branch-weiyu
2019-12-10 weiyuStore the set of predicate leaves in FuncNode
2019-12-10 Brian DemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci...
2019-12-09 weiyuexperiment with exponential decay model
2019-12-05 weiyuUsing a for loop to prune writes that violate modificat...
2019-12-04 weiyuFix NewFuzzer::selectWrite - check back edges
2019-11-26 bdemskyRun tabbing pass
2019-11-21 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu:/home...
2019-10-23 weiyuSome edits
2019-10-16 weiyuFinal fix; needs to be careful about the side effect...
2019-10-15 weiyuAdd sleep score
2019-10-12 weiyuFix bug
2019-10-11 weiyuAdd an exit node in predicate trees
2019-10-11 weiyuDesign a method to select predicate branches based...
2019-09-30 weiyuClear headers
2019-09-30 weiyuChange the return type of Predicate::evaluate
2019-09-30 weiyuFactor predicate expression types into a separate file
2019-09-27 weiyuAble to evaluate predicate expression against a 'contex...
2019-09-11 weiyuMake sure that actions that do writes are labeled corre...
2019-08-23 weiyurestructure the codes that generate predicates
2019-08-23 weiyurestructure code and working on deconstructors
2019-08-20 weiyuMerge branch 'master' into branch-weiyu
2019-08-16 weiyuchange the way to detect loops
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-09 weiyufix bug - 'backedge' in predicate.cc uninitialized
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-06 weiyutoward updating predicate trees every time a function...
2019-08-03 weiyuadd print
2019-08-01 weiyulittle fixes
2019-08-01 weiyumerge
2019-07-31 weiyumerge
2019-07-31 weiyuchange some data structures
2019-07-29 bdemskyedits
2019-07-29 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
2019-07-27 weiyuMerge branch 'new_fuzzer' into branch-weiyu
2019-07-27 weiyuplanning to build a predicate generator based on values...