1
1
mirror of https://github.com/anoma/juvix.git synced 2024-12-23 06:42:40 +03:00

Commit Graph

  • 9eab7d9f8f
    Merge bad53d60db into b9541001ad Paul Cadman 2024-12-20 20:18:09 +0000
  • b9541001ad
    Release 0.6.9 (#3254) v0.6.9 main Paul Cadman 2024-12-20 15:25:32 +0000
  • 0d83728d24 Update stdlib reference to main Paul Cadman 2024-12-20 13:55:15 +0000
  • bce7075eee Add CHANGELOG Paul Cadman 2024-12-19 17:50:30 +0000
  • a89f44cb64 Update version to 0.6.9 Paul Cadman 2024-12-19 17:41:31 +0000
  • 4c1a686914
    The args file to the prove CLI must now be textual nock term (#3253) Paul Cadman 2024-12-19 17:40:05 +0000
  • 1550c09c7b The args file to the prove CLI is always a textual nock term Paul Cadman 2024-12-19 13:57:59 +0000
  • 4dcbf7911d
    Fix node scanning for ImportTree (#3251) Jan Mas Rovira 2024-12-19 12:05:39 +0100
  • d194ac1a9d clean Jan Mas Rovira 2024-12-19 02:20:20 +0100
  • e0399f4da3 print packageinfo Jan Mas Rovira 2024-12-19 01:56:00 +0100
  • be8a38a48b add debug info Jan Mas Rovira 2024-12-18 23:08:50 +0100
  • 17a0d439bd print abs path in edges Jan Mas Rovira 2024-12-18 23:08:34 +0100
  • c112c7006f print relative patsh as well as absolute paths Jan Mas Rovira 2024-12-18 12:12:04 +0100
  • 35902f9af9 print package list in import tree Jan Mas Rovira 2024-12-17 16:23:43 +0100
  • 58d1f434bc
    Make top-level definitions mutually recursive (#3250) Łukasz Czajka 2024-12-19 09:37:17 +0100
  • eca5c18ddc fix recursive detection Lukasz Czajka 2024-12-18 17:40:13 +0100
  • 20966688a6 Make all top-level definitions mutually recursive Lukasz Czajka 2024-12-18 12:44:15 +0100
  • cb10fe3080
    Allow module self-reference (#3240) Łukasz Czajka 2024-12-18 10:03:49 +0100
  • bc143ebed5 Add RPC and dev command for Anoma.Protobuf.IntentsService.Verify verify-intent Paul Cadman 2024-12-07 14:05:27 +0000
  • 8ab5e9899d Update src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs Łukasz Czajka 2024-12-16 16:42:32 +0100
  • 5348db1d40 fix scoping Lukasz Czajka 2024-12-06 19:03:37 +0100
  • dfa947ebb7 Allow module self-reference Lukasz Czajka 2024-12-06 18:18:21 +0100
  • af191423a9
    Update Juvix Cairo VM (#3249) Łukasz Czajka 2024-12-17 17:36:20 +0100
  • b47a097758 update Lukasz Czajka 2024-12-17 14:50:14 +0100
  • 07c4ff0c59 update Lukasz Czajka 2024-12-17 14:15:02 +0100
  • f752ccadad Update Juvix Cairo VM Lukasz Czajka 2024-12-17 13:23:55 +0100
  • 31a5b2ca4b
    Add support for Anoma RM is-commitment and is-nullifier (#3242) Paul Cadman 2024-12-17 13:34:14 +0000
  • 764728eedb Add support for Anoma RM is-commitment and is-nullifier Paul Cadman 2024-12-07 15:34:59 +0000
  • 8272ee32c1
    Add RPC call and dev command for Anoma.Protobuf.IndexerService.ListUnrevealedCommits (#3239) Paul Cadman 2024-12-07 16:51:10 +0000
  • 9d2db951e0 format jan/update-start-exs Jan Mas Rovira 2024-12-06 11:38:59 +0100
  • 20e389faa9 bugfix Jan Mas Rovira 2024-12-06 11:02:36 +0100
  • 248cdc55f5 bugfix Jan Mas Rovira 2024-12-06 10:57:00 +0100
  • add73d108f add adhoc makefile Jan Mas Rovira 2024-12-06 10:27:07 +0100
  • 1fd70154ce add start-config.exs Jan Mas Rovira 2024-12-06 09:58:43 +0100
  • 58c0eace51 add more resources Jan Mas Rovira 2024-12-05 17:50:13 +0100
  • 53f3884751 add other-private check Jan Mas Rovira 2024-12-05 17:40:31 +0100
  • 6ebdb54add factor out common code Jan Mas Rovira 2024-12-05 17:38:06 +0100
  • 76e3abb3fc rename and use a single action Jan Mas Rovira 2024-12-05 17:31:50 +0100
  • e4279c6a1d crappy-swap++ Jan Mas Rovira 2024-12-05 17:13:44 +0100
  • d6df27dff0 Add link to elixir code Paul Cadman 2024-12-04 10:12:57 +0100
  • 95d67555d4 Add swap and trivial example Paul Cadman 2024-12-03 10:51:17 +0100
  • 1cb50a6afa Decrease block interval time for faster feedback Paul Cadman 2024-12-06 19:06:10 +0000
  • 9cdc97c5a1 Add test for Swap example Paul Cadman 2024-12-06 18:53:48 +0000
  • 92d790b5a0 Add test scaffolding for Anoma Client Paul Cadman 2024-12-06 12:28:17 +0000
  • e2a183dbef Add RPC call and dev command for listUnrevealedCommits Paul Cadman 2024-12-06 10:37:59 +0000
  • 936045fe49
    Fix printing of indented block comments (#3225) Jan Mas Rovira 2024-12-06 19:51:51 +0100
  • 31fce41d9f
    Merge branch 'main' into 3143-repeated-reformatting-of-multi-line-comments-resulting-in-them-moving-to-the-right Łukasz Czajka 2024-12-06 18:19:53 +0100
  • 5029a566f5
    Fix highlighting of comments (#3226) Jan Mas Rovira 2024-12-06 18:19:10 +0100
  • 8fa54ab602 properly register comments as parsed items Jan Mas Rovira 2024-12-04 14:20:02 +0100
  • 0b94716c39 rename Jan Mas Rovira 2024-12-04 14:17:15 +0100
  • 69c629bc7e
    Add TopDef property for specs (#3223) Jan Mas Rovira 2024-12-06 15:54:17 +0100
  • 5d7e109393 remove duplicates Jan Mas Rovira 2024-12-04 10:36:40 +0100
  • 22a24aca84 add topDef property for vscode Jan Mas Rovira 2024-12-03 19:27:30 +0100
  • d81585532d
    Fix basic block calls in the Reg -> CASM translation (#3238) Łukasz Czajka 2024-12-06 14:28:28 +0100
  • 155ab38b60
    Merge branch 'main' into fix-casm-bug Łukasz Czajka 2024-12-06 13:10:37 +0100
  • 363ce11501
    Debug tooling improvements for Reg and CASM (#3232) Łukasz Czajka 2024-12-06 13:09:13 +0100
  • 4e286e9020 fix compilation Lukasz Czajka 2024-12-06 12:35:49 +0100
  • a7addf21e9
    Update tests/Casm/Reg/positive/test048.jvr Łukasz Czajka 2024-12-06 12:32:01 +0100
  • b0082c51e7
    Update src/Juvix/Compiler/Reg/Language/Instrs.hs Łukasz Czajka 2024-12-06 12:28:27 +0100
  • e2befd4d78
    Update src/Juvix/Compiler/Casm/Translation/FromReg.hs Łukasz Czajka 2024-12-06 12:28:19 +0100
  • 9d9581d09d comments in CASM output Lukasz Czajka 2024-12-05 12:40:53 +0100
  • cdf45a27a9 fix reg parsing Lukasz Czajka 2024-12-04 13:40:31 +0100
  • 8a6abbb42e make pre-commit happy Lukasz Czajka 2024-12-06 11:27:31 +0100
  • bed60abcd3 add tests Lukasz Czajka 2024-12-06 11:13:13 +0100
  • c2a4f7c2a0 fix basic block calls Lukasz Czajka 2024-12-06 10:41:02 +0100
  • 3e367aa560
    Format Package.juvix when formatting project (#3219) Jan Mas Rovira 2024-12-06 11:57:42 +0100
  • 32878ccbd9 format examples Jan Mas Rovira 2024-12-05 14:49:55 +0100
  • 3838f6a39f add smoke test Jan Mas Rovira 2024-12-03 12:51:57 +0100
  • f08624eae4 format Package.juvix when formatting project Jan Mas Rovira 2024-12-03 12:30:24 +0100
  • 4eb75093c5
    Update anoma ref to latest lukasz/juvix-integration-tracking (#3227) Paul Cadman 2024-12-06 09:46:51 +0000
  • 99f904ad59 Update Anoma nock anomalib Paul Cadman 2024-12-05 13:25:32 +0000
  • a54d7a3dab Update anoma ref to latest lukasz/juvix-integration-tracking Paul Cadman 2024-12-05 11:32:25 +0000
  • ab156b04c8 Update anoma ref to latest lukasz/juvix-integration-tracking Paul Cadman 2024-12-05 10:12:42 +0000
  • 37003867c8
    Append unique hash to the pre-release tag in the Package.juvix version (#3215) Jan Mas Rovira 2024-12-06 09:29:57 +0100
  • f2b8cfcbed
    Merge branch 'main' into hash-globalpkg Jan Mas Rovira 2024-12-05 18:13:23 +0100
  • bb8211bf5a
    anoma start should start the consensus engine (#3229) Paul Cadman 2024-12-05 18:12:27 +0100
  • 4546bc5fcf fix comment printing Jan Mas Rovira 2024-12-04 13:43:54 +0100
  • defb7a9d26 fix imports Jan Mas Rovira 2024-12-04 13:29:16 +0100
  • b6071c0462 anoma start should start the consensus engine Paul Cadman 2024-12-05 11:01:19 +0000
  • 37f3004253 deterministicly digest the files to create the hash Jan Mas Rovira 2024-12-05 14:22:01 +0100
  • 6931aa5914 Merge remote-tracking branch 'origin/main' into hash-globalpkg Jan Mas Rovira 2024-12-05 14:15:32 +0100
  • 7c3c402a76 Squashed commit of the following: Jan Mas Rovira 2024-12-05 14:13:16 +0100
  • 1a76df9486
    Fix RISC0 CI (#3233) Łukasz Czajka 2024-12-05 14:12:21 +0100
  • 27d962989a update RISC0 CI Lukasz Czajka 2024-12-05 12:55:57 +0100
  • 95b418355c add comment Jan Mas Rovira 2024-12-05 09:25:28 +0100
  • 798650c5d3
    Merge 644d5a2f9e into 021fc0ccb8 Łukasz Czajka 2024-12-05 01:16:08 +0100
  • 5dacf3e7e2 Merge remote-tracking branch 'origin/main' into hash-globalpkg Jan Mas Rovira 2024-12-04 16:01:30 +0100
  • 021fc0ccb8
    Remove @? (#3216) Łukasz Czajka 2024-12-04 15:59:02 +0100
  • 8efa4ed7e2 Merge branch 'main' into remove-partial-at Lukasz Czajka 2024-12-04 13:41:13 +0100
  • 70cbdd0a30
    Global option --no-check (#3224) Łukasz Czajka 2024-12-04 13:39:20 +0100
  • a7ec1692ed append hash including Package.juvix Jan Mas Rovira 2024-12-03 13:55:49 +0100
  • 3076c8d77b remove commented out test Jan Mas Rovira 2024-12-03 13:45:41 +0100
  • 822b4fe4c2 use juvix/main stdlib Jan Mas Rovira 2024-12-03 12:46:26 +0100
  • 69eb03fc28 preserve order of inductive type declarations in Core Lukasz Czajka 2024-12-03 10:24:38 +0100
  • 95d39c5d1c disable test Jan Mas Rovira 2024-12-03 09:42:36 +0100
  • 500af3fbdb Revert "update stdlib TEMPORARY" Jan Mas Rovira 2024-12-03 12:46:02 +0100
  • ff8f6604b1 disable check Jan Mas Rovira 2024-12-02 19:45:33 +0100
  • 0286f5f35e error message Jan Mas Rovira 2024-12-02 18:58:45 +0100
  • e26aa4671e add test Jan Mas Rovira 2024-12-02 18:44:26 +0100
  • 90d98cfb6f clean Jan Mas Rovira 2024-12-02 16:48:42 +0100