swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e

sort by:
Revision Author Date Message Commit Date
6916bc9 MIR: rewrite macro handling 27 October 2023, 15:17:45 UTC
2408317 MIR: Add interpreter test involving a macro 27 October 2023, 08:19:30 UTC
cb17b33 MIR: Update lexer/parser and implement macro expansion in parser 27 October 2023, 08:19:30 UTC
b5eb9eb MIR: Update lexer to include a token for macros 26 October 2023, 17:50:18 UTC
089b45a MIR: Add a wrapper instruction to hold macro expansions 26 October 2023, 17:50:18 UTC
0be9171 MIR: Add GT and LE instructions 26 October 2023, 17:50:18 UTC
d46876b MIR: Make the lexer ignore/skip the comments 26 October 2023, 06:24:08 UTC
3ac907c MIR: Make errors more readable 26 October 2023, 06:24:08 UTC
c16f261 MIR: Add typecheck failure expectation 26 October 2023, 06:24:08 UTC
a813483 MIR: Add tests for the runner 26 October 2023, 06:23:12 UTC
e0e54f8 MIR: Add a binary target to export Tzt runner as CLI app 26 October 2023, 06:23:12 UTC
32536b8 MIR: Add a function to run the parsed Tzt test 26 October 2023, 06:23:12 UTC
45fa9d0 MIR: Add a function to untype value 26 October 2023, 06:23:11 UTC
942cdd4 MIR: Amend grammar to parse Tzt file to the new Tzt types 25 October 2023, 19:20:28 UTC
bd5e7d9 MIR: Add a Tzt module with types to represent Tzt test entities 25 October 2023, 19:20:27 UTC
be9302f MIR: Disable unintential doctest strings 25 October 2023, 19:20:27 UTC
6cfec91 MIR: carry type in Failwith Motivation: we want to be able to typecheck Failed values in tzts to ensure we're comparing canonical representations; otherwise, the representation in tzt `Failed` assertion would have to match a particular untyped form we'd use. 25 October 2023, 12:52:56 UTC
dd536e4 MIR: disable coverage report for the generated syntax.rs 25 October 2023, 12:52:45 UTC
b19035d MIR: improve test coverage Before: || Tested/Total Lines: || src/ast/comparable.rs: 20/22 +0.00% || src/ast.rs: 44/52 +0.00% || src/gas.rs: 79/89 +0.00% || src/interpreter.rs: 135/140 +0.00% || src/lexer.rs: 39/46 +0.00% || src/main.rs: 0/1 +0.00% || src/parser.rs: 31/32 +0.00% || src/stack.rs: 51/53 +0.00% || src/typechecker.rs: 231/263 +0.00% || 90.26% coverage, 630/698 lines covered, +0.00% change in coverage After: || Tested/Total Lines: || src/ast/comparable.rs: 20/22 +0.00% || src/ast.rs: 46/52 +3.85% || src/gas.rs: 79/89 +0.00% || src/interpreter.rs: 138/140 +2.14% || src/lexer.rs: 39/46 +0.00% || src/main.rs: 0/1 +0.00% || src/parser.rs: 32/32 +3.12% || src/stack.rs: 53/53 +3.77% || src/typechecker.rs: 260/263 +11.03% || 95.56% coverage, 667/698 lines covered, +5.30% change in coverage The rest are impractical to add unit tests for or are entirely trivial. 25 October 2023, 12:52:45 UTC
5f4da02 MIR: Reduce the number of boxes Benchmarks show that running (typechecking and interpreting) the vote contract is about 15% slower with extra boxes, ostensibly due to extra allocations. 25 October 2023, 12:52:34 UTC
14fa5e9 MIR: minor parser clean-up Extract `u10` action code into helper function. Export InstructionBlockParser properly captialized. 25 October 2023, 12:52:22 UTC
893b2e8 MIR: use Prim for instr in NoMatchingOverload instead of `&'static str` 25 October 2023, 12:52:11 UTC
24e5f06 MIR: reduce nesting in the typechecker 25 October 2023, 12:52:11 UTC
fcbadad MIR: use enum isomorphic to Option<Stack<T>> in the typechecker Instead of tracking failure with a flag. 25 October 2023, 12:51:57 UTC
7a952f3 MIR: implement contract typecheck/interpret as assoc. functions 25 October 2023, 12:51:45 UTC
ef3fb65 MIR: expose typecheck and interpret as associated functions 25 October 2023, 12:51:45 UTC
934722c MIR: implement some Rust types to michelson value conversion 25 October 2023, 12:51:45 UTC
3917381 MIR: treat atomic instructions specially in parser 25 October 2023, 12:51:20 UTC
3523760 MIR: parse full contracts (no views yet) 25 October 2023, 12:51:20 UTC
bd2b245 MIR: Add common traits to Stage trait's types 25 October 2023, 12:51:20 UTC
024cbbb MIR: fix some lints 25 October 2023, 12:51:07 UTC
aeb2172 MIR: reduce Prim definition boilerplate with some macros 25 October 2023, 12:50:21 UTC
e25de81 MIR: move lexer-specific bits to the lexer module 25 October 2023, 12:50:21 UTC
9664ade MIR: implement separate lexer 25 October 2023, 12:50:08 UTC
ce0f6cf MIR: add ADD: nat : int overload 25 October 2023, 12:26:55 UTC
2d36893 MIR: add ADD: int : nat overload 25 October 2023, 12:26:55 UTC
ca41444 MIR: update known parser differences from Octez 25 October 2023, 12:26:44 UTC
7a5bd25 MIR: parse (and ignore) instruction annotations 25 October 2023, 12:26:44 UTC
980a56b MIR: parse (and ignore) type annotations 25 October 2023, 12:26:44 UTC
759a5f8 MIR: remove unused Stack method 25 October 2023, 12:26:27 UTC
fc854d9 MIR: don't bind ctx.gas to gas, use ctx.gas directly 25 October 2023, 12:26:27 UTC
99abaa9 MIR: simplify interpreter & typechecker with macros 25 October 2023, 12:26:27 UTC
7817b07 MIR: add {} "instruction" 25 October 2023, 12:25:26 UTC
639c949 MIR: extract log2i into a separate function 25 October 2023, 12:25:09 UTC
e1f8d96 MIR: Add UPDATE: k : option v : map k v instruction 25 October 2023, 12:25:03 UTC
cf88315 MIR: Add GET: k : map k v instruction 25 October 2023, 12:23:59 UTC
80697ba Merge tezos/tezos!10305: MIR: add map type and values Co-authored-by: Nikolay Yakimov <root@livid.pp.ru> Approved-by: Konstantin Ivanov <martoon.hsk@gmail.com> Approved-by: Thomas Letan <lthms@nomadic-labs.com> Approved-by: Raphaël Cauderlier <raphael.cauderlier@nomadic-labs.com> Approved-by: Diogo Castro <dc@diogocastro.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10305 20 October 2023, 17:31:27 UTC
f3312d5 MIR: add map values 20 October 2023, 16:52:27 UTC
1191983 MIR: add map type 20 October 2023, 16:52:27 UTC
adeea8c MIR: Add wonky Ord instance for TypedValue 20 October 2023, 16:52:26 UTC
8bd7545 Merge tezos/tezos!10551: EVM: cleanup 9444 Co-authored-by: pecornilleau <pe.cornilleau@marigold.dev> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10551 20 October 2023, 14:43:20 UTC
be01bc9 EVM: cleanup 9444 20 October 2023, 14:15:10 UTC
5b07198 Merge tezos/tezos!10541: tezt: use functions from Tezt.Base instead of from Str Co-authored-by: Julien Coolen <julien.coolen@nomadic-labs.com> Approved-by: Eugen Zalinescu <eugen.zalinescu@nomadic-labs.com> Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10541 20 October 2023, 14:14:29 UTC
01b1b26 tezt: use functions from Tezt.Base instead of from Str 20 October 2023, 13:47:03 UTC
f858408 Merge tezos/tezos!10529: smart rollup: replace injector identifier to their tags instead of their signer. Co-authored-by: Sylvain Ribstein <sylvain.ribstein@gmail.com> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> Approved-by: Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com> Approved-by: Alain Mebsout <alain.mebsout@functori.com> Approved-by: Julien Coolen <julien.coolen@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10529 20 October 2023, 13:46:15 UTC
c7f2d5b injector: identify workers on their tags instead of on their signer 20 October 2023, 13:09:54 UTC
6e07d53 Merge tezos/tezos!10525: Rollup node: better detection of disconnections Co-authored-by: Alain Mebsout <alain.mebsout@functori.com> Approved-by: Victor Allombert <victor.allombert@nomadic-labs.com> Approved-by: Sylvain R. <sylvain.ribstein@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10525 20 October 2023, 12:54:13 UTC
bfe3d93 Tests: mark migration refutation tests as non flaky any more 20 October 2023, 12:26:08 UTC
a888876 Tests: retry command 10 times in migration tests 20 October 2023, 12:26:08 UTC
d4c726f Rollup node: detect other cases of connection errors 20 October 2023, 12:26:08 UTC
4e0d1c8 Merge tezos/tezos!10502: Rollup node: fixes for restart after GC Co-authored-by: Alain Mebsout <alain.mebsout@functori.com> Approved-by: Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com> Approved-by: Sylvain R. <sylvain.ribstein@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10502 20 October 2023, 12:25:26 UTC
b087704 Rollup node/GC/Fix: do GC wrt historical LCC 20 October 2023, 11:46:40 UTC
638b8aa Rollup node: save LCC when cementation in L1 block 20 October 2023, 11:46:40 UTC
fd5cba8 Rollup node/Store: LCC on disk 20 October 2023, 11:46:40 UTC
f25c694 Rollup node/Store: better pretty-printing of gc warnings 20 October 2023, 11:46:40 UTC
a139338 Rollup node/Context: cancel ongoing gc on close 20 October 2023, 11:46:40 UTC
a3e8ec7 Rollup node/Store: store and context gc must be finished before new gc 20 October 2023, 11:46:40 UTC
ffecb6e Rollup node/Fix: use file for storing metadata Metadata written in the context will be removed by the GC so we use a json file instead. 20 October 2023, 11:46:40 UTC
31bc1a1 Test: ensure GC works on catch up and restart 20 October 2023, 11:46:40 UTC
00f1002 Merge tezos/tezos!10477: Teztale-script: Baker nodes table Co-authored-by: Gabriel Moise <gabriel.moise@trili.tech> Approved-by: Andrea Cerone <andrea.cerone@trili.tech> Approved-by: Albin Coquereau <pro.acoquer@protonmail.com> Approved-by: Gauthier <gauthier@marigold.dev> Approved-by: Julien Sagot <contact@sagotch.fr> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10477 20 October 2023, 11:42:01 UTC
07e3e11 Teztale-script: Baker nodes table 20 October 2023, 11:14:29 UTC
68cf6e6 Merge tezos/tezos!10530: Kernel SDK: Remove redundant mut Co-authored-by: Ole Krüger <ole.kruger@trili.tech> Approved-by: Thomas Letan <lthms@nomadic-labs.com> Approved-by: Emma Turner <1623821-emturner@users.noreply.gitlab.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10530 20 October 2023, 10:45:05 UTC
12143f3 Kernel SDK: Remove redundant mut 20 October 2023, 10:20:42 UTC
fab8427 Merge tezos/tezos!10461: Nix: Configure CC for Rust cross-compilation Co-authored-by: Ole Krüger <ole.kruger@trili.tech> Approved-by: Ole Krüger <ole.kruger@trili.tech> Approved-by: Emma Turner <1623821-emturner@users.noreply.gitlab.com> Approved-by: Julien Coolen <julien.coolen@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10461 20 October 2023, 10:19:58 UTC
a49985f Nix: Add Clang wrapper that does not pass architecture-specific flags 20 October 2023, 09:47:20 UTC
8e80a52 Merge tezos/tezos!10304: MIR: add operation type Co-authored-by: Nikolay Yakimov <root@livid.pp.ru> Approved-by: Diogo Castro <dc@diogocastro.com> Approved-by: Raphaël Cauderlier <raphael.cauderlier@nomadic-labs.com> Approved-by: Sandeep.C.R <sandeep@sras.me> Approved-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10304 20 October 2023, 08:34:42 UTC
53b7d60 MIR: check type packability in FAILWITH typechecking 20 October 2023, 08:05:13 UTC
41fb4e7 MIR: add type packability flag 20 October 2023, 08:05:13 UTC
ad57396 MIR: add operation type 20 October 2023, 08:05:13 UTC
bb6c34b Merge tezos/tezos!10303: MIR: add NIL instruction Co-authored-by: Nikolay Yakimov <root@livid.pp.ru> Approved-by: Konstantin Ivanov <martoon.hsk@gmail.com> Approved-by: Diogo Castro <dc@diogocastro.com> Approved-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> Approved-by: Raphaël Cauderlier <raphael.cauderlier@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10303 20 October 2023, 08:04:24 UTC
2187c4d MIR: add NIL instruction 20 October 2023, 07:37:23 UTC
0cb789b Merge tezos/tezos!10466: Kaitai: "support" check-size Co-authored-by: Martin Tomazic <martin.tomazic97@gmail.com> Approved-by: Hugo Heuzard <hugo.heuzard@gmail.com> Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com> Approved-by: Mathias Bourgoin <mathias.bourgoin@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10466 20 October 2023, 07:36:31 UTC
e23da72 Kaitai: "support" check-size Except, don't support, just ignore. 20 October 2023, 07:04:41 UTC
c1bcb47 Merge tezos/tezos!10510: WASM/Debugger: plugin system to add custom encodings Co-authored-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> Approved-by: Antonio Locascio <antonio.locascio1@gmail.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10510 19 October 2023, 16:08:16 UTC
d4933e0 WASM/Debugger: load plugin for encodings at the start 19 October 2023, 15:38:08 UTC
c5a5f54 EVM/Proxy: move encodings and RLP into their own package for prod 19 October 2023, 15:38:08 UTC
3313ecc EVM/Proxy: move encodings and RLP into their own package It makes it usable as a plugin in the debugger. Only for `lib_dev` for now. 19 October 2023, 15:38:08 UTC
98c0874 WASM/Debugger: add a plugin interface 19 October 2023, 15:38:08 UTC
56c2585 Merge tezos/tezos!10524: Proto-env: prepare for zarith bump to 1.13 Co-authored-by: Hugo Heuzard <hugo.heuzard@nomadic-labs.com> Approved-by: Raphaël Proust <code@bnwr.net> Approved-by: Mehdi Bouaziz <mehdi.bouaziz@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10524 19 October 2023, 14:16:13 UTC
b84b937 Proto-env: prepare for zarith bump to 1.13 19 October 2023, 13:52:04 UTC
80f7cd8 Merge tezos/tezos!10512: lib_injector: remove public key hash from the injector's add_pending_operation Co-authored-by: Julien Coolen <julien.coolen@nomadic-labs.com> Approved-by: Sylvain R. <sylvain.ribstein@nomadic-labs.com> Approved-by: Alain Mebsout <alain.mebsout@functori.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10512 19 October 2023, 13:07:45 UTC
83b0522 lib_injector: remove source from add_pending_operation 19 October 2023, 12:44:26 UTC
9a980d2 lib_injector: add all workers to the Tags_table of the injector 19 October 2023, 12:44:26 UTC
3dcfa5d Merge tezos/tezos!10208: Manifest: update the `ctypes` dune extension Co-authored-by: Hugo Heuzard <hugo.heuzard@nomadic-labs.com> Co-authored-by: Raphaël Proust <code@bnwr.net> Approved-by: Ole Krüger <ole.kruger@trili.tech> Approved-by: pietro <pietro.abate@nomadic-labs.com> Approved-by: Alain Mebsout <alain.mebsout@functori.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10208 19 October 2023, 11:09:52 UTC
9c610dd Tests: fix missing dep on .ocamlformat 19 October 2023, 10:22:53 UTC
5a82fb4 Doc: fix missing dependency 19 October 2023, 10:22:53 UTC
875b288 Manifest: update the `ctyes` dune extension Support for versions 0.1 and 0.2 of the dune extension for `ctypes` is being dropped in upcoming dune releases. To allow upgrading dune in the future, this MR upgrades the `ctypes` extension version. 19 October 2023, 10:22:53 UTC
0487c80 Merge tezos/tezos!10401: EVM/Proxy: implement ethbloom Co-authored-by: Antonio Locascio <antonio.locascio@nomadic-labs.com> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10401 19 October 2023, 10:21:39 UTC
bb7ba35 EVM/Proxy: implement ethbloom 19 October 2023, 09:49:15 UTC
42874b2 Merge tezos/tezos!10400: EVM/Kernel: compute L2Block's logs bloom filter Co-authored-by: Antonio Locascio <antonio.locascio@nomadic-labs.com> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> Approved-by: Rodi-Can Bozman <rodi.bozman@functori.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10400 19 October 2023, 09:48:29 UTC
back to top