7c5ed07 | Yannick Forster | 24 October 2019, 06:52:12 UTC | Update README.md | 24 October 2019, 06:52:12 UTC |
b0a2dcc | Yannick Forster | 23 October 2019, 14:03:28 UTC | update README | 23 October 2019, 14:03:28 UTC |
2f19513 | Yannick Forster | 23 October 2019, 13:53:49 UTC | Add targets to Makefiles | 23 October 2019, 13:53:49 UTC |
be457de | Yannick Forster | 23 October 2019, 13:52:05 UTC | move Makefiles | 23 October 2019, 13:52:05 UTC |
94b5f9e | Yannick Forster | 23 October 2019, 13:50:48 UTC | move files | 23 October 2019, 13:50:48 UTC |
3a4f164 | Yannick Forster | 12 April 2019, 09:24:59 UTC | Merge pull request #5 from uds-psl/mm2 2 counters Minsky machines | 12 April 2019, 09:24:59 UTC |
f2cb1e7 | Dominique Larchey-Wendling | 08 March 2019, 15:12:23 UTC | Merge branch 'wip' into mm2 | 08 March 2019, 15:12:23 UTC |
c62c42c | Dominique Larchey-Wendling | 08 March 2019, 15:06:50 UTC | added UNDEC for two counters Minsky machines with self-contained explanations | 08 March 2019, 15:06:50 UTC |
bbde09b | Dominique Larchey-Wendling | 08 March 2019, 12:08:32 UTC | some more comments | 08 March 2019, 12:08:32 UTC |
39635d3 | Dominique Larchey-Wendling | 08 March 2019, 12:01:37 UTC | adding a self contained description of MM2 (with 2 counters) not using vectors or pos etc ... | 08 March 2019, 12:01:37 UTC |
415cdf9 | Yannick Forster | 08 March 2019, 11:38:45 UTC | Added install and uninstall targets | 08 March 2019, 11:38:45 UTC |
3967674 | Yannick Forster | 08 March 2019, 09:50:07 UTC | Merge pull request #4 from uds-psl/constraints Constraints | 08 March 2019, 09:50:07 UTC |
b8c3875 | Yannick Forster | 08 March 2019, 09:49:08 UTC | Update README.md | 08 March 2019, 09:49:08 UTC |
3bc2e34 | Dominique Larchey-Wendling | 07 March 2019, 13:45:11 UTC | some comments about the encoding DIO_ELEM -> H10C | 07 March 2019, 13:45:11 UTC |
6140f38 | Dominique Larchey-Wendling | 07 March 2019, 11:50:36 UTC | added MM -> FRACTRAN in Reductions | 07 March 2019, 11:50:36 UTC |
659a205 | Dominique Larchey-Wendling | 07 March 2019, 09:36:32 UTC | update README | 07 March 2019, 09:36:32 UTC |
7acd984 | Dominique Larchey-Wendling | 07 March 2019, 09:30:29 UTC | added a self contained description of H10 on elementary constraints w/o parameters and a reduction from FRACTRAN | 07 March 2019, 09:30:29 UTC |
08e50c2 | Yannick Forster | 05 March 2019, 09:23:37 UTC | Merge branch 'wip' of github.com:uds-psl/coq-library-undecidability into wip | 05 March 2019, 09:23:37 UTC |
1389829 | Yannick Forster | 05 March 2019, 09:18:08 UTC | More transparent definitions for extraction | 05 March 2019, 09:18:08 UTC |
6529d8c | Dominique Larchey-Wendling | 02 March 2019, 08:41:47 UTC | added the licence file | 02 March 2019, 08:41:47 UTC |
33104db | Dominique Larchey-Wendling | 01 March 2019, 13:55:47 UTC | forgot to say that the reduction goes via FRACTRAN | 01 March 2019, 13:55:47 UTC |
8b852ca | Dominique Larchey-Wendling | 01 March 2019, 13:54:19 UTC | added an MM_HALTING (n-registers) to MM2_HALTING (2-registers) reduction | 01 March 2019, 13:54:19 UTC |
bcd5959 | Yannick Forster | 27 February 2019, 09:54:44 UTC | Added .lia.cache to .gitignore | 27 February 2019, 09:54:44 UTC |
1572129 | Yannick Forster | 21 February 2019, 14:28:08 UTC | Updated README file | 21 February 2019, 14:28:08 UTC |
fbdf649 | Yannick Forster | 21 February 2019, 14:08:22 UTC | Updated coqdoc for H10 parts | 21 February 2019, 14:08:22 UTC |
852166d | Yannick Forster | 21 February 2019, 14:02:31 UTC | Updated README | 21 February 2019, 14:02:31 UTC |
afa0184 | Yannick Forster | 21 February 2019, 13:59:48 UTC | Merge branch 'wip' of github.com:uds-psl/coq-library-undecidability into wip | 21 February 2019, 13:59:48 UTC |
14e78fc | Dominique Larchey-Wendling | 20 February 2019, 15:02:32 UTC | update README | 20 February 2019, 15:02:32 UTC |
c89f936 | Yannick Forster | 20 February 2019, 10:05:53 UTC | compatibility with coq 8.9 | 20 February 2019, 10:05:53 UTC |
de5a03c | Yannick Forster | 07 February 2019, 17:22:49 UTC | Merge pull request #3 from uds-psl/mm_fractran Mm fractran, simplified backward step proof | 07 February 2019, 17:22:49 UTC |
bfd58a5 | Dominique Larchey-Wendling | 07 February 2019, 05:32:46 UTC | Completely removed the needed for boundedness in FRACTRAN programs with a simpler proof that R* is diophantine the does not need the bound ... I am going to update the paper as well | 07 February 2019, 05:32:46 UTC |
b85776e | Dominique Larchey-Wendling | 06 February 2019, 15:20:38 UTC | a much shorter proof of one step backward using one step forward combined determinism of Fractran step and totality of MM step | 06 February 2019, 15:20:38 UTC |
30274cd | Dominique Larchey-Wendling | 06 February 2019, 14:42:34 UTC | Merge pull request #2 from uds-psl/dio Transfer of n-ary DPRM + reduction from TM_Halt to H10 | 06 February 2019, 14:42:34 UTC |
61e4b5b | Dominique Larchey-Wendling | 05 February 2019, 21:24:07 UTC | alternate proof of reverse one step seems a bit simpler | 05 February 2019, 21:24:07 UTC |
34a2442 | Dominique Larchey-Wendling | 05 February 2019, 16:05:04 UTC | shortening the proof of mm->fractran | 05 February 2019, 16:05:04 UTC |
2060079 | Dominique Larchey-Wendling | 02 February 2019, 00:42:26 UTC | finished transfering both the n-ary DPRM thm and the reduction from TM Halt to H10 | 02 February 2019, 00:42:26 UTC |
8d2f382 | Dominique Larchey-Wendling | 01 February 2019, 18:39:40 UTC | added the diophantine library under H10/Dio | 01 February 2019, 18:39:40 UTC |
232ba0a | Dominique Larchey-Wendling | 01 February 2019, 16:26:37 UTC | start transfert of diophantine lib | 01 February 2019, 16:26:37 UTC |
e66790e | Yannick Forster | 01 February 2019, 16:12:27 UTC | Merge pull request #1 from uds-psl/dlw_libs_update moved the libraries in ILL/Utils ILL/Vec in Shared/Libs/DLW | 01 February 2019, 16:12:27 UTC |
96f340b | Dominique Larchey-Wendling | 01 February 2019, 14:51:31 UTC | moved the libraries in ILL/Utils ILL/Vec in Shared/Libs/DLW and added most of the external libraries for the proof of H10 to Shared/Libs/DLW as well | 01 February 2019, 14:51:31 UTC |
2c33c40 | Dominique Larchey-Wendling | 13 January 2019, 18:20:11 UTC | updated with links in the README.md | 13 January 2019, 18:20:11 UTC |
7cc790f | Yannick Forster | 12 January 2019, 16:16:35 UTC | Fixed website generation | 12 January 2019, 16:18:08 UTC |
df6d9c7 | Yannick Forster | 12 January 2019, 16:11:43 UTC | Added reduction entry-points | 12 January 2019, 16:11:43 UTC |
178d74c | Yannick Forster | 12 January 2019, 15:19:29 UTC | Sharing Prelim and definition of PCP | 12 January 2019, 15:19:29 UTC |
fe940f1 | Yannick Forster | 08 January 2019, 13:33:12 UTC | new structure | 08 January 2019, 14:10:38 UTC |
76fd327 | Yannick Forster | 09 November 2018, 11:58:41 UTC | Pattern params for extraction | 09 November 2018, 11:58:41 UTC |
aa703db | Yannick Forster | 24 October 2018, 16:21:35 UTC | Initial commit | 26 October 2018, 11:58:40 UTC |