f59c448 | Štěpán Starosta | 22 February 2021, 15:34:45 UTC | v1.2: quickfix of ExampleBasic.thy | 22 February 2021, 15:34:45 UTC |
7a93c53 | Štěpán Starosta | 22 February 2021, 15:06:41 UTC | v1.2: added Overlaps and examples, various optimizations | 22 February 2021, 15:06:41 UTC |
18042fa | Štěpán Starosta | 20 February 2021, 19:27:10 UTC | Update README.md [skip ci] | 20 February 2021, 19:27:10 UTC |
940dab6 | Štěpán Starosta | 19 February 2021, 15:49:48 UTC | Update README.md [skip ci] | 19 February 2021, 15:49:48 UTC |
25b7aa1 | Štěpán Starosta | 19 February 2021, 15:48:26 UTC | Update README.md [skip ci] | 19 February 2021, 15:48:26 UTC |
2308210 | Štěpán Holub | 05 February 2021, 20:45:53 UTC | Update README.md | 05 February 2021, 20:45:53 UTC |
ee6df93 | Štěpán Holub | 05 February 2021, 18:29:03 UTC | Update README.md | 05 February 2021, 18:29:03 UTC |
b91127f | Štěpán Starosta | 01 February 2021, 15:52:01 UTC | v1.1: proof and naming optimizations, additions to CoWBasic, LyndonSchutzenberger, PeriodicityLemma CHANGELOG | 01 February 2021, 15:52:01 UTC |
793020f | Štěpán Starosta | 18 January 2021, 09:15:09 UTC | README: fix typo [skip ci] | 18 January 2021, 09:15:09 UTC |
31c1cf1 | Štěpán Starosta | 17 January 2021, 19:44:22 UTC | Update and clean .gitlab-ci.yml | 17 January 2021, 19:44:22 UTC |
5ab864a | Štěpán Starosta | 17 January 2021, 19:34:29 UTC | Update .gitlab-ci.yml | 17 January 2021, 19:34:29 UTC |
5d6dbea | Štěpán Starosta | 17 January 2021, 19:32:27 UTC | README: fix link | 17 January 2021, 19:32:27 UTC |
cb58ef5 | Štěpán Starosta | 17 January 2021, 19:29:20 UTC | v0.1: initial version covering essential, graph lemma, periodicity lemma, LS teorem, Lyndon words ... | 17 January 2021, 19:29:20 UTC |
481259b | Štěpán Holub | 29 August 2020, 12:32:02 UTC | Update README.md | 29 August 2020, 12:32:02 UTC |
310d1da | Štěpán Starosta | 01 July 2020, 07:02:06 UTC | added arxiv link to Binary Intersection Formalized | 01 July 2020, 07:02:06 UTC |
6d4d7c9 | Štěpán Starosta | 30 June 2020, 15:27:48 UTC | Update LICENSE | 30 June 2020, 15:27:48 UTC |
c846887 | Štěpán Starosta | 30 June 2020, 15:23:11 UTC | Update README.md | 30 June 2020, 15:23:11 UTC |
53ed4dc | Štěpán Starosta | 30 June 2020, 09:40:36 UTC | Initial commit | 30 June 2020, 09:40:36 UTC |