Sat, 02 Mar 2019 02:34:29 +0530 | Sushil khanchi | evolve: add a test in pubdiv where only merging leads to conflict | changeset | files |
Thu, 28 Feb 2019 03:12:39 +0530 | Sushil khanchi | evolve: cover continue case in pubdiv when merging results in same as public | changeset | files |
Fri, 22 Feb 2019 01:02:51 +0530 | Sushil khanchi | evolve: handle a case in pubic-div when merging results in same as public | changeset | files |
Thu, 28 Feb 2019 02:08:58 +0530 | Sushil khanchi | evolve: rename npublicdiv to publicnode | changeset | files |
Thu, 28 Feb 2019 02:02:18 +0530 | Sushil khanchi | evolve: in pubdiv resolution make sure that transaction get closed | changeset | files |
Mon, 25 Feb 2019 22:50:24 +0530 | Sushil khanchi | evolve: pin the public cset to local side in merging when solving public div | changeset | files |