Andrei Paskevich
b0cef7e3f2
s/label/attribute/g
2018-06-01 21:03:01 +02:00
Guillaume Melquiond
4acc6d275d
Merge branch 'new_ide'
2018-05-17 15:10:25 +02:00
Guillaume Melquiond
a9741e53d7
Merge branch 'next' into new_ide
2018-05-17 14:23:58 +02:00
Guillaume Melquiond
6563fac9cb
Rename Stdlib into Wstdlib (fix issue #105 ).
...
OCaml 4.07 introduces a new standard module named Stdlib, which clashes
with the one from Why3 (during the compilation of Why3).
2018-05-17 11:26:04 +02:00
Andrei Paskevich
1f1f8b2cc6
Mlw: merge Ecase and Etry into a single match-with-exn constructor
2018-03-20 23:09:06 +01:00
Guillaume Melquiond
fc1b4fe530
Merge branch 'new_ide'
...
# Conflicts:
# bench/ce/
2018-02-17 10:46:39 +01:00
Guillaume Melquiond
52e6f5e9a9
Merge branch 'next' into new_ide
2018-02-17 09:41:46 +01:00
François Bobot
7f5cb496f0
Factorize the naming convention for prefix infix mixfix
2018-02-14 23:06:34 +01:00
Claude Marche
5a92d21d39
Merge branch 'new_ide'
2018-01-19 14:21:31 +01:00
Claude Marche
8fa6fd92cf
Re-enabled the warning on used variables
...
This warning was disabled as soon as the python plugin is loaded
that was VERY BAD
2018-01-19 10:46:11 +01:00
Guillaume Melquiond
b24a340f8f
Merge branch 'new_ide'
2018-01-17 18:24:54 +01:00
Guillaume Melquiond
bf7ca1d4dd
Use Lexing.new_line whenever possible.
2018-01-12 18:41:25 +01:00
Guillaume Melquiond
0f09f18901
Merge branch 'bugfix/v0.88' into next
2018-01-12 10:29:17 +01:00
Guillaume Melquiond
b663374c2b
Version 0.88.3
2018-01-11 14:52:31 +01:00
Andrei Paskevich
b8fb2e85c1
WhyML: "alias { t1 with t2, t3 with t4 }" annotation
...
Forces aliasing between the arguments, external reads and the
result (denoted "result"). Cannot be used for exceptional results.
Currently, is only used for "any" and "val", and is silently ignored
otherwise.
2017-12-13 18:47:53 +01:00
Guillaume Melquiond
3293552356
Merge branch 'master' into new_system
2017-11-24 17:25:45 +01:00
Guillaume Melquiond
609cfacf05
Rename functions int_const_* into int_literal_* to reflect their types.
...
This commit also gets rid of `int_const_dec (string_of_int ...)`.
2017-11-23 19:17:25 +01:00
Guillaume Melquiond
3aae32e7bc
Backport support for negative literals.
2017-11-22 17:57:32 +01:00
Guillaume Melquiond
8c20ed74e1
Remove some uses of Number.int_const_dec.
2017-11-07 10:47:02 +01:00
Andrei Paskevich
6aace6618f
WhyML: match ... with exception ... end
2017-06-11 02:15:45 +02:00
Claude Marche
b676212680
support for negative literals, first step
...
- requires a lot more testing
- support in extraction missing (exception raised)
- interaction with "syntax literal" remains to investigate
2017-06-09 15:19:22 +02:00
Andrei Paskevich
c6933a1f1d
python: update for new_system
2017-04-25 17:02:29 +02:00
Andrei Paskevich
3c062899e5
Python: tentative update for new_system
2017-04-24 15:43:45 +02:00
Guillaume Melquiond
4822694f3b
Merge branch 'master' into new_system
2017-04-14 17:45:25 +02:00
Claude Marche
216f2ecd71
update header for year 2017
2017-04-12 14:17:56 +02:00
