langkit

ada/langkit

Fork 0

mirror of https://github.com/AdaCore/langkit.git synced 2026-02-12 12:28:12 -08:00

Commit Graph

Select branches

Hide Pull Requests

18-sustained

18.0

18.1

18.2

19-sustained

19.0

19.1

19.2

20-sustained

20.0

20.1

20.2

21-sustained

21.0

21.1

21.2

22-sustained

22.0

22.1

22.2

23-sustained

23.0

23.1

23.2

24-sustained

24.0

24.1

24.2

25-sustained

25.0

25.1

25.2

26.0

26.1

26.2

a2c2-2020-stable

dependabot/pip/mako-1.2.2

gpl-2017

lts-18

lts-19

lts-20

lts-21

lts-22

master

#100

#101

#102

#103

#104

#105

#106

#107

#108

#109

#110

#111

#112

#113

#114

#115

#116

#117

#118

#119

#12

#120

#121

#122

#123

#124

#125

#126

#127

#128

#129

#13

#130

#131

#132

#133

#134

#135

#136

#137

#138

#139

#14

#140

#141

#142

#143

#144

#145

#146

#147

#148

#15

#150

#151

#152

#153

#154

#155

#156

#157

#158

#159

#16

#160

#161

#162

#163

#164

#165

#166

#167

#168

#169

#17

#170

#171

#172

#173

#174

#175

#176

#177

#178

#179

#18

#180

#181

#182

#183

#184

#185

#186

#187

#188

#189

#19

#190

#192

#193

#194

#195

#196

#197

#198

#199

#2

#2

#20

#200

#201

#202

#203

#204

#205

#206

#207

#208

#209

#21

#210

#211

#212

#213

#214

#215

#216

#217

#218

#219

#22

#220

#221

#222

#223

#224

#225

#226

#227

#228

#229

#23

#230

#231

#232

#233

#234

#236

#237

#238

#239

#24

#240

#241

#242

#243

#244

#245

#246

#247

#248

#249

#25

#250

#251

#252

#253

#254

#255

#256

#257

#258

#259

#26

#260

#261

#262

#263

#264

#265

#266

#267

#268

#269

#27

#270

#271

#272

#273

#274

#275

#276

#277

#278

#279

#28

#280

#281

#282

#283

#284

#285

#286

#287

#288

#289

#29

#290

#291

#292

#293

#294

#295

#296

#297

#298

#299

#3

#3

#30

#300

#301

#302

#303

#304

#305

#306

#307

#308

#309

#31

#310

#311

#312

#313

#314

#315

#316

#317

#318

#319

#32

#320

#321

#322

#323

#324

#325

#326

#327

#328

#329

#33

#330

#331

#332

#333

#334

#335

#336

#337

#338

#339

#34

#340

#341

#342

#343

#344

#345

#346

#347

#348

#349

#35

#350

#351

#352

#354

#355

#356

#357

#358

#359

#36

#360

#361

#363

#364

#365

#366

#367

#368

#369

#37

#370

#371

#372

#373

#374

#375

#376

#377

#378

#379

#38

#380

#381

#382

#383

#384

#385

#386

#387

#388

#389

#39

#390

#392

#393

#394

#395

#396

#397

#398

#399

#40

#400

#401

#402

#403

#404

#405

#406

#407

#408

#409

#41

#410

#411

#412

#413

#414

#415

#416

#417

#418

#419

#42

#420

#421

#422

#423

#424

#425

#426

#427

#428

#429

#43

#431

#432

#433

#434

#435

#436

#438

#439

#44

#440

#441

#442

#443

#444

#445

#446

#447

#448

#449

#45

#450

#451

#453

#454

#455

#456

#457

#458

#459

#46

#460

#461

#462

#463

#464

#465

#466

#467

#468

#469

#47

#471

#472

#473

#474

#475

#476

#477

#478

#479

#48

#480

#481

#482

#483

#484

#486

#487

#488

#489

#49

#490

#491

#493

#494

#495

#496

#497

#498

#499

#50

#500

#502

#503

#504

#505

#506

#507

#509

#51

#510

#511

#512

#513

#514

#515

#516

#517

#518

#519

#52

#520

#521

