Commit Graph

  • c173e32c0f Merge branch 'mr/pmderodat/lkt-or-else' into 'master' Pierre-Marie de Rodat 2024-05-14 13:56:56 +00:00
  • 1935f78d05 dsl_unparse: fix parens handling around or? operators Pierre-Marie de Rodat 2024-05-13 15:01:09 +00:00
  • c92781ac44 Merge branch 'topic/784' into 'master' Romain Béguet 2024-05-14 13:25:47 +00:00
  • d1bc56fb4b Fix codegen of Predicate closures in presence of subtyping. Romain Beguet 2024-05-13 17:34:29 +02:00
  • 6cd3ad46cc Handle predicates with partial arguments in diagnostic emission. Romain Beguet 2024-05-13 15:32:15 +02:00
  • 2284fd0367 Merge branch 'mr/pmderodat/lkt-dynvars' into 'master' Pierre-Marie de Rodat 2024-05-14 10:51:59 +00:00
  • a850157b85 Dispatcher lowering: fix dynamic vars handling Pierre-Marie de Rodat 2024-05-13 11:14:07 +00:00
  • 6066290fbb Fix the inheritance of dynamic vars with defaults values Pierre-Marie de Rodat 2024-05-03 14:53:48 +00:00
  • 02264b6409 Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2024-05-13 14:14:37 +00:00
  • ca382a5614 testsuite/tests/ada_api/unparsing: update baseline after GNATCOLL change Pierre-Marie de Rodat 2024-05-13 13:37:37 +00:00
  • 5bd9c5d8ac Merge branch 'mr/pmderodat/lkt-env-specs' into 'master' Pierre-Marie de Rodat 2024-05-13 13:17:11 +00:00
  • 2f22c6943f dsl_unparse: remove special case for ".singleton()" Pierre-Marie de Rodat 2024-05-02 12:39:20 +00:00
  • ef6dba4894 dsl_unparse: fix env specs unparsing Pierre-Marie de Rodat 2024-05-02 12:08:19 +00:00
  • 338797393f Merge branch 'mr/pmderodat/lkt-unary-neg' into 'master' Pierre-Marie de Rodat 2024-05-13 10:55:22 +00:00
  • 778f18c52f Add full support for the unary "-" operator in the DSL and Lkt Pierre-Marie de Rodat 2024-05-03 14:23:16 +00:00
  • 07a852362a Merge branch 'mr/pmderodat/lkt-compile-ctx' into 'master' Pierre-Marie de Rodat 2024-05-13 10:55:09 +00:00
  • 3df6923bcc Testsuite: enable lkt_compile tests to check the CompileCtx Pierre-Marie de Rodat 2024-04-29 15:50:56 +00:00
  • 0da70b1c24 Merge branch 'mr/pmderodat/lkt-block-var' into 'master' Pierre-Marie de Rodat 2024-05-13 10:54:49 +00:00
  • 7efecfbcd3 dsl_unparse: fix DSL walker for Block vars Pierre-Marie de Rodat 2024-05-03 13:35:42 +00:00
  • 5debe7e2d6 Merge branch 'sync/fix_rebindings' into 'master' Romain Béguet 2024-05-06 10:50:06 +00:00
  • 3a84c00411 Generalize Shed_Rebindings by considering all entries. Romain Beguet 2024-04-08 15:58:57 +02:00
  • 7f9effe6e5 Fix target env when shedding rebindings from referenced env. Romain Beguet 2024-02-06 15:48:19 +01:00
  • 6356648afc Handle nested rebindable envs in Shed_Rebindings. Romain Beguet 2024-01-16 17:45:51 +01:00
  • 2f390a10bd Add shed_rebindings built-in to properties DSL. Romain Beguet 2024-02-06 15:47:58 +01:00
  • 8617c4e80e Merge branch 'mr/pmderodat/name-clash' into 'master' Romain Béguet 2024-05-06 09:06:03 +00:00
  • e100dc6f81 Fix name clashes in the implementation of introspection Pierre-Marie de Rodat 2024-05-03 08:32:58 +00:00
  • aa667f65c6 Merge branch 'mr/pmderodat/lkt-tests' into 'master' Pierre-Marie de Rodat 2024-05-02 12:03:02 +00:00
  • f8d35d0da0 c_api/symbol_type+properties/any_of: pass types_from_lkt=True Pierre-Marie de Rodat 2024-04-24 15:42:24 +00:00
  • 3bb124db83 Merge branch 'mr/pmderodat/lkt-do-varname' into 'master' Pierre-Marie de Rodat 2024-05-02 12:02:51 +00:00
  • 166c8f4723 dsl_unparse: generate valid var names for ".do((X) => ..." Pierre-Marie de Rodat 2024-04-30 09:31:34 +00:00
  • 1d69897a47 Merge branch 'mr/pmderodat/lkt-underscore' into 'master' Pierre-Marie de Rodat 2024-05-02 12:02:38 +00:00
  • 7a42558fd5 Lkt lowering: never bind entities to "_" identifiers Pierre-Marie de Rodat 2024-04-30 09:13:35 +00:00
  • c6bf8b4849 Merge branch 'topic/java_api/jni_unwrap_calls' into 'master' Hugo Guerrier 2024-04-30 14:00:58 +00:00
  • 16d794c86b Correct calls to 'jniUnwrap' static methods in JNI stubs Hugo Guerrier 2024-04-30 15:02:13 +02:00
  • f334dbc8eb Merge branch 'mr/pmderodat/lkt-ref-cats' into 'master' Pierre-Marie de Rodat 2024-04-30 10:28:04 +00:00
  • f24c858fba Lkt lowering: accept RefCategories literals as static expressions Pierre-Marie de Rodat 2024-03-20 20:50:30 +00:00
  • 620336e303 Merge branch 'topic/improve_java_arrays' into 'master' Rémi Segard 2024-04-29 14:03:10 +00:00
  • 82e600c046 Remove unused function and rename jniCreate Remi SEGARD 2024-04-12 10:47:29 +02:00
  • c38005ad64 Fix style Remi SEGARD 2024-04-05 15:25:01 +02:00
  • feb171e7a3 Java: change AnalysisContext.getDiagnostic return type to array Remi SEGARD 2024-04-04 15:02:28 +02:00
  • 53c9cd8763 Turn array wrapping into a utility Remi SEGARD 2024-03-29 17:51:31 +01:00
  • e97200a407 Java bindings: improve generation of array types Remi SEGARD 2024-03-28 11:12:48 +01:00
  • 2cea773c35 Merge branch 'sync/mr/pmderodat/lkt-null-cond' into 'master' Pierre-Marie de Rodat 2024-04-29 12:36:42 +00:00
  • 89db9af5e8 Properties: correct compilation for the null-cond operator (._. / ?.) Pierre-Marie de Rodat 2024-04-12 11:46:16 +02:00
  • 3c83e69be3 stylechecks: handle Sphinx titles Pierre-Marie de Rodat 2024-04-12 10:43:45 +02:00
  • 62ef830470 Merge branch 'mr/pmderodat/long-lines' into 'master' Pierre-Marie de Rodat 2024-04-29 08:59:00 +00:00
  • e49fb69268 Rework Ada templates to avoid generating too long lines Pierre-Marie de Rodat 2024-04-25 15:03:51 +00:00
  • 3167d461db Merge branch 'mr/pmderodat/generic_api' into 'master' Pierre-Marie de Rodat 2024-04-25 14:33:05 +00:00
  • b5bed59c40 Generic API: bind Token_Count/Trivia_Count unit primitives Pierre-Marie de Rodat 2024-04-25 12:33:00 +00:00
  • 79e2910ec3 Merge branch 'mr/pmderodat/lkt-static-expr' into 'master' Pierre-Marie de Rodat 2024-04-25 14:32:25 +00:00
  • 2003eb323e Lkt lowering: refactor the handling of static expressions Pierre-Marie de Rodat 2024-03-20 20:40:18 +00:00
  • 94133e67ae Merge branch 'mr/pmderodat/lkt-abstract-expr-dump' into 'master' Pierre-Marie de Rodat 2024-04-25 14:31:05 +00:00
  • f6ff9bda49 langkit.expressions.base: add an abstract expr dumper for debugging Pierre-Marie de Rodat 2024-04-12 11:45:49 +02:00
  • f72af294ff Merge branch 'mr/pmderodat/e3-next' into 'master' Pierre-Marie de Rodat 2024-04-23 15:37:24 +00:00
  • 7feab1de46 Fix invalid escape sequences in Python code Pierre-Marie de Rodat 2024-04-23 14:46:48 +00:00
  • dcf2635e0d Merge branch 'mr/pmderodat/windows-unicode' into 'master' Pierre-Marie de Rodat 2024-04-22 13:05:24 +00:00
  • 9acb5fd02b grammar/case_rule: fix encoding issue on Windows Pierre-Marie de Rodat 2024-04-22 12:19:34 +00:00
  • 0e0f2cb493 Merge branch 'mr/pmderodat/lkt-quant-expr-index' into 'master' Pierre-Marie de Rodat 2024-04-22 09:18:10 +00:00
  • cba1a3b800 dsl_unparse: fix handling of iteration index vars for quantifier exprs Pierre-Marie de Rodat 2024-03-21 16:29:22 +00:00
  • 91af60b478 Merge branch 'mr/pmderodat/lkt-any-of' into 'master' Pierre-Marie de Rodat 2024-04-22 09:17:50 +00:00
  • 086269b25b Rework ".any_of" DSL expressions Pierre-Marie de Rodat 2024-03-18 15:41:19 +00:00
  • f5ca534262 Merge branch 'mr/pmderodat/lkt-null-cond-cast' into 'master' Pierre-Marie de Rodat 2024-04-22 09:17:11 +00:00
  • fd82bd52e3 dsl_unparse: always generate ".as" instead of "?.as" Pierre-Marie de Rodat 2024-03-20 21:20:08 +00:00
  • 39eb12af59 Merge branch 'mr/pmderodat/lkt-or-int' into 'master' Pierre-Marie de Rodat 2024-04-22 09:16:52 +00:00
  • bb6578d84c Lkt: introduce the "or?" binary operator Pierre-Marie de Rodat 2024-03-19 16:46:16 +00:00
  • 83cf67b224 Merge branch 'mr/pmderodat/lkt-dynvar' into 'master' Pierre-Marie de Rodat 2024-04-22 09:05:34 +00:00
  • e63b7aec3c Lkt: fix error message for conflicting scope entities Pierre-Marie de Rodat 2024-03-21 15:30:31 +00:00
  • 1228f72f77 Lkt: fix dynamic variable binding when parent scope has already bound it Pierre-Marie de Rodat 2024-03-21 13:44:28 +00:00
  • 84428e7333 Merge branch 'topic/java_api/use_valid_free' into 'master' Hugo Guerrier 2024-04-18 15:46:38 +00:00
  • fdee01d976 Replace errnoeous 'UnmanagedMemory.free' call by 'NI_LIB.free' calls Hugo Guerrier 2024-04-18 17:04:26 +02:00
  • aacadb2c05 Merge branch 'issue_777' into 'master' João Azevedo 2024-04-17 09:12:19 +00:00
  • 38e576e141 Update expected output Joao Azevedo 2024-04-05 16:49:10 +00:00
  • ba6f6e5dbc Merge branch 'topic/java_api/correct_rewriting_tests' into 'master' Hugo Guerrier 2024-04-11 14:59:09 +00:00
  • faedfbe1a0 Remove the old and new rewriting contexts equivalence test Hugo Guerrier 2024-04-11 14:59:50 +02:00
  • ae0112a621 Merge branch 'topic/conditional_rewriting_api' into 'master' Hugo Guerrier 2024-04-08 11:24:16 +00:00
  • e747742ae6 Generate rewriting API bindings only when needed Hugo Guerrier 2024-04-08 12:36:22 +02:00
  • 48de6ed481 Merge branch 'topic/java_rewriting_api' into 'master' Hugo Guerrier 2024-04-04 09:43:57 +00:00
  • 8300b951c5 Refactor getters on node classes Hugo Guerrier 2024-03-11 15:45:06 +01:00
  • 577a999b96 Bind the rewriting API in Java Hugo Guerrier 2023-12-05 18:17:13 +01:00
  • 64e93d667d Fill 'fieldNames' node attribute with lower-cased names of fields Hugo Guerrier 2024-01-11 12:38:19 +01:00
  • 81191d866c Add a node description class to store all information about a node kind Hugo Guerrier 2024-01-11 17:46:39 +01:00
  • b2d269762b Merge branch 'topic/java_api/bare_node_wrapping' into 'master' Hugo Guerrier 2024-04-03 10:22:27 +00:00
  • 3e32d6ca1e Wrap node types struct fields in their Java Classes Hugo Guerrier 2024-03-20 14:11:57 +01:00
  • 593bf5f303 Wrap/unwrap composite struct fields through their 'wrap/unwrap' methods Hugo Guerrier 2024-03-19 18:02:43 +01:00
  • e8f64b63ce Make 'ni_field_unwrap' use the 'ni_write' function Hugo Guerrier 2024-03-18 17:22:27 +01:00
  • 54fe311e45 Make 'ni_field_wrap' use the 'ni_wrap' function Hugo Guerrier 2024-03-15 15:40:58 +01:00
  • c47a2598b3 Add util functions about wrapped nodes in JNI Hugo Guerrier 2024-03-20 13:17:58 +01:00
  • 496eb79921 Add 'equals' method on the 'Char' class Hugo Guerrier 2024-03-20 13:12:48 +01:00
  • cf8588c47f Merge branch 'topic/777' into 'master' Raphaël Amiard 2024-04-03 09:13:47 +00:00
  • a3f294ac41 XFAIL ada_api/unparsing test Raphaël AMIARD 2024-04-02 12:33:24 +02:00
  • 3394fc235b Merge branch 'sync/memory' into 'master' Raphaël Amiard 2024-03-25 16:25:09 +00:00
  • 1c95a6d428 Minor: Add missing flags from prof mode Raphaël AMIARD 2023-09-15 15:42:01 +02:00
  • 1bd26bc127 Add test for c_api symbol_type Raphaël AMIARD 2023-09-11 13:25:15 +02:00
  • a1a656010e Pack cache values Raphaël AMIARD 2023-06-20 12:24:10 +02:00
  • 1f5ba42305 Adapt lexical envs to use thin_symbols as keys Raphaël AMIARD 2023-06-14 15:54:02 +02:00
  • d4d931a6cf Add docstring for To_Symbol Raphaël AMIARD 2023-06-14 15:39:42 +02:00
  • c12a0dd969 Add Symbol.Thin primitive Raphaël AMIARD 2023-06-14 12:59:36 +02:00
  • 5c3cb8e0fb Add hash function for thin symbols Raphaël AMIARD 2023-06-14 15:39:23 +02:00
  • c9d78f71dc Adapt symbol representation: store reference to symbol table Raphaël AMIARD 2023-06-06 15:37:36 +02:00
  • 19c36ead2d Merge branch 'mr/pmderodat/lkt-empty' into 'master' Pierre-Marie de Rodat 2024-03-21 11:39:01 +00:00