Commit Graph

Select branches

Hide Pull Requests

6.0.2

aens-at-full-node-ver

aens-subdomains

bump_gmserialization

call-fee

ceres

changelog-update

dependabot/pip/dot-github/workflows/pygments-2.15.0

extend-aci-interface

fix-ets

generalized_accounts_no_abi_move

gh-400

gh-485

gh-pages

ghallak/229

ghallak/split-typechecker

lima

lima-master-merge

loop-op

make-return-reserved-word

master

mergesort

new_ceres

old_ceres

option-force-msg

optionally_generate_aci

prh-docs-fix

pt-166866806-claim-with-name-fee

quickcheck-ci

radrow-patch-2

roma

type-env

uw-mldsa-crypto

uw-rename-fix-deps

zomp

#493

#494

#495

#496

#497

#498

#499

#500

#501

#502

#503

#504

#505

#506

#507

#508

#509

#510

#511

#512

#513

#514

#515

#516

#517

#518

#519

#520

#521

#522

#523

#524

#525

#526

#527

#528

#529

#530

#532

#533

#534

#535

#536

#537

#538

#539

#540

#541

#542

#543

#544

#546

#547

#548

#549

#550

#551

#552

#553

#554

#555

#556

#557

#558

#559

#560

#561

#562

#563

#564

#565

#566

#567

#568

#569

#570

#571

#572

#573

#574

#575

#576

#577

#578

#579

#580

#581

#582

#583

#584

#585

#586

#587

#588

#589

#590

#591

#592

#593

#594

#595

#596

#597

#598

#600

#601

#602

#604

#605

#606

#607

#608

#609

#610

#611

#612

#613

#614

#615

#616

#617

#618

#619

#620

#621

#622

#623

#624

#625

#626

#627

#628

#629

#630

#631

#632

#633

#634

#635

#636

#637

#638

#639

#640

#641

#642

#643

#644

#645

#646

#647

#648

#649

#650

#651

#652

#653

#654

#656

#658

#659

#660

#662

#664

#666

#668

#669

#671

#673

#674

#675

#676

#677

#678

#681

#696

#697

#698

#699

#700

#701

#703

#704

#705

#706

#707

#709

#710

#711

#712

#713

#714

#716

#727

#728

#729

#730

#731

#732

#736

#738

#740

#741

#742

#744

#745

#746

#747

#748

#750

#752

#753

#755

#756

#758

#764

#769

#770

#771

#773

#774

#775

#776

#777

#778

#779

#782

#784

#785

#787

#790

#791

#794

#795

#796

#799

#800

#802

#803

#804

#805

#808

#809

#811

#812

#813

#814

#816

#817

#818

#819

#820

#823

#824

#825

#826

#827

#829

#830

#831

#833

#836

#837

#838

#839

#840

#841

#843

#844

#848

#850

#851

#852

#853

#854

#855

#856

#858

#859

#862

#863

#866

#867

#868

#870

#873

#874

#875

#876

#881

#885

#887

#888

#889

#890

#892

#893

#896

#897

#898

#899

#900

#901

#902

#906

#909

#912

#914

#915

#917

#918

#919

#920

#922

#923

#924

#925

#926

#928

#929

#930

#931

#933

#947

#948

#950

#951

#953

#954

#955

#957

#959

#960

#964

#971

#972

#974

#975

#977

#978

#980

#983

#984

#985

#986

#987

#990

#991

roma-v1

v2

v2.0.0

v2.1.0

v3.0.0

v3.1.0

v3.2.0

v4.0.0

v4.0.0-rc1

v4.0.0-rc3

v4.0.0-rc4

v4.0.0-rc5

v4.1.0

v4.1.0-rc1

v4.2.0

v4.3.0

v5.0.0

v6.0.0

v6.0.1

v6.0.2

v6.1.0

v7.0.0

v7.0.1

v7.1.0

v7.2.0

v7.2.1

