Brian R. Murphy

[Bug][move-compiler-v2] move-prover tests timeout more with MOVE_COMPILER_V2=true after PR#13184

5

# 🐛 Bug PR #13184 fixes many things but seems to increase timeouts in move-prover tests with MOVE_COMPILER_V2=true. This is likely due to attempts to prove things about library dependencies,...

[Feature Request] move package builder could use dependency override

1

# 🚀 Feature Request We need a command-line flag or environment variable to override the location of move dependencies. ## Motivation We currently build some example code as part of...

# 🚀 Feature Request Hopefully we can show that compile time and gas cost are both reduced with Compiler V2 when we are ready to launch. We need to gather...

# 🐛 Bug We should avoid an OOS failure of the compiler and instead add a check for expression nesting depth when building the model (or maybe even earlier, in...

## Description Adds a simple script for developer use to run all our tests with compiler V2 as well as V1. ## How Has This Been Tested? Run with working...

Make ExpTranslator::exp_builder::translate_seq walk through a sequence iteratively instead of recursively

2

Fixes #13250, by Replacing move-model/src/builder.rs's ExpTranslator::exp_builder::translate_seq_recursively() to new translate_seq_iteratively(). Note that the old function created a stack frame for every expr in a sequence, which really shouldn't be necessary. This...

add inline_fun to compiler tests

4

## Description ## Type of Change - [ ] New feature - [ ] Bug fix - [ ] Breaking change - [ ] Performance improvement - [ ] Refactoring...

convert UnknownAttribute from a warning into an error

6

## Description Convert "Unknown attribute" warning into an error. Fixes #9411 ## Type of Change - [ ] New feature - [X] Bug fix - [ ] Breaking change -...

[Bug] aptos-transactional-test-harness test "table" is broken in main

4

# 🐛 Bug For both move compilers (v1 and v2), the test in `aptos-move/aptos-transactional-test-harness/tests/aptos_test_harness/table.move` is newly failing. This can be seen by running: ``` % cargo test -p aptos-transactional-test-harness --...

# 🐛 Bug These are the only tests of extended_checks compiler features.