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 |
9fc1d31 | zhenlei | 23 July 2019, 13:29:45 UTC | corrige error spec diff_other_final=diff_other_final | 02 August 2019, 13:54:04 UTC |
9c97c57 | zhenlei | 23 July 2019, 09:29:10 UTC | add destruct in eval_new_contract | 02 August 2019, 13:54:04 UTC |
ea3e37b | zhenlei | 23 July 2019, 09:06:59 UTC | add tactic eval_new_contract, tested ok | 02 August 2019, 13:54:04 UTC |
c78a48e | zhenlei | 22 July 2019, 20:56:25 UTC | [bloqued]merge contract other/current | 02 August 2019, 13:54:04 UTC |
1164866 | zhenlei | 22 July 2019, 20:33:59 UTC | abstract name case_inductive_correct | 02 August 2019, 13:54:04 UTC |
f44d0d1 | zhenlei | 22 July 2019, 20:29:00 UTC | add lemma cas_1_inductiv_correct, integred success | 02 August 2019, 13:54:04 UTC |
bd76416 | zhenlei | 22 July 2019, 20:05:50 UTC | solv error name in 2e branch | 02 August 2019, 13:54:04 UTC |
9c5ac5f | zhenlei | 22 July 2019, 19:39:37 UTC | rename,abstract b1_spec | 02 August 2019, 13:54:03 UTC |
61cb93b | zhenlei | 22 July 2019, 18:27:04 UTC | rename var b1_correct | 02 August 2019, 13:54:03 UTC |
87b5e07 | zhenlei | 22 July 2019, 18:10:20 UTC | correct b1_correct fuel error, b1_correct integred in proof | 02 August 2019, 13:54:03 UTC |
43a7ce1 | zhenlei | 22 July 2019, 16:16:24 UTC | tmp, | 02 August 2019, 13:54:03 UTC |
1e12b56 | zhenlei | 22 July 2019, 14:02:09 UTC | integre b1_spec in spec | 02 August 2019, 13:54:03 UTC |
b080289 | zhenlei | 22 July 2019, 13:52:46 UTC | clear b1_correct arg | 02 August 2019, 13:54:03 UTC |
781d119 | zhenlei | 22 July 2019, 13:46:42 UTC | b1_correct compilable | 02 August 2019, 13:54:03 UTC |
6a4879f | zhenlei | 22 July 2019, 12:13:38 UTC | tmp | 02 August 2019, 13:54:03 UTC |
3685c92 | zhenlei | 22 July 2019, 12:06:43 UTC | simpl spec branch1 ok | 02 August 2019, 13:54:03 UTC |
78b7570 | zhenlei | 22 July 2019, 11:56:58 UTC | add spec b1 | 02 August 2019, 13:54:02 UTC |
f33ec8a | zhenlei | 22 July 2019, 11:25:12 UTC | ranger proof induction ok | 02 August 2019, 13:54:02 UTC |
1071190 | zhenlei | 22 July 2019, 09:35:13 UTC | simpl spec branch left compilable | 02 August 2019, 13:54:02 UTC |
b0fb009 | zhenlei | 22 July 2019, 09:32:40 UTC | insert merge_correct1 in merge_correct compilable | 02 August 2019, 13:54:02 UTC |
2188ce3 | zhenlei | 22 July 2019, 09:28:12 UTC | clear unless lemma | 02 August 2019, 13:54:02 UTC |
a51623e | zhenlei | 22 July 2019, 09:25:16 UTC | init file prototype | 02 August 2019, 13:54:02 UTC |
19f89de | zhenlei | 22 July 2019, 09:23:50 UTC | tmp | 02 August 2019, 13:54:02 UTC |
a08919d | zhenlei | 19 July 2019, 16:05:03 UTC | proof lemma of branch | 02 August 2019, 13:54:01 UTC |
7af74ac | zhenlei | 19 July 2019, 13:23:13 UTC | subst unless hyp | 02 August 2019, 13:54:01 UTC |
5a5c7b0 | zhenlei | 19 July 2019, 12:32:44 UTC | running | 02 August 2019, 13:54:01 UTC |
5d90520 | zhenlei | 19 July 2019, 11:03:04 UTC | [question]Unable to unify | 02 August 2019, 13:54:01 UTC |
9f6426f | zhenlei | 19 July 2019, 09:15:34 UTC | add lemma logique | 02 August 2019, 13:54:01 UTC |
c91b066 | zhenlei | 18 July 2019, 21:08:35 UTC | top down architecture | 02 August 2019, 13:54:01 UTC |
0d24179 | zhenlei | 18 July 2019, 16:33:33 UTC | add lemma proof exists of head | 02 August 2019, 13:54:01 UTC |
ff35bb8 | zhenlei | 18 July 2019, 14:40:54 UTC | rm unless ltac, definition | 02 August 2019, 13:54:01 UTC |
84a83fd | zhenlei | 18 July 2019, 14:39:39 UTC | compatible avec new version Michocoq | 02 August 2019, 13:54:00 UTC |
b0009e8 | zhenlei | 18 July 2019, 14:09:47 UTC | rm more_fuel ltac | 02 August 2019, 13:54:00 UTC |
36ff5e7 | zhenlei | 18 July 2019, 14:05:50 UTC | tmp save | 02 August 2019, 13:54:00 UTC |
07a3133 | zhenlei | 18 July 2019, 14:00:44 UTC | spec compilable | 02 August 2019, 13:54:00 UTC |
6141072 | zhenlei | 18 July 2019, 13:59:26 UTC | solv 1 pb in spec | 02 August 2019, 13:54:00 UTC |
6057cbe | zhenlei | 18 July 2019, 13:38:05 UTC | change contxt to module | 02 August 2019, 13:54:00 UTC |
568dcbf | zhenlei | 16 July 2019, 10:03:44 UTC | add untrack file | 02 August 2019, 13:54:00 UTC |
14c2e7b | zhenlei | 12 July 2019, 15:49:03 UTC | update spec "<-"; proof "<->" done | 02 August 2019, 13:54:00 UTC |
0027cd8 | zhenlei | 12 July 2019, 15:44:28 UTC | branch param2 comilable | 02 August 2019, 13:54:00 UTC |
28089fb | zhenlei | 12 July 2019, 15:40:26 UTC | clear branch comment; factorise in branch | 02 August 2019, 13:53:59 UTC |
c31f6cf | zhenlei | 12 July 2019, 15:26:40 UTC | 1 branch fini for <- lemma | 02 August 2019, 13:53:59 UTC |
6f4cfb7 | zhenlei | 12 July 2019, 14:22:45 UTC | [question]rewrite no find subterme | 02 August 2019, 13:53:59 UTC |
330c5a1 | zhenlei | 12 July 2019, 12:34:57 UTC | clear lemma comment | 02 August 2019, 13:53:59 UTC |
fe10748 | zhenlei | 12 July 2019, 12:03:33 UTC | proof -> done | 02 August 2019, 13:53:59 UTC |
9a9e2b2 | zhenlei | 12 July 2019, 11:39:09 UTC | fill spec for param2 | 02 August 2019, 13:53:59 UTC |
9125109 | zhenlei | 12 July 2019, 11:36:06 UTC | proof done 1e branch | 02 August 2019, 13:53:59 UTC |
65d94b9 | zhenlei | 12 July 2019, 09:32:33 UTC | branch fini, a part parti admit | 02 August 2019, 13:53:59 UTC |
4cd5931 | zhenlei | 11 July 2019, 15:52:43 UTC | insert exists | 02 August 2019, 13:53:58 UTC |
bf5387c | zhenlei | 11 July 2019, 15:47:26 UTC | update spec nom | 02 August 2019, 13:53:58 UTC |
2c1aa09 | zhenlei | 11 July 2019, 15:41:45 UTC | proof head of spec done | 02 August 2019, 13:53:58 UTC |
03ca52e | zhenlei | 11 July 2019, 12:40:14 UTC | avancer in proof | 02 August 2019, 13:53:58 UTC |
0d890e3 | zhenlei | 11 July 2019, 12:21:41 UTC | new de correct | 02 August 2019, 13:53:58 UTC |
5ed5b8d | zhenlei | 11 July 2019, 09:34:39 UTC | lemma spec compilable | 02 August 2019, 13:53:58 UTC |
cde34da | zhenlei | 11 July 2019, 08:46:15 UTC | 1e spec branch spec compilable | 02 August 2019, 13:53:58 UTC |
ac23d2f | zhenlei | 09 July 2019, 14:55:14 UTC | clear spec, | 02 August 2019, 13:53:58 UTC |
14f4f1c | zhenlei | 09 July 2019, 14:33:12 UTC | merge for contract2 compilable | 02 August 2019, 13:53:57 UTC |
c447a4c | zhenlei | 09 July 2019, 14:28:49 UTC | branch contract1 compilable | 02 August 2019, 13:53:57 UTC |
f047f4a | zhenlei | 09 July 2019, 13:31:27 UTC | add merge-contract de autre branch in code | 02 August 2019, 13:53:57 UTC |
dc5352d | zhenlei | 09 July 2019, 13:22:08 UTC | add prototype code michelson | 02 August 2019, 13:53:57 UTC |
2bf9c94 | zhenlei | 09 July 2019, 12:34:57 UTC | fini redact spec | 02 August 2019, 13:53:57 UTC |
f2dae03 | zhenlei | 09 July 2019, 12:15:46 UTC | add spec debut | 02 August 2019, 13:53:57 UTC |
2c0bbbe | zhenlei | 16 July 2019, 11:49:55 UTC | rm inutil file | 02 August 2019, 13:53:57 UTC |
cc5c4ce | zhenlei | 16 July 2019, 09:03:34 UTC | adapter new version name | 02 August 2019, 13:53:57 UTC |
728e77d | zhenlei | 15 July 2019, 15:49:14 UTC | del comment | 02 August 2019, 13:53:56 UTC |
f8327e6 | zhenlei | 11 July 2019, 14:44:36 UTC | clear correct1 | 02 August 2019, 13:53:56 UTC |