Commit Graph

  • 7c3bb91a45 Move Bump_Ptr.Tagged_Alloc instances to $.AST.Types.Parsers' body Pierre-Marie de Rodat 2016-11-07 16:38:09 +01:00
  • b114bae12b Use specific kinds for AST lists in the generated library Pierre-Marie de Rodat 2016-11-07 15:02:02 +01:00
  • c78c77d77d Minor reformatting Pierre-Marie de Rodat 2016-11-07 12:57:12 +01:00
  • e1aa1fae6a Parsers: make sure List.compute_fields_types create its return type Pierre-Marie de Rodat 2016-11-07 13:05:47 +01:00
  • 979b75829b Fix ASTList to be a first-class ASTNode subclass in the compiler Pierre-Marie de Rodat 2016-11-07 12:38:02 +01:00
  • 664a940c66 Switch sloc-based node lookup from code gen to generic dispatching code Pierre-Marie de Rodat 2016-11-04 11:11:19 +01:00
  • 660ec729e3 compiled_types.ArrayType: add an "array" method Pierre-Marie de Rodat 2016-11-04 11:09:21 +01:00
  • 8cc6a9de29 Fix PB04-014 Raphael Amiard 2016-11-04 13:18:48 +01:00
  • debbecd112 libmanage.py: in case of subprocess failure, display the command line Pierre-Marie de Rodat 2016-11-03 12:25:53 +01:00
  • a0640543e9 Remove the legacy BoolNode subclass Pierre-Marie de Rodat 2016-11-02 18:08:36 +01:00
  • 5c7ee6f2e5 Fix various PyCharm diagnostics Pierre-Marie de Rodat 2016-11-02 18:08:26 +01:00
  • 1a6e069b20 Ada API: add convenience accessors for fields containing bool/enum nodes Pierre-Marie de Rodat 2016-11-02 17:38:24 +01:00
  • 4e78b842eb compiled_type.ASTNode: add bool/enum nodes flags to make detection easy Pierre-Marie de Rodat 2016-11-02 16:33:49 +01:00
  • f16f97a647 Don't generate accessors for overriding properties Pierre-Marie de Rodat 2016-11-02 15:26:39 +01:00
  • 10a9bf400b langkit.lexer.Case: don't assume the matcher is a Pattern instance Pierre-Marie de Rodat 2016-11-02 11:25:10 +01:00
  • d045fa270c langkit.lexer: turn PredefPattern into a Pattern subclass Pierre-Marie de Rodat 2016-11-02 11:47:14 +01:00
  • d74d99d13e langkit.lexer: remove the useless lexer argument for Matcher.render Pierre-Marie de Rodat 2016-11-02 11:18:31 +01:00
  • 5f62772be2 langkit.lexer: fix a typo Pierre-Marie de Rodat 2016-11-02 11:02:39 +01:00
  • 79b0b5eee0 PA26-041: More info in logs Raphael Amiard 2016-10-31 12:48:52 +01:00
  • ae70757742 P919-024: Guard in trivias Raphael Amiard 2016-10-28 10:30:03 +02:00
  • 8fa816d007 PA26-027: consider end_sloc as exclusive Raphael Amiard 2016-10-28 10:21:07 +02:00
  • b777c7713e P919-020: Allow Row with no subparsers Raphael Amiard 2016-10-26 15:40:21 +02:00
  • b4cedcdf1f P919-020: Opt.as_bool can generate nodes Raphael Amiard 2016-10-26 15:39:07 +02:00
  • 819c0afd22 Minor: names.Name - Correctly concat empty names Raphael Amiard 2016-10-26 15:32:31 +02:00
  • c49f71c637 P919-020: Enum node classes Raphael Amiard 2016-10-26 15:30:34 +02:00
  • 4c21125abf P919-020: Enhance BoolNode* Raphael Amiard 2016-10-26 15:01:47 +02:00
  • 01da241cda P919-024: Add the notion of ghost AST node Raphael Amiard 2016-10-25 12:03:32 +02:00
  • 732df8fc9a Minor: fix comment Raphael Amiard 2016-10-25 11:47:07 +02:00
  • b17b615342 P919-024 public-api: All empty lists are now non-null Raphael Amiard 2016-10-25 11:28:14 +02:00
  • 229c4327a4 Minor: remove ws Raphael Amiard 2016-10-25 11:22:29 +02:00
  • 59ef0c6a67 Minor: style correction Raphael Amiard 2016-10-25 11:22:12 +02:00
  • be411b8fdb P919-024 public-api: Public Is_Empty_List primitive Raphael Amiard 2016-10-25 11:15:53 +02:00
  • 41231a4272 P919-020: Add BoolNode* nodes by default Raphael Amiard 2016-10-20 13:12:15 +02:00
  • 48d3bee174 P701-045: Correct tests baseline Raphael Amiard 2016-10-20 11:34:11 +02:00
  • 15f8ad4aa0 P701-045: Correct adalog testsuite to account for changes Raphael Amiard 2016-10-20 11:32:47 +02:00
  • 3264826d5a P701-045: Correctly Free Dbg_Img when needed Raphael Amiard 2016-10-20 11:32:24 +02:00
  • 71ebe652a2 P701-045: Only pass Dbg_Img when in debug mode Raphael Amiard 2016-10-20 11:31:56 +02:00
  • df2dd85c4c P303-009: Remove useless check in property construction Raphael Amiard 2016-10-20 11:31:22 +02:00
  • 1ab146ba88 P303-009: Correct unsugar's error message Raphael Amiard 2016-10-20 11:30:48 +02:00
  • dd0d10f78d AST.Get_Child: rename the Exists formal into Index_In_Bounds Pierre-Marie de Rodat 2016-10-19 16:40:00 +02:00
  • db2cd47b21 OA27-034: Correct Free's profile in predicates Raphael Amiard 2016-10-20 11:29:52 +02:00
  • 247023947f Libmanage: fix various PyCharm diagnostics Pierre-Marie de Rodat 2016-10-19 16:38:37 +02:00
  • 1a11c5e960 OA27-034: Fix bug in PropertyDef.get_concrete_node_types Raphael Amiard 2016-10-19 15:50:47 +02:00
  • 2cdee09c60 OA27-034: Fix bug in PropertyDef.refactor_abstract_expression Raphael Amiard 2016-10-19 15:47:11 +02:00
  • 7035d69530 P701-045: Enhance debug mode for Adalog Raphael Amiard 2016-10-19 15:27:45 +02:00
  • abbf4a776f OA28-063: Add call_parents flag to EnvSpec. Raphael Amiard 2016-10-05 19:07:07 +02:00
  • cf269c9cbb Testsuite: force a rebuild of langkit_support and adalog before testing Pierre-Marie de Rodat 2016-10-18 15:12:37 +02:00
  • a032c8aaa5 N917-015: Correct no-compile-quex Raphael Amiard 2016-09-15 17:54:00 +02:00
  • 1ad1b11522 N917-015: Add no-compile-quex option to generate Raphael Amiard 2016-09-15 17:36:38 +02:00
  • 54f263688f Minor: Fix whitespace Raphael Amiard 2016-09-15 09:32:57 +02:00
  • 3e6caf8160 P912-007 public-api: Token_Type.Image returns more complete image Raphael Amiard 2016-09-15 09:28:10 +02:00
  • 72126e0a7b P912-007 public-api: Add function for iteration on token range Raphael Amiard 2016-09-14 12:03:05 +02:00
  • 44d2cac820 Minor refactor of documentation.py Raphael Amiard 2016-09-13 15:40:55 +02:00
  • 9be1320bb6 P912-007 public-api: Add function for token equivalence Raphael Amiard 2016-09-13 15:15:41 +02:00
  • b3f07138fb P506-012: Correctly handle ref-counting for reference counted envs. Raphael Amiard 2016-09-06 16:29:48 +02:00
  • 81fb974db6 OA28-063: Implement EnvSpec.ref_envs Raphael Amiard 2016-08-23 10:36:26 +02:00
  • fe137407ae Minor: style Raphael Amiard 2016-08-23 10:35:52 +02:00
  • 05a4276943 OA28-063: Move call_prop out of if/else block Raphael Amiard 2016-08-23 10:34:51 +02:00
  • 98ff9147db OA28-063: Add the filtering logic for referenced envs in Env.get Raphael Amiard 2016-08-17 17:41:39 +02:00
  • a530cb7cf3 OA28-063: Prepare reference env w. sequential semantics Raphael Amiard 2016-08-17 15:37:26 +02:00
  • 54579802be OA28-063: Remove useless use clauses Raphael Amiard 2016-08-17 17:46:14 +02:00
  • ce9022b1aa Minor: Homogenize overriding kw style Raphael Amiard 2016-08-17 15:24:34 +02:00
  • c21f8c4871 OA28-063: Add Env.get_sequential Raphael Amiard 2016-08-17 12:45:56 +02:00
  • d71405c97a OA28-063: Add infra to implement sequential semantics in lex envs Raphael Amiard 2016-08-17 12:32:00 +02:00
  • e9f673fbb9 Libmanage: add shared lib directories available to the PATH Pierre-Marie de Rodat 2016-09-02 12:17:38 +02:00
  • 0f6c690afa Reorganize build trees and use GPRinstall for installation Pierre-Marie de Rodat 2016-08-25 16:15:05 +02:00
  • 9c624a7119 Minor reformatting Pierre-Marie de Rodat 2016-08-25 15:56:00 +02:00
  • 93fbfbc5d7 Minor: Fix pycharm warnings Raphael Amiard 2016-08-16 11:57:34 +02:00
  • 3959bfcd90 P809-022: Transition logic solve to auto_attr Raphael Amiard 2016-08-10 18:07:06 +02:00
  • 2442775f93 P809-022: Transition logic get value to auto attr Raphael Amiard 2016-08-10 18:06:48 +02:00
  • df9f6d6c24 P809-022: Transition logic domain to auto attr Raphael Amiard 2016-08-10 18:05:51 +02:00
  • 635d5e7328 P809-022: Transition some collection exprs to auto_attr{_custom} Raphael Amiard 2016-08-10 18:04:19 +02:00
  • c6731a8dfc P809-022: Transition EnvGet exprs to auto_attr_custom Raphael Amiard 2016-08-10 15:42:21 +02:00
  • aca089803f P809-022: Transition eval_in_env to auto_attr Raphael Amiard 2016-08-10 15:41:24 +02:00
  • cb33d64e03 P809-022: Transition env_orphan to auto_attr Raphael Amiard 2016-08-10 15:39:54 +02:00
  • 67da4166ef P809-022: Introduce auto_attr_custom Raphael Amiard 2016-08-10 15:36:28 +02:00
  • 328ad0ea2d P809-022: Transition env_group to auto_attr Raphael Amiard 2016-08-10 15:12:02 +02:00
  • ac6d6842fc P809-022: Transition is_visible_from to auto_attr Raphael Amiard 2016-08-10 15:10:25 +02:00
  • fe69c734ed P809-022: Transition env_node to auto_attr Raphael Amiard 2016-08-10 15:09:41 +02:00
  • 52178d52a4 P809-022: Add auto_attr decorator helper Raphael Amiard 2016-08-10 15:07:18 +02:00
  • 0f83fa317f P809-022: Remove AbstractExpression.attrs Raphael Amiard 2016-08-10 13:26:30 +02:00
  • 827032eeb8 P809-022: Transition remaining exprs to attr_call Raphael Amiard 2016-08-10 13:16:56 +02:00
  • 9ad6befb77 P809-022: Transition logic exprs to attr_call Raphael Amiard 2016-08-10 13:16:37 +02:00
  • 242b5f10a9 P809-022: Transition binary boolean operators to attr_call Raphael Amiard 2016-08-10 13:00:45 +02:00
  • 37235610ff P809-022: Transition remaining collection exprs to attr_call Raphael Amiard 2016-08-10 12:20:03 +02:00
  • f5c965d4a5 P809-022: Transition map-based exprs to attr_call Raphael Amiard 2016-08-10 12:18:58 +02:00
  • 1db37c457c P809-022: attr_expr for simple collection expressions Raphael Amiard 2016-08-09 18:31:24 +02:00
  • 3cc9664e45 P809-022: More attr_expr Raphael Amiard 2016-08-09 18:27:28 +02:00
  • 193d2df186 P809-022: use attr_expr for symbol Raphael Amiard 2016-08-09 18:21:07 +02:00
  • 086cb4f9c7 P809-022: use attr_expr for is_a Raphael Amiard 2016-08-09 18:20:23 +02:00
  • de25ee8bff P809-022: use attr_expr for casts Raphael Amiard 2016-08-09 18:19:42 +02:00
  • 1b3e9b8bde P809-022: use attr_expr for quantifiers Raphael Amiard 2016-08-09 18:15:34 +02:00
  • c016d8a377 P809-022: use attr_expr for expressions in envs Raphael Amiard 2016-08-09 18:07:25 +02:00
  • f756e80c7b P809-022: Add the attr_expr decorator Raphael Amiard 2016-08-09 18:07:03 +02:00
  • 065df34a2b P729-008: fix Node lookup to not fail on null sloc in dev mode Raphael Amiard 2016-08-09 15:52:53 +02:00
  • 0e61a59d39 OA28-063: Add missing temp variables for refcounted exprs Raphael Amiard 2016-08-09 13:58:51 +02:00
  • 8d689bd457 OA28-063: Free logic variables when destroying AST Raphael Amiard 2016-08-09 13:56:35 +02:00
  • 180b488da5 OA27-034: Add Destroy on logic var Raphael Amiard 2016-08-09 13:55:48 +02:00
  • 2a1755a619 OA28-063: Traverse AST in all cases when destroying Raphael Amiard 2016-08-09 13:55:05 +02:00
  • 704dee9b56 Minor: Remove erroneous TODO Raphael Amiard 2016-08-09 13:54:28 +02:00