v7.3.0

v7.4.0

v7.5.0

Mono Color

• 0dc647f139 Move typedefs to a separate module Gaith Hallak 2023-04-30 11:12:26 +03:00
• fceb124f89 Remove freshening from the type checker Gaith Hallak 2023-04-30 11:01:51 +03:00
• dab0e4b758 Move opposite_variance to type utils Gaith Hallak 2023-04-30 10:00:46 +03:00
• fbf12cf8b4 Split unfolding from the type checker Gaith Hallak 2023-04-30 09:20:08 +03:00
• 2cdd3ed576 Split unification from the type checker Gaith Hallak 2023-04-29 14:26:32 +03:00
• 5f277bed08 Remove aeso_ast module Gaith Hallak 2023-04-29 13:50:11 +03:00
• 565863681c Split constraints from type checker Gaith Hallak 2023-04-29 11:25:55 +03:00
• 9fe2696432 Split env from the type checker Gaith Hallak 2023-04-29 07:26:04 +03:00
• f11697da1a Fix Sophia stdlib path resolution. zxq9 2023-04-28 23:43:05 +09:00
• fc2731fbbb Merge branch 'master' into zomp zxq9 2023-04-28 17:12:02 +09:00
• cc76f93dd7 Fix includes zxq9 2023-04-28 17:11:07 +09:00
• 4c90b00fd0 Implement env getters and setters Gaith Hallak 2023-04-26 12:55:23 +03:00
• 9f8f3c2ac8 Move blocks processing to desugar module Gaith Hallak 2023-04-24 17:45:32 +03:00
• 4a8870fb1d Rename ets_manager and type_utils Gaith Hallak 2023-04-24 16:30:50 +03:00
• a91470fe3c Split desugaring from the type checker Gaith Hallak 2023-04-24 16:23:18 +03:00
• ab69b6c2a7 Split warnings from the type checker Gaith Hallak 2023-04-22 12:11:28 +03:00
• 296b2a4bb0 Remove duplicated record definition Gaith Hallak 2023-04-21 21:13:29 +03:00
• 1f0726fad7 Split type errors from type checker Gaith Hallak 2023-04-21 21:06:46 +03:00
• 433d180c17 Split pretty printing from type checker Gaith Hallak 2023-04-21 20:28:56 +03:00
• 30a179bfcc Move smaller functions outside of aeso_ast_infer_types Gaith Hallak 2023-04-21 20:07:53 +03:00
• 0e4c24958c Remove the access of scopes Gaith Hallak 2023-04-21 19:51:40 +03:00
• 0baedfeede Move typesig_to_fun_t to type utils Gaith Hallak 2023-04-20 20:23:58 +03:00
• 36058df924 Split utils and ets management Gaith Hallak 2023-04-20 20:05:23 +03:00
• 411399a39a . gh-400 radrow 2023-04-16 21:59:48 +02:00
• 8289f4af9d WIP split into files radrow 2023-04-16 17:40:31 +02:00
• 3cd8c37399 . radrow 2023-04-16 16:02:09 +02:00
• 176ac3b3ed Deployed 7b6eba5 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-04-12 11:21:10 +00:00
• 7b6eba5319 Introduce contract-level compile-time constants (#432) Gaith Hallak 2023-04-12 14:20:41 +03:00
• 8d7025f794 Cleanup pretty printing radrow 2023-04-07 12:06:29 +02:00
• 8e191b0c88 [Ceres]: Document generic all names delegation signatures (#440) new_ceres Hans Svensson 2023-03-22 08:55:57 +01:00
• 5130153b91 Deployed 99bb3fe to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-03-21 10:55:42 +00:00
• 99bb3fe1fb Mark only included files as potentially unused (#442) Gaith Hallak 2023-03-21 13:55:18 +03:00
• add82fe5ee Package for ZX/Zomp zxq9 2023-03-16 16:12:45 +09:00
• f70fc56df8 Ceres: document changes to Auth.tx_hash (#439) Hans Svensson 2023-03-03 10:06:45 +01:00
• 4ecafdae17 Deployed 311bf49 to v7.1.0 with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-02-24 08:42:59 +00:00
• 7d6ff5e6a1 Deployed 311bf49 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-02-24 08:40:36 +00:00
• 311bf49505 Prepare v7.1.0 release (#438) v7.1.0 Hans Svensson 2023-02-24 09:40:06 +01:00
• 28f896971b Deployed 0e3bcba to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-02-15 10:27:57 +00:00
• 0e3bcba07d Fix markup in sophia_features.md (#437) Denis Davidyuk 2023-02-15 14:27:29 +04:00
• 565c1a5383 Deployed 699d1f7 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-02-02 07:33:23 +00:00
• 699d1f7ab8 fix: use latest pygments version to generate docs (#435) Marco Walz 2023-02-02 08:32:54 +01:00
• 1a40a93157 chore(deps): mkdocs version update (#434) Marco Walz 2023-02-02 08:16:27 +01:00
• dfc7f0b9c9 Deployed c078119 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2023-01-12 13:24:00 +00:00
• c078119bc4 Add hole expression (#433) Gaith Hallak 2023-01-12 16:23:36 +03:00
• c8788911a5 Deployed 31fd8fe to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-12-12 08:44:48 +00:00
• 31fd8fe24f Hide warning when calling with non-0 value arg (#431) Gaith Hallak 2022-12-12 11:44:24 +03:00
• 7556284dc6 Deployed 9ad8e26 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-12-07 14:35:23 +00:00
• 9ad8e26e88 Add clarification for Chain.timestamp in the stdlib docs (#429) Nikita Fuchs 2022-12-07 15:34:55 +01:00
• 4ae24722f4 Remove unused variable in AENSCompat Hans Svensson 2022-12-01 08:33:59 +01:00
• e2908b4962 Deployed 5adeb6c to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-11-23 09:03:45 +00:00
• 5adeb6c93e Ban using contracts as namespaces (#428) Gaith Hallak 2022-11-23 12:03:24 +03:00
• 48ff7a8764 Deployed 256df25 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-11-17 08:41:23 +00:00
• 256df25af4 Check contracts and entrypoints modifiers when implementing interfaces (#427) Gaith Hallak 2022-11-17 11:40:57 +03:00
• 55a97852ed Introduce AENSv2 namespace to introduce raw data pointers (#426) Hans Svensson 2022-11-16 21:31:44 +01:00
• 1380142082 Add bitwise operations, Address.to_bytes and Crypto.poseidon Hans Svensson 2021-10-29 13:34:40 +02:00
• 1754763e23 Let CERES compiler be v8.0.0 tentatively Hans Svensson 2021-11-04 10:40:18 +01:00
• bc5603430b Deployed 83abfae to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-11-01 16:11:18 +00:00
• 83abfae32b Ban the unification of uvars and var_args functions (#423) Gaith Hallak 2022-11-01 18:10:57 +02:00
• a6ce997e4a Deployed 4ca90fe to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-11-01 06:55:21 +00:00
• 4ca90feea0 Rename type_defs to typedefs in ACI to increase compatibility (#421) Denis Davidyuk 2022-11-01 07:55:00 +01:00
• e497d0f53a Deployed 09638da to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-10-25 06:42:25 +00:00
• 09638daa90 Return mapping from variables to registers in fate compilation (#411) Gaith Hallak 2022-10-25 09:42:02 +03:00
• 1111b125e6 Deployed d59023a to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-10-23 12:01:50 +00:00
• d59023a9f4 Allow calling a different instance of the current contract (#379) Gaith Hallak 2022-10-23 15:01:28 +03:00
• d16391173e Deployed 34b5273 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-10-07 12:57:59 +00:00
• 34b52739fd Include all functions in the symbols map (#418) Radosław Rowicki 2022-10-07 14:57:37 +02:00
• 07877e14e1 Deployed 1c83287 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-10-07 09:10:19 +00:00
• 1c83287d45 Add separate flags for each scode optimization (#410) Gaith Hallak 2022-10-07 12:09:53 +03:00
• 273d5998dc Deployed da92ddb to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-10-04 09:41:17 +00:00
• da92ddbd5d Polymorphism fixes (#415) Gaith Hallak 2022-10-04 12:40:50 +03:00
• d4fbdf7bef Deployed c1c1692 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-08-30 07:15:45 +00:00
• c1c169273c Add options to enable/disable certain optimizations (#409) Gaith Hallak 2022-08-30 10:14:46 +03:00
• 051eb66c9a Deployed ad4c341 to v7.0.1 with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-08-04 17:39:45 +00:00
• e5d0840847 Deployed ad4c341 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-08-04 17:38:54 +00:00
• ad4c341a4a Bump version to 7.0.1 (#408) v7.0.1 Gaith Hallak 2022-08-04 21:38:24 +04:00
• fc3a61ebd1 Deployed f964fa8 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-08-04 15:36:23 +00:00
• f964fa89a1 Add CONTRIBUTING.md (#406) Gaith Hallak 2022-08-04 19:35:48 +04:00
• b87ce6f7fb Deployed 8d8d9c6 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-08-03 20:26:11 +00:00
• 8d8d9c6b83 Update Sophia syntax docs to include missing information about existing syntax (#405) Gaith Hallak 2022-08-04 00:25:42 +04:00
• f9f5dfd3b0 Deployed c98ea25 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-08-03 20:24:48 +00:00
• c98ea25e8b Fix: Get the type of Chain.create() from its application (#407) Gaith Hallak 2022-08-04 00:24:22 +04:00
• 81731908eb Deployed 4dbc985 to v7.0.0 with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-31 14:22:21 +00:00
• 5ef7227a58 Deployed 4dbc985 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-28 19:38:47 +00:00
• 4dbc9858fb Prepare 7.0.0 release, upgrade to OTP24 (#402) v7.0.0 Radosław Rowicki 2022-07-28 21:38:18 +02:00
• fbe36af315 Deployed 51f9eaa to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-25 16:47:43 +00:00
• 9774024b93 Deployed 0ebcf00 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-25 16:47:17 +00:00
• 51f9eaa934 Update the documentation and changelog to include polymorphism (#396) Gaith Hallak 2022-07-25 20:47:16 +04:00
• 0ebcf006e2 Prepare for new repl (#401) Radosław Rowicki 2022-07-25 18:46:54 +02:00
• 2721405b19 Deployed 381a7c9 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-25 15:49:18 +00:00
• 381a7c98cd Handle all user generated code errors in the type checker (#394) Gaith Hallak 2022-07-25 19:48:46 +04:00
• 2bad4023f8 Deployed 4bec4e5 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-08 13:56:53 +00:00
• 4bec4e5107 Added support for EXIT op (#397) Radosław Rowicki 2022-07-08 15:56:29 +02:00
• 0f96020f0d Deployed 4dd247b to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-06 11:16:24 +00:00
• 4dd247b159 Merge pull request #399 from aeternity/mkdocs-updates Marco Walz 2022-07-06 13:15:58 +02:00
• d926c4a7e3 chore: update deps and remove caching of python libs #890 marc0olo 2022-07-06 10:05:44 +02:00
• 9335db65d0 Fix liveness #889 loop-op radrow 2022-07-03 19:25:10 +02:00
• 0bc9cfb957 Readd tests radrow 2022-07-03 19:17:02 +02:00
• 89afa9ec8f . radrow 2022-07-03 19:13:02 +02:00
• 5575d3cb17 . radrow 2022-07-03 19:12:33 +02:00
• 1d6f24965b . radrow 2022-07-03 19:11:50 +02:00