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

5f2a4be656 Python bindings: make the version number PEP 440-compliant Pierre-Marie de Rodat 2023-11-29 15:57:48 +00:00
cec1bff0d7 Merge branch 'pmderodat/stylecheck' into 'master' Pierre-Marie de Rodat 2023-11-29 16:29:42 +00:00
84a6d244ef langkit.java_api: fix a coding style issue Pierre-Marie de Rodat 2023-11-29 12:34:49 +00:00
65087856f8 Merge branch 'pmderodat/rewriting' into 'master' Pierre-Marie de Rodat 2023-11-28 16:47:45 +00:00
6ea1288e90 C API: make opaque pointers incompatible Pierre-Marie de Rodat 2023-11-28 14:53:01 +00:00
e820f2768a Merge branch 'pmderodat/rewriting' into 'master' Pierre-Marie de Rodat 2023-11-27 14:53:13 +00:00
d399e5cbd0 C API: export symbols for the rewriting API Pierre-Marie de Rodat 2023-11-27 14:12:18 +00:00
d37c33e7e2 Merge branch 'topic/720' into 'master' Romain Béguet 2023-11-16 13:52:01 +00:00
5043c4a506 Improve explanations of exceptions during evaluation of partial solution. Romain Beguet 2023-11-08 17:16:00 +01:00
5af47a8b74 Merge branch 'pmderodat/rewriting' into 'master' Pierre-Marie de Rodat 2023-11-16 13:12:21 +00:00
449875fb5b Bind the rewriting API to C Pierre-Marie de Rodat 2023-11-13 13:29:52 +00:00
9a956923fd C API: define the default grammar rule as a macro Pierre-Marie de Rodat 2023-11-13 14:14:13 +00:00
ca7030428d testsuite/c_support: avoid static functions Pierre-Marie de Rodat 2023-11-13 14:12:52 +00:00
16639a7818 lexer_example: set "var" as alphanumerical Pierre-Marie de Rodat 2023-11-13 13:24:16 +00:00
70ea5c8fe4 pkg_rewriting_impl_spec_ada.mako: minor comment fix Pierre-Marie de Rodat 2023-11-13 13:00:22 +00:00
9f777298d6 $.Rewriting_Impl: minor reformattings Pierre-Marie de Rodat 2023-11-13 12:56:36 +00:00
a7efe375ad $.Implementation.C: remove the "private" package qualifier Pierre-Marie de Rodat 2023-10-26 19:37:28 +00:00
ee23d99815 misc/rewriting: move to ada_api/ Pierre-Marie de Rodat 2023-10-26 08:27:03 +00:00
83fcccf269 Merge branch 'boris/remove-token' into 'master' Boris Yakobowski 2023-11-08 11:12:44 +00:00
de35cde7d0 Simulate token removal Boris Yakobowski 2023-11-02 12:26:53 +01:00
8ead3c8539 Fix multiples 'rules' section Boris Yakobowski 2023-11-02 13:01:05 +01:00
92abcb4a96 Do not run tests if build has failed Boris Yakobowski 2023-11-02 11:51:45 +01:00
b0296d9f82 Upgrade CI script to remove the need for a PAT Boris Yakobowski 2023-10-31 17:17:27 +00:00
6857a61642 Merge branch 'pmderodat/generic_api' into 'master' Pierre-Marie de Rodat 2023-11-06 11:47:38 +00:00
07c9023053 Langkit_Support.Generic_API.Introspection: add Eval_Syntax_Field Pierre-Marie de Rodat 2023-10-25 07:53:53 +00:00
70dfeb5ee8 Merge branch 'pmderodat/ci' into 'master' Pierre-Marie de Rodat 2023-10-26 12:11:23 +00:00
d0cbf67ddc CI: rectify rules to trigger jobs Pierre-Marie de Rodat 2023-10-26 12:00:05 +02:00
72970f296c Merge branch 'topic/pip_deps' into 'master' Hugo Guerrier 2023-10-26 09:54:49 +00:00
2d2cf54f24 Relax the Pygments version to avoid conflicts Hugo Guerrier 2023-10-24 14:36:47 +02:00
0f9eeb68e3 Merge branch 'pmderodat/ci.package' into 'master' Pierre-Marie de Rodat 2023-10-25 12:48:51 +00:00
774569740c CI: fix packaging on the master branch Pierre-Marie de Rodat 2023-10-25 10:42:16 +00:00
694069ff18 Merge branch 'pmderodat/ci' into 'master' Pierre-Marie de Rodat 2023-10-25 12:10:24 +00:00
1af558cb41 CI: build Libadalang-doc Pierre-Marie de Rodat 2023-10-25 09:38:10 +00:00
6211a19bd7 CI: build AdaSAT Pierre-Marie de Rodat 2023-10-25 09:36:49 +00:00
fed9a2ea85 Merge branch 'pmderodat/ci' into 'master' Pierre-Marie de Rodat 2023-10-25 10:30:08 +00:00
ec6a375112 Various CI cleanups Pierre-Marie de Rodat 2023-10-25 08:23:53 +00:00
38cbf9a04d Merge branch 'pmderodat/rewriting.file_reader' into 'master' Pierre-Marie de Rodat 2023-10-25 08:00:00 +00:00
5e8d7fb910 Allow tree rewriting in the presence of a file reader Pierre-Marie de Rodat 2023-10-24 15:16:52 +00:00
c8da901bff Merge branch 'pmderodat/rewriting' into 'master' Pierre-Marie de Rodat 2023-10-24 16:03:24 +00:00
e9ec236ed2 Rewriting: free node stubs when releasing a rewriting context Pierre-Marie de Rodat 2023-10-24 15:23:16 +00:00
68f4ea96de Merge branch 'pmderodat/rewriting' into 'master' Pierre-Marie de Rodat 2023-10-24 12:36:31 +00:00
e7e454aebe Rewriting: rework the API to avoid child indexes Pierre-Marie de Rodat 2023-10-20 09:18:58 +00:00
de14f01e1d Fix "custom_short_image" handling in the absence of external properties Pierre-Marie de Rodat 2023-10-04 15:14:38 +00:00
94803c0761 Unparsing: make iteration on list nodes explicit Pierre-Marie de Rodat 2023-10-20 15:28:14 +00:00
9cfea25302 misc/rewriting: enhance testcase to cover Child/Set_Child on null fields Pierre-Marie de Rodat 2023-10-20 08:37:26 +00:00
b77a343cfa Merge branch 'pmderodat/generic_api' into 'master' Pierre-Marie de Rodat 2023-10-18 12:00:03 +00:00
e84e46f713 Generic_API: add diagnostics-related functions to Analysis Pierre-Marie de Rodat 2023-10-12 08:47:03 +00:00
76d0c72b43 Generic API: add Get_From_Buffer to Analysis Pierre-Marie de Rodat 2023-10-12 12:17:59 +00:00
4cd5019101 Merge branch 'pmderodat/rewriting.image' into 'master' Pierre-Marie de Rodat 2023-10-18 10:11:54 +00:00
96c96fdb5a $.Rewriting: fix "tied" status for cloned and templated trees Pierre-Marie de Rodat 2023-10-17 20:05:18 +00:00
8b00fb68a7 $.Rewriting: add an Image function for debugging node rewriting handles Pierre-Marie de Rodat 2023-10-17 19:51:18 +00:00
42abd9abfe Merge branch 'pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2023-10-16 07:38:33 +00:00
9bead34b2a Add type annotations to the langkit.utils package Pierre-Marie de Rodat 2023-10-13 13:50:11 +00:00
fa3d76f344 Merge branch 'sync/pmderodat/symbols' into 'master' Pierre-Marie de Rodat 2023-10-11 12:28:56 +00:00
dc03bead54 C API: simplify type names for node/entity types Pierre-Marie de Rodat 2023-10-10 13:52:03 +00:00
515c1f782a C API: fix type names for iterators Pierre-Marie de Rodat 2023-10-10 13:42:51 +00:00
9f733d52b8 C API: fix type names for arrays Pierre-Marie de Rodat 2023-10-10 13:33:41 +00:00
23407e8250 C API: fix code generation for iterator types Pierre-Marie de Rodat 2023-10-10 13:38:21 +00:00
4aa3e4ed1a Merge branch 'pmderodat/lkt.denoted_values' into 'master' Pierre-Marie de Rodat 2023-10-11 10:35:37 +00:00
f03b6dacaf Lkt lowering: remove hacks to get denoted values for strings/char lits Pierre-Marie de Rodat 2023-09-15 08:52:57 +00:00
6dd41e0e9d Merge branch 'pmderodat/ci' into 'master' Pierre-Marie de Rodat 2023-10-11 09:31:48 +00:00
ddf2890e1a .gitlab-ci.yml: install the latest successful libadalang-doc build Pierre-Marie de Rodat 2023-10-11 10:38:47 +02:00
d5689c4726 Merge branch 'pmderodat/predicate.type_check' into 'master' Pierre-Marie de Rodat 2023-10-11 08:46:34 +00:00
382cca737f langkit.parser: fix type checking for Predicate properties Pierre-Marie de Rodat 2023-10-04 09:54:04 +00:00
c134cb8aa7 grammar/invalid_predicate: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-10-04 09:42:36 +00:00
9aebe2d1eb Merge branch 'pmderodat/lkt.diagnostics' into 'master' Pierre-Marie de Rodat 2023-10-10 14:48:19 +00:00
064723b9c1 Lkt lowering: improve formatting for parsing/lexing errors Pierre-Marie de Rodat 2023-09-15 08:33:11 +00:00
d429d0f31a langkit.diagnostics: do not print source listing without a line number Pierre-Marie de Rodat 2023-09-15 08:37:32 +00:00
ce3ed42385 langkit.diagnostics: introduce the non_blocking_error() function Pierre-Marie de Rodat 2023-09-15 08:20:06 +00:00
911e00a4b7 Merge branch 'pmderodat/lkt.preparatory' into 'master' Pierre-Marie de Rodat 2023-10-10 14:13:17 +00:00
835a8ddb39 Lkt lowering: do not use typing to discriminate array concatenation Pierre-Marie de Rodat 2023-09-12 12:39:10 +00:00
dea47efd61 Lkt: add optional type information for null literals Pierre-Marie de Rodat 2023-09-12 12:37:47 +00:00
b314120db4 Lkt: add optional element type information for array literals Pierre-Marie de Rodat 2023-09-12 11:49:10 +00:00
766efeb552 Lkt: add optional expr type information for raise expressions Pierre-Marie de Rodat 2023-09-12 09:26:29 +00:00
64977e8884 langkit.lkt_lowering: document how lowering works Pierre-Marie de Rodat 2023-09-08 15:29:26 +00:00
b10ac8978b Merge branch 'pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2023-10-10 13:40:28 +00:00
ff22cf6e7a langkit.expressions.base.LocalVars: add type annotations Pierre-Marie de Rodat 2023-09-08 13:27:01 +00:00
b42aadd5be Merge branch 'pmderodat/predicate.external_prop' into 'master' Pierre-Marie de Rodat 2023-10-10 13:08:43 +00:00
80aa5c6d38 Fix codegen for exteral properties used by Predicate parsers Pierre-Marie de Rodat 2023-10-04 10:17:57 +00:00
bf34753306 Merge branch 'pmderodat/opt-arg-predicate' into 'master' Pierre-Marie de Rodat 2023-10-10 12:25:03 +00:00
ab46369830 Logic predicates: fix the handling of default values + dynamic vars Pierre-Marie de Rodat 2023-10-09 10:42:03 +00:00
aca3b882da Merge branch 'topic/jni_stubs_build_dir' into 'master' Hugo Guerrier 2023-10-02 15:52:31 +00:00
c7b36d7bbc Add JNI stubs build directory also to PATH env var Hugo Guerrier 2023-10-02 17:04:09 +02:00
291c6e5204 Merge branch 'topic/python_dll_loading' into 'master' Hugo Guerrier 2023-10-02 09:51:11 +00:00
62b82450bd Add flag to generate a DLL directories adding in Python bindings Hugo Guerrier 2023-09-15 17:40:32 +02:00
d68a9fe594 Merge branch 'topic/remove_cygwin_pathsep' into 'master' Hugo Guerrier 2023-10-02 09:15:46 +00:00
207663138a Remove path separator special case for Cygwin environment Hugo Guerrier 2023-09-25 13:42:09 +02:00
4cc23f9615 Merge branch 'topic/jni_makefile' into 'master' Hugo Guerrier 2023-10-02 08:34:09 +00:00
b87c235bbe Adapt java bindings Makefile to any system Hugo Guerrier 2023-09-20 11:35:25 +02:00
694c2b902d Merge branch 'pmderodat/ci' into 'master' v24.0.0 24.0 Pierre-Marie de Rodat 2023-09-26 14:25:57 +00:00
a94d7b2d57 CI: add MR issue checker Pierre-Marie de Rodat 2023-09-26 15:40:02 +02:00
d86a022fa9 Merge branch 'sync/fix_memory_corruption' into 'master' Daniel Mercier 2023-09-15 15:45:17 +00:00
f9fb9b4e9b Refactor AnalysisContextStruct creation Daniel Mercier 2023-09-15 14:10:24 +02:00
70ed788c04 Merge branch 'pmderodat/lkt.unary_op' into 'master' Pierre-Marie de Rodat 2023-09-15 15:25:09 +00:00
c5b93d16d4 Lkt: add parsing support for +/- unary operators Pierre-Marie de Rodat 2023-09-15 14:51:06 +00:00
985d158554 Merge branch 'sync/ocaml_create_context_from_project' into 'master' Daniel Mercier 2023-09-14 14:55:04 +00:00
cd63931f2a [ocaml api] Move default extensions Daniel Mercier 2023-09-14 14:43:00 +02:00
ffe65566a7 Merge branch 'topic/java_jni_stubs_warnings' into 'master' Hugo Guerrier 2023-09-11 10:22:26 +00:00
a49e83f841 Add result value initialization in node property JNI stubs Hugo Guerrier 2023-09-11 11:35:00 +02:00
547ae6aa4e Merge branch 'pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2023-09-11 09:08:03 +00:00

... 18 19 20 21 22 ...