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

Mono Color

• 75dfdba040 Rework adalog tests Pierre-Marie de Rodat 2022-01-06 16:03:43 +00:00
• 6ba804a547 Adalog: fix handling of empty set of vars with state machines Pierre-Marie de Rodat 2022-01-05 08:10:50 +00:00
• 235ad23545 Symbolic solver: make it possible to evaluate partial sequence of atoms Pierre-Marie de Rodat 2022-01-04 17:06:15 +00:00
• e8e60a3730 Symbolic solver: rework alias (Unify) handling Pierre-Marie de Rodat 2021-12-15 15:48:42 +00:00
• af649b734b Symbolic solver: create the list of logic vars before solving Pierre-Marie de Rodat 2021-12-15 11:37:36 +00:00
• 02b0c29322 Symbolic solver: unify solving of top-level atoms with compounds Pierre-Marie de Rodat 2021-12-15 10:05:52 +00:00
• 0bdd4a5d4e Adalog: always fail when the symbolic solver gives inconsistent results Pierre-Marie de Rodat 2021-12-15 09:13:35 +00:00
• a48778aa30 Adalog: fix Logic_Var.Reset to respect aliasing information Pierre-Marie de Rodat 2021-12-15 09:11:14 +00:00
• dd2debb2c1 Adalog: make it easier to debug a single solver config in tests Pierre-Marie de Rodat 2021-12-15 08:50:38 +00:00
• b0c8d7cea7 Adalog: merge Logic_Var/Logic_Ref Pierre-Marie de Rodat 2021-12-14 16:40:01 +00:00
• 3cb0a2154c Restore solver timeout passing for equation resolution Pierre-Marie de Rodat 2021-12-14 14:27:24 +00:00
• b7934ef16a Adalog: document symbolic solver traces Pierre-Marie de Rodat 2021-12-14 13:48:42 +00:00
• 3b574478a4 Adalog tests: check that we have the same solutions with and w/o opts Pierre-Marie de Rodat 2021-12-14 11:35:09 +00:00
• 4e486a30fe Adalog: rework relations debug output in the symbolic solver Pierre-Marie de Rodat 2021-12-14 10:38:20 +00:00
• 3a19247a4e Adalog tests: remove GNATCOLL traces parsing Pierre-Marie de Rodat 2021-12-14 10:30:56 +00:00
• da38c6e1de Minor refactorings in code generation for logic equations Pierre-Marie de Rodat 2021-12-13 16:29:22 +00:00
• 07e78ab40c Adalog tests: check the symbolic solver without optimizations Pierre-Marie de Rodat 2021-12-10 16:41:17 +00:00
• dc79524a67 Adalog tests: always show the relation to solve Pierre-Marie de Rodat 2021-12-10 16:27:54 +00:00
• 3dded82d09 Symbolic solver: remove support for Comparer_Type Pierre-Marie de Rodat 2021-12-10 15:56:46 +00:00
• de6619a202 Adalog: various doc/comment enhancements Pierre-Marie de Rodat 2021-12-08 13:27:53 +00:00
• 3bd99d80fb Symbolic solver: do the orphan check in linear time in Topo_Sort Pierre-Marie de Rodat 2021-12-09 13:52:16 +00:00
• 6369f3a08d Functional lists: add Push/Pop convenience primitive Pierre-Marie de Rodat 2021-12-09 13:19:13 +00:00
• 463c34c10f Symbolic solver: add missing "constant" keyword Pierre-Marie de Rodat 2021-12-08 14:41:08 +00:00
• c0c5332d82 Adalog: remove trailing spaces from the Image of relations Pierre-Marie de Rodat 2021-12-08 14:38:34 +00:00
• eba11fb652 Adalog: remove unused Solve overload Pierre-Marie de Rodat 2021-12-08 13:26:49 +00:00
• 6cf6d69d46 Symbolic solver: remove unused -1 special case for relation ref-counts Pierre-Marie de Rodat 2021-12-08 11:35:37 +00:00
• 136f5d3ebd Langkit_Support.Adalog: various style updates/minor refactorings Pierre-Marie de Rodat 2021-12-08 11:02:15 +00:00
• 5838df2919 Fix spurious "unused binding" warning despite usage in Predicate expr. Pierre-Marie de Rodat 2021-12-08 09:58:28 +00:00
• 904f4266da SB20-024: new solver megacommit Raphaël AMIARD 2019-11-20 15:36:45 +01:00
• 5ea20caef7 gdb_helpers: extend expected regexp for "fooout" Pierre-Marie de Rodat 2022-03-29 14:43:13 +02:00
• 38f49e2960 Testsuite: improve valgrind suppression file for OCaml bindings Daniel Mercier 2022-03-29 11:26:31 +02:00
• b882670f13 Testsuite: ignore expected memory leaks in the OCaml bindings Pierre-Marie de Rodat 2022-03-24 15:55:06 +01:00
• b8f185041f UA21-001 Don't call Increase/Decrease_Indent when trace is not active. Vadim Godunko 2022-03-24 23:01:30 +03:00
• 51701db639 Testsuite: make the sigsegv handler available to testcases Pierre-Marie de Rodat 2022-03-23 13:25:53 +00:00
• 7d56cd9e4e manage.py: add the sigsegv handler build+test to langkit_support cmds. Pierre-Marie de Rodat 2022-03-23 13:24:33 +00:00
• 0ba7a12ef4 UA21-001 Don't increase/decrease logging indent... Vadim Godunko 2022-03-23 11:42:43 +03:00
• 1725b21a81 Parsers: fix diagnostics cleaning in Or/transform/Cut parsers Pierre-Marie de Rodat 2022-03-04 14:34:30 +00:00
• d473b833c1 Disable the GNAT runtime's SIGSEGV handler on Unix systems Pierre-Marie de Rodat 2022-03-21 15:08:15 +00:00
• e61e501d1b Add a testcase to check GDB helpers Pierre-Marie de Rodat 2022-03-02 11:12:52 +00:00
• dead9ff788 Testsuite: refactor OCaml handling Pierre-Marie de Rodat 2022-03-22 09:56:03 +00:00
• 1bc68bb5c8 testsuite.py: minor refactoring Pierre-Marie de Rodat 2022-03-22 09:55:07 +00:00
• edb38f3109 GDB helpers: remove a GDB bug workaround Pierre-Marie de Rodat 2022-03-03 14:13:04 +01:00
• e9589f0615 GDB helpers: use Architecture.integer_type Pierre-Marie de Rodat 2022-03-03 14:12:17 +01:00
• a0e4d7e6f6 Debug info: fix location parsing on Windows Pierre-Marie de Rodat 2022-03-03 10:25:52 +00:00
• 626d3f064d GDB helpers: minor reformatting for the output of the state and si cmds Pierre-Marie de Rodat 2022-03-02 15:08:47 +00:00
• 44780b5cbf Uniformize __repr__ methods for abstract expressions Pierre-Marie de Rodat 2022-03-02 13:53:23 +00:00
• 296965720f GDB helpers: fix token string fetching for Python3 Pierre-Marie de Rodat 2022-03-02 11:03:01 +00:00
• cfbf9be4de Properties: fix code generation for token arrays Pierre-Marie de Rodat 2022-03-02 11:01:13 +00:00
• 60ab3f7bf7 Properties: allow No(T.Token) Pierre-Marie de Rodat 2022-03-02 11:00:14 +00:00
• a9627434ba GDB helpers: fix a typo in a pretty-printer Pierre-Marie de Rodat 2022-03-02 08:58:20 +00:00
• 930d6647ac GDB helpers: fix pretty-printing for env rebindings Pierre-Marie de Rodat 2022-03-02 08:57:38 +00:00
• 38efdc5afb GDB helpers: harmonize pretty-printing for null values Pierre-Marie de Rodat 2022-03-01 14:15:27 +00:00
• be9a9e9f6b GDB helpers: strip typedefs when matching access types Pierre-Marie de Rodat 2022-03-01 13:50:02 +00:00
• 70e463c2b4 Fix a crash when a public property returns a null analysis unit Pierre-Marie de Rodat 2022-03-01 11:20:11 +00:00
• e0d5c7bbea python_support/lexer_example.py: remove obsolete file Pierre-Marie de Rodat 2022-03-01 09:26:02 +00:00
• 651713541d mypy.ini: simplify configuration for the whole langkit.lexer package Pierre-Marie de Rodat 2022-03-01 09:24:23 +00:00
• 9679a6a2f2 mypy.ini: simplify configuration for the whole langkit.gdb package Pierre-Marie de Rodat 2022-03-01 09:22:55 +00:00
• 9c24c9e0a3 Testsuite: restrict inner test parallelism Pierre-Marie de Rodat 2022-03-14 15:03:48 +01:00
• 0959452df6 Add missing null node checks in the public Ada API implementation Pierre-Marie de Rodat 2022-03-11 10:28:14 +00:00
• 74eee3e60c mypy.ini: ignore the absence of typeguard imports Laurent Thévenoux 2022-03-18 16:23:14 +01:00
• 4798e5393a .gitlab-ci.yml: always install Python packages Pierre-Marie de Rodat 2022-03-17 14:39:03 +01:00
• e4dc5c501d .gitlab-ci.yml: uninstall Ada dependencies before reinstalling them Pierre-Marie de Rodat 2022-03-17 11:21:47 +01:00
• 493a9b64ba .gitlab-ci.yml: use unique names for caches Pierre-Marie de Rodat 2022-03-15 15:29:40 +00:00
• 640fb57017 .gitlab-ci.yml: remove useless use of gh_wrap_errors.py Pierre-Marie de Rodat 2022-03-14 14:35:07 +01:00
• 4b0f673ac2 .gitlab-ci.yml: run Mypy on the Langkit Python codebase Pierre-Marie de Rodat 2022-03-14 14:34:26 +01:00
• 3916f23b9e .gitlab-ci.yml: factor cache and env init out Pierre-Marie de Rodat 2022-03-14 14:28:25 +01:00
• c5c8281eba .gitlab-ci.yml: fix cache entries for libpythonlang/liblktlang Pierre-Marie de Rodat 2022-03-14 13:57:17 +01:00
• b080afe6c0 Create an initial .gitlab-ci.yml file Nicolas Setton 2022-03-03 17:01:22 +00:00
• f774e0b9a9 Introduce built-in SyntaxError and FileReadError exceptions Pierre-Marie de Rodat 2022-02-21 16:04:06 +00:00
• 2e07a9a0cc REQUIREMENTS.dev: remove psutil Pierre-Marie de Rodat 2022-03-10 17:29:31 +01:00
• e251158bbc Create an initial .gitlab-ci.yml file Nicolas Setton 2022-03-03 17:01:22 +00:00
• a15b2e59bc Update .gitlab-ci.yml file Nicolas Setton 2022-03-03 16:54:17 +00:00
• f81d3b23b2 grammar/cuts: workaround a GNAT runtime bug Pierre-Marie de Rodat 2022-03-03 12:12:04 +01:00
• 97c2827703 manage.py: run mypy after building libpythonlang+liblktlang Pierre-Marie de Rodat 2022-02-25 12:49:03 +01:00
• 1a5fcb16bd langkit.parsers: introduce the concept of entry point Pierre-Marie de Rodat 2022-02-23 19:59:52 +00:00
• 4c30b4a727 Document Skip/DontSkip parsers Raphaël AMIARD 2022-02-25 12:36:53 +01:00
• b36f51fd21 Add the Nocut parser Raphaël AMIARD 2022-02-24 14:28:56 +01:00
• e61c720738 parsers/skip_code_ada.mako: reformat and add comments Pierre-Marie de Rodat 2022-02-28 11:49:03 +00:00
• e37eed1c3f Testsuite: add a types_from_lkt argument to emit_and_print_errors Pierre-Marie de Rodat 2022-02-24 14:36:11 +00:00
• 40178b4beb dsl_unparse: print diagnostics when getting analysis unit fails Laurent Thévenoux 2022-01-27 14:21:02 +00:00
• 3a5b3e4b14 Property DSL: fix "expr" field accesses on cast expressions Pierre-Marie de Rodat 2022-02-22 16:34:21 +00:00
• 72080d8b24 Testsuite: use gnat.supp for Ada mains Pierre-Marie de Rodat 2022-02-23 20:09:39 +00:00
• 51a2360eef langkit.parsers: add type hints Pierre-Marie de Rodat 2022-02-22 15:56:29 +00:00
• af7c032a56 Add a Valgrind suppression for GNAT's secondary stack code Pierre-Marie de Rodat 2022-02-21 17:04:28 +00:00
• ea7603a1e9 Generic API: add Parents and Is_Ghost primitives for Lk_Node Pierre-Marie de Rodat 2022-02-17 13:20:15 +00:00
• 5ef911dea0 Generic API: make Lk_Node.Parent work on entities internally Pierre-Marie de Rodat 2022-02-17 12:16:16 +00:00
• 6bc066b65a Generic API: fix Text and Sloc_Range Lk_Node primitives Pierre-Marie de Rodat 2022-02-17 12:06:08 +00:00
• 9ee8ed7768 Ada API: fix handling of null field access when node has non-null MD Pierre-Marie de Rodat 2022-02-15 16:22:57 +00:00
• 182aeed2c5 Remove various useless with/use clauses Pierre-Marie de Rodat 2022-02-14 16:50:24 +00:00
• 111c1e7b81 Generic API: fix token kind handling for termination tokens Pierre-Marie de Rodat 2022-02-14 15:49:02 +00:00
• 8876f84229 Generic API: add a Lk_Node overload for the Type_Matches predicate Pierre-Marie de Rodat 2022-02-14 15:32:45 +00:00
• 985713f2ab Generic API: avoid as much as possible 'Class in the API Pierre-Marie de Rodat 2022-02-10 13:54:08 +00:00
• 2b0e284dc4 Can_Reach: directly use token indexes instead of slocs Pierre-Marie de Rodat 2022-02-09 14:46:58 +00:00
• 7d13e2a45a Generic API: fix a memory leak in node member evaluation Pierre-Marie de Rodat 2022-02-08 09:12:32 +00:00
• 3825792c99 Generic API: make the internal name for derived properties more natural Pierre-Marie de Rodat 2022-02-04 10:52:40 +00:00
• f3d0476a62 Generic API: fix the handling of overriding properties Pierre-Marie de Rodat 2022-02-04 10:45:20 +00:00
• 11837583cb Generic API: fix the handling of abstract syntax fields Pierre-Marie de Rodat 2022-02-03 17:04:37 +00:00
• ddd44cacee Generic API: minor comment fixes Pierre-Marie de Rodat 2022-02-03 13:51:20 +00:00
• fd547eeed3 CompileCtx.sorted_parse_fields: fix type annotation Pierre-Marie de Rodat 2022-02-03 13:50:58 +00:00
• 8d498ebb0c langkit.diagnostics: remove mandatory import of Mako for GDB helpers Pierre-Marie de Rodat 2022-02-04 09:37:55 +00:00