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

de0d147d1e Properties: add "Self" sloc to messages of implicit Property_Error exc. Pierre-Marie de Rodat 2022-07-06 14:08:40 +00:00
c174e5c703 Lkt lowering: fix lowering order for list node derivation Pierre-Marie de Rodat 2022-06-24 09:38:58 +00:00
460af0bd1e Lkt lowering: properly catch type inheritance loops Pierre-Marie de Rodat 2022-06-24 08:55:10 +00:00
2cb44f1bc8 Lkt lowering: robustify traits checking for nodes Pierre-Marie de Rodat 2022-06-23 14:04:51 +00:00
7d9cbe0c40 Lexical envs: fix inverted logic Pierre-Marie de Rodat 2022-07-20 09:15:10 +00:00
3f9cf09bf5 V708-016: Fix concatenation order of rebindings. Romain Beguet 2022-07-18 18:15:06 +02:00
583bf96327 properties/rebindings: simplify and fix pasto Pierre-Marie de Rodat 2022-07-19 15:55:43 +02:00
80da226ef8 Fix the "is_optional" information for list fields Pierre-Marie de Rodat 2022-07-18 14:49:24 +00:00
a21e0e8519 REQUIREMENTS.dev: fix the gnat-gdb-scripts entry Pierre-Marie de Rodat 2022-07-19 11:55:37 +00:00
8e13558aac manage.py: fix path formatting on Windows Pierre-Marie de Rodat 2022-07-19 09:41:06 +00:00
f55fcb92ea Properties DSL: make it possible to raise PreconditionFailure exceptions Pierre-Marie de Rodat 2022-07-04 15:03:29 +00:00
8f220c9e25 Allow lang. specs to extend the set of exceptions properties may raise Pierre-Marie de Rodat 2022-07-04 14:32:53 +00:00
30d2f7ac8c Mypy: leverage type hints from gdb and gnat-gdb-scripts Pierre-Marie de Rodat 2022-07-07 11:45:11 +00:00
5e83e72c4f GDB helpers: remove the obsolete EnvNamePrinter class Pierre-Marie de Rodat 2022-07-07 13:41:32 +00:00
1f5ac4e0d4 Doc: add a section about property memoization Pierre-Marie de Rodat 2022-06-28 12:12:46 +00:00
78e82bca97 Fix memoization for predicates that need to work on null nodes Pierre-Marie de Rodat 2022-06-29 12:35:30 +00:00
60c8a1b7b1 Fix properties tracing for the Ref_Categories type Pierre-Marie de Rodat 2022-06-29 09:48:21 +00:00
ed6b405069 ArrayType.builtin_properties: set lazy_field to False Pierre-Marie de Rodat 2022-06-29 14:39:21 +00:00
ac610cdd78 Fix the memoization of properties taking enum arguments Pierre-Marie de Rodat 2022-06-29 09:12:13 +00:00
76343db6b7 memoization_ada.mako: emit enum types on several lines Pierre-Marie de Rodat 2022-06-29 09:02:26 +00:00
835548a53f Change license to Apache 2.0 Pierre-Marie de Rodat 2022-07-04 13:14:51 +02:00
e13dfe6d05 Run stylechecks on manage.py & setup.py Pierre-Marie de Rodat 2022-06-28 17:21:17 +02:00
bfce25b08d Make toplevel manage.py accept -J Raphaël AMIARD 2022-06-22 15:01:17 +02:00
9eb8a82a7b Lkt: avoid redundant error messages for generic instantiations Pierre-Marie de Rodat 2022-06-24 14:26:17 +00:00
7685682e9d grammar/invalid_abstract_fields: transition to the lkt_compile driver Pierre-Marie de Rodat 2022-06-10 14:57:54 +00:00
3ee05a2f4a invalid_abstract_fields: fix grammar issues Pierre-Marie de Rodat 2022-06-10 14:45:23 +00:00
9c70e2f483 Lkt: fix wrong chaining in Expr.scope Pierre-Marie de Rodat 2022-06-09 11:36:51 +00:00
f6c10ca73a Lkt: minor comment fixes Pierre-Marie de Rodat 2022-06-09 09:54:29 +00:00
8deeedb63f grammar/invalid_unparser: transition to the lkt_compile driver Pierre-Marie de Rodat 2022-05-20 14:19:04 +00:00
55b11f4156 grammar/invalid_field_type: transition to the lkt_compile driver Pierre-Marie de Rodat 2022-05-20 13:45:05 +00:00
f2b24c9902 Lkt: add the @synthetic node annotation Pierre-Marie de Rodat 2022-05-20 13:54:33 +00:00
825aa9b911 grammar/warn_imprecise: transition to the lkt_compile driver Pierre-Marie de Rodat 2022-06-10 14:21:55 +00:00
7013f0efd2 grammar/recursive_list: transition to the lkt_compile driver Pierre-Marie de Rodat 2022-06-10 14:17:54 +00:00
ae9541d7bd grammar/opt_info: DSL to Lkt transition Pierre-Marie de Rodat 2022-06-10 14:11:39 +00:00
d1d558945c grammar/invalid_token_literal: transition to the lkt_compile driver Pierre-Marie de Rodat 2022-06-10 10:02:06 +00:00
fcd53e1fdc grammar/warn_unused_rules: transition to the lkt_compile driver Pierre-Marie de Rodat 2022-06-10 09:53:07 +00:00
38bf92c9b4 grammar/invalid_or: transition to the lkt_compile driver Pierre-Marie de Rodat 2022-05-20 11:46:57 +00:00
d093c536ae grammar/invalid_skip: transition to the lkt_compile driver Pierre-Marie de Rodat 2022-05-20 11:43:31 +00:00
3989ad5ae6 grammar/invalid_rule_usage: transition to the lkt_compile driver Pierre-Marie de Rodat 2022-05-20 11:42:06 +00:00
9f694c669d Prevent "null" parsers from contributing to precise types Pierre-Marie de Rodat 2022-06-23 09:28:08 +00:00
8a509da263 Reject non-null parse fields built with "null" parsers only Pierre-Marie de Rodat 2022-06-23 09:22:42 +00:00
aca4bb34e4 Generic API: make "=" work on non-class-wide Lk_Node Pierre-Marie de Rodat 2022-06-27 15:14:30 +00:00
fce4731f73 ada_api/generic_api/analysis.adb: minor reformatting Pierre-Marie de Rodat 2022-06-28 08:09:03 +00:00
6e4dd7cf1c GDB helpers: cope with a recent debug info change in GCC Pierre-Marie de Rodat 2022-06-24 12:15:14 +00:00
b2634e433f Improve the error message for parserless nodes Pierre-Marie de Rodat 2022-06-23 15:28:28 +00:00
86df0123da Add reference/target to the list of allowed sphinx nodes Raphaël AMIARD 2022-06-06 13:56:52 +02:00
56a4dbe0ad Implement passthrough for rmlink directive Raphaël AMIARD 2022-06-06 11:50:07 +02:00
a5329e2e9d Minor terminology fix Raphaël AMIARD 2022-06-06 13:59:37 +02:00
cd943d9c29 Minor: extend analysis spec docstring Raphaël AMIARD 2022-05-24 15:56:26 +02:00
b3a3053845 Rework some of langkit_support's documentation Raphaël AMIARD 2022-05-23 16:02:13 +02:00
fd30d6bbdc gdb_helpers: replace hardcoded line number with @NUMBER in expected pat. Pierre-Marie de Rodat 2022-06-21 14:58:58 +02:00
d6be043c7c properties/invalid_final: fix line numbers in baseline Pierre-Marie de Rodat 2022-06-21 14:47:17 +02:00
5b8c6d0379 Lkt: introduce "class T" for generic formal types Pierre-Marie de Rodat 2022-06-13 15:22:02 +00:00
6f4a7d8230 Lkt: minor docstring reformatting Pierre-Marie de Rodat 2022-06-08 15:23:46 +00:00
2c316ff07b langkit.diagnostics.source_listing: fix line numbering bug Pierre-Marie de Rodat 2022-06-08 15:05:50 +00:00
656cf14eaa langkit.diagnostics.source_listing: avoid confusing var name reuse Pierre-Marie de Rodat 2022-06-08 15:06:10 +00:00
72ee3c87f5 GDB helpers: fix indentation of multi-line values in the "state" command Pierre-Marie de Rodat 2022-06-09 11:40:58 +00:00
ce353e8055 Generic API: bind the Is_Equivalent token predicate Pierre-Marie de Rodat 2022-02-16 09:46:29 +00:00
f10820b17d Add a "final" annotation for fields/properties Pierre-Marie de Rodat 2022-05-11 15:35:23 +02:00
3f47bc96aa Lkt lowering: set diagnostic context for fields Pierre-Marie de Rodat 2022-05-11 15:18:10 +02:00
6892bcb46c AbstractNodeData: add type hints for all methods (and subclasses) Pierre-Marie de Rodat 2022-05-11 14:24:09 +02:00
04bd1f9b09 Rework prefix processing for AbstractNodeData Pierre-Marie de Rodat 2022-05-11 14:13:27 +02:00
206f493226 REQUIREMENTS.dev: add Pygments 2.6.1 Pierre-Marie de Rodat 2022-06-08 14:22:27 +00:00
567541c6f2 REQUIREMENTS.dev: sort lines Pierre-Marie de Rodat 2022-06-08 14:21:05 +00:00
f7635fae0e .gitlab-ci.yml: workaround cache issues Pierre-Marie de Rodat 2022-06-09 14:37:38 +02:00
5d11f10629 Langkit_Support.Symbols: explain what symbol canonicalization is Pierre-Marie de Rodat 2022-05-19 11:50:33 +00:00
0b871d5fc1 grammar/invalid_unparse_trailing: transition to the lkt_compile driver Pierre-Marie de Rodat 2022-05-20 11:36:35 +00:00
fa79e76f46 Testsuite: create a new "lkt_compile" test driver Pierre-Marie de Rodat 2022-05-19 14:17:06 +00:00
3ea573c8bf Fix errors found with mypy 0.960 Pierre-Marie de Rodat 2022-06-02 15:02:09 +00:00
1bd5618ee2 Fix mypy errors when we have stubs for gdb Pierre-Marie de Rodat 2022-06-02 14:59:53 +00:00
41f69dfc02 OCaml API: Fix generation of astnode when no concrete subclasses Daniel Mercier 2022-06-02 10:08:55 +02:00
8bf2a82c1d OCaml API: protect against possible null token Daniel Mercier 2022-06-01 18:24:56 +02:00
b3a53e6c4c Add a test for invalid docstrings Raphaël AMIARD 2022-05-24 16:23:25 +02:00
11355123e1 Add a test for the :typeref: directive in langkit docstrings Raphaël AMIARD 2022-05-17 17:24:57 +02:00
0771b66aa1 Enhance emision of precise_types in documentation Raphaël AMIARD 2022-05-17 17:17:28 +02:00
86b23f0897 Switch to proper docutils parsing of docstrings Raphaël AMIARD 2022-05-17 17:19:14 +02:00
9d8670abf2 Properly emit belongs-to annotations for fields' doc Raphaël AMIARD 2022-05-17 17:15:53 +02:00
fc049a2cb3 Update python version in mypy.ini Raphaël AMIARD 2022-05-17 17:15:31 +02:00
7e2d437e32 Fix more docstrings Raphaël AMIARD 2022-05-09 15:19:52 +00:00
92698b017a Fix dsl_unparse wrt. node documentation Raphaël AMIARD 2022-05-18 15:05:23 +02:00
7fdb38fa63 $.Generic_API.Introspection: new public package Pierre-Marie de Rodat 2022-05-18 12:44:32 +00:00
1a1ab3ca27 GenericAPI: remove the "Entity_" prefix from short type names Pierre-Marie de Rodat 2022-05-18 12:36:34 +00:00
9f77e19fb2 pkg_unparsing_impl_body_ada.mako: do not use Child function for RW nodes Pierre-Marie de Rodat 2022-05-17 09:44:05 +00:00
a26c9d8667 pkg_rewriting_body_ada.mako: reorder subprograms Pierre-Marie de Rodat 2022-05-16 14:41:28 +00:00
b618c0e23f Lkt lowering: use "no specific location" for some error messages Pierre-Marie de Rodat 2022-05-20 08:55:22 +00:00
b6886762f6 CompileCtx.lkt_context: remove code duplication with diagnostic_context Pierre-Marie de Rodat 2022-05-19 14:19:37 +00:00
f1d8d5d891 Location: make the "line" field optional Pierre-Marie de Rodat 2022-05-19 14:40:26 +00:00
9fcad18a31 Lkt lowering: add missing location propagations in lexer entities Pierre-Marie de Rodat 2022-05-19 12:45:26 +00:00
3abbdef2b5 Regexps: handle brackets for repetition ("a{N,M}") Pierre-Marie de Rodat 2022-05-18 11:56:43 +02:00
84c46fc248 gdb_c.mako: fix the handling of quotes and backslashes in dirnames Pierre-Marie de Rodat 2022-05-17 17:18:12 +02:00
9e5e924229 project_file.mako: handle non-ASCII directory names Pierre-Marie de Rodat 2022-05-17 17:08:52 +02:00
3881d1a562 Generic API: add generic/specific conversion functions for grammar rules Pierre-Marie de Rodat 2022-05-06 15:07:22 +02:00
c9cc721692 Generic API: add functions to get parser doc/whether a parser is public Pierre-Marie de Rodat 2022-05-06 13:44:04 +02:00
3c21779661 Lkt lowering/dsl_unparse: add doc handling for grammar rules Pierre-Marie de Rodat 2022-05-06 12:36:44 +02:00
bb34e95df2 Lkt: fix the lexing of doc comments Pierre-Marie de Rodat 2022-05-06 11:08:03 +02:00
97306641c3 pkg_generic_impl_spec_ada.mako: minor typo fix Pierre-Marie de Rodat 2022-05-06 10:07:46 +02:00
1e552c700b Langkit_Support.Diagnostics.Output: fix caret line for single-char range Pierre-Marie de Rodat 2022-05-18 13:03:38 +00:00
f4fd415d69 grammar/invalid_lexers: DSL to Lkt transition Pierre-Marie de Rodat 2022-05-10 17:39:07 +02:00
bfa5ec4b5c langkit.diagnostics.source_listing: strip trailing whitespaces Pierre-Marie de Rodat 2022-05-10 17:38:47 +02:00
2d6174bf42 Lkt: validate the presence/absence of function bodies Pierre-Marie de Rodat 2022-05-11 16:01:20 +02:00

... 23 24 25 26 27 ...