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

a326095a44 Merge branch 'mr/pmderodat/lkt-unparsing-lexer' into 'master' Pierre-Marie de Rodat 2025-01-27 15:19:18 +00:00
ab30efda52 Lkt unparsing: fix handing of token literals in GrammarRuleDecl Pierre-Marie de Rodat 2025-01-24 11:54:26 +00:00
8f81c63f65 Merge branch 'mr/pmderodat/lkt-run' into 'master' Pierre-Marie de Rodat 2025-01-27 15:18:59 +00:00
8d21266304 lkm run: fix the handling of arbitrary subcommand arguments Pierre-Marie de Rodat 2025-01-24 20:22:12 +00:00
75ebae9a3d Merge branch 'mr/pmderodat/lkt-types' into 'master' Pierre-Marie de Rodat 2025-01-27 15:02:32 +00:00
aa125c258e liblktlang-implementation-extensions.adb: fix memory leaks Pierre-Marie de Rodat 2025-01-27 09:04:13 +00:00
e3b87093f4 Merge branch 'mr/pmderodat/unused_docs' into 'master' Pierre-Marie de Rodat 2025-01-27 15:02:20 +00:00
7c5ef1f686 langkit.documentation: remove unused doc entries Pierre-Marie de Rodat 2025-01-22 14:03:52 +00:00
8777dbe0d0 templates/python_api/module_py.mako: use existing templated doc entries Pierre-Marie de Rodat 2025-01-22 14:03:19 +00:00
5bd06a13af Merge branch 'mr/pmderodat/windows' into 'master' Pierre-Marie de Rodat 2025-01-27 13:51:49 +00:00
bd8fbdf735 Testsuite: add missing calls to sys.stdout.flush() for consistent output Pierre-Marie de Rodat 2025-01-27 12:32:29 +00:00
22e5aab421 Merge branch 'topic/new_lkt_typing' into 'master' Rémi Segard 2025-01-24 14:42:32 +00:00
73a58df455 Implement a new typer for Lkt using the Logic DSL Remi SEGARD 2024-04-23 11:07:18 +02:00
a6d9522511 Merge branch 'topic/add_yaml_types_requirement' into 'master' Hugo Guerrier 2025-01-23 14:42:43 +00:00
256e469eb7 Add 'types-pyYAML' in requirements Hugo Guerrier 2025-01-23 14:37:13 +01:00
39d809a489 Merge branch 'mr/pmderodat/valgrind' into 'master' Pierre-Marie de Rodat 2025-01-22 15:09:47 +00:00
082d11ed39 Add Valgrind suppressions for leaks in System.Traceback.Symbolic Pierre-Marie de Rodat 2025-01-22 15:53:20 +01:00
909f6c2aec Merge branch 'mr/pmderodat/locations' into 'master' Pierre-Marie de Rodat 2025-01-21 15:56:48 +00:00
765285f594 langkit.diagnostics: remove error's do_raise argument Pierre-Marie de Rodat 2025-01-21 13:25:22 +00:00
9f15f5e127 Merge branch 'mr/pmderodat/lkm-run' into 'master' Pierre-Marie de Rodat 2025-01-20 15:50:54 +00:00
6e8649ec2f langkit.libmanage: use Location.nowhere by default for uncaugth excepts. Pierre-Marie de Rodat 2025-01-17 11:06:05 +00:00
f749c71c6b langkit.libmanage: always give direct access to C headers Pierre-Marie de Rodat 2025-01-17 11:03:04 +00:00
8f77f39fca lkm: introduce the "run" subcommand Pierre-Marie de Rodat 2025-01-17 10:06:04 +00:00
c3d8cabd16 Merge branch 'mr/pmderodat/lkt-build-system' into 'master' Pierre-Marie de Rodat 2025-01-20 15:34:03 +00:00
434e426223 langkit.config: enable types_from_lkt by default for LktSpec Pierre-Marie de Rodat 2025-01-16 13:01:20 +00:00
2c4ea92c81 Merge branch 'mr/pmderodat/manage-unparse-script' into 'master' Pierre-Marie de Rodat 2025-01-20 14:52:14 +00:00
571b8ff6ba lkm: do not accept --unparse-script Pierre-Marie de Rodat 2025-01-16 14:00:44 +00:00
c5ff623113 Fix manage scripts' --unparse-script command line option Pierre-Marie de Rodat 2025-01-16 13:55:18 +00:00
7ef271e99d Merge branch 'mr/pmderodat/locations' into 'master' Pierre-Marie de Rodat 2025-01-20 14:23:58 +00:00
6e83a4cadc langkit.envs: remove ambient location for diagnostics Pierre-Marie de Rodat 2024-12-20 13:20:21 +00:00
b3a4b60f2a langkit.passes: remove ambient location for diagnostics Pierre-Marie de Rodat 2024-12-20 08:58:04 +00:00
c2a68d280b langkit.emitter: remove ambient location for diagnostics Pierre-Marie de Rodat 2024-12-20 08:57:46 +00:00
16df1a58fd langkit.dsl: remove ambient location for diagnostics Pierre-Marie de Rodat 2024-12-20 08:55:41 +00:00
cc03a783c7 langkit.libmanage: remove ambient location for diagnostics Pierre-Marie de Rodat 2024-12-19 14:48:03 +00:00
a1e7d91208 langkit.diagnostics.WarningDescriptor.warn_if: disallow ambient location Pierre-Marie de Rodat 2024-12-19 09:47:04 +00:00
1d8c5d378a langkit.unparsing: remove ambient location for diagnostics Pierre-Marie de Rodat 2024-12-19 09:14:51 +00:00
8363c7b98f langkit.diagnostics.non_blocking_error: disallow ambient location Pierre-Marie de Rodat 2024-12-18 15:36:06 +00:00
67f2b76a13 Lkt lowering: add missing location for RefCategories positional args. Pierre-Marie de Rodat 2024-11-05 15:06:19 +00:00
9a74d53703 Lkt lowering: add missing location for struct cons. positional args. Pierre-Marie de Rodat 2024-11-05 15:01:19 +00:00
2d098d0203 langkit.diagnostic: make it possible not to use ambient location Pierre-Marie de Rodat 2024-12-18 13:54:49 +00:00
5688aeafa8 Merge branch 'topic/796-2' into 'master' Romain Béguet 2025-01-20 11:13:17 +00:00
6b7b8673af Remove obselete test sources re-introduced by mistake. Romain Beguet 2025-01-20 11:42:17 +01:00
9a55cb812d Merge branch 'mr/pmderodat/copyright' into 'master' Pierre-Marie de Rodat 2025-01-20 10:43:23 +00:00
3090d7cf40 Update copyright notices for 2025 Pierre-Marie de Rodat 2025-01-20 11:27:10 +01:00
489d0881c6 Merge branch 'topic/ada_exception_stacktrace' into 'master' Hugo Guerrier 2025-01-20 10:39:54 +00:00
8c5d6fe202 Adapt Java API to exception stack trace exposure Hugo Guerrier 2025-01-14 16:03:36 +01:00
64996efa0c Store Ada stack trace in C API exception structs Hugo Guerrier 2025-01-14 16:02:00 +01:00
110843009a Merge branch 'topic/796-2' into 'master' Romain Béguet 2025-01-17 11:21:25 +00:00
0f19dacc31 Reword dynamic to variadic in test case. Romain Beguet 2025-01-16 16:00:30 +01:00
1625c65202 Unify handling of predicate and functor closures. Romain Beguet 2024-06-14 12:20:58 +02:00
62a34c3665 Simplify propagate's property resolution. Romain Beguet 2024-06-14 16:56:02 +02:00
916de69e7f Minor: type the resolve_property utility function. Romain Beguet 2024-06-14 16:55:39 +02:00
220bd77c01 Merge branch 'mr/pmderodat/lkt-build-system' into 'master' Pierre-Marie de Rodat 2025-01-15 09:27:23 +00:00
e8e664d539 langkit.config: turn ExternalException into a frozen dataclass Pierre-Marie de Rodat 2025-01-09 16:02:34 +00:00
ac4de07e14 langkit.config: turn LibraryEntity into a frozen dataclass Pierre-Marie de Rodat 2025-01-09 15:46:35 +00:00
3fbb1c38b7 langkit.config: rename "lkt" to "lkt_spec" Pierre-Marie de Rodat 2025-01-09 15:44:02 +00:00
d07ead02fc CompileCtx: remove the show_property_logging field shortcut Pierre-Marie de Rodat 2025-01-09 15:20:58 +00:00
ff46047fac CompileCtx: remove the _symbol_canonicalizer field shortcut Pierre-Marie de Rodat 2025-01-09 15:20:20 +00:00
785297f4e7 CompileCtx: remove the default_unit_provider field shortcut Pierre-Marie de Rodat 2025-01-09 15:18:49 +00:00
40a4543730 CompileCtx: remove the default_charset/tab_stop field shortcuts Pierre-Marie de Rodat 2025-01-09 15:15:42 +00:00
c7d028dc25 CompileCtx: rework shortcuts for library names Pierre-Marie de Rodat 2025-01-09 15:11:55 +00:00
ef18519b98 CompileCtx: remove the cache_collection* field shortcuts Pierre-Marie de Rodat 2025-01-09 15:07:28 +00:00
8e64e8a590 CompileCtx: remove the default_unparsing_config field shortcut Pierre-Marie de Rodat 2025-01-09 15:03:29 +00:00
28c5d6bf45 CompileCtx: remove the standalone field shortcut Pierre-Marie de Rodat 2025-01-09 15:00:40 +00:00
95a4567af3 CompileCtx: remove shortcut accessors for version/build_date Pierre-Marie de Rodat 2025-01-09 14:31:23 +00:00
7c9b3882d6 CompileCtx: remove the lang_name field shortcut Pierre-Marie de Rodat 2025-01-09 14:21:58 +00:00
fde3edae08 Transtion create-project.py and related tests to Lkt/lkm Pierre-Marie de Rodat 2025-01-07 15:01:11 +00:00
f786aadfaf Add tests for invalid language configurations Pierre-Marie de Rodat 2025-01-07 10:44:56 +00:00
8beccff706 Introduce lkm, the replacement for manage.py scripts Pierre-Marie de Rodat 2025-01-07 09:56:05 +00:00
7338143a9f Minor optim./bootstrap enhancement: parse Lkt files only when needed Pierre-Marie de Rodat 2025-01-06 14:08:15 +00:00
20c3f58d6a langkit.config: add support for extra installation files Pierre-Marie de Rodat 2025-01-06 13:58:01 +00:00
f9465ae01f langkit.libmanage: initialize verbosity in __init__ rather than setattr Pierre-Marie de Rodat 2024-10-25 15:12:03 +00:00
8bec684f53 langkit.config: keep LibraryConfig.root_directory init. automatic Pierre-Marie de Rodat 2024-10-25 15:04:50 +00:00
087d3ee244 langkit.config: add support for RST passthrough roles Pierre-Marie de Rodat 2024-10-25 14:11:36 +00:00
a04d58e1a3 langkit.config: add support for extra context clauses Pierre-Marie de Rodat 2024-10-25 09:50:06 +00:00
11af931f2a langkit.config: add support for external exceptions Pierre-Marie de Rodat 2024-10-25 08:35:05 +00:00
389d78a6e7 langkit.config: introduce JSON deserialization Pierre-Marie de Rodat 2024-10-23 18:48:58 +00:00
109fd493c7 Introduce separate data structure to hold the language spec config Pierre-Marie de Rodat 2024-10-18 19:01:37 +00:00
14f52e3715 contrib/lkt_semantic/invalid_grammar: do not rely on lexer_example.lkt Pierre-Marie de Rodat 2025-01-06 19:33:41 +00:00
337eb1fcc1 dsl_unparse/test_comments: use default warnings Pierre-Marie de Rodat 2024-10-22 09:17:03 +00:00
0d0ce28d7f Merge branch 'mr/pmderodat/e3-binarydata' into 'master' Pierre-Marie de Rodat 2025-01-06 10:22:44 +00:00
f4eddada90 langkit.packaging: remove use of e3-binarydata Pierre-Marie de Rodat 2025-01-06 09:21:08 +00:00
8efb0c97a5 Merge branch 'mr/pmderodat/then-or' into 'master' Pierre-Marie de Rodat 2025-01-06 08:31:01 +00:00
ee5303cc68 Lkt lowering: fix null-cond propagation for x?.y or? z Pierre-Marie de Rodat 2024-12-20 08:02:25 +00:00
832998e2ea Merge branch 'mr/pmderodat/requirements' into 'master' Pierre-Marie de Rodat 2024-12-18 13:34:11 +00:00
92ee764042 requirements-github.txt: remove -e (editable mode) Pierre-Marie de Rodat 2024-12-18 14:11:37 +01:00
9369a803d8 Merge branch 'mr/pmderodat/windows-scripts' into 'master' Pierre-Marie de Rodat 2024-12-17 15:50:03 +00:00
83bfab0181 Testsuite: run Langkit scripts through "python -m langkit.scripts.*" Pierre-Marie de Rodat 2024-12-17 09:48:09 +00:00
563e4591d6 Merge branch 'mr/pmderodat/static-expr' into 'master' Pierre-Marie de Rodat 2024-12-17 15:40:17 +00:00
097478d3fe misc/invalid_static_expr: new testcase Pierre-Marie de Rodat 2024-12-16 21:51:04 +00:00
8508b1c701 Lkt: accept concatenation in pattern declarations and tok. pattern rules Pierre-Marie de Rodat 2024-12-16 21:41:07 +00:00
b6a0872f1b Lkt: accept concatenation of static strings in annotation arguments Pierre-Marie de Rodat 2024-12-16 20:59:47 +00:00
005e0e6235 Lkt: accept concatenation of static strings as RaiseExpr arguments Pierre-Marie de Rodat 2024-12-16 20:47:26 +00:00
5e23744b18 Merge branch 'mr/pmderodat/requirements' into 'master' Pierre-Marie de Rodat 2024-12-17 10:04:12 +00:00
745b067569 requirements-pypi.txt: bump versions to align with e3-distrib Pierre-Marie de Rodat 2024-12-17 09:33:58 +00:00
863db046aa Merge branch 'mr/pmderodat/msvc-split' into 'master' Pierre-Marie de Rodat 2024-12-16 10:06:46 +00:00
f1b86a360b setup.py: fix console_script description for generate-msvc-lib-file.py Pierre-Marie de Rodat 2024-12-16 10:05:00 +01:00
8f9f68fc98 Merge branch 'mr/pmderodat/reparse-same-buffer' into 'master' Pierre-Marie de Rodat 2024-12-16 09:08:45 +00:00
aef63bd2f7 Avoid reparsing units when their source buffer does not change Pierre-Marie de Rodat 2024-12-05 16:32:28 +00:00
1b657653eb Merge branch 'mr/pmderodat/unparsing-combine' into 'master' Pierre-Marie de Rodat 2024-12-10 10:42:41 +00:00

... 6 7 8 9 10 ...