Programming Languages Research Group: Git

2020-02-19	Seyed Amir Hossein...	Adding manual transactions to the conflict tracker	commit \| commitdiff \| tree
2020-02-13	Seyed Amir Hossein...	JPF ready to run with old infrastructure	commit \| commitdiff \| tree
2019-12-07	Seyed Amir Hossein...	Compacting the methods	commit \| commitdiff \| tree
2019-12-06	Seyed Amir Hossein...	A change in propagate the change method	commit \| commitdiff \| tree
2019-12-06	Seyed Amir Hossein...	Make the analysis more efficient	commit \| commitdiff \| tree
2019-12-06	Seyed Amir Hossein...	Fixing a small bug in Conflict Tracker	commit \| commitdiff \| tree
2019-12-05	Seyed Amir Hossein...	Fixing bugs in Conflict Tracker	commit \| commitdiff \| tree
2019-12-05	Seyed Amir Hossein...	Fixing a bug	commit \| commitdiff \| tree
2019-12-05	Seyed Amir Hossein...	Fixing a bug in checkForConflict method in Conflict...	commit \| commitdiff \| tree
2019-12-05	Seyed Amir Hossein...	Fixing a bug in manual_write-non_conflict + setSet...	commit \| commitdiff \| tree
2019-12-05	Seyed Amir Hossein...	Fixing a bug in Conflict Tracker analysis	commit \| commitdiff \| tree
2019-11-21	Seyed Amir Hossein...	A minor change in ConflictTracker.java	commit \| commitdiff \| tree
2019-11-18	Seyed Amir Hossein...	Minor bug fix in ConflictTracker.java	commit \| commitdiff \| tree
2019-11-18	Seyed Amir Hossein...	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2019-11-18	Seyed Amir Hossein...	Fixing a bug in ConflictTracker.java	commit \| commitdiff \| tree
2019-11-15	Seyed Amir Hossein...	Minor changes in ConflictTracker	commit \| commitdiff \| tree
2019-11-14	Seyed Amir Hossein...	Fix a bug in ConflictTracker	commit \| commitdiff \| tree

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

RSS Atom