Programming Languages Research Group: Git - c11tester.git/history

2019-09-30	weiyu	Clear headers	blob \| commitdiff \| raw
2019-09-30	weiyu	Change the return type of Predicate::evaluate	blob \| commitdiff \| raw \| diff to current
2019-09-30	weiyu	Factor predicate expression types into a separate file	blob \| commitdiff \| raw \| diff to current
2019-09-27	weiyu	Able to evaluate predicate expression against a 'contex...	blob \| commitdiff \| raw \| diff to current
2019-09-11	weiyu	Make sure that actions that do writes are labeled corre...	blob \| commitdiff \| raw \| diff to current
2019-08-23	weiyu	restructure the codes that generate predicates	blob \| commitdiff \| raw \| diff to current
2019-08-23	weiyu	restructure code and working on deconstructors	blob \| commitdiff \| raw \| diff to current
2019-08-20	weiyu	Merge branch 'master' into branch-weiyu	blob \| commitdiff \| raw \| diff to current
2019-08-16	weiyu	change the way to detect loops	blob \| commitdiff \| raw \| diff to current
2019-08-16	weiyu	try to infer nullity predicate inside update_predicate_...	blob \| commitdiff \| raw \| diff to current
2019-08-15	weiyu	change the structure of predicate expressions, and...	blob \| commitdiff \| raw \| diff to current
2019-08-14	weiyu	experiment with adding NULLITY predicate	blob \| commitdiff \| raw \| diff to current
2019-08-09	weiyu	fix bug - 'backedge' in predicate.cc uninitialized	blob \| commitdiff \| raw \| diff to current
2019-08-08	weiyu	add a dummy predicate entry node to make code simpler...	blob \| commitdiff \| raw \| diff to current
2019-08-08	weiyu	restructrue code of funcnode.cc, and planning for addin...	blob \| commitdiff \| raw \| diff to current
2019-08-06	weiyu	toward updating predicate trees every time a function...	blob \| commitdiff \| raw \| diff to current
2019-08-03	weiyu	add print	blob \| commitdiff \| raw \| diff to current
2019-08-01	weiyu	little fixes	blob \| commitdiff \| raw \| diff to current
2019-08-01	weiyu	merge	blob \| commitdiff \| raw \| diff to current
2019-07-31	weiyu	merge	blob \| commitdiff \| raw \| diff to current
2019-07-31	weiyu	change some data structures	blob \| commitdiff \| raw \| diff to current
2019-07-29	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2019-07-29	root	Merge branch 'branch-weiyu' of /home/git/random-fuzzer...	blob \| commitdiff \| raw \| diff to current
2019-07-27	weiyu	Merge branch 'new_fuzzer' into branch-weiyu	blob \| commitdiff \| raw \| diff to current
2019-07-27	weiyu	planning to build a predicate generator based on values...	blob \| commitdiff \| raw \| diff to current

C11 Tester Tool Public Repository

RSS Atom