fbd3468 | Cécile BARITEL-RUET | 04 June 2019, 12:33:29 UTC | simple fix for Zand when empty | 04 June 2019, 12:33:29 UTC |
9dbfd56 | Cécile BARITEL-RUET | 04 June 2019, 12:29:49 UTC | some fix | 04 June 2019, 12:29:49 UTC |
0e9b41e | Cécile BARITEL-RUET | 04 June 2019, 11:44:48 UTC | fmatching and genregexp are mutually recursive | 04 June 2019, 11:44:48 UTC |
bfa4f3e | Cécile BARITEL-RUET | 08 April 2019, 10:36:40 UTC | . | 08 April 2019, 10:36:40 UTC |
ce2ceb7 | Cécile BARITEL-RUET | 02 April 2019, 07:32:37 UTC | . | 02 April 2019, 07:32:37 UTC |
9ae843f | Cécile BARITEL-RUET | 27 March 2019, 16:48:30 UTC | Second try. Still does not work. | 27 March 2019, 16:48:30 UTC |
82c7541 | Cécile BARITEL-RUET | 27 March 2019, 15:34:44 UTC | First try. Does not work. | 27 March 2019, 15:34:44 UTC |
0a33156 | Pierre-Yves Strub | 24 March 2019, 09:08:50 UTC | try to convert closed pattern before failing... | 24 March 2019, 09:08:50 UTC |
16d3bf4 | Pierre-Yves Strub | 23 March 2019, 18:47:22 UTC | | 23 March 2019, 18:47:22 UTC |
3515767 | Pierre-Yves Strub | 23 March 2019, 18:38:20 UTC | | 23 March 2019, 18:38:20 UTC |
6c91e46 | Pierre-Yves Strub | 23 March 2019, 18:29:13 UTC | | 23 March 2019, 18:29:13 UTC |
091db62 | Cécile BARITEL-RUET | 22 March 2019, 16:44:17 UTC | fix crypto/rom/Lazy.eca script (after fixing fun_ext) | 22 March 2019, 16:44:17 UTC |
19680a9 | Cécile BARITEL-RUET | 22 March 2019, 16:34:18 UTC | fix eta | 22 March 2019, 16:34:18 UTC |
972a0fa | Cécile BARITEL-RUET | 22 March 2019, 16:02:09 UTC | fix eta-reduction/eta-extension | 22 March 2019, 16:02:09 UTC |
5cb65da | Cécile BARITEL-RUET | 22 March 2019, 15:22:15 UTC | fix computing of free variables in patterns | 22 March 2019, 15:22:15 UTC |
da94e33 | Cécile BARITEL-RUET | 22 March 2019, 14:13:43 UTC | correct version of fun_ext to match the one in 1.0 | 22 March 2019, 14:13:43 UTC |
8ee2bc5 | Cécile BARITEL-RUET | 22 March 2019, 14:01:16 UTC | . | 22 March 2019, 14:01:16 UTC |
70e1b67 | Cécile BARITEL-RUET | 19 March 2019, 14:42:29 UTC | 4 bugs left | 19 March 2019, 14:42:29 UTC |
dd4d51a | Cécile BARITEL-RUET | 19 March 2019, 14:02:52 UTC | managing restrictions about mhr | 19 March 2019, 14:02:52 UTC |
86fce7d | Cécile BARITEL-RUET | 19 March 2019, 13:37:41 UTC | test | 19 March 2019, 13:37:41 UTC |
2babf50 | Cécile BARITEL-RUET | 19 March 2019, 13:27:25 UTC | fix last commit | 19 March 2019, 13:27:25 UTC |
5d1bb0f | Cécile BARITEL-RUET | 19 March 2019, 13:15:51 UTC | change reduction continuations | 19 March 2019, 13:15:51 UTC |
ef5eaa2 | Cécile BARITEL-RUET | 19 March 2019, 11:40:34 UTC | allow use of mhr | 19 March 2019, 11:40:34 UTC |
b80c242 | Cécile BARITEL-RUET | 19 March 2019, 10:18:17 UTC | fix infinite loop | 19 March 2019, 10:18:17 UTC |
9f349d7 | Cécile BARITEL-RUET | 19 March 2019, 09:29:59 UTC | fix matching same meta | 19 March 2019, 09:29:59 UTC |
42bee10 | Cécile BARITEL-RUET | 18 March 2019, 14:57:22 UTC | fix reduction | 18 March 2019, 14:57:22 UTC |
d5ccd83 | Cécile BARITEL-RUET | 18 March 2019, 12:21:32 UTC | fix reduction | 18 March 2019, 12:21:32 UTC |
b2b6502 | Cécile BARITEL-RUET | 18 March 2019, 10:14:38 UTC | fix reduction | 18 March 2019, 10:14:38 UTC |
530ccdd | Cécile BARITEL-RUET | 18 March 2019, 09:33:39 UTC | fix reduction of (=) | 18 March 2019, 09:33:39 UTC |
e8d6aef | Cécile BARITEL-RUET | 18 March 2019, 09:21:49 UTC | fix reductions | 18 March 2019, 09:21:49 UTC |
6019ae3 | Cécile BARITEL-RUET | 14 March 2019, 16:51:48 UTC | fix infinite loop | 14 March 2019, 16:51:48 UTC |
9031f24 | Cécile BARITEL-RUET | 14 March 2019, 16:11:26 UTC | no reduction in args of logical application | 14 March 2019, 16:11:26 UTC |
36b321b | Cécile BARITEL-RUET | 14 March 2019, 15:10:11 UTC | Merge branch 'deploy-fmatch' of https://github.com/EasyCrypt/easycrypt into deploy-fmatch | 14 March 2019, 15:10:11 UTC |
b583880 | Cécile BARITEL-RUET | 14 March 2019, 15:09:59 UTC | modify verbose | 14 March 2019, 15:09:59 UTC |
17d07ee | Pierre-Yves Strub | 14 March 2019, 15:03:19 UTC | | 14 March 2019, 15:03:19 UTC |
89bf6be | Cécile BARITEL-RUET | 14 March 2019, 10:35:10 UTC | add verbose to ecPReduction | 14 March 2019, 10:35:10 UTC |
c2b2381 | Cécile BARITEL-RUET | 13 March 2019, 10:01:01 UTC | add EcFMatching.search_eng_head_no_delta | 13 March 2019, 10:01:01 UTC |
67f51b9 | Cécile BARITEL-RUET | 11 March 2019, 16:30:29 UTC | hide ecFmatching types | 11 March 2019, 16:30:29 UTC |
4f92c1b | Cécile BARITEL-RUET | 11 March 2019, 15:33:21 UTC | fix bug | 11 March 2019, 15:33:21 UTC |
7821071 | Cécile BARITEL-RUET | 11 March 2019, 12:21:15 UTC | fix stack overflow | 11 March 2019, 12:21:15 UTC |
a221d83 | Cécile BARITEL-RUET | 07 March 2019, 16:04:49 UTC | fix order of reduce tries | 07 March 2019, 16:04:49 UTC |
188f91f | Cécile BARITEL-RUET | 07 March 2019, 12:47:49 UTC | bug fix | 07 March 2019, 12:47:49 UTC |
b289db5 | Cécile BARITEL-RUET | 07 March 2019, 12:18:57 UTC | fix bugs | 07 March 2019, 12:18:57 UTC |
8d9152d | Cécile BARITEL-RUET | 07 March 2019, 10:23:15 UTC | bug fixes | 07 March 2019, 10:23:15 UTC |
012a2b1 | Cécile BARITEL-RUET | 07 March 2019, 10:00:37 UTC | fix bug in p_subst when pat_local | 07 March 2019, 10:00:37 UTC |
26e0600 | Cécile BARITEL-RUET | 07 March 2019, 09:47:39 UTC | menv_is_full now checks if unienv is closed | 07 March 2019, 09:47:39 UTC |
d851a97 | Cécile BARITEL-RUET | 06 March 2019, 17:12:58 UTC | forgot to add ecPReduction | 06 March 2019, 17:12:58 UTC |
979e9bc | Cécile BARITEL-RUET | 06 March 2019, 17:08:33 UTC | . | 06 March 2019, 17:08:33 UTC |
d2845bc | Cécile BARITEL-RUET | 06 March 2019, 14:19:31 UTC | fix higher order | 06 March 2019, 14:19:31 UTC |
9e3d6df | Cécile BARITEL-RUET | 06 March 2019, 13:45:15 UTC | restrict higher order case when higher order unification is decidable. | 06 March 2019, 13:45:15 UTC |
4aaf661 | Cécile BARITEL-RUET | 06 March 2019, 10:12:22 UTC | fix eta-reduction | 06 March 2019, 10:12:22 UTC |
04e9c66 | Cécile BARITEL-RUET | 05 March 2019, 17:17:26 UTC | fix simplification of Int(+) and Real.(+) | 05 March 2019, 17:17:26 UTC |
2452b4a | Cécile BARITEL-RUET | 05 March 2019, 15:20:35 UTC | fix higher order | 05 March 2019, 15:20:35 UTC |
08f34f3 | Cécile BARITEL-RUET | 05 March 2019, 12:27:08 UTC | fix minor bug | 05 March 2019, 12:27:08 UTC |
03c538f | Cécile BARITEL-RUET | 05 March 2019, 12:19:06 UTC | fix minor bug | 05 March 2019, 12:19:06 UTC |
1447687 | Cécile BARITEL-RUET | 05 March 2019, 12:09:10 UTC | fix bug | 05 March 2019, 12:09:10 UTC |
4761a76 | Cécile BARITEL-RUET | 01 March 2019, 14:13:03 UTC | How many files does (matching -> unification) break ? | 01 March 2019, 14:13:03 UTC |
12f3528 | Cécile BARITEL-RUET | 28 February 2019, 10:31:01 UTC | add substitution to the formula when processing matching. | 28 February 2019, 10:31:01 UTC |
ef093d0 | Cécile BARITEL-RUET | 25 February 2019, 16:39:41 UTC | fix infinite loop in crypto/ROM.ec | 25 February 2019, 16:39:41 UTC |
a8f3c44 | Cécile BARITEL-RUET | 25 February 2019, 16:27:19 UTC | fix an infinite loop. Now reductions of logical operations output if the simplifications have been made. | 25 February 2019, 16:27:19 UTC |
d5bf3fc | Cécile BARITEL-RUET | 25 February 2019, 15:15:42 UTC | fix Core.ec script. | 25 February 2019, 15:15:42 UTC |
dcdb504 | Cécile BARITEL-RUET | 25 February 2019, 14:27:24 UTC | quit checking if reduction's output is same as input. | 25 February 2019, 14:27:24 UTC |
a51e982 | Cécile BARITEL-RUET | 25 February 2019, 13:50:23 UTC | . | 25 February 2019, 13:50:23 UTC |
4f82c26 | Cécile BARITEL-RUET | 25 February 2019, 13:47:35 UTC | test | 25 February 2019, 13:47:35 UTC |
acfd6d1 | Cécile BARITEL-RUET | 25 February 2019, 10:32:46 UTC | fix 1 stack overflow | 25 February 2019, 10:32:46 UTC |
5339596 | Cécile BARITEL-RUET | 20 February 2019, 15:13:48 UTC | fix minor bug | 20 February 2019, 15:13:48 UTC |
32e5b18 | Cécile BARITEL-RUET | 20 February 2019, 14:44:11 UTC | fix InvalidProofTerm bug | 20 February 2019, 14:44:11 UTC |
ab18e4d | Pierre-Yves Strub | 20 February 2019, 13:29:34 UTC | | 20 February 2019, 13:30:02 UTC |
f234005 | Cécile BARITEL-RUET | 20 February 2019, 12:58:07 UTC | fix simplifications of Int.(+) | 20 February 2019, 12:58:07 UTC |
e920d43 | Cécile BARITEL-RUET | 20 February 2019, 12:19:00 UTC | added eta-expansion (if possible according to type checking) | 20 February 2019, 12:19:00 UTC |
9929200 | Cécile BARITEL-RUET | 20 February 2019, 11:18:42 UTC | in p_int_lt_simpl, p_int_le was used... | 20 February 2019, 11:18:42 UTC |
1944a29 | Cécile BARITEL-RUET | 19 February 2019, 16:42:26 UTC | in the head reduction : added a case when both are applications, and their operator are "formula", then if they are equal, no reduction will make the matching work | 19 February 2019, 16:42:26 UTC |
5d44156 | Cécile BARITEL-RUET | 19 February 2019, 15:41:38 UTC | fix bug when reducing in a non-higher-order case keeps track of the non-higher-orderness | 19 February 2019, 15:41:38 UTC |
09ede79 | Cécile BARITEL-RUET | 19 February 2019, 13:31:33 UTC | . | 19 February 2019, 13:31:33 UTC |
2e4a2fe | Cécile BARITEL-RUET | 19 February 2019, 12:41:37 UTC | . | 19 February 2019, 12:41:37 UTC |
1d986d0 | Cécile BARITEL-RUET | 19 February 2019, 12:33:39 UTC | . | 19 February 2019, 12:33:39 UTC |
62e6374 | Cécile BARITEL-RUET | 19 February 2019, 10:45:54 UTC | count bugs | 19 February 2019, 10:45:54 UTC |
45e1db8 | Cécile BARITEL-RUET | 19 February 2019, 09:41:07 UTC | fix 1 bug (or more ?) | 19 February 2019, 09:41:07 UTC |
8bda7a4 | Cécile BARITEL-RUET | 18 February 2019, 18:00:00 UTC | fix 1 bug | 18 February 2019, 18:00:00 UTC |
eb7460d | Pierre-Yves Strub | 16 February 2019, 05:39:03 UTC | | 16 February 2019, 05:39:12 UTC |
66c21ca | Cécile BARITEL-RUET | 15 February 2019, 15:00:16 UTC | . | 15 February 2019, 15:00:16 UTC |
b082aa4 | Pierre-Yves Strub | 15 February 2019, 06:46:01 UTC | | 15 February 2019, 06:46:01 UTC |
6532318 | Cécile BARITEL-RUET | 14 February 2019, 14:37:32 UTC | . | 14 February 2019, 14:37:32 UTC |
c4c4748 | Cécile BARITEL-RUET | 14 February 2019, 13:33:20 UTC | adding an option to print debug verbose in "rewrite <<*>> ..." and "move <<*>> => /..." | 14 February 2019, 13:33:20 UTC |
f573272 | Cécile BARITEL-RUET | 14 February 2019, 10:36:50 UTC | bug fix | 14 February 2019, 10:36:50 UTC |
67bf54b | Cécile BARITEL-RUET | 13 February 2019, 15:15:45 UTC | remove some infinite loops | 13 February 2019, 15:15:45 UTC |
e3f44bb | Cécile BARITEL-RUET | 13 February 2019, 14:32:43 UTC | . | 13 February 2019, 14:32:43 UTC |
4bf8561 | Pierre-Yves Strub | 13 February 2019, 13:50:41 UTC | removing dead code | 13 February 2019, 13:50:41 UTC |
00cf41e | Cécile BARITEL-RUET | 12 February 2019, 17:35:43 UTC | "function [p1;p2;p3] -> ... | _ -> assert false" replaced by as_seq3 | 12 February 2019, 17:35:43 UTC |
3fac364 | Cécile BARITEL-RUET | 12 February 2019, 16:43:04 UTC | cleaning + debugging | 12 February 2019, 16:43:04 UTC |
188aec2 | Cécile BARITEL-RUET | 12 February 2019, 12:02:16 UTC | Merge branch 'deploy-fmatch' of https://github.com/EasyCrypt/easycrypt into deploy-fmatch | 12 February 2019, 12:02:16 UTC |
91d3b23 | Cécile BARITEL-RUET | 12 February 2019, 12:01:49 UTC | remove unused Zbinds | 12 February 2019, 12:01:49 UTC |
0b42571 | Pierre-Yves Strub | 12 February 2019, 11:56:37 UTC | | 12 February 2019, 11:56:37 UTC |
2644a06 | Cécile BARITEL-RUET | 12 February 2019, 10:46:00 UTC | clean matching rules | 12 February 2019, 10:46:00 UTC |
b9647ea | Cécile BARITEL-RUET | 08 February 2019, 13:04:18 UTC | lazy reduce instead of the eager one.. | 08 February 2019, 13:04:18 UTC |
b0c8dc3 | Pierre-Yves Strub | 06 February 2019, 17:30:31 UTC | | 06 February 2019, 17:30:31 UTC |
f37c69b | Pierre-Yves Strub | 06 February 2019, 17:09:40 UTC | | 06 February 2019, 17:09:40 UTC |
38aefa6 | Pierre-Yves Strub | 06 February 2019, 17:05:35 UTC | | 06 February 2019, 17:05:35 UTC |
5abfae3 | Pierre-Yves Strub | 06 February 2019, 16:56:57 UTC | | 06 February 2019, 16:56:57 UTC |
6cf5a33 | Pierre-Yves Strub | 06 February 2019, 16:20:12 UTC | | 06 February 2019, 16:20:12 UTC |