6d4ea07 | qiyitang71 | 16 April 2021, 16:36:25 UTC | Update README.md | 16 April 2021, 16:36:25 UTC |
f73eef6 | Qiyi Tang | 16 April 2021, 09:39:42 UTC | remove the outdated minimisation algorithm using the outdated local bisimilarity distances | 16 April 2021, 09:39:42 UTC |
f26da8a | qiyitang71 | 16 April 2021, 09:32:29 UTC | Update README.md | 16 April 2021, 09:32:29 UTC |
932e293 | qiyitang71 | 13 April 2021, 18:17:59 UTC | Update README.md | 13 April 2021, 18:17:59 UTC |
347a8c7 | qiyitang71 | 13 April 2021, 18:15:22 UTC | Update README.md | 13 April 2021, 18:15:22 UTC |
bc9ae74 | qiyitang71 | 13 April 2021, 18:13:01 UTC | Update README.md | 13 April 2021, 18:13:01 UTC |
29f54a1 | Qiyi Tang | 13 April 2021, 17:36:44 UTC | remove redundant files | 13 April 2021, 18:09:56 UTC |
9adac91 | qiyitang71 | 13 April 2021, 18:09:31 UTC | Update README.md | 13 April 2021, 18:09:31 UTC |
81fe2d5 | qiyitang71 | 13 April 2021, 17:57:33 UTC | Update README.md | 13 April 2021, 17:57:33 UTC |
5d7d199 | qiyitang71 | 13 April 2021, 17:35:49 UTC | Update models.csv | 13 April 2021, 17:35:49 UTC |
8bcea9d | Qiyi Tang | 13 April 2021, 17:34:34 UTC | two scripts to run small and large models, respectively | 13 April 2021, 17:34:34 UTC |
99dd137 | Qiyi Tang | 13 April 2021, 17:29:26 UTC | update the models | 13 April 2021, 17:29:26 UTC |
1377253 | Qiyi Tang | 12 April 2021, 14:54:25 UTC | add synchronised leader models | 12 April 2021, 14:54:25 UTC |
c3bf20a | qiyitang71 | 12 April 2021, 14:44:39 UTC | Update README.md | 12 April 2021, 14:44:39 UTC |
fcc7c4b | qiyitang71 | 12 April 2021, 14:40:35 UTC | Update models.csv | 12 April 2021, 14:40:35 UTC |
9ec2113 | qiyitang71 | 12 April 2021, 14:39:15 UTC | Update models.csv | 12 April 2021, 14:39:15 UTC |
eb247ab | qiyitang71 | 12 April 2021, 14:38:36 UTC | Create models.csv | 12 April 2021, 14:38:36 UTC |
19637dc | qiyitang71 | 12 April 2021, 14:38:07 UTC | Update README.md | 12 April 2021, 14:38:07 UTC |
87a5d67 | Qiyi Tang | 11 April 2021, 19:17:15 UTC | add model Nand | 11 April 2021, 19:17:15 UTC |
f3951b4 | Qiyi Tang | 10 April 2021, 15:14:21 UTC | Merge branch 'main' of https://github.com/qiyitang71/global-distances into main | 10 April 2021, 15:14:21 UTC |
729f142 | Qiyi Tang | 10 April 2021, 15:14:01 UTC | script to process log files | 10 April 2021, 15:14:01 UTC |
9e4a516 | qiyitang71 | 09 April 2021, 10:24:50 UTC | Update README.md | 09 April 2021, 10:24:50 UTC |
69463f4 | Qiyi Tang | 07 April 2021, 14:54:19 UTC | fix bug in perturbing | 07 April 2021, 14:54:19 UTC |
c6f4d97 | Qiyi Tang | 07 April 2021, 10:04:51 UTC | Merge branch 'main' of https://github.com/qiyitang71/global-distances into main | 07 April 2021, 10:04:51 UTC |
37b5f51 | Qiyi Tang | 07 April 2021, 10:04:40 UTC | fix bug in perturbing | 07 April 2021, 10:04:40 UTC |
0a4f0c3 | Qiyi Tang | 07 April 2021, 10:03:40 UTC | update run script | 07 April 2021, 10:03:40 UTC |
340d648 | Qiyi Tang | 06 April 2021, 19:01:20 UTC | reorganize results | 06 April 2021, 19:01:20 UTC |
b519235 | Qiyi Tang | 06 April 2021, 18:52:26 UTC | remove herman15 - too big | 06 April 2021, 18:52:26 UTC |
298c2aa | Qiyi Tang | 06 April 2021, 16:54:47 UTC | delete very large models | 06 April 2021, 16:54:47 UTC |
eea0dce | Qiyi Tang | 06 April 2021, 16:51:52 UTC | update | 06 April 2021, 16:51:52 UTC |
1da2331 | Qiyi Tang | 01 April 2021, 20:11:30 UTC | optimise local distance merging | 01 April 2021, 20:11:30 UTC |
4cae750 | Qiyi Tang | 31 March 2021, 17:08:53 UTC | add egl5-2 model | 31 March 2021, 17:08:53 UTC |
bf6faca | Qiyi Tang | 31 March 2021, 17:08:14 UTC | modify optimised local distance merging | 31 March 2021, 17:08:14 UTC |
5af5bf9 | Qiyi Tang | 31 March 2021, 12:44:26 UTC | fix problem with merging in local distance merge | 31 March 2021, 12:44:26 UTC |
ee9c123 | Qiyi Tang | 19 March 2021, 19:09:45 UTC | add brp sample | 19 March 2021, 19:09:45 UTC |
332e69f | Qiyi Tang | 18 March 2021, 17:29:31 UTC | Parallelize local distance merge | 18 March 2021, 17:29:31 UTC |
92050f4 | Qiyi Tang | 18 March 2021, 17:03:18 UTC | Create local partition | 18 March 2021, 17:03:18 UTC |
5a9fd46 | Qiyi Tang | 17 March 2021, 22:25:00 UTC | add model name in the script | 17 March 2021, 22:25:00 UTC |
d3b0743 | Qiyi Tang | 17 March 2021, 12:36:15 UTC | vary epsilon1 | 17 March 2021, 12:36:15 UTC |
c36dc26 | Qiyi Tang | 17 March 2021, 12:31:45 UTC | change sample size as the number of successive states is known | 17 March 2021, 12:31:45 UTC |
f9b8796 | Qiyi Tang | 16 March 2021, 19:08:22 UTC | vary epsilon2 and change sample size | 16 March 2021, 19:08:22 UTC |
bd2cc94 | Qiyi Tang | 16 March 2021, 10:27:01 UTC | add more sampled Herman models | 16 March 2021, 10:27:01 UTC |
a5dd16d | Qiyi Tang | 15 March 2021, 13:12:01 UTC | add the sampled Herman models | 15 March 2021, 13:12:01 UTC |
1392a35 | Qiyi Tang | 15 March 2021, 13:11:22 UTC | add the unoptimized local distance merging algorithm & fix some small bugs | 15 March 2021, 13:11:22 UTC |
211665f | Qiyi Tang | 14 March 2021, 09:37:29 UTC | Optimize performance | 14 March 2021, 09:41:23 UTC |
9c4bbaf | Qiyi Tang | 13 March 2021, 12:51:32 UTC | fix log file name | 13 March 2021, 12:51:32 UTC |
d745430 | Qiyi Tang | 13 March 2021, 09:28:50 UTC | One state one random geneartor | 13 March 2021, 09:28:50 UTC |
db428f4 | Qiyi Tang | 12 March 2021, 22:18:33 UTC | Make sampling concurrent | 12 March 2021, 22:18:33 UTC |
dcf8836 | Qiyi Tang | 12 March 2021, 22:07:31 UTC | add Herman models | 12 March 2021, 22:07:31 UTC |
cc3eb0f | Qiyi Tang | 12 March 2021, 22:00:32 UTC | fix bug in the run script | 12 March 2021, 22:00:32 UTC |
ade7bd2 | Qiyi Tang | 10 March 2021, 13:19:09 UTC | fix problem in the first merging algorithm | 10 March 2021, 13:19:09 UTC |
a1ef58d | Qiyi Tang | 10 March 2021, 10:57:57 UTC | fix bugs for parsing labels | 10 March 2021, 10:57:57 UTC |
74df278 | Qiyi Tang | 10 March 2021, 01:17:50 UTC | fix some bugs | 10 March 2021, 01:17:50 UTC |
e839052 | Qiyi Tang | 09 March 2021, 23:58:52 UTC | add some models and run script | 09 March 2021, 23:58:52 UTC |
0c9e1be | Qiyi Tang | 09 March 2021, 19:49:04 UTC | approximate partition refinement | 09 March 2021, 19:49:04 UTC |
01f8abc | Qiyi Tang | 09 February 2021, 19:19:52 UTC | fix bug in the method mergeSinglePair | 09 February 2021, 19:19:52 UTC |
2d0a6f8 | Qiyi Tang | 09 February 2021, 18:46:41 UTC | add src code | 09 February 2021, 18:46:41 UTC |
1efbc73 | Qiyi Tang | 09 February 2021, 18:45:02 UTC | first commit | 09 February 2021, 18:45:02 UTC |