Commit Graph

  • 8e41342e05 Minor: remove useless enumerate in templates Raphael Amiard 2016-08-09 13:53:34 +02:00
  • 5aac2ea84e OA28-063: destroy ref_units sets when destroying AU Raphael Amiard 2016-08-09 13:53:20 +02:00
  • c03233fc71 Minor: Fix debug mode for unexpected errors Raphael Amiard 2016-08-09 13:52:16 +02:00
  • 9a2c76ac35 OA28-063: Add Struct.get_user_fields method Raphael Amiard 2016-08-09 13:50:47 +02:00
  • 80a1b8ddcc OA27-034: Fix mem management in Variadic_And/Or Raphael Amiard 2016-08-09 13:49:55 +02:00
  • 323f7e16e2 OA27-034: Add Print_Relation to I_Relation Raphael Amiard 2016-08-09 13:46:01 +02:00
  • 9121cc786e OA27-034: Add Children primitive to I_Relation Raphael Amiard 2016-08-09 13:40:00 +02:00
  • 40e9f50f97 Minor: Deactivate PEP8 checks Raphael Amiard 2016-08-08 18:39:12 +02:00
  • 59afdb71c7 P726-024: Fix regression in langkit testsuite Raphael Amiard 2016-08-08 18:33:23 +02:00
  • edc39ab135 P808-008: Don't create context when not needed Raphael Amiard 2016-08-08 13:12:22 +02:00
  • 9fda8ce1f3 P808-008: Only import astdoc when needed Raphael Amiard 2016-08-08 13:10:36 +02:00
  • cc7df57f7b P526-026: Only import lib2to3 when users wants to annotate fields Raphael Amiard 2016-08-08 13:09:16 +02:00
  • 711d04b2f8 OA28-063: Add EnvNode expression Raphael Amiard 2016-08-08 11:38:11 +02:00
  • c84e764f05 OA28-063: Add the IsVisibleFrom property Raphael Amiard 2016-08-04 12:57:47 +02:00
  • ed44b9eb05 OA28-063: Add infra to have a reference graph of ref units Raphael Amiard 2016-08-04 13:01:35 +02:00
  • 2a02492635 OA28-063: langkit_property decorator now allows abstract Raphael Amiard 2016-08-04 12:44:41 +02:00
  • 9edbd82103 OA28-063: Allow abstract properties with a fn but not expr Raphael Amiard 2016-08-04 12:47:14 +02:00
  • d96673d758 Minor: ignore hidden files in extensions Raphael Amiard 2016-08-04 12:42:16 +02:00
  • 0eecf21588 Minor: Add doc to AnalysisUnit Raphael Amiard 2016-08-02 11:09:47 +02:00
  • 95814cc55a Restore the -fno-ree build option on x86_64 platforms Pierre-Marie de Rodat 2016-08-08 17:43:23 +02:00
  • 77f19e3bfb OA27-034: Fix mem leak in Adalog Raphael Amiard 2016-07-29 17:37:17 +02:00
  • d7de338fcc OA27-034: Fix test failures Raphael Amiard 2016-07-29 17:32:40 +02:00
  • 9d646078cc Minor: remove useless comment Raphael Amiard 2016-07-29 15:53:44 +02:00
  • 943b6e2ebc OA28-063: Add concat attribute Raphael Amiard 2016-07-29 15:53:34 +02:00
  • 5aad6cffba OA28-063: Add node.children built-in field Raphael Amiard 2016-07-29 15:53:08 +02:00
  • b02f5ee622 OA28-063: AbstractExpression.prepare - Explore dicts Raphael Amiard 2016-07-29 15:51:55 +02:00
  • d7893a21ab OA28-063: Emit private properties declarations on root node Raphael Amiard 2016-07-29 15:50:55 +02:00
  • cc243a2f0b OA27-034: Add missing adalog files to the project closure Raphael Amiard 2016-07-29 15:50:01 +02:00
  • 6d2f4ad9c3 P315-031: Add a missing cast Raphael Amiard 2016-07-26 12:39:18 +02:00
  • 551c1d1242 OA27-034: Fix bug in then expression Raphael Amiard 2016-07-26 11:33:26 +02:00
  • 9441a102b8 P711-023: use TypeRepo.root_node in mako templates Raphael Amiard 2016-07-25 12:24:07 +02:00
  • 5ba713d01f P711-023: use TypeRepo.root_node in expressions.base Raphael Amiard 2016-07-25 12:02:44 +02:00
  • a8db080d88 P711-023: use TypeRepo.root_node in boolean Raphael Amiard 2016-07-25 11:59:18 +02:00
  • 236e932fc6 P711-023: use TypeRepo.root_node in logic Raphael Amiard 2016-07-25 11:56:42 +02:00
  • b16db80d6a P303-009: Better error for type mismatch in overriden props Raphael Amiard 2016-07-25 11:51:40 +02:00
  • 246717f091 P303-009: construct sets AbstractExpr context Raphael Amiard 2016-07-25 11:48:11 +02:00
  • 65642179f5 P303-009: Add diagnostic context on AbstractExprs Raphael Amiard 2016-07-25 11:44:50 +02:00
  • 6fe95523b5 P303-009: Add unique id capability to diag contexts Raphael Amiard 2016-07-25 11:40:01 +02:00
  • 9206cdbc82 P303-009: Match expr, guard call to unify with an error check Raphael Amiard 2016-07-22 17:38:39 +02:00
  • a40b37a82b OA28-063: Add ability to declare abstract props with parameters Raphael Amiard 2016-07-22 17:38:04 +02:00
  • 359dae7be0 Enable warnings for all build modes in the generated library Pierre-Marie de Rodat 2016-07-29 10:48:55 +02:00
  • 0eeb775dc5 Enable assertions everywhere in dev build mode Pierre-Marie de Rodat 2016-07-29 10:47:32 +02:00
  • 0d21862611 Langkit_Support: turn warnings into errors in dev setup only Pierre-Marie de Rodat 2016-07-29 10:43:47 +02:00
  • 25144aefe0 Langkit_Support.Extensions: fix a typo Pierre-Marie de Rodat 2016-07-29 10:03:49 +02:00
  • dfd0b22ce6 Disable STV on x86 platforms for the Quex lexer Pierre-Marie de Rodat 2016-07-28 13:21:47 +02:00
  • d2e46b9d76 Add more explanations for the optimization compiler options Pierre-Marie de Rodat 2016-07-27 17:58:47 +02:00
  • 59c7d3a8f0 Enhance error message formatting Pierre-Marie de Rodat 2016-07-13 12:57:27 +02:00
  • 758041d76d Minor reformatting Pierre-Marie de Rodat 2016-07-13 12:54:46 +02:00
  • cb050d6986 Minor reformatting Pierre-Marie de Rodat 2016-07-27 17:14:53 +02:00
  • 27879cfded Disable a couple of optimizations when compiling the Quex lexer Pierre-Marie de Rodat 2016-07-27 17:08:46 +02:00
  • 1fb8ad9a30 P614-007: Update Context documentation Raphael Amiard 2016-07-12 13:40:43 +02:00
  • 3cac278257 OA28-063: Add ability to specify env metadata in add_to_env Raphael Amiard 2016-07-12 13:12:14 +02:00
  • 07e970db33 P303-009: Correct initial value for context_cache Raphael Amiard 2016-07-12 13:07:33 +02:00
  • c08f4dfa33 P711-023: TypeRepo.env_md shortcut Raphael Amiard 2016-07-12 13:05:16 +02:00
  • 554223e483 OA28-063: Add is_post option to add_to_env Raphael Amiard 2016-07-11 17:32:29 +02:00
  • fe111cd82f P303-009: Check types in IfExpr before unify Raphael Amiard 2016-07-11 17:10:23 +02:00
  • edf81d718b OA27-034: Resolve type of PropertyDef.type Raphael Amiard 2016-07-11 17:09:10 +02:00
  • 3bd24e90ae Minor: correct type annotation Raphael Amiard 2016-07-11 16:03:44 +02:00
  • ccb4120d51 P303-009: Print a specific msg + the context for internal errors Raphael Amiard 2016-07-11 16:03:26 +02:00
  • 423a09f130 P303-009: Decouple printing errors from check_source_language Raphael Amiard 2016-07-11 15:55:05 +02:00
  • 1e722b6547 P303-009: Save the context in case of exceptions Raphael Amiard 2016-07-11 15:54:30 +02:00
  • 8fe708dd6f OA28-063: Small refactoring of add to env templates Raphael Amiard 2016-07-11 17:15:58 +02:00
  • 972447d169 OA28-063: More powerful add_to_env Raphael Amiard 2016-07-08 13:54:08 +02:00
  • fc00ffdedf P711-023: TypeRepo.root_node shortcut Raphael Amiard 2016-07-11 15:43:33 +02:00
  • 9dc6b8e405 OA28-063: Add concat expression Raphael Amiard 2016-07-08 13:13:32 +02:00
  • cc794fb0b5 OA28-063: Add support for several add_to_env actions in an EnvSpec Raphael Amiard 2016-07-08 13:12:39 +02:00
  • d6bfb21e04 OA28-063: New - Do not (wrongly) reimplement fields prefix logic Raphael Amiard 2016-07-08 13:05:44 +02:00
  • 67f9d34509 Minor reformat Raphael Amiard 2016-07-08 13:04:47 +02:00
  • 7e31048aaf OA28-063: Make Env_Element conform other structs pattern Raphael Amiard 2016-07-08 13:03:45 +02:00
  • cc22333fd6 OA28-063: Arithmetic ops in the DSL Raphael Amiard 2016-07-08 11:49:31 +02:00
  • 6eb577afc0 OA28-063: Correct Get helper for ast lists Raphael Amiard 2016-07-07 13:13:46 +02:00
  • 1cdc00d65b OA28-063: Add 'filtermap' shortcut Raphael Amiard 2016-07-07 13:09:20 +02:00
  • 392fd89471 P303-009: Enhance checks in collection expressions Raphael Amiard 2016-07-07 11:15:39 +02:00
  • 68562f7284 OA28-063: Properly call inherited Do_Env_Action Raphael Amiard 2016-07-06 18:13:11 +02:00
  • 8ef1b2d065 P701-045: Some additions to Adalog traces Raphael Amiard 2016-07-05 16:32:56 +02:00
  • b309ce1383 OA27-034: Enhance checks in Predicate.construct Raphael Amiard 2016-07-05 11:48:24 +02:00
  • 23c0248547 OA27-034: Make predicate more powerful. Raphael Amiard 2016-07-05 11:37:17 +02:00
  • 3f45cd9b73 OA28-063: Return an env elements in reverse order Raphael Amiard 2016-07-05 10:22:00 +02:00
  • 72f238dde8 OA28-063: Add Reverse_Array to langkit support Raphael Amiard 2016-07-05 10:21:17 +02:00
  • ba95e60fd9 Minor: correct type annotation Raphael Amiard 2016-07-05 10:16:37 +02:00
  • f8ba3389ec P701-045: More traces Raphael Amiard 2016-07-01 17:56:25 +02:00
  • 244edc2189 OA27-034: Handle bug in Unify_LR. Raphael Amiard 2016-07-01 17:55:16 +02:00
  • e44174ed03 P701-045: Add Image/Element_Image to logic ref Raphael Amiard 2016-07-01 17:54:32 +02:00
  • 7b1daf3a8b Minor: remove obsolete TODO Raphael Amiard 2016-07-01 17:52:44 +02:00
  • 1447b28e2d P701-045: Add Dbg_Name field to logic var Raphael Amiard 2016-07-01 17:51:42 +02:00
  • d5be52f80c P701-045: Simple traces Raphael Amiard 2016-07-01 17:47:37 +02:00
  • 12573a8304 P701-045: Add Adalog.Debug package Raphael Amiard 2016-07-01 17:44:56 +02:00
  • 68c67c6fca P506-012: Relax type annotation algorithm Raphael Amiard 2016-06-30 18:04:54 +02:00
  • 2bd7d5d09e OA28-063: Allow predicates with more than 1 variable Raphael Amiard 2016-06-30 15:07:27 +02:00
  • 609a4a6aae Minor: type annotation Raphael Amiard 2016-06-30 15:06:24 +02:00
  • 268fe213cb OA28-063: Leverage Argument namedtuple in mako templates Raphael Amiard 2016-06-30 11:52:48 +02:00
  • 64e931090f OA28-063: Leverage Argument namedtuple Raphael Amiard 2016-06-30 11:48:07 +02:00
  • 81162c52c0 OA28-063: Use a namedtuple for properties arguments Raphael Amiard 2016-06-30 11:42:05 +02:00
  • 11743c77f0 OA28-063: Refactor construction of property calls Raphael Amiard 2016-06-29 19:10:41 +02:00
  • 8c1dcd3e27 Minor: update outdated comment Raphael Amiard 2016-06-29 18:51:26 +02:00
  • e235c2abcb OA28-063: Put Lexical_Env parameter at the end for properties Raphael Amiard 2016-06-29 18:46:38 +02:00
  • b6581c2214 P303-009: assert_type -> check_type Raphael Amiard 2016-06-29 18:44:57 +02:00
  • 198285510e P303-009: Add a new util, check_type Raphael Amiard 2016-06-29 18:43:21 +02:00
  • 6bdb93d411 Minor: subp box Raphael Amiard 2016-06-29 18:43:01 +02:00
  • fcff967b99 OA27-034: Add test for n predicates Raphael Amiard 2016-06-29 17:12:40 +02:00