Commit Graph

  • 937d92c9ce $.Introspection: remove useless conditions in templates Pierre-Marie de Rodat 2020-10-01 15:35:32 +02:00
  • c958e37e85 Fix synthetization of nodes that have lazy fields Pierre-Marie de Rodat 2020-10-12 13:50:43 +02:00
  • c3639274f2 BaseStructType.add_internal_user_įeld: make default_value mandatory Pierre-Marie de Rodat 2020-10-12 13:33:49 +02:00
  • abe8f47579 Fix wrong assumption in codegen for node field initializers Pierre-Marie de Rodat 2020-09-30 16:30:22 +02:00
  • df63a8f9eb CompiledType.add_field: reset lookup caches for all derivations Pierre-Marie de Rodat 2020-09-30 17:39:44 +02:00
  • 96b4efe0c7 Compute base type/derived types information for all compiled types Pierre-Marie de Rodat 2020-09-30 17:31:00 +02:00
  • 4a1be28a0f Update directory for gnatcov-instrumented sources Pierre-Marie de Rodat 2020-09-30 15:11:55 +02:00
  • 4c19a2d721 properties/new_node: fix testcase for Python2 Pierre-Marie de Rodat 2020-09-30 12:59:33 +02:00
  • cc8b42fe78 Ada API: fix leak in public properties on Property_Error Pierre-Marie de Rodat 2020-09-30 12:55:21 +02:00
  • a80d5e5ef8 Use simple symbols for lexical environment names Pierre-Marie de Rodat 2020-09-18 14:21:50 +02:00
  • fb5dc4e5d2 Add a DSL expression to convert strings into symbols Pierre-Marie de Rodat 2020-09-18 14:56:26 +02:00
  • 1c6ea0b368 Langkit_Support: split lexical envs Pierre-Marie de Rodat 2020-09-17 10:32:12 +02:00
  • 994bd54048 Introduce dynamic primary lexical environment Pierre-Marie de Rodat 2020-09-11 13:04:27 +02:00
  • 825ec26b0a Lexical envs: refactor to prepare for dynamic primary envs Pierre-Marie de Rodat 2020-09-09 10:31:20 +02:00
  • 82114de903 Stop emitting the declaration of bare node arrays early Pierre-Marie de Rodat 2020-09-10 17:09:18 +02:00
  • 7a353dd12b Remove special cases for arrays in templating code Pierre-Marie de Rodat 2020-09-10 16:23:36 +02:00
  • 126fb86ec2 Remove special cases for structs in templating code Pierre-Marie de Rodat 2020-09-10 15:50:00 +02:00
  • 34292f664c Remove special cases for nodes in templating code Pierre-Marie de Rodat 2020-09-10 15:13:08 +02:00
  • b229171c02 astnode_types_ada.mako: remove dead code Pierre-Marie de Rodat 2020-09-10 15:08:52 +02:00
  • 1dc996569e pkg_analysis_spec_ada.mako: remove dead code Pierre-Marie de Rodat 2020-09-10 14:58:20 +02:00
  • cb028566ff Forbid node synthetization when Self.Self_Env is foreign Pierre-Marie de Rodat 2020-09-08 15:29:36 +02:00
  • 57d9a9d83f Make node synthetization trigger PLE Pierre-Marie de Rodat 2020-09-08 15:28:57 +02:00
  • 73c31ce723 Refactor checks for foreign environments Pierre-Marie de Rodat 2020-09-07 16:51:17 +02:00
  • fed47423cf Allow synthetic node allocation in lazy field initializers Pierre-Marie de Rodat 2020-09-07 16:34:10 +02:00
  • 433dd047b9 Introduce lazy fields in nodes Pierre-Marie de Rodat 2020-09-07 16:16:44 +02:00
  • 23767e0f91 BaseStructType: new helper to create internal user fields Pierre-Marie de Rodat 2020-09-07 16:03:33 +02:00
  • a556e9b89d Langkit_Support.Symbols: fix Get_Symbol for null symbols Pierre-Marie de Rodat 2020-09-23 11:38:05 +02:00
  • 2580460fe5 Introduce the named environments mechanism Pierre-Marie de Rodat 2020-09-04 12:50:28 +02:00
  • b2f7a7d62a $.Implementation: always generate env spec helpers Pierre-Marie de Rodat 2020-09-03 18:09:17 +02:00
  • 87b19100a6 Langkit_Support.Vectors: make the Reserve primitive public Pierre-Marie de Rodat 2020-09-03 17:58:18 +02:00
  • d071ca2c6c Fix the representation of Cast/IsA expressions for debugging Pierre-Marie de Rodat 2020-09-03 10:05:03 +02:00
  • eb4ef234bf Use simpler names for node-specific pre/post env actions procedures Pierre-Marie de Rodat 2020-09-03 11:57:17 +02:00
  • e0168b2449 Testsuite: statically link test programs Pierre-Marie de Rodat 2020-09-02 17:08:46 +02:00
  • cd900089aa GDB helpers: refactor GDB value matching code Pierre-Marie de Rodat 2020-08-25 08:31:37 -04:00
  • d7e35e7ba4 Forbid add_env() in post-PLE Pierre-Marie de Rodat 2020-08-24 11:59:08 -04:00
  • fa11d4bdd3 T917-024/SA28-035: Don't use negative ranges for token slocs. Raphaël AMIARD 2020-09-21 12:51:50 +02:00
  • e0d1509f92 Minor: Fix GDB Helpers due to recent change in token sloc representation. Romain Beguet 2020-09-16 11:58:36 +02:00
  • eff5ae2cd9 T910-014: Improve App Raphaël AMIARD 2020-09-10 11:37:44 +02:00
  • 039b5aa93e Restore support for Python3.7 Pierre-Marie de Rodat 2020-09-11 13:26:53 +02:00
  • e376e0d7cf SA28-035: Correct bug in TDH.Compute_Lines_Start Raphaël AMIARD 2020-09-09 14:23:39 +02:00
  • b389a3b1b1 $.Rewriting: remove useless WITH/USE Pierre-Marie de Rodat 2020-09-08 17:19:44 +02:00
  • abbb68e949 Use gnatcov's --no-subprojects flag Pierre-Marie de Rodat 2020-09-08 17:01:04 +02:00
  • 9da902be11 ocaml_api/general: fix encoding issues on Windows Pierre-Marie de Rodat 2020-09-08 16:18:51 +02:00
  • cbd21c6d14 Add langkit_support vector get/pop test Raphaël AMIARD 2020-09-07 16:52:38 +02:00
  • b239997070 SA28-035: get rid of sloc computation in lexer implem Raphaël AMIARD 2020-09-07 16:38:18 +02:00
  • 2c845d6f41 SA28-035: Remove unused mako template helper Raphaël AMIARD 2020-08-27 10:58:56 +02:00
  • 5e0d91a342 SA28-035: LK.Bump_Ptr - Add untyped alloc APIs Raphaël AMIARD 2020-08-27 11:01:27 +02:00
  • 8f7fe71fc3 SA28-035: Add Address compiled type Raphaël AMIARD 2020-08-27 10:58:29 +02:00
  • b3d7f0c875 SA28-035: Add extension points to unit Raphaël AMIARD 2020-08-27 11:02:00 +02:00
  • 2b851d0c28 SA28-035: Pack token records Raphaël AMIARD 2020-08-21 18:23:05 +02:00
  • 3b19d67528 SA28-035: Don't store source locations in token data Raphaël AMIARD 2020-08-28 11:56:39 +02:00
  • 416f8b8f33 SA28-035: remove generic cruft Raphaël AMIARD 2020-08-28 11:07:56 +02:00
  • 750db7c826 SA28-035: Degenericize LK.Symbols/LK.Token_Data_Handlers Raphaël AMIARD 2020-08-27 10:39:45 +02:00
  • dc3b3fdb86 SA28-035: symbols on 32bits Raphaël AMIARD 2020-08-28 11:08:39 +02:00
  • f97adce560 Revert "RA22-015 Ada API: Add Unit.Text -> Text_Access overload" Raphaël AMIARD 2020-08-21 15:21:16 +02:00
  • a2e6e5b14d SA28-035: Move Text_Buffer.Get_Line to Token_Data_Handlers Raphaël AMIARD 2020-08-20 18:43:53 +02:00
  • a6d153fce9 SA28-035: Add bounds checking to LK.Vectors.Get Raphaël AMIARD 2020-08-21 12:18:13 +02:00
  • a2876b773e SA28-035: remove generic cruft in Langkit_Support.TDH/Symbols Raphaël AMIARD 2020-08-21 12:19:26 +02:00
  • 6e0450eafe $.Analysis: remove useless WITH/USE of GNATCOLL.VFS Pierre-Marie de Rodat 2020-09-02 15:40:55 +02:00
  • 7f733d4cd3 Do not generate vector types unless needed Pierre-Marie de Rodat 2020-09-02 15:40:20 +02:00
  • 470123c4ab main_parse_ada.mako: remove unused package/with clause in "parse" Pierre-Marie de Rodat 2020-08-31 16:31:26 +02:00
  • 37d26c08d6 T218-020: Reduce memory usage of test to make it work on x86 machines. Romain Beguet 2020-08-26 14:36:44 +02:00
  • 871de21723 Introduce a record to hold PLE state for a given node Pierre-Marie de Rodat 2020-08-21 15:51:35 +02:00
  • 0eae62c242 Refactor code generation for SetInitialEnv() Pierre-Marie de Rodat 2020-08-21 16:24:48 +02:00
  • 7f0def60f6 Minor: fix image of cast expressions in the debugger Pierre-Marie de Rodat 2020-08-21 15:51:03 +02:00
  • c7ae64002b Refactor processing of root scope in PLE Pierre-Marie de Rodat 2020-08-21 11:47:42 +02:00
  • f3f20ebbd8 Prevent reference from writing to foreign envs by default Pierre-Marie de Rodat 2020-08-21 10:18:03 +02:00
  • 5c56c042f9 PLE: forbid non-primary initial environments Pierre-Marie de Rodat 2020-08-21 09:58:38 +02:00
  • d6a47318fb Run pre-initial env actions only during PLE Pierre-Marie de Rodat 2020-08-21 09:38:10 +02:00
  • 9d8a8a7d61 T218-020: Avoid creating array of children during PLE. Romain Beguet 2020-03-19 18:03:46 +01:00
  • 50e26f5eba T218-020: Resolve array literal's element type before construction. Romain Beguet 2020-03-19 17:02:49 +01:00
  • 0d9a167480 OCaml bindings: for determism, add sorting for some lists Daniel Mercier 2020-08-19 18:09:34 +02:00
  • 727626ec83 Prevent set_initial_env from writing to foreign envs by default Pierre-Marie de Rodat 2020-08-19 11:33:52 +02:00
  • b3625f7888 Prevent add_to_env from writing to foreign envs by default Pierre-Marie de Rodat 2020-08-18 12:04:18 -04:00
  • 705cac4612 Create a new $.PLE_ERRORS trace for Property_Errors occurring during PLE Pierre-Marie de Rodat 2020-08-19 06:51:07 -04:00
  • 285819648c langkit.envs: track the location of EnvAction instantiations Pierre-Marie de Rodat 2020-08-18 11:02:11 -04:00
  • 8b5e9a6957 langkit.envs: add type hints Pierre-Marie de Rodat 2020-08-18 07:02:04 -04:00
  • 0d7ce9653f Langkit_Support.Diagnostics.Output.Get_Line: minor refactoring Pierre-Marie de Rodat 2020-08-14 11:30:21 -04:00
  • 984b5d1917 Add a testcase for Langkit_Support.Diagnostics.Output.Get_Line Pierre-Marie de Rodat 2020-08-14 11:29:37 -04:00
  • 321d9c15ec Minor: Fix libpythonlang availability check Raphaël AMIARD 2020-08-12 14:10:49 +02:00
  • 2d067dd67a RA22-015: Add lkt_toolbox main Raphaël AMIARD 2020-07-09 19:51:31 +02:00
  • 4a9eb188b0 RA22-015 Ada API: Add Unit.Text -> Text_Access overload Raphaël AMIARD 2020-07-09 17:53:03 +02:00
  • 85436bd3b8 RA22-015 Langkit.Diagnostics: get rid of dep on UWW_Strings Raphaël AMIARD 2020-07-09 17:22:43 +02:00
  • 9c21f4be48 RA22-015: Remove leftover tracing for property Raphaël AMIARD 2020-07-09 17:21:27 +02:00
  • 8d29d6ce75 RA22-015: Add extensions/mains as a default mains dir Raphaël AMIARD 2020-07-08 12:00:43 +02:00
  • 76075470f1 RA22-015: Implement cast expr type res + legality check + cast test Raphaël AMIARD 2020-07-07 16:25:21 +02:00
  • f23d9966a4 RA22-015: add check_correctness_post Raphaël AMIARD 2020-07-07 16:25:58 +02:00
  • 192e3d98bb Langkit_Support.Relative_Get: fix handling of negative indexes Pierre-Marie de Rodat 2020-08-13 09:10:11 -04:00
  • 553d2cf42f Add language-specific prefixes to the "parse" and "playground" executables Pierre-Marie de Rodat 2020-08-13 04:40:33 -04:00
  • f639d2099e Minor refomatting Pierre-Marie de Rodat 2020-08-13 04:29:51 -04:00
  • 78b676052a Python API: add docstrings to the generated library stubs Pierre-Marie de Rodat 2020-08-13 04:27:36 -04:00
  • 156a4e7bae README.md: bump the Python requirement to 3.8+ Pierre-Marie de Rodat 2020-08-12 08:14:01 -04:00
  • 6d88825a0c T619-037: Add missing field to App stub Raphaël AMIARD 2020-08-12 12:14:17 +02:00
  • 80ab516751 T812-010: Clean up python API pretty-printing Raphaël AMIARD 2020-08-04 13:59:13 +02:00
  • 993f247ac8 T811-021 Add support for using GNATCOLL.Memory in main programs Nicolas Setton 2020-08-11 21:51:30 -04:00
  • 7ba385404c Fix Windows build by using an executable with subprocess calls Charles Pigott 2020-08-10 16:15:24 +01:00
  • 0e69b5ffa6 Testsuite: update for new e3.testsuite semantics wrt. output refiners Pierre-Marie de Rodat 2020-08-10 16:31:57 +02:00
  • e520ed2435 $.Implementation: add a string constructor overload Pierre-Marie de Rodat 2020-08-10 15:48:04 +02:00
  • 6ec1fb9892 Qualify argument of Append Boris Yakobowski 2020-07-28 12:35:51 +02:00
  • 1b7657479d testsuite.py: forward the testsuite's exit code Pierre-Marie de Rodat 2020-07-27 12:41:45 +02:00