| 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 |