| 0bb78dd | zhenlei | 17 September 2019, 14:54:51 UTC | update | 17 September 2019, 14:54:51 UTC |
| 9d3175f | zhenlei | 17 September 2019, 14:45:10 UTC | update | 17 September 2019, 14:45:10 UTC |
| ec6e73f | zhenlei | 16 September 2019, 10:45:13 UTC | tmp | 16 September 2019, 10:45:13 UTC |
| bba5497 | zhenlei | 16 September 2019, 09:19:49 UTC | fini lire all comment of rapheal | 16 September 2019, 09:19:49 UTC |
| 51d3361 | zhenlei | 13 September 2019, 16:26:22 UTC | change keyword | 13 September 2019, 16:41:02 UTC |
| 3c64815 | zhenlei | 13 September 2019, 16:23:44 UTC | update rapport | 13 September 2019, 16:41:02 UTC |
| 3745fc8 | zhenlei | 13 September 2019, 16:25:40 UTC | comment rapheal | 13 September 2019, 16:41:02 UTC |
| 2ed260e | zhenlei | 13 September 2019, 16:22:25 UTC | comment rapheal | 13 September 2019, 16:41:02 UTC |
| 15f6520 | zhenlei | 13 September 2019, 06:07:05 UTC | tmp | 13 September 2019, 06:07:05 UTC |
| 52ea977 | zhenlei | 12 September 2019, 20:57:40 UTC | mark question for raphael comment | 12 September 2019, 20:57:40 UTC |
| d19d8ac | Raphaël Cauderlier | 12 September 2019, 13:36:33 UTC | Various corrections | 12 September 2019, 13:36:33 UTC |
| 3887158 | zhenlei | 12 September 2019, 12:31:51 UTC | update latex file | 12 September 2019, 12:31:51 UTC |
| 4728690 | zhenlei | 12 September 2019, 12:30:59 UTC | fix typo | 12 September 2019, 12:30:59 UTC |
| 523ecfa | zhenlei | 12 September 2019, 12:08:17 UTC | add section blockchain | 12 September 2019, 12:08:17 UTC |
| fbe77c1 | zhenlei | 12 September 2019, 09:05:02 UTC | fix redaction with Antidote | 12 September 2019, 09:05:02 UTC |
| 195b97c | zhenlei | 05 September 2019, 08:49:45 UTC | update latex file | 05 September 2019, 08:49:45 UTC |
| 8a7bf74 | zhenlei | 04 September 2019, 21:29:20 UTC | finish rediger | 04 September 2019, 21:29:20 UTC |
| f1b8df3 | zhenlei | 04 September 2019, 18:20:06 UTC | rm ex concret syntax Michelson | 04 September 2019, 18:20:06 UTC |
| 8931377 | zhenlei | 04 September 2019, 18:19:44 UTC | tmp | 04 September 2019, 18:19:44 UTC |
| 60d1b93 | zhenlei | 03 September 2019, 09:22:01 UTC | tmp | 03 September 2019, 09:22:01 UTC |
| eb715f2 | zhenlei | 03 September 2019, 09:14:38 UTC | tmp | 03 September 2019, 09:14:38 UTC |
| 8596b96 | zhenlei | 03 September 2019, 09:09:58 UTC | tmp | 03 September 2019, 09:09:58 UTC |
| 076f2e9 | zhenlei | 02 September 2019, 16:02:02 UTC | finish redaction | 02 September 2019, 16:02:02 UTC |
| 62de05a | zhenlei | 02 September 2019, 13:17:08 UTC | [merge]rm pb perso | 02 September 2019, 13:17:08 UTC |
| 4c5acaa | zhenlei | 02 September 2019, 13:16:52 UTC | tmp | 02 September 2019, 13:16:52 UTC |
| fb90197 | zhenlei | 02 September 2019, 13:02:01 UTC | rm my pb perso | 02 September 2019, 13:02:01 UTC |
| 39d69fb | zhenlei | 02 September 2019, 13:01:40 UTC | tmp | 02 September 2019, 13:01:40 UTC |
| 7abf4d5 | zhenlei | 02 September 2019, 12:29:30 UTC | [multisig]rm spec of new action | 02 September 2019, 12:29:30 UTC |
| aa9a6a7 | zhenlei | 02 September 2019, 12:28:25 UTC | tmp | 02 September 2019, 12:28:25 UTC |
| 854545c | zhenlei | 02 September 2019, 09:32:04 UTC | tmp | 02 September 2019, 09:32:04 UTC |
| c085469 | zhenlei | 30 August 2019, 11:51:13 UTC | add CCL | 30 August 2019, 11:51:13 UTC |
| f5d205a | zhenlei | 30 August 2019, 11:11:36 UTC | update latex file | 30 August 2019, 11:11:36 UTC |
| 521ecaa | zhenlei | 30 August 2019, 11:10:29 UTC | improve | 30 August 2019, 11:10:29 UTC |
| b3fb421 | zhenlei | 30 August 2019, 10:53:39 UTC | fix latex output code trop long | 30 August 2019, 10:53:39 UTC |
| e2d2895 | zhenlei | 30 August 2019, 09:35:05 UTC | no export CCL no fiinish | 30 August 2019, 09:35:05 UTC |
| 675a39d | zhenlei | 30 August 2019, 09:33:47 UTC | change upper case headline 1e char sed -r "s#(\* ((TODO|PLAN|CONTENT|REDACTION|TYPO|LATEX) )?)(\w)#\1\U\4#g" | 30 August 2019, 09:33:47 UTC |
| a625c6a | zhenlei | 30 August 2019, 09:22:22 UTC | fix 1e relecture error | 30 August 2019, 09:22:22 UTC |
| 510ddaa | zhenlei | 29 August 2019, 16:38:00 UTC | tmp | 29 August 2019, 16:38:00 UTC |
| 7d637a8 | zhenlei | 29 August 2019, 13:40:31 UTC | rm ex coq of limit Mi-cho-coq | 29 August 2019, 13:40:31 UTC |
| 29c8a7c | zhenlei | 29 August 2019, 13:40:06 UTC | tmp | 29 August 2019, 13:40:06 UTC |
| b22170c | zhenlei | 29 August 2019, 13:28:56 UTC | rm ex EDIV | 29 August 2019, 13:28:56 UTC |
| 93dc122 | zhenlei | 29 August 2019, 13:28:30 UTC | relecture en cours | 29 August 2019, 13:28:30 UTC |
| 133bb20 | zhenlei | 29 August 2019, 12:36:30 UTC | add latex file | 29 August 2019, 12:36:30 UTC |
| a7d258d | zhenlei | 29 August 2019, 12:27:07 UTC | correction ortho finish | 29 August 2019, 12:27:07 UTC |
| 92ba794 | zhenlei | 29 August 2019, 08:16:45 UTC | tmp | 29 August 2019, 08:16:45 UTC |
| 04f16b7 | zhenlei | 28 August 2019, 22:27:38 UTC | tmp | 28 August 2019, 22:27:38 UTC |
| d9ba494 | zhenlei | 28 August 2019, 16:23:32 UTC | rm no formel expr | 28 August 2019, 16:23:32 UTC |
| dd0b945 | zhenlei | 28 August 2019, 16:22:32 UTC | formalise mecanism smart contract, mv to section Michelson | 28 August 2019, 16:22:32 UTC |
| d96e1ee | zhenlei | 28 August 2019, 13:25:12 UTC | tmp | 28 August 2019, 13:25:12 UTC |
| f89fda3 | zhenlei | 28 August 2019, 13:07:36 UTC | tmp | 28 August 2019, 13:07:36 UTC |
| a86491b | zhenlei | 27 August 2019, 13:22:00 UTC | [report/multisig]rm part I do it car I learn | 27 August 2019, 13:22:00 UTC |
| ab630c4 | zhenlei | 27 August 2019, 13:21:45 UTC | tmp | 27 August 2019, 13:21:45 UTC |
| f1f9c19 | zhenlei | 27 August 2019, 09:17:48 UTC | new plan | 27 August 2019, 09:17:48 UTC |
| e952891 | zhenlei | 27 August 2019, 08:52:43 UTC | tmp | 27 August 2019, 08:52:43 UTC |
| 25d234c | zhenlei | 26 August 2019, 12:12:04 UTC | tmp | 26 August 2019, 12:12:04 UTC |
| 889bbbe | zhenlei | 22 August 2019, 14:09:52 UTC | clear section number | 22 August 2019, 14:09:52 UTC |
| f943596 | zhenlei | 22 August 2019, 14:05:55 UTC | export | 22 August 2019, 14:05:55 UTC |
| 6878376 | zhenlei | 22 August 2019, 13:58:46 UTC | fix task merge section | 22 August 2019, 13:58:46 UTC |
| 9c1cdb1 | zhenlei | 22 August 2019, 09:38:14 UTC | export | 22 August 2019, 09:38:14 UTC |
| 043e5b7 | zhenlei | 22 August 2019, 09:35:30 UTC | creuser Presentation of the project | 22 August 2019, 09:35:30 UTC |
| 0e424a8 | zhenlei | 22 August 2019, 09:00:13 UTC | fix tag error from translate | 22 August 2019, 09:00:13 UTC |
| 7f5d838 | zhenlei | 22 August 2019, 08:57:55 UTC | ameliore export aff | 22 August 2019, 08:57:55 UTC |
| 1cb1b60 | zhenlei | 22 August 2019, 08:49:48 UTC | 1e verification of grammaire | 22 August 2019, 08:49:48 UTC |
| b4c8d8e | zhenlei | 22 August 2019, 08:12:58 UTC | fix noexport error from traduction | 22 August 2019, 08:12:58 UTC |
| 8ed13da | zhenlei | 22 August 2019, 08:11:22 UTC | traduc fr into en | 22 August 2019, 08:11:22 UTC |
| 831a38c | zhenlei | 22 August 2019, 08:08:37 UTC | [rapport]add version brouillon | 22 August 2019, 08:08:37 UTC |
| 1f8e2cf | zhenlei | 10 August 2019, 15:50:24 UTC | tmp | 10 August 2019, 15:50:24 UTC |
| 24410d2 | zhenlei | 09 August 2019, 10:13:52 UTC | [bloqued]instr type diff in diff module | 09 August 2019, 10:13:52 UTC |
| 825db89 | zhenlei | 08 August 2019, 16:02:01 UTC | creat Module merge_with_shared_storage | 08 August 2019, 16:02:01 UTC |
| 7022d11 | zhenlei | 08 August 2019, 15:36:35 UTC | [merge_example]add ContractContext | 08 August 2019, 15:36:35 UTC |
| 6723fc4 | zhenlei | 08 August 2019, 15:31:52 UTC | [contract_id] update .v | 08 August 2019, 15:31:52 UTC |
| 415524f | zhenlei | 08 August 2019, 14:53:27 UTC | add contract_id.v | 08 August 2019, 14:53:27 UTC |
| d1e38fb | zhenlei | 02 August 2019, 14:54:12 UTC | fix semantic.v; projet compilable | 02 August 2019, 14:54:12 UTC |
| 16389e9 | zhenlei | 02 August 2019, 12:51:07 UTC | [cancelled_contract]running | 02 August 2019, 14:47:56 UTC |
| 1bcf7d5 | zhenlei | 02 August 2019, 11:57:39 UTC | [ifThenElse]mv to file | 02 August 2019, 14:47:56 UTC |
| 1f7dd90 | zhenlei | 02 August 2019, 11:50:58 UTC | close module | 02 August 2019, 14:47:56 UTC |
| ee49514 | zhenlei | 02 August 2019, 11:50:01 UTC | code done | 02 August 2019, 14:47:56 UTC |
| 142ad57 | zhenlei | 02 August 2019, 11:37:49 UTC | [switch_to_pause]add spec | 02 August 2019, 14:47:56 UTC |
| 90bb39f | zhenlei | 02 August 2019, 10:19:23 UTC | [Contract_with_pause] add spec and compilator | 02 August 2019, 14:47:56 UTC |
| 8a4429f | zhenlei | 02 August 2019, 09:55:24 UTC | [Contract_resiliable.tz]improv clarety | 02 August 2019, 14:47:56 UTC |
| 0f09533 | zhenlei | 02 August 2019, 09:39:07 UTC | [pause_contract]add example Michelson | 02 August 2019, 14:47:56 UTC |
| 24feae2 | zhenlei | 02 August 2019, 09:23:18 UTC | [Contract_resiliable.tz] add squelette | 02 August 2019, 14:47:56 UTC |
| 99f0dcf | zhenlei | 02 August 2019, 08:53:34 UTC | [ifThenElse_code] clear code | 02 August 2019, 14:47:56 UTC |
| d282668 | zhenlei | 02 August 2019, 08:51:31 UTC | [ifThenElse_code] done | 02 August 2019, 14:47:56 UTC |
| 8291b91 | zhenlei | 01 August 2019, 15:31:26 UTC | [IfThenElse.tz]done | 02 August 2019, 14:47:56 UTC |
| 1503fac | zhenlei | 01 August 2019, 08:54:38 UTC | [enable_pause_spec]compilable | 02 August 2019, 14:47:56 UTC |
| a02ae33 | zhenlei | 30 July 2019, 15:44:25 UTC | [enable_pause_spec]en cours | 02 August 2019, 14:47:56 UTC |
| 73c4789 | zhenlei | 30 July 2019, 15:24:17 UTC | contract_with_pause_spec compilable | 02 August 2019, 14:47:56 UTC |
| 4d39131 | zhenlei | 29 July 2019, 13:13:46 UTC | [merge_with_shared_storage]add code and proof | 02 August 2019, 14:47:56 UTC |
| 96b0ea9 | zhenlei | 29 July 2019, 12:39:41 UTC | [semantic]add lemma fold_eval_precond | 02 August 2019, 14:47:52 UTC |
| 4246407 | zhenlei | 29 July 2019, 12:37:08 UTC | [util] add lemma split_imply | 02 August 2019, 14:46:40 UTC |
| 3ee4d0a | zhenlei | 29 July 2019, 12:36:48 UTC | [util]add ltac simpl_fuel | 02 August 2019, 14:46:40 UTC |
| acafeb8 | zhenlei | 24 July 2019, 17:13:02 UTC | tmp | 02 August 2019, 13:54:05 UTC |
| eb9dd1f | zhenlei | 23 July 2019, 20:18:41 UTC | lemma spec compilable | 02 August 2019, 13:54:05 UTC |
| 4d48302 | zhenlei | 23 July 2019, 20:13:27 UTC | facto | 02 August 2019, 13:54:05 UTC |
| 98e9ea5 | zhenlei | 23 July 2019, 19:47:57 UTC | new_contract pb solved | 02 August 2019, 13:54:05 UTC |
| 4105502 | zhenlei | 23 July 2019, 16:11:33 UTC | [question]how intros | 02 August 2019, 13:54:05 UTC |
| e857b7b | zhenlei | 23 July 2019, 15:24:41 UTC | [question]order_instr typage | 02 August 2019, 13:54:05 UTC |
| ee2d4c1 | zhenlei | 23 July 2019, 14:54:00 UTC | [question]((diff_1_ty,diff_2_ty) := order_storage diff_current_ty diff_other_ty ) | 02 August 2019, 13:54:05 UTC |
| df30678 | zhenlei | 23 July 2019, 14:23:47 UTC | indent | 02 August 2019, 13:54:04 UTC |
