Pierre-Marie de Rodat
fca3617078
Lkt: rework the syntax for the logic DSL
...
Replace `%eq(a, b)` with:
* `a <-> b`: unify two logic variables
* `a <- b`: assign a value to a logic variable
Replace `%eq(a, b, conv_prop=N.p)` with:
* `a <- N.p%(...)`: assign a value to a logic variable after a
conversion/combination using a property from 1) one or multiple logic
variables or 2) an entity:
Replace `%predicate(N.p, ...)` with:
* `N.p%(...)`: create a predicate atom from a property, several logic
variables and optional extra arguments.
(cherry picked from commit 928e4358fc
2024-11-27 13:40:06 +00:00
Pierre-Marie de Rodat
687a138cbb
Lkt: introduce block strings and replace doc comments with them
2024-03-15 15:49:02 +00:00
Pierre-Marie de Rodat
d8f032ed49
langkit.vim: add "not" as an operator
2023-12-13 13:55:10 +00:00
Pierre-Marie de Rodat
aaa08b16c9
langkit.vim: add the "try" keyword
2023-12-13 13:36:33 +00:00
Pierre-Marie de Rodat
e6c9e150d5
Lkt: add support for dynamic variables
...
This commit introduces full support for dynamic variables in Lkt:
* new syntax for declaration: `dynvar my_var: MyType`;
* new annotation to require it at property call:
`@with_dynvars(my_var)`;
* associated unparsing and lowering code.
2023-12-13 13:36:32 +00:00
Pierre-Marie de Rodat
d478a811d2
langkit/templates/java_api: add syntax highlighting directives for Vim
2023-07-03 09:17:51 +00:00
Pierre-Marie de Rodat
42c1cbe210
utils/release-langkit_support.sh: update for 23.0
2022-11-02 09:11:42 +00:00
Pierre-Marie de Rodat
c5452f85eb
Add a script to create a release source package for Langkit_Support
...
TN: TA19-011
2021-10-27 17:06:30 +02:00
Pierre-Marie de Rodat
eb01f28b04
gh_wrap_errors.py: make sure all output is processed
...
The current select-based code to consume subprocess output on the fly
sometimes misses the end of the output. Rework it to consume mixed
stdout+stderr until the end of output instead.
2020-10-20 17:18:03 +02:00
Raphaël AMIARD
45df941275
Replace Travis by GH actions
2020-10-15 13:55:27 +02:00
Raphaël AMIARD
ede794d5aa
RA22-015: update langkit vim syntax
2020-06-30 15:43:53 +02:00
Pierre-Marie de Rodat
e549451937
Travis CI: run type checking using mypy
...
TN: RA22-015
2020-06-17 11:45:07 +02:00
Raphaël AMIARD
3613e38a24
RA22-015: Transition manage.sh to python
...
Easier to maintain and to extend.
2020-06-04 15:39:21 +02:00
Pierre-Marie de Rodat
b2a3f822d7
Travis CI: use e3-testsuite's --failure-exit-code option
...
TN: T511-017
2020-06-04 11:33:41 +02:00
Pierre-Marie de Rodat
b387f52dbf
Testsuite: remove the obsolete "--discriminant" option
...
TN: T511-017
2020-06-04 11:33:41 +02:00
Raphaël AMIARD
9ff1b97499
RA22-015: Add support for character literals
2020-06-02 12:25:47 +02:00
Pierre-Marie de Rodat
ec953cb1ff
utils/travis-script.sh: update error patterns for testsuite logs
...
Now that the testsuite is based on e3.testsuite, error patterns are
different.
TN: T511-017
2020-05-26 16:58:32 +02:00
Pierre-Marie de Rodat
aeb3511b66
utils/travis-install.sh: install the testsuite framework
...
TN: T511-017
2020-05-26 16:58:32 +02:00
Pierre-Marie de Rodat
7a5b31b524
langkit.vim: fix handling of quote escapes in string literals
...
TN: RA22-015
2020-03-27 14:07:00 +01:00
Raphaël AMIARD
ba6bed4225
RA22-015: Add traits
2020-03-19 10:33:51 +01:00
Pierre-Marie de Rodat
7e98ba83be
Travis CI: update obsolete GNAT Community download URL
2020-03-06 11:42:49 +01:00
Raphaël AMIARD
020642ebcc
RA22-015: update langkit.vim file
2020-02-27 17:05:43 +01:00
Romain Beguet
b412b6ea0b
RA22-015: Install libpythonlang on travis.
2020-02-12 14:56:10 +01:00
Romain Beguet
3937ee56ac
Minor: Add vim langkit syntax file.
2020-02-12 14:56:10 +01:00
Pierre-Marie de Rodat
2a5e4f23f3
Travis CI: disable OCaml testcases
2019-09-05 14:44:22 +02:00