#522

#523

#524

#525

#526

#527

#528

#529

#53

#530

#531

#532

#533

#534

#535

#536

#537

#538

#539

#54

#540

#541

#542

#543

#544

#545

#546

#547

#548

#549

#55

#550

#551

#552

#553

#554

#555

#556

#557

#558

#559

#56

#560

#561

#562

#563

#564

#565

#566

#567

#568

#569

#57

#570

#571

#572

#573

#574

#575

#576

#577

#578

#58

#58

#581

#582

#583

#584

#585

#585

#586

#587

#588

#589

#59

#590

#591

#592

#593

#594

#595

#596

#597

#598

#599

#60

#600

#601

#602

#603

#604

#605

#606

#607

#608

#609

#61

#611

#612

#613

#614

#615

#616

#617

#618

#619

#62

#620

#621

#622

#623

#624

#625

#626

#627

#628

#629

#63

#630

#631

#632

#633

#634

#635

#636

#637

#638

#639

#64

#640

#641

#642

#644

#645

#646

#648

#648

#649

#65

#650

#651

#651

#652

#655

#655

#66

#67

#68

#69

#70

#71

#72

#73

#74

#75

#76

#77

#78

#79

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#97

#98

#99

dsl_unparse

v21.0.0

v22.0.0

v23.0.0

v24.0.0

v25.0.0

v26.0.0

