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

f605f73267 Move deferred entity resolution logic to a dedicated helper class Pierre-Marie de Rodat 2025-02-04 12:18:33 +00:00
c764128a0d langkit.lkt_lowering: refactor to remove duplicate type resolution code Pierre-Marie de Rodat 2025-02-03 13:45:46 +00:00
e30242b010 langkit.lkt_lowering: resolve PropertyDef instances eagerly Pierre-Marie de Rodat 2025-02-03 13:29:48 +00:00
3e46deb6b2 langkit.lkt_lowering: resolve types eagerly during types lowering Pierre-Marie de Rodat 2025-02-03 13:18:16 +00:00
edafb649c9 Testsuite: fix a couple of unintended illegalities Pierre-Marie de Rodat 2025-02-03 16:15:18 +00:00
48713ed3d4 Merge branch 'mr/pmderodat/lazy-stack-traces' into 'master' Pierre-Marie de Rodat 2025-03-13 12:55:29 +00:00
3214b0afb4 Java API: use free to deallocate memory allocated in the Ada world Pierre-Marie de Rodat 2025-03-13 12:34:39 +00:00
2ba4fc11fa Merge branch 'mr/pmderodat/python-dsl' into 'master' Pierre-Marie de Rodat 2025-03-12 15:52:48 +00:00
5e2386f397 langkit.compiled_types: always initialize ASTNodeType.generic_list_type Pierre-Marie de Rodat 2025-02-03 13:13:26 +00:00
e32e45a175 Create EnvAssoc, InnerEnvAssoc and EntityInfo like other builtin types Pierre-Marie de Rodat 2025-02-03 11:18:32 +00:00
d4d0281185 lkt/derivation_loop: a missing validation testcase Pierre-Marie de Rodat 2025-02-03 10:33:16 +00:00
f4d69d627c Merge branch 'mr/pmderodat/printenv' into 'master' Pierre-Marie de Rodat 2025-03-12 15:16:35 +00:00
06fb6d69f8 lkm: rename the "setenv" command to "printenv" Pierre-Marie de Rodat 2025-03-10 16:09:36 +00:00
18dff7d246 Merge branch 'mr/pmderodat/lazy-stack-traces' into 'master' Pierre-Marie de Rodat 2025-03-10 13:49:37 +00:00
e3d641f973 C API: symbolize exception stack traces only on demand Pierre-Marie de Rodat 2025-02-17 12:36:00 +00:00
f16420b2fb Merge branch 'topic/fix_interface_internal' into 'master' Romain Béguet 2025-03-10 12:17:18 +00:00
9d28d03beb Generic interface: ignore internal properties when looking for implementation. Romain Beguet 2025-03-04 15:46:42 +01:00
c21482f731 Merge branch 'mr/pmderodat/python-dsl' into 'master' Pierre-Marie de Rodat 2025-03-10 09:57:31 +00:00
144a235daa langkit.compile_context: introduce type members deferring Pierre-Marie de Rodat 2025-02-03 10:22:15 +00:00
4010063202 langkit.compiled_types: remove the no_compiled_type global Pierre-Marie de Rodat 2025-02-03 10:07:32 +00:00
b03ccc5819 Merge branch 'mr/pmderodat/python-dsl' into 'master' Pierre-Marie de Rodat 2025-02-27 13:44:42 +00:00
bf0782bc07 Refactor processings for AbstractNodeData names Pierre-Marie de Rodat 2025-01-30 14:46:20 +00:00
cb49fbeb1e Merge branch 'mr/pmderodat/support-mail' into 'master' Pierre-Marie de Rodat 2025-02-26 10:24:13 +00:00
c9f93f4fec Replace occurrences of report@adacore.com with support@ Pierre-Marie de Rodat 2025-02-25 14:41:20 +01:00
df86298abd Merge branch 'mr/pmderodat/msvc' into 'master' Pierre-Marie de Rodat 2025-02-25 14:32:53 +00:00
962befa5eb langkit.windows: generate .def files in the same dir. as the .lib files Pierre-Marie de Rodat 2025-02-25 11:05:01 +00:00
475e17a88e Merge branch 'mr/pmderodat/python-dsl' into 'master' Pierre-Marie de Rodat 2025-02-20 09:11:02 +00:00
919d8bd460 Remove langkit.dsl Pierre-Marie de Rodat 2025-01-28 12:57:35 +00:00
70c32a33b4 langkit.dsl: move the Annotations class to langkit.compiled_types Pierre-Marie de Rodat 2025-01-28 12:50:12 +00:00
0b4090f217 langkit.libmanage: remove the top-level Exception handler Pierre-Marie de Rodat 2025-01-27 20:59:54 +00:00
41f688bd96 Merge branch 'mr/pmderodat/readme' into 'master' Pierre-Marie de Rodat 2025-02-19 13:40:43 +00:00
a3713f8c21 README.md: update install instructions after the transition to Lkt/Lkm Pierre-Marie de Rodat 2025-02-19 14:10:59 +01:00
181824178b README.md: minor markdown fixes Pierre-Marie de Rodat 2025-02-19 14:10:56 +01:00
c1a0a2de79 Merge branch 'mr/pmderodat/lkt-unparsing' into 'master' Pierre-Marie de Rodat 2025-02-19 11:04:18 +00:00
4b10659110 Lkt unparsing: force a whitespace before the "implements" keyword Pierre-Marie de Rodat 2025-02-19 09:41:47 +01:00
76179dec2a Merge branch 'mr/pmderodat/python-dsl' into 'master' Pierre-Marie de Rodat 2025-02-19 09:01:27 +00:00
7bde3d9f48 Expressions: stop supporting lambdas as property bodies Pierre-Marie de Rodat 2025-01-28 10:47:01 +00:00
ea8f28ea3c Expressions: remove support for AbstractExpression unsugaring Pierre-Marie de Rodat 2025-01-27 15:13:21 +00:00
b2dc74b08f Lkt lowering: always use AbstractExpression to represent enum values Pierre-Marie de Rodat 2025-01-27 15:14:44 +00:00
0c799dca43 Lkt lowering: process default field values during EXPR_LOWERING Pierre-Marie de Rodat 2025-01-28 10:12:45 +00:00
4551e324c6 Lkt lowering: correct property resolution for dynamic_lexical_env Pierre-Marie de Rodat 2025-01-27 21:08:55 +00:00
0f98fe8a5a Remove ununsed langkit_support/lazy_field decorators Pierre-Marie de Rodat 2025-01-30 10:19:43 +00:00
84c885d922 Merge branch 'mr/pmderodat/python-dsl' into 'master' Pierre-Marie de Rodat 2025-02-18 14:47:02 +00:00
4bae239699 Testsuite: rework obsolete output refiners Pierre-Marie de Rodat 2025-02-04 09:00:16 +00:00
df73d23e3b Stop supporting the Python DSL Pierre-Marie de Rodat 2025-01-27 14:05:30 +00:00
f5f306df19 misc/diag_empty_source: transition to lkt_compile Pierre-Marie de Rodat 2025-01-30 14:02:59 +00:00
cb79d0e598 Merge branch 'mr/pmderodat/python-dsl' into 'master' Pierre-Marie de Rodat 2025-02-17 10:59:18 +00:00
f88253f6ae Bind generic interfaces to Lkt Pierre-Marie de Rodat 2025-01-29 16:03:00 +00:00
a923bc4a88 Liblktlang: extend syntax to support generic interfaces in Lkt Pierre-Marie de Rodat 2025-01-29 16:09:34 +00:00
b22013d5c7 langkit.generic_interfaces: introduce an abstract base class Pierre-Marie de Rodat 2025-01-29 12:45:15 +00:00
c9d9e058fa Liblktlang: make LktNode.fetch_prelude public Pierre-Marie de Rodat 2025-01-29 11:23:54 +00:00
3e9b3ddd25 Generic interfaces: rename Node to NodeInterface Pierre-Marie de Rodat 2025-01-29 11:37:54 +00:00
2cd728f8aa Generic interfaces: fix a typo in an error message Pierre-Marie de Rodat 2025-02-14 10:35:55 +00:00
c681475d1f Merge branch 'mr/pmderodat/doc' into 'master' Pierre-Marie de Rodat 2025-02-14 14:30:21 +00:00
5cdce44320 Doc: refresh the tutorial Pierre-Marie de Rodat 2025-02-14 11:28:23 +01:00
e179ac2623 Doc: fix a formatting warning Pierre-Marie de Rodat 2025-01-30 15:30:35 +01:00
9fc8227d0a Doc: fix configuration warnings Pierre-Marie de Rodat 2025-01-30 15:30:27 +01:00
c1f5d99303 Doc: add the Lkt coding style to the index Pierre-Marie de Rodat 2025-01-30 15:30:03 +01:00
3552269259 Merge branch 'mr/pmderodat/macos' into 'master' Pierre-Marie de Rodat 2025-02-13 13:38:33 +00:00
b43414ee81 Add a gprbuild workaround for libraries on macOS Pierre-Marie de Rodat 2025-02-07 16:48:58 +01:00
1e6b24858c Merge branch 'topic/901' into 'master' Romain Béguet 2025-02-12 21:48:18 +00:00
0bf34d46e4 Fix memory error when creating big integers while iterating. Romain Beguet 2025-02-12 14:42:43 +01:00
56141e730d Ada API: Do not generate bodies of unexposed types. Romain Beguet 2025-02-12 16:05:47 +01:00
87535a9b4d Merge branch 'mr/pmderodat/lkt-null-cond' into 'master' Pierre-Marie de Rodat 2025-02-12 16:58:58 +00:00
e237508f67 lkt/nodes.lkt: fix an invalid null-conditional expression Pierre-Marie de Rodat 2025-02-11 15:38:04 +00:00
f8cdccb79c Merge branch 'topic/create_java_generic_interface' into 'master' Romain Béguet 2025-02-11 16:57:13 +00:00
e33729d7fc Integrate Java generics in the Java API Remi Segard 2025-01-03 16:54:03 +01:00
2e5b2640dd Add the Java support library Remi Segard 2025-01-03 16:53:04 +01:00
aba052abcc Add generic interfaces types for the language server Remi Segard 2024-12-09 18:04:29 +01:00
a9072c6fd2 Add implements decorator Remi SEGARD 2024-10-04 15:57:30 +02:00
ca1fda5f5e Merge branch 'topic/lal_1466' into 'master' Romain Béguet 2025-02-06 16:19:08 +00:00
4f54766ae2 Fix contradictions for nested cycles in toposort failures. Romain Beguet 2024-11-04 11:53:35 +01:00
fa50d1bf78 Consider both sides of Unify atoms to resolve unset vars. Romain Beguet 2024-10-17 17:02:05 +02:00
f132c4f176 Merge branch 'mr/pmderodat/lkt-library-name' into 'master' Pierre-Marie de Rodat 2025-02-06 09:53:07 +00:00
9b328f5608 langkit.config: fix the handling of custom library names Pierre-Marie de Rodat 2025-01-28 13:58:31 +00:00
4cb08d6b92 Merge branch 'mr/pmderodat/diagnostics' into 'master' Pierre-Marie de Rodat 2025-02-06 09:52:56 +00:00
ff0e01cb49 langkit.diagnostic: fix explicit loc. handling in get_parsable_location Pierre-Marie de Rodat 2025-01-28 12:25:09 +00:00
f9f09da6ed Merge branch 'mr/pmderodat/stylechecks' into 'master' Pierre-Marie de Rodat 2025-02-06 09:52:44 +00:00
69d4e4ffa3 langkit.stylechecks: fix the handling of empty docstrings Pierre-Marie de Rodat 2025-01-28 10:31:11 +00:00
6cc88d3988 Merge branch 'mr/pmderodat/lkt-bootstrap' into 'master' Pierre-Marie de Rodat 2025-02-06 09:51:21 +00:00
7bfbc5dc8f Move contrib/lkt to lkt Pierre-Marie de Rodat 2025-01-24 14:58:17 +00:00
708e41a148 Remove langkit.dsl_unparse Pierre-Marie de Rodat 2025-01-24 12:21:28 +00:00
ca0f8eb315 Transition Libpythonlang to Lkt/lkm dsl_unparse Pierre-Marie de Rodat 2025-01-23 11:23:47 +00:00
863be42475 Self-host Lkt (i.e. transition Liblktlang to Lkt) Pierre-Marie de Rodat 2025-01-23 12:02:09 +00:00
1cec20eec6 Merge branch 'topic/java/add_visitor_with_default_behaviour' into 'master' Rémi Segard 2025-01-31 15:54:41 +00:00
c92a5d0027 Add visitor with default behavior in Java bindings Remi Segard 2025-01-29 12:17:43 +01:00
c96df668f2 Merge branch 'mr/pmderodat/lkt-preliminary' into 'master' Pierre-Marie de Rodat 2025-01-27 15:21:21 +00:00
152ae5c1fe lkt/language/parser.py: rename "enum" identifiers Pierre-Marie de Rodat 2025-01-24 13:59:43 +00:00
3f2e40ae2e lkt/language/parser.py: add missing call to Var() Pierre-Marie de Rodat 2025-01-24 13:58:58 +00:00
3897983cce Lkt: rename GrammarDecl.lexer to referenced_lexer Pierre-Marie de Rodat 2025-01-23 12:51:55 +00:00
ee702fcc37 Lkt: rename ValDecl.val to ValDecl.expr Pierre-Marie de Rodat 2025-01-23 12:11:09 +00:00
29278577d1 Lkt: turn pattern names to lower case Pierre-Marie de Rodat 2025-01-23 11:45:48 +00:00
fd1597bdd4 langkit.dsl_unparse: fix unparsing of dynamic EnvGet.lookup_kind Pierre-Marie de Rodat 2025-01-23 12:02:25 +00:00
24d5f8e809 Merge branch 'mr/pmderodat/lkt-bootstrap' into 'master' Pierre-Marie de Rodat 2025-01-27 15:20:49 +00:00
dfaad89720 Ensure that "lkm build" and "lkm run" do not import liblktlang Pierre-Marie de Rodat 2025-01-22 15:38:01 +00:00
c4bb2acecd Merge branch 'mr/pmderodat/portable-projects' into 'master' Pierre-Marie de Rodat 2025-01-27 15:20:33 +00:00
6af2fbe71c GDB helpers: include basenames only in directive comments Pierre-Marie de Rodat 2025-01-23 08:53:19 +00:00
deb710cfca Add type hints for "gdb_*" code emission helpers Pierre-Marie de Rodat 2025-01-23 08:50:14 +00:00
0657f7ac11 Do not emit langkit path/.debug_gdb_scripts for portable projects Pierre-Marie de Rodat 2025-01-22 16:31:57 +00:00
6f6610223d Rename --relative-project to --portable-project Pierre-Marie de Rodat 2025-01-22 16:36:18 +00:00

... 5 6 7 8 9 ...