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

ab1dbabf10 TypeRepo: add type annotations Pierre-Marie de Rodat 2023-09-07 14:21:15 +00:00
7407422eae UserField: fix type annotation for the "type" constructor argument Pierre-Marie de Rodat 2023-09-07 14:17:39 +00:00
28237925aa TypeRepo.Defer: add type annotations Pierre-Marie de Rodat 2023-09-07 14:01:04 +00:00
fbe650566e Merge branch 'pmderodat/lkt' into 'master' Pierre-Marie de Rodat 2023-09-11 08:16:12 +00:00
a9e561c848 Remove semantic checks from the Langkit compilation pipeline Pierre-Marie de Rodat 2023-09-07 12:13:29 +00:00
d20b09a555 langkit.lkt_lowering: harmonize error locations for token references Pierre-Marie de Rodat 2023-09-08 08:24:09 +00:00
cb9785437b langkit.parser: minor error message uniformization Pierre-Marie de Rodat 2023-09-07 12:10:19 +00:00
7553e3465b langkit.lkt_lowering: replace assertions with language spec checks Pierre-Marie de Rodat 2023-09-07 12:08:15 +00:00
21fdf70e23 Lkt: make the Decl.decl_type_name property public Pierre-Marie de Rodat 2023-09-07 12:06:13 +00:00
876f8f3266 Merge branch 'pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2023-09-07 11:29:38 +00:00
0b12feef99 langkit.stylechecks: add type annotations and enable checking w. Mypy Pierre-Marie de Rodat 2023-08-30 14:12:10 +00:00
59557fce40 langkit.gdb: enable checking with Mypy Pierre-Marie de Rodat 2023-08-30 12:56:40 +00:00
b0ac86efd7 langkit.unparsers: add type annotations and enable checking w. Mypy Pierre-Marie de Rodat 2023-08-30 12:55:30 +00:00
18ddb3ab83 langkit.windows: enable checking with Mypy Pierre-Marie de Rodat 2023-08-04 16:02:26 +00:00
a59715b598 langkit.template_utils: add type annotations and enable checking w. Mypy Pierre-Marie de Rodat 2023-08-04 15:57:55 +00:00
545537bc9c Merge branch 'sync/java_error_kind_names' into 'master' Hugo Guerrier 2023-09-07 10:49:09 +00:00
6f3561050e Remove the 'EXCEPTION_' prefix from the ExceptionKind enum values Hugo Guerrier 2023-09-07 09:40:45 +02:00
1c7c5281a1 Merge branch 'daniel/fix_token' into 'master' Daniel Mercier 2023-09-07 09:58:00 +00:00
d1cf49ede4 Fix typing for Token values Daniel Mercier 2023-09-01 12:51:50 +02:00
0af72a7611 Merge branch 'topic/fix_potential_memleak' into 'master' Hugo Guerrier 2023-09-01 09:18:24 +00:00
cb3fdaf017 Fix potential memory leak in Graal C API node properties Hugo Guerrier 2023-08-31 11:31:00 +02:00
63e1c58e05 minor: Add Java none values for iterators and tokens Hugo Guerrier 2023-08-31 11:30:30 +02:00
2057bda858 Merge branch 'pmderodat/nullable' into 'master' Pierre-Marie de Rodat 2023-08-30 09:03:35 +00:00
4578f2b5dc Always include nullability info in parse fields documentations Pierre-Marie de Rodat 2023-08-02 09:22:37 +00:00
4391bcadec Merge branch 'pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2023-08-30 08:25:48 +00:00
5e8146c83f langkit.packaging: add type annotations and enable checking with Mypy Pierre-Marie de Rodat 2023-08-04 15:40:04 +00:00
2b7863fd20 mypy.ini: sort individual langkit module settings Pierre-Marie de Rodat 2023-07-20 14:30:18 +00:00
25d3dc8f6c langkit.emitter: remove obsolete ":type:" docstring annotations Pierre-Marie de Rodat 2023-07-20 14:29:54 +00:00
9d278e3f87 Merge branch 'pmderodat/ci' into 'master' Pierre-Marie de Rodat 2023-08-30 07:51:33 +00:00
0b4b11fa9e .gitlab-ci.yml: update build space names after name generator enabling Pierre-Marie de Rodat 2023-08-29 09:15:21 +00:00
8e6c5327f9 Merge branch 'pmderodat/java' into 'master' Romain Béguet 2023-08-14 08:08:55 +00:00
a771d5bfbb Java JNI: fix crash on property exception for result that needs wrapping Pierre-Marie de Rodat 2023-08-03 11:15:23 +00:00
32b9cd735c Merge branch 'pmderodat/config_pragmas' into 'master' Pierre-Marie de Rodat 2023-08-02 15:45:12 +00:00
d6bd394eae Python/Java: add extension points for AnalysisContext methods Pierre-Marie de Rodat 2023-08-02 14:35:08 +00:00
cdce3d4a74 Merge branch 'pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2023-08-02 10:05:21 +00:00
3f8bcdbd9a Fix mypy issues Pierre-Marie de Rodat 2023-08-02 09:16:57 +00:00
0628c3e377 Merge branch 'pmderodat/doc' into 'master' Pierre-Marie de Rodat 2023-08-01 16:21:30 +00:00
1ac511768d Include whether a field is optional in the generated documentation Pierre-Marie de Rodat 2023-06-22 10:42:06 +00:00
67aed7cccf Include precise types in the doc of fields from synthetic nodes Pierre-Marie de Rodat 2023-06-22 09:25:37 +00:00
6e607f1db2 Merge branch 'pmderodat/nullable' into 'master' Pierre-Marie de Rodat 2023-08-01 15:43:16 +00:00
2c8358b1a3 grammar/invalid_nullable/test.lkt: new testcase Pierre-Marie de Rodat 2023-07-27 13:29:38 +00:00
221b92af72 Merge branch 'pmderodat/java' into 'master' Pierre-Marie de Rodat 2023-08-01 15:26:23 +00:00
c9d61aa49d Java: refactor again exception handling code Pierre-Marie de Rodat 2023-08-01 14:19:49 +00:00
0c18d97dc1 Merge branch 'pmderodat/java' into 'master' Pierre-Marie de Rodat 2023-08-01 07:11:13 +00:00
329c76cc5d Java: set build options according to the requested build mode Pierre-Marie de Rodat 2023-07-28 10:18:58 +00:00
1c1861c0a6 Merge branch 'pmderodat/java-exc' into 'master' Pierre-Marie de Rodat 2023-07-31 14:54:22 +00:00
6da5d4e430 Java: factor exception conversion to a private helper static method Pierre-Marie de Rodat 2023-07-28 13:55:59 +00:00
21b7f798e2 Merge branch 'pmderodat/release-uninit-context' into 'master' Pierre-Marie de Rodat 2023-07-31 14:53:13 +00:00
34b048649a C API: merge release_uninitialized and dec_ref for analysis contexts Pierre-Marie de Rodat 2023-07-31 11:49:05 +00:00
f509c4e7e2 Merge branch 'pmderodat/java-event-handler' into 'master' Pierre-Marie de Rodat 2023-07-31 14:50:27 +00:00
ec35df9e7e Java: fix AnalysisContext.eventHandler initialization Pierre-Marie de Rodat 2023-07-28 14:03:30 +00:00
b02feb41ee Merge branch 'topic/adasat_checkout' into 'master' Romain Béguet 2023-07-31 14:46:16 +00:00
a1a9d0f6b3 Allow AdaSAT checkout to be external to langkit. Romain Beguet 2023-07-31 15:27:41 +02:00
82a926c272 Merge branch 'pmderodat/java_unit_provider' into 'master' Pierre-Marie de Rodat 2023-07-31 11:29:43 +00:00
27c7a4de00 Java API: bind AnalysisContext.Get_From_Provider Pierre-Marie de Rodat 2023-07-28 12:52:10 +00:00
7263dd5bb7 Merge branch 'sync/pmderodat/gpr_context' into 'master' Pierre-Marie de Rodat 2023-07-31 08:57:27 +00:00
632e2f70e7 Add internal APIs to free analysis context not yet initialized Pierre-Marie de Rodat 2023-07-27 12:49:08 +00:00
3d62f987bf Merge branch 'sync/pmderodat/nullable_in_synthetic' into 'master' Pierre-Marie de Rodat 2023-07-26 09:25:46 +00:00
ae68db148f Introduce a new "@nullable" parse field annotation Pierre-Marie de Rodat 2023-06-30 09:14:39 +00:00
1812bead58 Merge branch 'sync/pmderodat/playground' into 'master' Pierre-Marie de Rodat 2023-07-25 19:50:07 +00:00
43be9ba370 langkit/templates/python_api/playground_py.mako: minor refactoring Pierre-Marie de Rodat 2023-06-29 12:54:49 +00:00
cf404171ea Python App: add parsing errors handling for requested units Pierre-Marie de Rodat 2023-06-29 12:45:58 +00:00
a7bb8ac37e Merge branch 'pmderodat/inheritance' into 'master' Pierre-Marie de Rodat 2023-07-24 11:22:49 +00:00
852607efda langkit.compiled_types: compute inheritance info for all abst. node data Pierre-Marie de Rodat 2023-07-18 11:49:33 +00:00
f936ee782c Introduce PropertyDef.is_dispatching_root Pierre-Marie de Rodat 2023-07-18 15:01:53 +00:00
0c8da2ee55 CompiledType.add_field: add type annotations Pierre-Marie de Rodat 2023-07-18 09:31:59 +00:00
d7a4f02034 Merge branch 'sync/pmderodat/java' into 'master' Pierre-Marie de Rodat 2023-07-24 09:54:56 +00:00
49ff1635c7 langkit.libmanage: allow to enable Java bindings builds by default Pierre-Marie de Rodat 2023-07-19 14:45:58 +00:00
ae14654cb8 langkit.libmanage.Manage.check_call: add a "direct_c_header" argument Pierre-Marie de Rodat 2023-07-19 14:13:35 +00:00
1f7453d7ff Merge branch 'pmderodat/gdb' into 'master' Pierre-Marie de Rodat 2023-07-24 09:05:40 +00:00
324d98f17e langkit.libmanage: distribute gdbinit.py in the installation tree Pierre-Marie de Rodat 2023-07-19 09:01:12 +00:00
d1cbbd2819 gdb_py.mako: add a docstring Pierre-Marie de Rodat 2023-07-19 09:00:52 +00:00
21e7b41c2a gdb_py.mako: emit user-friendly error msg. when langkit.gdb is missing Pierre-Marie de Rodat 2023-07-19 08:54:49 +00:00
cf99667fc6 langkit.emitter: fix builds with --no-gdb-hook Pierre-Marie de Rodat 2023-07-19 08:48:30 +00:00
53353ed377 Merge branch 'topic/no_sal2' into 'master' Max Reznik 2023-07-06 13:16:36 +00:00
287b99a505 Move for Interfaces use ... into when clause. Maxim Reznik 2023-07-05 17:51:49 +03:00
a4f92eea17 Merge branch 'pmderodat/then_in_new_defer' into 'master' Pierre-Marie de Rodat 2023-07-04 12:42:55 +00:00
49137153eb AbstractExpression.prepare: fix handling of Defer objects Pierre-Marie de Rodat 2023-07-04 08:13:19 +00:00
13f60cd373 langkit.expressions.struct: improve error message for non-synth nodes Pierre-Marie de Rodat 2023-07-03 14:32:15 +00:00
f93b84052a Merge branch 'sync/pmderodat/c-token' into 'master' Pierre-Marie de Rodat 2023-07-03 11:16:53 +00:00
13ba551927 C API: remove kind/text/sloc range from the token data type Pierre-Marie de Rodat 2023-06-27 09:06:55 +00:00
d478a811d2 langkit/templates/java_api: add syntax highlighting directives for Vim Pierre-Marie de Rodat 2023-06-27 14:00:01 +00:00
0dca5d240a Minor reformattings Pierre-Marie de Rodat 2023-06-26 12:29:37 +00:00
204dba32e4 Merge branch 'topic/jni_lib_finalization' into 'master' Hugo Guerrier 2023-07-03 08:10:46 +00:00
442994ef91 Add JNI lib finalization in Java bindings Hugo Guerrier 2023-06-29 17:41:27 +02:00
522123985a Merge branch 'topic/windows_native_image' into 'master' Hugo Guerrier 2023-07-03 07:36:08 +00:00
92bae0a6fc Correct the 'dumpbin' output parsing function Hugo Guerrier 2023-06-29 14:29:57 +02:00
2545d48220 Merge branch 'topic/fix_event_handlers' into 'master' Romain Béguet 2023-06-29 15:25:31 +00:00
3d7b81dc1c Fix access check fail upon native event handler finalization. Romain Beguet 2023-06-29 14:33:19 +02:00
5a9d948d60 Check for exceptions after native calls to dec_ref procedures. Romain Beguet 2023-06-29 14:51:03 +02:00
0965dd3f98 Merge branch 'pmderodat/get_line' into 'master' Pierre-Marie de Rodat 2023-06-29 13:44:39 +00:00
590916cb0d langkit_support/get_line: add a test for empty source buffers Pierre-Marie de Rodat 2023-06-29 09:27:25 +00:00
154411579b Langkit_Support.Token_Data_Handler.Get_Sloc: fix for HT buffer endings Pierre-Marie de Rodat 2023-06-28 14:44:49 +00:00
9c0daa5aa5 langkit_support/get_line: rework test main and output Pierre-Marie de Rodat 2023-06-28 14:18:09 +00:00
64bc6b532f langkit_support/get_line: extend for Unicode Pierre-Marie de Rodat 2023-06-28 13:37:44 +00:00
0db981ffa2 langkit_support/get_line: add a description Pierre-Marie de Rodat 2023-06-28 13:37:10 +00:00
30d64a1fd0 Merge branch 'pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2023-06-29 12:39:52 +00:00
c370f4a2c7 langkit.lexer.regexp: remove "docstring" typing Pierre-Marie de Rodat 2023-06-23 12:41:19 +00:00
d37b3c5ac5 Merge branch 'topic/java_bindings' into 'master' Hugo Guerrier 2023-06-29 09:28:45 +00:00
a2a01e9480 Add event handler support in Java bindings Hugo Guerrier 2023-06-27 16:17:27 +02:00

... 19 20 21 22 23 ...