22e61ecc4d Rewriting: add precondition checks for context consistency Pierre-Marie de Rodat 2025-04-10 12:08:47 +00:00
d3e5ee5b61 ada_api/rewriting: minor refactoring Pierre-Marie de Rodat 2025-04-09 15:37:31 +00:00
50f50f9f85 Generic API: add bindings for the rewriting features Pierre-Marie de Rodat 2025-04-09 12:29:43 +00:00
2ad057217d Merge branch 'mr/pmderodat/lkt-pred-error-validation' into 'master' Pierre-Marie de Rodat 2025-05-20 08:38:35 +00:00
2cd4302dc1 Add validity checks for predicate error message templates Pierre-Marie de Rodat 2025-05-19 14:44:17 +00:00
82d153104f Merge branch 'topic/lkt/fix_typer_for_lkt' into 'master' Rémi Segard 2025-05-19 10:27:18 +00:00
73bd520c98 Lkt: add check to verify if variable can be referenced Remi Segard 2025-05-08 17:34:02 +02:00
43782ead29 Run the Lkt typer on the Lkt spec Remi Segard 2025-04-23 14:58:06 +02:00
fb91422439 Lkt: Add null checks on get_type Remi Segard 2025-04-17 17:23:47 +02:00
41170a3062 Lkt: Allow list synthetisation with node builder Remi Segard 2025-04-17 16:06:54 +02:00
665b995d75 Merge branch 'mr/pmderodat/file-readers-windows' into 'master' Pierre-Marie de Rodat 2025-05-13 15:46:38 +00:00
f72a0a3d5d misc/file_reader: fix output canonicalization on Windows Pierre-Marie de Rodat 2025-05-13 15:12:16 +00:00
4713aec228 Merge branch 'mr/pmderodat/file-readers-memleak' into 'master' Pierre-Marie de Rodat 2025-05-13 15:15:33 +00:00
bd9ffed48e Langkit_Support.File_Readers: fix buffer leak in Composed_File_Reader Pierre-Marie de Rodat 2025-05-13 12:33:29 +00:00
b552a7c84c Merge branch 'mr/pmderodat/file-readers' into 'master' Pierre-Marie de Rodat 2025-05-12 09:28:11 +00:00
a30687e053 Merge branch 'mr/pmderodat/memleak' into '24-sustained' Pierre-Marie de Rodat 2025-05-06 15:13:51 +00:00
bc9f3c0d67 valgrind_supp/ocaml.supp: add an entry for a TLS support issue Pierre-Marie de Rodat 2025-05-05 09:48:15 +00:00
c40bb4ab8a Langkit_Support.File_Readers: add support for file stubbing Pierre-Marie de Rodat 2025-04-22 14:34:06 +00:00
b73c6fffad Hoist Virtual_File caching code to Langkit_Support Pierre-Marie de Rodat 2025-04-22 13:22:23 +00:00
48a7974763 Langkit_Support.File_Readers: make composition easier Pierre-Marie de Rodat 2025-04-22 09:38:03 +00:00
bec262063f Langkit_Support.File_Readers: reorganize the package Pierre-Marie de Rodat 2025-04-22 07:35:59 +00:00
2dc21b16b6 Merge branch 'topic/java_api/remove_shade_plugin' into 'master' Hugo Guerrier 2025-04-17 15:42:16 +00:00
b2b885e67e Add option to disable the 'shade' plugin when building generated Java bindings Hugo Guerrier 2025-04-17 11:51:03 +02:00
438ae13b9e Remove the 'shade' plugin from java support library lifecycles Hugo Guerrier 2025-04-17 11:49:45 +02:00
2d67146021 Merge branch 'topic/lkt_typer_at' into 'master' Romain Béguet 2025-04-17 09:38:36 +00:00
104c8a09b2 Handle 'at' built-in in Lkt typer. Romain Beguet 2025-04-17 11:10:47 +02:00
5fdd7027e9 Merge branch 'topic/675' into 'master' Romain Béguet 2025-04-16 15:28:34 +00:00
612dc573e6 Remove all occurrences of referenced_units. Romain Beguet 2025-03-31 11:45:29 +02:00
89ba4fd697 Merge branch 'mr/pmderodat/remove-lang-specific-unparsing' into 'master' Pierre-Marie de Rodat 2025-04-16 14:58:53 +00:00
6b23c06332 Remove the $.Unparsing package Pierre-Marie de Rodat 2025-04-08 08:31:58 +00:00
49853092b3 Merge branch 'mr/pmderodat/generic-rewriting' into 'master' Pierre-Marie de Rodat 2025-04-16 14:35:54 +00:00
3b0b02702e Hoist Internal_Lexer_Input and Reparsed_Unit types to Langkit_Support Pierre-Marie de Rodat 2025-04-04 14:16:50 +00:00
ad78ed5f01 Merge branch 'mr/pmderodat/is-error-node' into 'master' Pierre-Marie de Rodat 2025-04-16 11:02:00 +00:00
e116416bde ada_api/generic_api: update test baseline Pierre-Marie de Rodat 2025-04-16 07:37:06 +00:00
a4b2b87014 Merge branch 'mr/pmderodat/lkm-java-default' into 'master' Pierre-Marie de Rodat 2025-04-16 06:15:25 +00:00
be9b28949f lkm: fix the handling of langkit.yaml:manage_defaults:enable_java Pierre-Marie de Rodat 2025-04-14 12:39:17 +00:00
a62a7f8faa Merge branch 'mr/pmderodat/generic-direct-safety-net' into 'master' Pierre-Marie de Rodat 2025-04-16 06:15:01 +00:00
d2cc5336ee $.Implementation: TODO for an action pending resolution of a GNAT bug Pierre-Marie de Rodat 2025-04-14 08:59:58 +00:00
b74b9affff Generic API: use language-agnostic ways to fetch context version numbers Pierre-Marie de Rodat 2025-04-10 14:55:20 +00:00
aadf7c89bc Merge branch 'mr/pmderodat/invalid-null-fields' into 'master' Pierre-Marie de Rodat 2025-04-16 06:14:45 +00:00
b3aa67c8b5 Lkt: reject null parse fields when they contain list/qualifier nodes Pierre-Marie de Rodat 2025-03-28 14:07:58 +00:00
c3b5d8c1a6 Merge branch 'mr/pmderodat/unparsing-defensive-code' into 'master' Pierre-Marie de Rodat 2025-04-16 06:14:34 +00:00
9a80a9a365 Generic API: add defensive code for error cases in unparsing Pierre-Marie de Rodat 2025-04-08 09:00:25 +00:00
75937b6a8f Merge branch 'mr/pmderodat/generic-api-node-type-converters' into 'master' Pierre-Marie de Rodat 2025-04-16 06:14:20 +00:00
37791c250d Generic API: add converters for concrete node types Pierre-Marie de Rodat 2025-04-08 08:24:49 +00:00
ebac65e74e Merge branch 'mr/pmderodat/is-error-node' into 'master' Pierre-Marie de Rodat 2025-04-16 06:14:08 +00:00
cfd545d2fa Generic API: add the Is_Error_Node type reference primitive Pierre-Marie de Rodat 2025-04-03 15:10:01 +00:00
7be9e7e547 Merge branch 'topic/923' into 'master' Romain Béguet 2025-04-15 15:35:39 +00:00
258d2f3816 Add Set type. Romain Beguet 2025-04-07 15:44:54 +02:00
b73ea4b70a Merge branch 'mr/pmderodat/black' into 'master' Pierre-Marie de Rodat 2025-04-07 13:23:45 +00:00
c0d67c050a pre-commit: skip bootstrap sources Pierre-Marie de Rodat 2025-04-07 15:00:42 +02:00
3cef4df84f Merge branch 'mr/pmderodat/lkt-config-meta' into 'master' Pierre-Marie de Rodat 2025-04-07 09:29:03 +00:00
b2671f75c2 langkit.utils.deserialization: fix mypy issues Pierre-Marie de Rodat 2025-04-03 18:22:05 +00:00
cde943669f Merge branch 'mr/pmderodat/list-node-builders' into 'master' Pierre-Marie de Rodat 2025-04-07 09:28:52 +00:00
ebdd4339f6 Fix mypy issues introduced with the handling of list node builders Pierre-Marie de Rodat 2025-04-03 18:21:47 +00:00
8756a71e0f Merge branch 'topic/java_api/condition_make_on_jni' into 'master' Hugo Guerrier 2025-04-04 13:01:04 +00:00
58fb7e7b45 Only run 'make' when a Makefile is available when building Java bindings Hugo Guerrier 2025-04-04 12:12:22 +02:00
538bdba7f7 Merge branch 'mr/pmderodat/lkt-dsl-props' into 'master' Pierre-Marie de Rodat 2025-04-04 10:18:29 +00:00
259a1317dc CompiledType.dsl_name: switch to Lkt notations Pierre-Marie de Rodat 2025-04-03 12:07:02 +00:00
515b3fdbf5 Merge branch 'topic/java_api/iterable_node_list' into 'master' Hugo Guerrier 2025-04-04 09:45:18 +00:00
7e70293542 Make 'NodeList' iterable in Java API Hugo Guerrier 2025-03-07 18:14:38 +01:00
d3915ef8da Merge branch 'mr/pmderodat/lkt-config-meta' into 'master' Pierre-Marie de Rodat 2025-04-03 15:02:20 +00:00
b8d7fa75c2 langkit.config: use metaprogramming to implement JSON decoding Pierre-Marie de Rodat 2025-03-26 16:47:19 +00:00
6eabfe33ec Merge branch 'mr/pmderodat/cleanups' into 'master' Pierre-Marie de Rodat 2025-04-03 13:48:19 +00:00
cd8d66c114 langkit.parsers: update obsolete docstring Pierre-Marie de Rodat 2025-04-03 13:27:25 +00:00
0f690786e8 Merge branch 'mr/pmderodat/cleanups' into 'master' Pierre-Marie de Rodat 2025-04-03 13:25:57 +00:00
c29ad83837 langkit.expressions.boolean: create an enum type for ordering test kinds Pierre-Marie de Rodat 2025-03-24 11:15:46 +00:00
8047f72595 langkit.parsers: remove varargs Pierre-Marie de Rodat 2025-03-24 09:19:55 +00:00
59f47bbf8d langkit.parsers: remove obsolete method Pierre-Marie de Rodat 2025-03-24 09:09:31 +00:00
eaa70eebe7 Merge branch 'mr/pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2025-04-03 12:35:28 +00:00
975d690454 Enable mypy checks by default Pierre-Marie de Rodat 2025-03-21 16:18:12 +00:00
7dea4e63f5 langkit.compile_context: turn Verbosity into an IntEnum Pierre-Marie de Rodat 2025-03-21 15:07:25 +00:00
b9caf604a2 langkit.compile_context.AdaSourceKind: minor refactoring Pierre-Marie de Rodat 2025-03-21 15:05:49 +00:00
1485a9a32d ASTNodeType.internal_converter: remove unused method Pierre-Marie de Rodat 2025-03-21 11:27:09 +00:00
53f52ca092 langkit.utils: remove the unused classproperty helper Pierre-Marie de Rodat 2025-03-21 10:49:16 +00:00
12a72a1f5a langkit.utils: remove inherited_property Pierre-Marie de Rodat 2025-03-21 10:47:31 +00:00
e1a7ef5930 Merge branch 'mr/pmderodat/is-null' into 'master' Pierre-Marie de Rodat 2025-04-03 09:14:24 +00:00
1baa60c950 Properly reject is_null expressions Pierre-Marie de Rodat 2025-03-24 13:09:53 +00:00
c7a02bfc2c Merge branch 'mr/pmderodat/raise-expr' into 'master' Pierre-Marie de Rodat 2025-04-03 09:13:59 +00:00
91f7548b80 Do not crash when the return type is missing for raise expressions Pierre-Marie de Rodat 2025-03-24 13:23:02 +00:00
af1364eb86 Merge branch 'mr/pmderodat/domain' into 'master' Pierre-Marie de Rodat 2025-04-03 09:13:42 +00:00
689db0c3bf Reject invalid domain types in %domain expressions Pierre-Marie de Rodat 2025-03-24 13:27:53 +00:00
57b7411f2f Merge branch 'mr/pmderodat/list-node-builders' into 'master' Pierre-Marie de Rodat 2025-04-02 14:41:24 +00:00
afc6b13edf Allow list node synthetization with node builders Pierre-Marie de Rodat 2025-03-27 13:26:53 +00:00
c1e8ab59ac Merge branch 'mr/pmderodat/config-yaml' into 'master' Pierre-Marie de Rodat 2025-04-02 12:36:59 +00:00
f0ed9046d7 Move yaml loading code from langkit.libmanage to langkit.config Pierre-Marie de Rodat 2025-04-02 11:19:10 +00:00
b37e4c8985 Merge branch 'mr/pmderodat/cleanup' into 'master' Pierre-Marie de Rodat 2025-03-27 16:13:21 +00:00
04bf0988fe langkit.frontend.expressions: merge duplicated methods Pierre-Marie de Rodat 2025-03-27 15:47:53 +00:00
b482e6e124 Merge branch 'mr/pmderodat/null-cond-subscript' into 'master' Pierre-Marie de Rodat 2025-03-27 15:45:37 +00:00
3170ac7b33 Lkt: rework collection subscript expressions Pierre-Marie de Rodat 2025-03-25 21:23:27 +00:00
3f5c065192 Merge branch 'mr/pmderodat/black' into 'master' Pierre-Marie de Rodat 2025-03-27 13:52:49 +00:00
6cefc74c93 Set up pre-commit checks and reformat the Python sources with black Pierre-Marie de Rodat 2025-03-20 12:57:48 +00:00
cd5c13d6d8 Remove langkit.utils.types.dispatch_on_type Pierre-Marie de Rodat 2025-03-20 15:33:43 +00:00
8b6cda04bf Merge branch 'mr/pmderodat/canonicalize-line-endings' into 'master' Pierre-Marie de Rodat 2025-03-26 14:03:25 +00:00
1245cc0171 Canonicalize line endings from CRLF to LF before lexing Pierre-Marie de Rodat 2025-03-26 10:11:55 +00:00
fc50dce7b4 Merge branch 'mr/pmderodat/python-entity-type-check' into 'master' Pierre-Marie de Rodat 2025-03-26 14:03:11 +00:00
b22b9e2e64 Python API: fix type checking for entity arguments in properties Pierre-Marie de Rodat 2025-03-20 09:17:45 +00:00
24b6285c9d Merge branch 'mr/pmderodat/null-cond' into 'master' Pierre-Marie de Rodat 2025-03-26 14:02:54 +00:00
954280b1bd Lkt: cleanly reject the null-conditional operator on cast expressions Pierre-Marie de Rodat 2025-03-20 08:57:38 +00:00
8aa24c4f0c Lkt: fix the handling of ?.keep[T] expressions Pierre-Marie de Rodat 2025-03-19 21:13:04 +00:00

... 3 4 5 6 7 ...