Th0rgal

let rec h x y =
  let rec h2 x y acc =
    if x = y then acc
    else if x < y then h2 (x - 1) (y - 2) (acc + x + y)
    else h2 (x - 1) y (acc * y)
  in
  h2 x y 1

let f1 =
  let rec f1rec x =

Th0rgal

aiohttp @ file:///private/tmp/nix-build-python3.8-aiohttp-3.8.1.drv-0/aiohttp-3.8.1/dist/aiohttp-3.8.1-cp38-cp38-macosx_11_0_arm64.whl
aiosignal @ file:///private/tmp/nix-build-python3.8-aiosignal-1.2.0.drv-0/source/dist/aiosignal-1.2.0-py3-none-any.whl
async-timeout @ file:///private/tmp/nix-build-python3.8-async-timeout-4.0.1.drv-0/async-timeout-4.0.1/dist/async_timeout-4.0.1-py3-none-any.whl
attrs @ file:///private/tmp/nix-build-python3.8-attrs-21.2.0.drv-0/attrs-21.2.0/dist/attrs-21.2.0-py2.py3-none-any.whl
bitarray @ file:///private/tmp/nix-build-python3.8-bitarray-1.2.2.drv-0/bitarray-1.2.2/dist/bitarray-1.2.2-cp38-cp38-macosx_11_0_arm64.whl
certifi @ file:///private/tmp/nix-build-python3.8-certifi-2021.10.8.drv-0/source/dist/certifi-2021.10.8-py2.py3-none-any.whl
charset-normalizer @ file:///private/tmp/nix-build-python3.8-charset-normalizer-2.0.8.drv-0/source/dist/charset_normalizer-2.0.8-py3-none-any.whl
Cython @ file:///private/tmp/nix-build-python3.8-cython-0.29.24.drv-0/Cython-0.29.24/dist/Cython-

Th0rgal

with import <nixpkgs> { };

let pythonPackages = python39Packages;
in pkgs.mkShell rec {
  name = "impurePythonEnv";
  venvDir = "./env";
  buildInputs = [
    # A Python interpreter including the 'venv' module is required to bootstrap
    # the environment.
    pythonPackages.python

Th0rgal

func main():
    [ap] = 1000; ap++
    [ap] = 2000; ap++
    [ap] = [ap - 2] + [ap - 1]; ap++
    ret
end

Th0rgal

%builtins output

from starkware.cairo.common.alloc import alloc
from starkware.cairo.common.serialize import serialize_word

func print_array{output_ptr : felt*}(res_len : felt, res : felt*):
    if res_len == 0:
        return ()
    end

Th0rgal

Checking transaction status

https://alpha4.starknet.io/feeder_gateway/get_transaction_receipt?transactionHash=

Using hints

Go to starkware/starknet/testing/starknet.py In the definition of deploy, you will see there the invocation of compile_starknet_files. Add the argument disable_hints_validation=True

Th0rgal

%builtins output range_check

from starkware.cairo.common.registers import get_label_location
from starkware.cairo.common.serialize import serialize_word
from starkware.cairo.common.alloc import alloc

func main{output_ptr : felt*, range_check_ptr}():
    alloc_locals

    let (arr : felt*) = alloc()

Th0rgal

%builtins output

from starkware.cairo.common.serialize import serialize_word
from starkware.cairo.common.alloc import alloc

func print_words{output_ptr : felt*}(res_len : felt, res : felt*):
    if res_len == 0:
        return ()
    end

Th0rgal

func reverse{syscall_ptr : felt*, range_check_ptr, pedersen_ptr : HashBuiltin*}(
    arr_len : felt, arr : felt*
) -> (rev_arr_len : felt, rev_arr : felt*):

    # if our array is empty (i.e. we reached the end of our recursion)
    if arr_len == 0:
        let (rev_arr) = alloc()
        return (0, rev_arr)
    end

Th0rgal

@storage_var
func my_var(id : felt) -> (content : felt):
end

@view
func test_my_var{syscall_ptr : felt*, range_check_ptr, pedersen_ptr : HashBuiltin*}():
    alloc_locals
    my_var.write(7, 'hello')
    let (local keccak_ptr_start : felt*) = alloc()
    let keccak_ptr = keccak_ptr_start