cartesi-machine formula

[tuler]

Adds a formula for the cartesi-machine

[tuler]

/opt/homebrew/Cellar/cartesi-machine/0.18.1
├── AUTHORS
├── CHANGELOG.md
├── COPYING
├── INSTALL_RECEIPT.json
├── README.md
├── bin
│   ├── cartesi-machine
│   ├── cartesi-machine-stored-hash
│   ├── jsonrpc-remote-cartesi-machine
│   └── merkle-tree-hash
├── include
│   └── cartesi-machine
│       ├── htif-defines.h
│       ├── jsonrpc-machine-c-api.h
│       ├── machine-c-api.h
│       ├── machine-c-defines.h
│       ├── machine-c-version.h
│       ├── pma-defines.h
│       ├── rtc-defines.h
│       └── uarch-defines.h
├── lib
│   ├── libcartesi-0.18.dylib
│   ├── libcartesi.a
│   ├── libcartesi.dylib -> libcartesi-0.18.dylib
│   ├── libcartesi_jsonrpc-0.18.dylib
│   ├── libcartesi_jsonrpc.a
│   ├── libcartesi_jsonrpc.dylib -> libcartesi_jsonrpc-0.18.dylib
│   └── lua
│       └── 5.4
│           ├── cartesi
│           │   └── jsonrpc.so
│           └── cartesi.so
└── share
    ├── cartesi-machine
    │   ├── gdb
    │   │   ├── gdb.md
    │   │   └── gdbinit
    │   └── images
    │       ├── linux-6.5.13-ctsi-1-v0.20.0.bin
    │       ├── linux.bin -> linux-6.5.13-ctsi-1-v0.20.0.bin
    │       ├── rootfs-tools-v0.16.1.ext2
    │       └── rootfs.ext2 -> rootfs-tools-v0.16.1.ext2
    └── lua
        └── 5.4
            ├── cartesi
            │   ├── gdbstub.lua
            │   ├── proof.lua
            │   └── util.lua
            ├── cartesi-machine-stored-hash.lua
            └── cartesi-machine.lua

15 directories, 36 files