Paul Steckler
Paul Steckler
I cloned this repo, downloaded OCaml 4.01 sources. I edited Makefile.config so that ANDROID_NDK points to the r10d NDK, OCAML_SRC points to the 4.01 source directory, and ANDROID_PLATFORM set to...
This is a placeholder issue to indicate that there will be some changes needed to company-coq to work with PG/xml. There is a compatibility file in PG/xml to handle some...
Within a checked computation, add this to code, nothing from the `as_prover` thunk is printed, but the following printf statement is printed, suggesting the thunk is not run: ``` Snark_params.Tick.Run.as_prover...
Creating a table of shapes with CLI facility to dump them. For types within `%%versioned`, registration is automatic. Will need a convenient way to register query, response types for RPCs.
PG/xml was not putting a newline at the end of the \*goals\* buffer when there was a single goal. This confused the regexp search in `coq-goals--show-first-goal`. Fixes #233 (I think).
In `ppxlib 0.8.0`, the file `ast/import.ml` contains the line: ``` module Js = Migrate_parsetree.OCaml_407 ``` When building in an OCaml 4.08 setup, that seems to make `Ppxlib.Parsetree` refer to the...
Use bigint for timestamp, which is only 63 bits Rename `typ` to `type_` in internal commands
In `Zkapp_command_logic`, pass `__LOC__` to `assert_`, so we can know which assertion failed. We trap both `Assert_failed`, generated by OCaml `assert` in unchecked code, and `Failure`, generated by Snarky, which...
In `Block.account_ids_accessed`, filter out signed command receivers and zkApps account updates for failed transactions. We were getting errors looking up accounts in the staged ledger when creating precomputed blocks for...
This field is not relevant to non-zkApp accounts.