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

65d8e07ca4 Merge branch 'topic/java_api/member_references' into 'master' Hugo Guerrier 2024-07-11 10:53:29 +00:00
302c01e265 Java API: Add member reference in the reflection field structure Hugo Guerrier 2024-07-08 14:47:33 +02:00
2e08b0f3df Merge branch 'sync/mr/pmderodat/lkt-lazy-field-access-syntax' into 'master' Pierre-Marie de Rodat 2024-07-11 09:08:07 +00:00
0f9053424b FieldAccess: reject the call syntax for lazy fields Pierre-Marie de Rodat 2024-07-11 08:06:53 +00:00
c9efe8b660 dsl_unparse: fix the unparsing of lazy fields Pierre-Marie de Rodat 2024-07-11 07:43:06 +00:00
0454fa8f51 Merge branch 'mr/pmderodat/decode_big_buffer' into 'master' Pierre-Marie de Rodat 2024-07-11 08:14:21 +00:00
83ffc739dc Langkit_Support.File_Readers.Decode_Buffer: correctly handle big buffers Pierre-Marie de Rodat 2024-07-10 11:33:13 +00:00
ebd11f479e Merge branch 'mr/pmderodat/lkt-list-sep' into 'master' Pierre-Marie de Rodat 2024-07-10 14:07:03 +00:00
e74d2fe66a List parsers: allow separator to come first or last Pierre-Marie de Rodat 2024-07-08 14:19:06 +00:00
c27e23d94a templates/parsers/list_code_ada.mako: minor reformatting Pierre-Marie de Rodat 2024-07-08 14:19:14 +00:00
574380304c List.__init__: remove useless dynmic kwargs Pierre-Marie de Rodat 2024-07-08 13:12:23 +00:00
84ee81b9c0 Merge branch 'mr/pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2024-07-10 13:59:40 +00:00
c3ed054af5 Unparsing: fix the handling of comments that immedialely precede groups Pierre-Marie de Rodat 2024-07-05 11:23:35 +00:00
421d55e999 Unparsing: fix a typo Pierre-Marie de Rodat 2024-07-05 11:22:39 +00:00
88b24fe021 Unparsing: minor refactoring Pierre-Marie de Rodat 2024-07-05 09:42:36 +00:00
a351ff18e4 Merge branch 'mr/pmderodat/unparsing-group-id-instantiation' into 'master' Pierre-Marie de Rodat 2024-07-10 13:40:25 +00:00
d627b11962 Unparsing: fix generation of group ids Pierre-Marie de Rodat 2024-07-02 15:08:16 +00:00
73ed530713 Merge branch 'mr/pmderodat/lkt-unparsing' into 'master' Pierre-Marie de Rodat 2024-07-10 13:40:10 +00:00
c14becfc57 $.Rewriting: use qualified name to avoid a name clash Pierre-Marie de Rodat 2024-07-09 09:28:57 +00:00
75399c5744 Lkt: introduce new list types to account for different separators Pierre-Marie de Rodat 2024-07-09 08:37:45 +00:00
32e08cad2c Lkt: introduce dedicated node types for (pattern) string literals Pierre-Marie de Rodat 2024-07-05 14:51:28 +00:00
69334975cf Lkt: produce trivias for whitespaces instead of ignoring them Pierre-Marie de Rodat 2024-07-05 14:51:11 +00:00
2046ff1a48 Unparsers: remove obsolete type annotations Pierre-Marie de Rodat 2024-07-09 08:22:03 +00:00
604be1b880 Unparsers: correctly handle special tokens Pierre-Marie de Rodat 2024-07-05 14:38:17 +00:00
785dd00675 Unparsers: refactor additions to TokenSequenceUnparser instances Pierre-Marie de Rodat 2024-07-05 14:37:59 +00:00
7a31065004 Merge branch 'mr/pmderodat/lkt-path' into 'master' Pierre-Marie de Rodat 2024-07-10 13:39:59 +00:00
2a4706a6dd Lkt: make it possible to create the unit provider in the Python API Pierre-Marie de Rodat 2024-07-10 12:26:43 +00:00
abf398a63b Merge branch 'mr/pmderodat/unparsing-error' into 'master' Pierre-Marie de Rodat 2024-07-10 13:39:46 +00:00
9ed337adb6 Unparsing: main exits with failure for unparsing config loading errors Pierre-Marie de Rodat 2024-07-09 14:18:38 +00:00
3d11d7427e Merge branch 'mr/pmderodat/lkt' into 'master' Pierre-Marie de Rodat 2024-07-10 13:10:14 +00:00
c67ca8199c Lkt: fix an illegal construct for unparsers Pierre-Marie de Rodat 2024-07-05 12:05:58 +00:00
fdb42c36f5 Unparsers: fix a crash for pick parsers in or parsers Pierre-Marie de Rodat 2024-07-05 12:42:54 +00:00
906bb58286 Unparsers: add parser info in assertion error message Pierre-Marie de Rodat 2024-07-05 12:06:04 +00:00
5fd69f35eb langkit.parsers: simplify Parser.__repr__ Pierre-Marie de Rodat 2024-07-05 12:04:12 +00:00
0d8c20fdad Unparsers: simplify error messages Pierre-Marie de Rodat 2024-07-05 12:16:51 +00:00
4126827002 Merge branch 'topic/solver_trace' into 'master' Romain Béguet 2024-07-10 09:27:45 +00:00
578bcf7d66 Improve solver trace in case of cyclic dependencies. Romain Beguet 2024-07-09 12:11:25 +02:00
9e8da30836 Merge branch 'mr/pmderodat/lkt-bind' into 'master' Pierre-Marie de Rodat 2024-07-08 13:45:11 +00:00
da646e8dd5 Lkt lowering: fix lowering of dynvars in blocks Pierre-Marie de Rodat 2024-07-08 12:50:03 +00:00
f79f5ff703 Merge branch 'mr/pmderodat/lkt' into 'master' Pierre-Marie de Rodat 2024-07-05 09:44:12 +00:00
dba8ecb163 Lkt lowering: hoist local dataclass type creations Pierre-Marie de Rodat 2024-07-05 08:41:36 +00:00
dd6771ccbd Merge branch 'mr/pmderodat/lkt-specialize-builtin-types' into 'master' Pierre-Marie de Rodat 2024-07-04 14:05:33 +00:00
a1c844d5ee Lkt: remove the root type argument for builtin generic types Pierre-Marie de Rodat 2024-07-04 12:18:26 +00:00
68e77cec4a Merge branch 'topic/romain_dsl_unparse' into 'master' Romain Béguet 2024-07-03 09:08:52 +00:00
05362a5e93 Improve style and fix formatting issues in dsl_unparse. Romain Beguet 2024-06-27 17:49:11 +02:00
85aa64d1ad Merge branch 'prettier-ada_issue_17' into 'master' João Azevedo 2024-07-02 15:53:50 +00:00
ac4bfff285 Adapt to Prettier-Ada builders API change Joao Azevedo 2024-07-02 12:59:23 +00:00
d55fcbfdfe Merge branch 'mr/pmderodat/trivias-info-leak' into 'master' Pierre-Marie de Rodat 2024-07-02 12:56:03 +00:00
266f05b5a8 Unparsing: add missing memory deallocations Pierre-Marie de Rodat 2024-07-02 09:59:17 +00:00
46b746b9d9 Merge branch 'topic/fix_dyn_var_eq' into 'master' Romain Béguet 2024-07-02 09:45:24 +00:00
eab8ed4ceb Fix equality test on DynamicVariable. Romain Beguet 2024-07-02 10:49:10 +02:00
c06df9698f Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2024-07-02 09:23:59 +00:00
29bb7e7f8c Revert "gdb_helpers: add XFAIL" Pierre-Marie de Rodat 2024-07-02 10:31:04 +02:00
0b05d34573 Merge branch 'mr/pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2024-07-02 09:04:02 +00:00
78e9c867ce Unparsing: ignore trivias surrounding non-root nodes Pierre-Marie de Rodat 2024-06-21 09:03:25 +00:00
9136108fef Unparsing: always reattach trivias that come after list children Pierre-Marie de Rodat 2024-06-20 14:30:02 +00:00
e314de3a29 Unparsing: make it possible to unparse an arbitrary node from the main Pierre-Marie de Rodat 2024-06-20 13:50:33 +00:00
03387acb74 Unparsing: eagerly compute unparsing fragments for trivias Pierre-Marie de Rodat 2024-06-19 09:16:04 +00:00
f7a41876b8 Unparsing: remove dead code Pierre-Marie de Rodat 2024-06-17 14:16:18 +00:00
a37fb1be53 Merge branch 'mr/pmderodat/gdb' into 'master' Pierre-Marie de Rodat 2024-06-28 15:43:42 +00:00
f826c16b40 gdb_helpers: add XFAIL Pierre-Marie de Rodat 2024-06-28 13:03:43 +00:00
e33345ea32 Merge branch 'topic/fix_java_bindings_naming' into 'master' Hugo Guerrier 2024-06-28 09:51:28 +00:00
d030b8bbcf Rename the 'Param' class and remove the 'ParamWithDefaultValue' one Hugo Guerrier 2024-06-25 12:30:01 +02:00
7f93104f92 Merge branch 'mr/pmderodat/lkt-trivia-comment' into 'master' Pierre-Marie de Rodat 2024-06-28 09:07:41 +00:00
c87bf082f5 dsl_unparse: add support for @trivia's "comment" argument Pierre-Marie de Rodat 2024-06-21 15:52:10 +00:00
0fa47aaf9a Merge branch 'sync/mr/pmderodat/token-kind-order' into 'master' Pierre-Marie de Rodat 2024-06-28 09:07:20 +00:00
f06c6bb71e Sort token kinds by name in public APIs Pierre-Marie de Rodat 2024-06-24 13:07:48 +00:00
9d24dfd235 Merge branch 'mr/pmderodat/generic_api' into 'master' Pierre-Marie de Rodat 2024-06-28 08:42:10 +00:00
daf1aa4937 Generic API: bind the Lookup function for nodes Pierre-Marie de Rodat 2024-06-20 13:40:14 +00:00
33b74bd751 Merge branch 'mr/pmderodat/lkt-token-name-conv' into 'master' Pierre-Marie de Rodat 2024-06-28 08:41:39 +00:00
ec4872e418 Lkt: change naming convention for token names for lower to camel Pierre-Marie de Rodat 2024-06-20 11:22:42 +00:00
0de34a6102 Merge branch 'mr/pmderodat/lkt-ref-cats-order' into 'master' Pierre-Marie de Rodat 2024-06-26 14:25:20 +00:00
42227c8d4d Lkt lowering: register ref categories before lowering expressions Pierre-Marie de Rodat 2024-06-26 13:24:35 +00:00
9345662ec0 Merge branch 'topic/rebindings_env_assoc' into 'master' Romain Béguet 2024-06-26 13:29:06 +00:00
c9fdbb3b88 Allow custom rebindings in inner_env_assoc. Romain Beguet 2024-06-19 15:20:34 +02:00
4015abfa05 Set default value to inner_env_assoc's metadata field. Romain Beguet 2024-06-19 15:20:08 +02:00
23e55fd1cd Merge branch 'mr/pmderodat/null-qualifier' into 'master' Pierre-Marie de Rodat 2024-06-26 08:57:11 +00:00
00f85039cc Null parser: make them create the "absent" node for bool nodes Pierre-Marie de Rodat 2024-06-25 12:51:31 +00:00
b538774505 Merge branch 'mr/pmderodat/lk-lexing-rules-order' into 'master' Pierre-Marie de Rodat 2024-06-26 08:56:54 +00:00
5b542ef442 Lkt lowering: lower lexing rules in the expected order Pierre-Marie de Rodat 2024-06-20 10:17:37 +00:00
a29bc8a8cf grammar/case_rule: fix filenames for dsl_unparsing Pierre-Marie de Rodat 2024-06-20 10:16:39 +00:00
f5b792d176 Merge branch 'mr/pmderodat/lkt-lambda-arg-vars' into 'master' Pierre-Marie de Rodat 2024-06-26 08:55:09 +00:00
f214537442 Lkt lowering: fix name generation for lambda arg variables Pierre-Marie de Rodat 2024-06-13 15:04:11 +00:00
82066fdc09 Merge branch 'mr/pmderodat/lkt-abstract-rt-args' into 'master' Pierre-Marie de Rodat 2024-06-26 08:54:57 +00:00
3ff2217bc9 dsl_unparse: mark arguments for "abstract rt. check" props as @ignored Pierre-Marie de Rodat 2024-06-13 09:53:40 +00:00
7dacd64335 Merge branch 'mr/pmderodat/lkt-match-capturing-vars' into 'master' Pierre-Marie de Rodat 2024-06-26 08:54:31 +00:00
d77b9e4ff1 Lkt: fix local var creation for match capturing variables Pierre-Marie de Rodat 2024-06-13 14:43:09 +00:00
e4f1d40f57 Merge branch 'mr/pmderodat/lkt-ignored-props' into 'master' Pierre-Marie de Rodat 2024-06-26 08:54:17 +00:00
7414ecdefd Lkt lowering: inherit the @ignored property annotation Pierre-Marie de Rodat 2024-06-13 14:24:29 +00:00
964b632d9d dsl_unparse: generate @ignored on properties when appropriate Pierre-Marie de Rodat 2024-06-13 13:49:29 +00:00
10a9c2f379 Merge branch 'mr/pmderodat/lkt-lambda-arg-types' into 'master' Pierre-Marie de Rodat 2024-06-26 08:53:44 +00:00
f3c9f229f2 Lkt: allow and verify type annotations for lambda arguments Pierre-Marie de Rodat 2024-06-12 15:14:32 +00:00
b56fca2171 Merge branch 'sync/mr/pmderodat/annotations' into 'master' Pierre-Marie de Rodat 2024-06-19 12:28:16 +00:00
d55324019c Remove the (ignore_)warn_on_node annotations Pierre-Marie de Rodat 2024-06-12 12:03:58 +00:00
5d5a1029cb Lkt: rename @unparse_newline_after to @with_unparsing_newline Pierre-Marie de Rodat 2024-06-12 11:36:09 +00:00
0ca47a255c Lkt: rename @unparse_spacing to @unparsing_spacing Pierre-Marie de Rodat 2024-06-12 09:59:11 +00:00
52ed5ff98a Lkt: rename @use_in_equality to @used_in_equality Pierre-Marie de Rodat 2024-06-12 09:52:30 +00:00
03f402cff3 Lkt: rename @track_indent to @indentation_tracking Pierre-Marie de Rodat 2024-06-12 09:27:00 +00:00
5071ff340d Lkt: rename @trace to @traced Pierre-Marie de Rodat 2024-06-12 09:17:25 +00:00
5f86adec5a Lkt: rename @ignore to @ignored Pierre-Marie de Rodat 2024-06-12 08:48:02 +00:00

... 11 12 13 14 15 ...