Commit Graph

  • e04bd7275b W117-011: Extend timeout mechanism to cover complete topo sort failures. Romain Beguet 2023-01-23 14:47:28 +01:00
  • 8f2dbfea3a W117-011: Improve quality of contradictions for failed toposorts. Romain Beguet 2023-01-19 21:46:43 +01:00
  • 2541457356 W130-022 Correct the C API 'node_unit' and 'token_is_equivalent' Hugo GUERRIER 2023-01-27 10:02:31 +01:00
  • 2ec85393e6 memoization_ada.mako: refactor exception handling Pierre-Marie de Rodat 2023-01-23 09:07:35 +00:00
  • be3f487ad4 .gitlab-ci.yml: fix testing Pierre-Marie de Rodat 2023-01-23 12:35:47 +00:00
  • c93b10c5e8 .gitlab-ci.yml: remove trailing whitespaces Pierre-Marie de Rodat 2023-01-23 12:31:01 +00:00
  • 5dcd185648 langkit_support-lexical_envs_impl.adb: minor rewording Pierre-Marie de Rodat 2023-01-20 13:14:25 +00:00
  • 15267cdde3 Fix a few typos in documentation Oliver Kellogg 2022-10-23 17:32:09 +02:00
  • d1fd82df3f Switch to the No_Strict_Aliasing pragma when possible Pierre-Marie de Rodat 2023-01-18 13:41:49 +00:00
  • d62ec2e1ac Download CI build & test deps from cathod Boris Yakobowski 2023-01-12 10:01:19 +00:00
  • 3172c9d80e langkit.emitter: add a missing type annotation Pierre-Marie de Rodat 2023-01-12 16:27:13 +00:00
  • c585632f6f Improve suppression file for OCaml Daniel Mercier 2022-12-05 16:29:26 +01:00
  • 311f163eb9 VB22-027: Inline AdaSAT in generated standalone libraries. Romain Beguet 2023-01-08 16:20:05 +01:00
  • 31ea68a29f VB22-027: Add AdaSAT to list of packaged libraries. Romain Beguet 2023-01-04 17:06:55 +01:00
  • 7ab2eb8969 VB22-027: Do not reverse the order of the equations. Romain Beguet 2022-11-28 14:46:43 +01:00
  • 63454f1b13 VB22-027: Implement a SAT-based solver for Adalog. Romain Beguet 2022-06-06 18:31:23 +02:00
  • 02c2040c95 VB22-027: Optimize logic var aliasing. Romain Beguet 2022-11-17 17:09:39 +01:00
  • ac9b4cd3be langkit.gdb.tdh.Token: fix pointer arithmetic code Pierre-Marie de Rodat 2023-01-06 11:21:06 +00:00
  • 7ac0993549 Langkit_Support.Text: add a To_Lower overload for Text_Type Pierre-Marie de Rodat 2023-01-06 09:38:05 +00:00
  • 33127ce82a Remove the recursion guard for properties and parsers Pierre-Marie de Rodat 2022-12-15 10:46:33 +00:00
  • 0e389c8512 Memoization: fix performance regression in all memoized properties Pierre-Marie de Rodat 2022-12-14 15:28:10 +00:00
  • 115f0c55e0 $.Rewriting: enhance doc wrt handle lifetimes Pierre-Marie de Rodat 2022-12-13 13:32:41 +00:00
  • 0e4e1f7226 python_api/app: fix propagation of path_wrapper to subprocesses 23.1 Pierre-Marie de Rodat 2022-12-05 09:47:51 +00:00
  • 8cfeaae439 C API: split analysis context allocation/initialization Pierre-Marie de Rodat 2022-11-16 09:40:11 +00:00
  • 971b1f059c Python API: allow App subclasses to associate event handlers to contexts Pierre-Marie de Rodat 2022-11-10 12:39:31 +00:00
  • 1ee873e139 python_api/app: refactor testcase Pierre-Marie de Rodat 2022-11-10 12:23:32 +00:00
  • 48bd6005f0 python_support/path_wrapper.py: fix sys.argv for the script to run Pierre-Marie de Rodat 2022-11-10 12:22:09 +00:00
  • b53ffbedf6 python_api/python_app: rename to python_api/app Pierre-Marie de Rodat 2022-11-10 12:03:01 +00:00
  • a8dd47515c Python API: bind the event handler API Pierre-Marie de Rodat 2022-11-10 10:47:15 +00:00
  • 0fce4b5109 c_api/event_handler: new testcase Pierre-Marie de Rodat 2022-11-09 14:08:06 +00:00
  • 418d9856eb Unit_Requested_Callback: ensure Reparse=False for first parsing Pierre-Marie de Rodat 2022-11-09 12:26:55 +00:00
  • e0a7268316 ada_api/event_handler: tidy up and enhance Pierre-Marie de Rodat 2022-11-09 12:24:29 +00:00
  • 490a33de9f misc/event_handler: move testcase to ada_api/ Pierre-Marie de Rodat 2022-11-09 09:58:11 +00:00
  • 590306d8bf langkit.documentation: add missing doc for create_context/event_handler Pierre-Marie de Rodat 2022-11-09 09:53:24 +00:00
  • 2f9dfa7256 Add App.default_get_files mechanism to Python API Raphaël AMIARD 2022-10-21 14:44:18 +02:00
  • 16b721b462 misc/c_exc_name: new testcase Pierre-Marie de Rodat 2022-10-20 14:38:29 +00:00
  • 221cb48ab6 Testsuite: include C in test projects only optionally Pierre-Marie de Rodat 2022-10-20 11:55:22 +00:00
  • 860ad92f09 C API: add a getter for exception names, for testing purposes Pierre-Marie de Rodat 2022-10-19 14:48:26 +00:00
  • fd7086d576 create-project.py: forward verbosity option Ronan Desplanques 2022-08-03 10:25:06 +02:00
  • b298a62b39 python_api/app: fix propagation of path_wrapper to subprocesses Pierre-Marie de Rodat 2022-12-05 09:47:51 +00:00
  • 173055263e U607-013: Add Node.Equals function Raphaël AMIARD 2022-11-04 12:18:10 +01:00
  • 3dd61e854d V825-017: Use proper MD comparison in the Langkit_Support generic API Raphaël AMIARD 2022-11-18 15:40:52 +01:00
  • 81673581ee V825-017: Enhance equality & hash for env metadata Raphaël AMIARD 2022-09-01 13:36:13 +00:00
  • c949558de5 V825-017: Use proper MD comparison in the Langkit_Support generic API Raphaël AMIARD 2022-11-18 15:40:52 +01:00
  • d77ecb1932 CI: use relative paths in jobs:artifacts:paths Pierre-Marie de Rodat 2022-11-23 12:36:16 +00:00
  • 0b029ac1b0 C API: split analysis context allocation/initialization Pierre-Marie de Rodat 2022-11-16 09:40:11 +00:00
  • 52297d3c8c Python API: allow App subclasses to associate event handlers to contexts Pierre-Marie de Rodat 2022-11-10 12:39:31 +00:00
  • dc16344d15 python_api/app: refactor testcase Pierre-Marie de Rodat 2022-11-10 12:23:32 +00:00
  • 869141de11 python_support/path_wrapper.py: fix sys.argv for the script to run Pierre-Marie de Rodat 2022-11-10 12:22:09 +00:00
  • 5c9eea0853 python_api/python_app: rename to python_api/app Pierre-Marie de Rodat 2022-11-10 12:03:01 +00:00
  • c6adec40a2 Python API: bind the event handler API Pierre-Marie de Rodat 2022-11-10 10:47:15 +00:00
  • 83c26aa941 c_api/event_handler: new testcase Pierre-Marie de Rodat 2022-11-09 14:08:06 +00:00
  • 641d49088e Unit_Requested_Callback: ensure Reparse=False for first parsing Pierre-Marie de Rodat 2022-11-09 12:26:55 +00:00
  • 62c62524d9 ada_api/event_handler: tidy up and enhance Pierre-Marie de Rodat 2022-11-09 12:24:29 +00:00
  • c1b581cf3c misc/event_handler: move testcase to ada_api/ Pierre-Marie de Rodat 2022-11-09 09:58:11 +00:00
  • 5215112003 langkit.documentation: add missing doc for create_context/event_handler Pierre-Marie de Rodat 2022-11-09 09:53:24 +00:00
  • e72edef976 Fix possible dangling references Daniel Mercier 2022-11-17 15:43:09 +01:00
  • e5d996f356 U607-013: Add Node.Equals function Raphaël AMIARD 2022-11-04 12:18:10 +01:00
  • 679ee5c658 Properties: preserve the exception message for memoized properties Pierre-Marie de Rodat 2022-07-07 08:32:40 +00:00
  • 264582b072 Properties: do not overwrite cache entries for memoized exceptions Pierre-Marie de Rodat 2022-07-07 13:22:07 +00:00
  • 4e3f58db81 properties/def_ada.mako: minor reformatting Pierre-Marie de Rodat 2022-07-07 12:43:04 +00:00
  • 01967aaef8 REQUIREMENTS.dev: add missing dependency to pytest Pierre-Marie de Rodat 2022-11-21 10:01:51 +00:00
  • bf33ee5c7d langkit.stylechecks: migrate tests to pytest and fix typing issue Pierre-Marie de Rodat 2022-11-16 09:39:54 +00:00
  • 3a3eb9cd2e C/Python/OCaml APIs: merge "entity_repr" and "node_repr" Pierre-Marie de Rodat 2022-11-07 13:24:33 +00:00
  • 6a28effb0d langkit.stylechecks: reject missing newline at end of file Pierre-Marie de Rodat 2022-11-07 15:54:16 +00:00
  • 9cc63d5392 langkit.stylechecks.tests: switch to dataclasses Pierre-Marie de Rodat 2022-11-07 15:53:27 +00:00
  • 02d7a2cd83 Bind file readers in OCaml bindings Daniel Mercier 2022-10-12 13:59:29 +02:00
  • 931fb69083 Add generic language specific extensions for OCaml bindings Daniel Mercier 2022-10-12 13:55:46 +02:00
  • 8a0e702a52 langkit.emitter: remove dead code Pierre-Marie de Rodat 2022-11-07 16:04:25 +00:00
  • 71a540b027 c_api/header_c.mako: new general purpose extension point at the end Pierre-Marie de Rodat 2022-10-14 08:19:48 +00:00
  • 688c61a432 Rewriting: fix a crash when processing a null child in a list Pierre-Marie de Rodat 2022-10-07 15:14:40 +00:00
  • 201254044e Fix codegen for derived nodes in property argument default values Pierre-Marie de Rodat 2022-11-03 09:01:51 +00:00
  • 642f17e237 File readers: allow both diagnostics and contents in a result Pierre-Marie de Rodat 2022-10-19 07:51:41 +00:00
  • 42c1cbe210 utils/release-langkit_support.sh: update for 23.0 Pierre-Marie de Rodat 2022-10-21 16:51:31 +02:00
  • a4c7be1865 Add App.default_get_files mechanism to Python API Raphaël AMIARD 2022-10-21 14:44:18 +02:00
  • a50212d108 Relax detection of CIs that rebuild the artifact Boris Yakobowski 2022-10-26 10:14:31 +00:00
  • 4e27742b7e Run tests by default Boris Yakobowski 2022-10-25 17:16:54 +00:00
  • 250f0b23fe Update .gitlab-ci.yml file Boris Yakobowski 2022-10-25 17:15:07 +00:00
  • 9f35b46acb Bind file readers in OCaml bindings Daniel Mercier 2022-10-12 13:59:29 +02:00
  • be5996f1a4 Add generic language specific extensions for OCaml bindings Daniel Mercier 2022-10-12 13:55:46 +02:00
  • 5c98a4308e CI: publish the XUnit report even when there are regressions Pierre-Marie de Rodat 2022-10-21 15:05:34 +02:00
  • ee59387833 CI: fix regexps for sync branches Pierre-Marie de Rodat 2022-10-21 14:05:07 +02:00
  • 4f179e2bdc CI: add a name to the testsuite report Pierre-Marie de Rodat 2022-10-21 13:46:39 +02:00
  • 7638ff0726 CI: add "trigger: always" for XUnit report artifacts Pierre-Marie de Rodat 2022-10-20 17:08:52 +02:00
  • f6b3f58b1c misc/c_exc_name: new testcase Pierre-Marie de Rodat 2022-10-20 14:38:29 +00:00
  • aacdcfb2a5 CI: publish the XUnit report even when there are regressions Pierre-Marie de Rodat 2022-10-20 15:49:02 +02:00
  • 8c512cd1d0 CI: make sure we build libadalang_for_customers Pierre-Marie de Rodat 2022-10-20 14:27:37 +02:00
  • c9185d7cf2 CI: build and ship langkit_support Pierre-Marie de Rodat 2022-10-19 17:08:01 +02:00
  • 9543011923 CI: minor refactoring Pierre-Marie de Rodat 2022-10-19 17:06:05 +02:00
  • 558f53748f Testsuite: include C in test projects only optionally Pierre-Marie de Rodat 2022-10-20 11:55:22 +00:00
  • 3a838da876 C API: add a getter for exception names, for testing purposes Pierre-Marie de Rodat 2022-10-19 14:48:26 +00:00
  • b7abb55331 misc/docstrings_lkt_roles: remove useless files and robustify Pierre-Marie de Rodat 2022-10-10 11:22:56 +00:00
  • 96523888db c_api/header_c.mako: new general purpose extension point at the end Pierre-Marie de Rodat 2022-10-14 08:19:48 +00:00
  • bcd51f9526 CI: fix the package upload Nicolas Setton 2022-10-19 08:32:37 +00:00
  • 152f32d6b8 Simplify the CI - move to a single-repo CI Nicolas Setton 2022-10-18 16:11:14 +00:00
  • c0c3a346a8 Adjustments to the GitLab CI Nicolas Setton 2022-10-17 12:07:17 +00:00
  • 7cf7d5c60a Rework the GitLab CI pipeline Nicolas Setton 2022-10-13 10:15:49 +01:00
  • 4994e8b9f8 V825-017: Enhance equality & hash for env metadata Raphaël AMIARD 2022-09-01 13:36:13 +00:00
  • a638facb03 V622-017: Fix env grouping with non-default metadata. v23.0.0 23.0 Romain Beguet 2022-08-16 11:06:04 +02:00
  • 540f2d3242 langkit/parsers.py: support Cut in Opt subparser Laurent Thévenoux 2022-04-20 15:15:39 +02:00