Programming Languages Research Group: Git - jpf-core.git/history - src/main/gov/nasa/jpf/listener/ConflictTracker.java

[jpf-core.git] / src / main / gov / nasa / jpf / listener / ConflictTracker.java

2020-03-25	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw
2020-03-24	Seyed Amir Hossein...	Making analysis compatible with infra	blob \| commitdiff \| raw
2020-03-24	Seyed Amir Hossein...	Making analysis compatible with new infrastructure	blob \| commitdiff \| raw \| diff to current
2020-03-23	rtrimana	Cleaning up: Removing the full-blown graph traversal.	blob \| commitdiff \| raw \| diff to current
2020-03-19	rtrimana	Adding graph traversal to find cycles; adding debug...	blob \| commitdiff \| raw \| diff to current
2020-03-02	rtrimana	Fixing a bug: merging the analysis part for locationMod...	blob \| commitdiff \| raw \| diff to current
2020-02-28	rtrimana	Fix for a bug in finding the right integer values in...	blob \| commitdiff \| raw \| diff to current
2020-02-26	Brian Demsky	Code to print graph to output so that dot can be used...	blob \| commitdiff \| raw \| diff to current
2020-02-19	Seyed Amir Hossein...	Adding manual transactions to the conflict tracker	blob \| commitdiff \| raw \| diff to current
2020-02-13	Seyed Amir Hossein...	JPF ready to run with old infrastructure	blob \| commitdiff \| raw \| diff to current
2019-12-17	Brian Demsky	Make updates and not edges have manual property	blob \| commitdiff \| raw \| diff to current
2019-12-17	Brian Demsky	Clean up comments	blob \| commitdiff \| raw \| diff to current
2019-12-17	Brian Demsky	Rewrite of Conflict Tracker	blob \| commitdiff \| raw \| diff to current
2019-12-17	amiraj	A change in updateTheOutSet in conflict tracker analysis	blob \| commitdiff \| raw \| diff to current
2019-12-12	amiraj	A change in propagate method.	blob \| commitdiff \| raw \| diff to current
2019-12-12	amiraj	Fixing a bug in Conflict Tracker + Make propagate metho...	blob \| commitdiff \| raw \| diff to current
2019-12-11	amiraj	Make a change in ConflictTracker analysis	blob \| commitdiff \| raw \| diff to current
2019-12-07	Seyed Amir Hossein...	Compacting the methods	blob \| commitdiff \| raw \| diff to current
2019-12-06	Seyed Amir Hossein...	A change in propagate the change method	blob \| commitdiff \| raw \| diff to current
2019-12-06	Seyed Amir Hossein...	Make the analysis more efficient	blob \| commitdiff \| raw \| diff to current
2019-12-06	Seyed Amir Hossein...	Fixing a small bug in Conflict Tracker	blob \| commitdiff \| raw \| diff to current
2019-12-05	Seyed Amir Hossein...	Fixing bugs in Conflict Tracker	blob \| commitdiff \| raw \| diff to current
2019-12-05	Seyed Amir Hossein...	Fixing a bug	blob \| commitdiff \| raw \| diff to current
2019-12-05	Seyed Amir Hossein...	Fixing a bug in checkForConflict method in Conflict...	blob \| commitdiff \| raw \| diff to current
2019-12-05	Seyed Amir Hossein...	Fixing a bug in manual_write-non_conflict + setSet...	blob \| commitdiff \| raw \| diff to current
2019-12-05	Seyed Amir Hossein...	Fixing a bug in Conflict Tracker analysis	blob \| commitdiff \| raw \| diff to current
2019-12-04	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2019-12-04	amiraj	Change in Analysis	blob \| commitdiff \| raw \| diff to current
2019-12-04	amiraj	Change in conflict tracker!	blob \| commitdiff \| raw \| diff to current
2019-12-03	amiraj	Change in listener	blob \| commitdiff \| raw \| diff to current
2019-12-03	amiraj	Change in the Conflict Tracker analysis	blob \| commitdiff \| raw \| diff to current
2019-11-21	Seyed Amir Hossein...	A minor change in ConflictTracker.java	blob \| commitdiff \| raw \| diff to current
2019-11-18	Seyed Amir Hossein...	Minor bug fix in ConflictTracker.java	blob \| commitdiff \| raw \| diff to current
2019-11-18	Seyed Amir Hossein...	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2019-11-18	Seyed Amir Hossein...	Fixing a bug in ConflictTracker.java	blob \| commitdiff \| raw \| diff to current
2019-11-15	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2019-11-15	Seyed Amir Hossein...	Minor changes in ConflictTracker	blob \| commitdiff \| raw \| diff to current
2019-11-14	Seyed Amir Hossein...	Fix a bug in ConflictTracker	blob \| commitdiff \| raw \| diff to current
2019-11-14	amiraj	Fix a bug in ConflictTracker.java	blob \| commitdiff \| raw \| diff to current
2019-11-12	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2019-11-07	amiraj	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2019-11-07	amiraj	Make some changes in ConflictTracker listener.	blob \| commitdiff \| raw \| diff to current
2019-11-05	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2019-10-24	amiraj	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2019-10-24	amiraj	Modifying conflict tracker	blob \| commitdiff \| raw \| diff to current
2019-10-21	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2019-10-18	amiraj	Fixing a bug in ConflictTracker.java	blob \| commitdiff \| raw \| diff to current
2019-10-18	rtrimana	Detecting location mode read/write using the old method.	blob \| commitdiff \| raw \| diff to current
2019-10-18	amiraj	Fixing a bug in listener!	blob \| commitdiff \| raw \| diff to current
2019-10-17	amiraj	Add the ConflictTracker to the main branch	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom