profile
viewpoint

brendanzab/gl-rs 495

An OpenGL function pointer loader for Rust

brendanzab/color-rs 44

A library that provides types and conversions for working with various color formats.

CodaProtocol/gpu-groth16-prover-3x 33

On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!

blas-lapack-rs/openblas-src 17

Source of BLAS and LAPACK via OpenBLAS

brendanzab/sax-rs 13

DEPRECATED - use https://github.com/netvl/rust-xml/ instead.

blas-lapack-rs/netlib-src 3

Source of BLAS and LAPACK via Netlib

emberian/alexandria 3

Central repository for the Alexandria project

emberian/blake2 3

Git "mirror" of the BLAKE2 code package from blake2.net

Pull request review commentCodaProtocol/coda

Rosetta/test build rosetta dockerfile in ci

 esac echo "Publishing debs: ${DEBS}" set -x ${DEBS3} --codename "${CODENAME}" "${DEBS}"+set +x echo "Exporting Variables: "-# Export Variables for Downstream Steps++GITHASH=$(git rev-parse --short=7 HEAD)

we've had that number get out of sync before too

lk86

comment created time in a day

created tagCodaProtocol/coda

tag0.0.15-beta

Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

created time in a day

delete tag CodaProtocol/coda

delete tag : 0.0.15-beta

delete time in a day

delete tag CodaProtocol/coda

delete tag : 0.0.14

delete time in a day

push eventCodaProtocol/coda-automation

mrmr1993

commit sha e369a90ef2e4f5b440e20a9420c0660167fdc5f2

Replace ipfs IDs to p2p ones This is needed for compatibility with CodaProtocol/coda#5532

view details

Andrew Trainor

commit sha 412485eafab0f05674f14a7da801758bf62dbb1a

fix-aws-policydoc Fix aws policydoc here to match the deployed one

view details

Andrew Trainor

commit sha b97328570b798c894a4b2979f9a98de29668bac1

fix-aws-policydoc Add wildcard resource in case it comes in handy later, if it doesnt then aws will disregard

view details

Andrew Trainor

commit sha 6be857c1bfbcec069f77af3bf705a39175c3c80c

fix-aws-policydoc Add DeleteObject

view details

Deepthi S Kumar

commit sha 269d6bfdcba0cbdcb56145fb855eeba6b62010f1

update snark coordinator flag and incr cpu

view details

Deepthi S Kumar

commit sha b78a72a42ac1c5f779ac147ce7205d51742a73a4

fix snark coordinator daemon config

view details

Andrew Trainor

commit sha a49b8137bc877b48ccfcee0ae453a76aa7790410

Merge remote-tracking branch 'origin/master' into fix-aws-policydoc

view details

Andrew Trainor

commit sha b91ef14a95736690f29e532f9be59726c4f65c3e

fix-aws-policydoc Fix policydoc format w/ delete and a bucket wildcard

view details

Ahmad Wilson

commit sha 841260415ce4ce9764d2d000f7cf329f7ab45d3a

increase node diskspace (50gb -> 500gb) and ephemeral storage to 50gb for (x)large agents

view details

Deepthi S Kumar

commit sha 42b3e035ebd54d14c66f000be5dbddd1ea58a8f6

Merge remote-tracking branch 'origin/master' into feature/ipfs-to-p2p

view details

Deepthi S Kumar

commit sha fdce3b87baac856cc05ff9c20e965e34f16c2472

Merge pull request #407 from CodaProtocol/feature/ipfs-to-p2p Replace ipfs IDs with p2p ones

view details

Andrew Trainor

commit sha a1baeed0bf577ea18a5324e9832439929d7ecfbf

Merge remote-tracking branch 'origin/master' into fix-aws-policydoc

view details

Ahmad Wilson

commit sha d01e7d97edbcb22a24620e69a189bfa28cc272b9

Merge pull request #415 from CodaProtocol/ephemeral_storage_updates increase node diskspace (50gb -> 500gb) and ephemeral storage to 50gb for (x)large agents

view details

Andrew Trainor

commit sha a4ae4f18e928275c15ea135a08d06b4f9bb5789f

Merge remote-tracking branch 'origin/master' into fix-aws-policydoc

view details

Ahmad Wilson

commit sha a6f6c13aa56e39cb8359049ac55c75f71c4af0ab

add S3PutObjectAcl action to agent policydoc and remove resource glob pattern match

view details

Ahmad Wilson

commit sha 1c6278ffbf0d0c9f4fed26ea6b66d6eda198b9d8

update buildkite agent GCS access policy provisioning logic

view details

Ahmad Wilson

commit sha 06b8c06ea00ee45cae7c19e0516147f409b86079

fix agent module bucket iam binding object reference

view details

Ahmad Wilson

commit sha 0e1a7d5403c2087f6e4e985a3c322a47ff89e1f8

Merge pull request #418 from CodaProtocol/fix_gcs_apply_perms add buildkite agent GCS access policy provisioning logic

view details

Andrew Trainor

commit sha 46318173fc0529db6e89015fe2b7627227e11901

fix-aws-policydoc Remove trailing comma

view details

lk86

commit sha 660427b152bfbef0df27d1347649b14199d2bea5

Merge pull request #412 from CodaProtocol/fix-aws-policydoc Fix aws policydoc

view details

push time in 2 days

created tagCodaProtocol/coda

tag0.0.15-beta

Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

created time in 2 days

push eventCodaProtocol/coda-automation

ember arlynx

commit sha a00e4602e8d9b711c2bf60a7ad1454f209fbad26

tokenland

view details

push time in 3 days

create barnchCodaProtocol/coda-automation

branch : beta/tokenland

created branch time in 3 days

created tagCodaProtocol/coda

tagmain

Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

created time in 3 days

created tagCodaProtocol/coda

tag0.0.14

Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

created time in 3 days

push eventCodaProtocol/coda

Andrew Trainor

commit sha d28db9e5deb1b6322129045d7bf9a18675e11b31

rosetta/dockerfile Add new dockerfile to build from scratch for rosetta, set up in stages so that individual stages can be used elsewhere in CI

view details

Andrew Trainor

commit sha 8a21b086a43b87f2d96adc5aa9d0b45d887a9ca1

rosetta/dockerfile Add file contents

view details

Andrew Trainor

commit sha c3ff04ef4345027976648eda3679c9c05cd5e4e4

rosetta/dockerfile Update dockerfile to use this branch and add new build-rosetta script

view details

Andrew Trainor

commit sha e249f0d1e1a8833c610f24033ec885cdb9685ff4

rosetta/dockerfile Update dockerfile to remove unused pieces and simplify CODA_DIR

view details

Andrew Trainor

commit sha fddff49ed3c2b583a4956ce1308615dd4ae06a16

rosetta/dockerfile simplify build-everything-rosetta to focus on the coda binary, refacotring out any /tmp/artifacts work from buildkite/scripts/build-artifacts.sh

view details

Andrew Trainor

commit sha 36f2d8d46e24f9fd163b4be40416fc6e4ce4f1f4

rosetta/dockerfile stop using build all script and manually specify build steps in docker for more layers and more visbility, simplify libp2p build, move more constants to earlier in the process

view details

Andrew Trainor

commit sha 94709aaf2864289c8c053e03c6792664622fd6b8

rosetta/dockerfile Remove build-everything script and further optimize the final build layers before the prod stage is added

view details

Andrew Trainor

commit sha 285d032b0daa6821ed939b7556417e1690b68663

rosetta/dockerfile Fix rm commands used to free up more build deps from this image in case it becomes useful in CI

view details

Andrew Trainor

commit sha 1bea3060c38ccce59ed3417b07755d8313ad15e1

rosetta/dockerfile Cut image size in half by removing most of _build

view details

Andrew Trainor

commit sha 4f3e7807633a38c37354c65bf57475205dcd78cf

rosetta/dockerfile Reformat plus final fixes and polish before combining into a final production stage with binaries and postgres

view details

Andrew Trainor

commit sha 361458f5acd7ab34204cb7b707ff8b316bdb95f5

rosetta/dockerfile Update start script for rosetta to support docker env

view details

Andrew Trainor

commit sha b8448b77f05cbea453ab11490b2a9f5ccd5cf835

Merge remote-tracking branch 'origin/develop' into rosetta/dockerfile

view details

Andrew Trainor

commit sha 82ab392cf3d01268a425a77fcf4c3c30a7535b1e

rosetta/dockerfile Pull the latest changes including circle-ci

view details

Andrew Trainor

commit sha 1f56a08320b91ccc57a07343e525eaf24c220977

rosetta/dockerfile Separate out opam install for uri

view details

Andrew Trainor

commit sha a81f35239028cba6ac9d59f50cb948501df4f3fc

rosetta/dockerfile Reset scripts back to original setup and avoid using run-demo.sh in docker

view details

Andrew Trainor

commit sha a1cec113ce0ec9bfae206defb08d068f68346bae

rosetta/dockerfile move opamyes

view details

Andrew Trainor

commit sha b6980c4cec3c0a119f68f73e61ab35f98b0e56b2

Merge remote-tracking branch 'origin/develop' into rosetta/dockerfile

view details

Andrew Trainor

commit sha 31bee0cd00499c1822065cfe28b3d97a15afa8cb

rosetta/dockerfile Update submodules

view details

Andrew Trainor

commit sha cf3f55dabb80087016fba2609ca1aa48d616df83

rosetta/dockerfile Fix submodules to match develop

view details

Andrew Trainor

commit sha 07567fd07ff456dfbe43453f26d9f67755aa0ac0

rosetta/dockerfile Fix submodules to match develop

view details

push time in 8 days

issue closedCodaProtocol/coda

☠ Coda Daemon crash tracebacks don't get put in json

production logging using json won't capture the crash tracebacks.

closed time in 8 days

jkrauska

issue commentCodaProtocol/coda

☠ Coda Daemon crash tracebacks don't get put in json

this has been fixed

jkrauska

comment created time in 8 days

issue closedCodaProtocol/coda

Figure out how to portably link our C dependencies statically

Right now our build has substantial problems building on macOS because our dependencies assume the linker is GNU ld. On macOS the linker is not GNU ld. We need to be using -force_load on macOS, so that dlsym will see all the symbols we expect at runtime. -force_load takes a full path to a static library. There's also no equivalent to -Bstatic to make the linker consider static libraries before dynamic ones when trying to satisfy an -lfoo request.

closed time in 8 days

emberian

issue commentCodaProtocol/coda

Figure out how to portably link our C dependencies statically

we finished this!

emberian

comment created time in 8 days

issue closedCodaProtocol/coda

Assert pass on syncledger

closed time in 8 days

bkase

issue commentCodaProtocol/coda

Patch OCaml to support ld from file

i don’t think this is important anymore but if we try building in native windows this’ll pop up i think

bkase

comment created time in 8 days

issue closedCodaProtocol/coda

libp2p_helper - empty lines

Seeing a fair amount of these empty lines coming back from libp2p_helper.

eg.

{
  "timestamp": "2019-10-18 18:50:47.637065Z",
  "level": "Debug",
  "source": {
    "module": "Coda_net2",
    "location": "File \"lib/coda_net2/coda_net2.ml\", line 668, characters 58-65"
  },
  "message": "log message from libp2p_helper: $line",
  "metadata": {
    "line": "",
    "pid": 18213
  }
}

Perhaps if len(line) < 1: skip ?

closed time in 8 days

jkrauska

issue commentCodaProtocol/coda

libp2p_helper - empty lines

done!

jkrauska

comment created time in 8 days

issue commentCodaProtocol/coda

Whitelist of IPs -- the ability to add IP addresses to stay connected with

Specifically, we want to disable discovery/peer exchange and only connect with a hardcoded list

aneesharaines

comment created time in 8 days

push eventflyingsymbols/heklers-icfp-2020

ember arlynx

commit sha 63e325140d87df1c00f46f015a2514da3a05d429

docs looking good

view details

push time in 11 days

push eventflyingsymbols/heklers-icfp-2020

ember arlynx

commit sha 5f8b7e4013c7bc4e8ecca37b6e8d70706fe326cb

gc is complete?

view details

push time in 12 days

issue commentCodaProtocol/coda

Remove haskell kademlia from source/builds

done

jkrauska

comment created time in 14 days

issue commentCodaProtocol/coda

[Bug] Memory Leak in Daemon

memory use graph

Looking pretty good right now.

yourbuddyconner

comment created time in 14 days

push eventCodaProtocol/coda

Brandon Kase

commit sha 5727ecaaeec3cc4a8573a18a641943c0bc0b0c84

Sane logging when no keys are on One level of protection against someone falling into the same trap as I did (thinking block production was broken)

view details

Brandon Kase

commit sha 0bc7c20034c5b1d925e942dc14f7d9ccf1373111

Upgrades rosetta to 1.4.1 of the spec

view details

Brandon Kase

commit sha 1e0af12310457f6deba2c0cd3ed8972b5f0ca948

Partially implements initial check payment test

view details

mergify[bot]

commit sha 12e5802b3ab3916661ba36f9354408b57c232e2d

Merge pull request #5528 from CodaProtocol/sane-logging-when-no-keys Sane logging when no keys are on

view details

Michelle Wong

commit sha d332400fd0d7a71eee83d987b491fc73c32c11b8

fix typo

view details

mergify[bot]

commit sha c5cef004f26e2806611db2361e0046407b5c7a62

Merge pull request #5533 from CodaProtocol/docs-fix/snapps Website: Fix typo in snapps docs page

view details

Brandon Kase

commit sha 3a0bb37d4b2df86e55f702330663a3653b406090

Merge branch 'develop' into upgrade-rosetta-1.4.1

view details

Brandon Kase

commit sha 2a3fd73f9a8a1f78950db2923c99c1b82c145617

Rosetta test-agent verifies mempool ops

view details

mergify[bot]

commit sha 0895e664f635f287ab87663951ba78b33e69ac85

Merge pull request #5529 from CodaProtocol/upgrade-rosetta-1.4.1 Upgrades rosetta to 1.4.1 of the spec

view details

mergify[bot]

commit sha 49eee7d148444c8e171867eea1af76db664d68cf

Merge branch 'develop' into simple-payments

view details

mergify[bot]

commit sha 36520a0e1d76e52d224552a45b2ff3b3f6c4ce9b

Merge pull request #5530 from CodaProtocol/simple-payments Implements initial check payment test via mempool

view details

ember arlynx

commit sha c1294d78082cc7eb5424d73ef31a312d471a02ec

Merge branch 'develop' into feature/libp2p-upgrade

view details

push time in 14 days

pull request commentCodaProtocol/coda

upgrade libp2p version

also for the RPC/gossip, we do include the string coda and a version although currently the version is just 0.0.1 everywhere i think

emberian

comment created time in 14 days

pull request commentCodaProtocol/coda

upgrade libp2p version

@lk86 the ipfs multiaddrs might even work, i don't remember if i saw a warning or an error about them. but in any case, we can't switch out that p2p (it's hard-coded as the top-level protocol in their libs) and i don't think it makes sense to. as for the actual payloads we transport, we wrap all of our communications in a stream protected by a preshared symmetric key (the "chain id") computed from all the relevant state for a particular ledger+snark version.

emberian

comment created time in 15 days

push eventflyingsymbols/heklers-icfp-2020

ember arlynx

commit sha c0f7203acb41399654b166277e5281442df3d254

gc checkin

view details

push time in 15 days

push eventCodaProtocol/coda

ember arlynx

commit sha e561ee68f4fc78b71c3813860b327b132d33b74b

move snarky back to coda branch

view details

push time in 15 days

Pull request review commentCodaProtocol/coda

perform catchup chronologically

 let%test_module "Ledger_catchup tests" =           ~timeout_duration:(Block_time.Span.of_ms 30000L)           ( match%map Strict_pipe.Reader.read breadcrumbs_reader with           | `Eof ->+              (* Core.printf "unexpected EOF\n%!" ; *)

remove these comments, or turn them into Logger.trace statements :)

yutongz5

comment created time in 15 days

Pull request review commentCodaProtocol/coda

perform catchup chronologically

 open Cache_lib open Coda_transition open Network_peer +let build_list_of_breadcrumbs_in_sequence ~logger ~precomputed_values ~verifier

these two functions are quite similar as well. i wonder how they can be abstracted to duplicate less code? it looks like it is mostly the folds that are different.

yutongz5

comment created time in 15 days

Pull request review commentCodaProtocol/coda

perform catchup chronologically

 let verify_transitions_and_build_breadcrumbs ~logger           in           Deferred.Or_error.return (acc, initial_state_hash) )   in-  let trees_of_transitions =-    Option.fold-      (Non_empty_list.of_list_opt transitions_with_initial_validation)-      ~init:subtrees ~f:(fun _ transitions ->-        [Rose_tree.of_non_empty_list ~subtrees transitions] )+  let passed_initial_hash =+    match prev_hash with Some hash_value -> hash_value | None -> initial_hash   in-  let open Deferred.Let_syntax in-  match%bind-    Transition_handler.Breadcrumb_builder.build_subtrees_of_breadcrumbs ~logger-      ~precomputed_values ~verifier ~trust_system ~frontier ~initial_hash-      trees_of_transitions-  with-  | Ok result ->-      Deferred.Or_error.return result-  | Error e ->-      List.map transitions_with_initial_validation-        ~f:Cached.invalidate_with_failure-      |> ignore ;-      Deferred.Or_error.fail e+  match subtrees with+  | Some subtrees -> (+      let trees_of_transitions =+        Option.fold+          (Non_empty_list.of_list_opt transitions_with_initial_validation)+          ~init:subtrees ~f:(fun _ transitions ->+            [Rose_tree.of_non_empty_list ~subtrees transitions] )+      in+      let open Deferred.Let_syntax in+      match%bind+        Transition_handler.Breadcrumb_builder+        .build_subtrees_of_breadcrumbs_in_sequence ~logger ~precomputed_values+          ~verifier ~trust_system ~frontier ~initial_hash:passed_initial_hash+          ~initial_breadcrumb:prev_breadcrumb trees_of_transitions+      with+      | Ok result ->+          Deferred.Or_error.return (T (passed_initial_hash, result))+      | Error e ->+          List.map transitions_with_initial_validation+            ~f:Cached.invalidate_with_failure+          |> ignore ;+          Deferred.Or_error.fail e )+  | None -> (+      let open Deferred.Let_syntax in+      match%bind+        Transition_handler.Breadcrumb_builder+        .build_list_of_breadcrumbs_in_sequence ~logger ~precomputed_values+          ~verifier ~trust_system ~frontier ~initial_hash:passed_initial_hash+          ~initial_breadcrumb:prev_breadcrumb+          transitions_with_initial_validation+      with+      | Ok result ->+          Deferred.Or_error.return (L (passed_initial_hash, result))

the only differences between the match arms here are 1. which breadcrumb builder is invoked (and they have the same interface except for their last argument?), 2. the constructor used here. if you pass a function for the constructor, and also for the pair of (breadcrumb builder function, its argument), both parts of the match (starting line 333) can be calls to the same function. (constructors aren't functions themselves so you'll have to write something like fun result -> L (passed_initial_hash, result))

yutongz5

comment created time in 16 days

Pull request review commentCodaProtocol/coda

perform catchup chronologically

 open Cache_lib open Coda_transition open Network_peer +let build_list_of_breadcrumbs_in_sequence ~logger ~precomputed_values ~verifier+    ~trust_system ~frontier ~initial_hash ~initial_breadcrumb+    list_of_enveloped_transitions =+  (* Similar to build_subtrees_of_breadcrumbs_in_sequence, this function takes+   * in a list of transitions instead list of rose_trees of transitions. It also+   * returns a list of breadcrumbs it has built. Note that the returned list is+   * in reversed order, from latest breadcrumb to oldest. It is convenient for+   * ledger_catchup to get the latest breadcrumb as the start of next chunk. *)+  let breadcrumb_if_present logger =+    (* function to get previous breadcrumb based on initial_hash *)+    match Transition_frontier.find frontier initial_hash with+    | None ->+        let msg =+          Printf.sprintf+            "Transition frontier already garbage-collected the parent of %s"+            (Coda_base.State_hash.to_base58_check initial_hash)+        in+        Logger.error logger ~module_:__MODULE__ ~location:__LOC__+          ~metadata:+            [ ("state_hash", Coda_base.State_hash.to_yojson initial_hash)+            ; ( "transition_hashes"+              , `List+                  (List.map list_of_enveloped_transitions+                     ~f:(fun enveloped_transitions ->+                       Cached.peek enveloped_transitions+                       |> Envelope.Incoming.data+                       |> External_transition.Initial_validated.state_hash+                       |> Coda_base.State_hash.to_yojson )) ) ]+          "Transition frontier already garbage-collected the parent of \+           $state_hash" ;+        Or_error.error_string msg+    | Some breadcrumb ->+        Or_error.return breadcrumb+  in+  let open Deferred.Or_error.Let_syntax in+  let%bind init_breadcrumb =+    match initial_breadcrumb with+    | Some breadcrumb ->+        Deferred.Or_error.return breadcrumb+    | None ->+        breadcrumb_if_present+          (Logger.extend logger+             [("Check", `String "Before creating breadcrumb")])+        |> Deferred.return+  in+  Deferred.Or_error.List.foldi list_of_enveloped_transitions ~init:[]+    ~f:(fun index previous_finished_breadcrumbs cached_enveloped_transition ->+      (* May need to transfer cache *)+      let cached_parent =+        match List.nth previous_finished_breadcrumbs 0 with+        | Some cached_breadcrumb ->+            cached_breadcrumb+        | None ->+            Cached.pure init_breadcrumb+      in+      let open Deferred.Or_error.Let_syntax in+      let%map current_breadcrumb =+        let open Deferred.Let_syntax in+        let%bind current_breadcrumb_or_error_cache =+          Cached.transform cached_enveloped_transition+            ~f:(fun enveloped_transition ->+              let open Deferred.Or_error.Let_syntax in+              let transition_with_initial_validation =+                Envelope.Incoming.data enveloped_transition+              in+              let transition_with_hash, _ =+                transition_with_initial_validation+              in+              let mostly_validated_transition =+                External_transition.skip_frontier_dependencies_validation+                  `This_transition_belongs_to_a_detached_subtree+                  transition_with_initial_validation+              in+              let sender = Envelope.Incoming.sender enveloped_transition in+              let parent = Cached.peek cached_parent in+              let expected_parent_hash =+                Transition_frontier.Breadcrumb.state_hash parent+              in+              let actual_parent_hash =+                transition_with_hash |> With_hash.data+                |> External_transition.parent_hash+              in+              let%bind () =+                Deferred.return+                  (Result.ok_if_true+                     (State_hash.equal actual_parent_hash expected_parent_hash)+                     ~error:+                       (Error.of_string+                          "Previous external transition hash does not equal \+                           to current external transition's parent hash"))+              in+              let open Deferred.Let_syntax in+              match%bind+                O1trace.trace_recurring "Breadcrumb.build" (fun () ->+                    (* actually build the current breadcrumb *)+                    Transition_frontier.Breadcrumb.build ~logger+                      ~precomputed_values ~verifier ~trust_system ~parent+                      ~transition:mostly_validated_transition+                      ~sender:(Some sender) )+              with+              | Ok new_breadcrumb ->+                  let open Result.Let_syntax in+                  Coda_metrics.(+                    Counter.inc_one+                      Transition_frontier_controller+                      .breadcrumbs_built_by_builder) ;+                  Deferred.return+                    (let%map (_ : Transition_frontier.Breadcrumb.t) =+                       breadcrumb_if_present+                         (* check if initial_hash is still in frontier *)+                         (Logger.extend logger+                            [("Check", `String "After creating breadcrumb")])+                     in+                     new_breadcrumb)+              | Error err -> (+                  (* propagate bans through list*)+                  let list_nodes =+                    List.slice list_of_enveloped_transitions index+                      (List.length list_of_enveloped_transitions)+                  in+                  let ip_address_set =+                    let sender_from_node node =+                      Envelope.Incoming.sender (Cached.peek node)+                    in+                    List.fold list_nodes+                      ~init:(Set.empty (module Unix.Inet_addr))+                      ~f:(fun inet_addrs node ->+                        match sender_from_node node with+                        | Local ->+                            failwith

this should log an Logger.error and continue gracefully i think.

yutongz5

comment created time in 15 days

Pull request review commentCodaProtocol/coda

perform catchup chronologically

 let download_transitions ~logger ~trust_system ~network ~num_peers                      ~sender:(Envelope.Sender.Remote (peer.host, peer.peer_id))                ) ) ) +type ('a, 'b) build_result_t = T of 'a | L of 'b

these mean tree and list, right? i'm still on the fence about the short constructor names but they're only used here so it doesn't feel too bad. definitely add a comment with explanations :) i don't know if we use ocaml doc gen, but (** comments like this *) are interpreted as docs for the following thing. merlin also knows how to grab those to eg show docs when you hover over a constructor

yutongz5

comment created time in 16 days

push eventCodaProtocol/coda

Matthew Ryan

commit sha f1c2b807dc608d637c6f7ab933b527f16b413b22

Fix error where genesis ledger 'named' file already exists (#5243) * Try to delete the old named ledger file if it exists * Consider the 'name' argument to allow overriding a named ledger * Look for the genesis ledger in the genesis dir * Allow genesis ledger names in the config file other than the built-ins

view details

Matthew Ryan

commit sha 7cd2bfde102deabc643048a6c5dd7f4fae974fc1

[Tokens] Carry the next available token in the ledger (#5245) * Associate the next_available_token with ledger, update it automatically * Keep token owners and next_available token in sync with the ledger * Complete the necessary interface for merkle_ledger_tests * Fix a copy/paste error * Bigstring.create -> Bin_prot.Common.create_buf * Add a doc-comment to next_available_token * Take the maximum of the base and masked next_available_token This ensures that the next_available_token is never present in the masked ledger, even if the parent is updated. * Do not update parent's next_available_token if it is already greater Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

view details

Michelle Wong

commit sha 8df58604332d38abac96c1b80ec2b014c1f221dd

Member Profile page hero WIP (#5218) * scaffolding * make it pretty * even prettier * fix tablet * add margin to the links Co-authored-by: Carey Janecka <careyjanecka@gmail.com>

view details

Carey Janecka

commit sha 974ada606bf3301071063d190c8d84908c695d48

Leaderboard: Update Data Structures (#5232) * Leaderboard: Update Data Structures (WIP) * Add loading state * Refactor sheets fetch logic for reuse

view details

Matthew Ryan

commit sha add5dcd83a6d389b69c22ab2f87dc1b57c1a52b0

Optional -proof-level flag for snark worker (#5251)

view details

Matthew Ryan

commit sha 2c999d2f252478ed202f0bf6ef12832826233706

[Tokens] Simplify transaction pool (#5252) * Do not evict commands based on source balance This is inherently racy, and the logic no longer applies when the account differs from the fee_payer account. These failures are captured in the snark, where the fee_payer is still charged but no other part of the transaction is processed. * Remove receiver checks in the transaction pool These failures are checked in the snark and transaction logic. When they appear, the fee is still charged to compensate the network, but the transaction itself fails. * Store constraint_constants in the indexed pool This is used by tokens commands to calculate the account creation fee (which is charged to the fee-payer).

view details

Matthew Ryan

commit sha e1524635fde3be4380af2277749c59e6dfbc705e

[Tokens] Add Create_account to transaction_union with snark logic (#5166) * Add Create_account to transaction_union with snark logic The `Create_account` tag corresponds to 2 different commands (not implemented here): ``` Create_new_token {token_owner_pk} = Create_account { token_id= invalid ; source_pk= token_owner_pk ; receiver_pk= token_owner_pk } ``` Creates a new token, creates a new account for [token_owner_pk] in the token, and sets the [token_owner] bit in that account. ``` Create_token_account {token_id; token_owner_pk; receiver_pk} = Create_account {token_id; source_pk= token_owner_pk; receiver_pk} ``` Creates a new account for [receiver_pk] in an existing token. The [token_owner] bit is checked in [token_owner_pk]'s account for that token. Currently, this doesn't include the protocol state changes to expose the next available token ID, so the command is disabled in the snark. * Switch branches of a conditional: use the given token by default. Oops. * is_stake_delegation -> is_create_account * Treat incorrect token owner as an user command failure * Check that source_not_present is true iff the source is not present * Predicate bypass for creating token accounts * Add a TODO Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

view details

Matthew Ryan

commit sha 0effa11752367c0f558d0084c213a03c0881467f

Expose next_available_token in Blockchain_state.t, route it through to transaction snark (#5256)

view details

Avery Morin

commit sha c0fe712399a2f2be5a690477bc3222836156e639

Clean up team section (#5242) Co-authored-by: Brandon Kase <bkase@o1labs.org>

view details

Avery Morin

commit sha 8012def5ec9cd113a5e025247b360da23a5953c5

Website: fix horizontal scroll on mobile (#5246) Co-authored-by: Brandon Kase <bkase@o1labs.org> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

view details

Gregg Reynolds

commit sha 69058d348188dac55dc4716ed93a99742b6d9e4a

bazel support: initial minimal commit (#5254) * bazel support: initial minimal commit Signed-off-by: Gregg Reynolds <601396+mobileink@users.noreply.github.com> * use master branch of obazl repo until it settles Signed-off-by: Gregg Reynolds <601396+mobileink@users.noreply.github.com> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

view details

Matthew Ryan

commit sha f0cd2154aa0c50a51cc41d02ea09e902586c1aef

Token commands (#5258) * Carry next_available_token in Sparse_ledger.t * Track the next_available_token in Blockchain_state.t * Rename next_available_token to snarked_next_available_token This makes it clear that the next_available_token is associated with the snarked ledger, not the staged ledger. Credit to @psteckler for pointing out the ambiguity. * Add more informative logging to debug CI failure * Use [%%versioned: ...] ppx for Sparse_ledger.t * Disable next_available_token in Statement.gen * Revert "Disable next_available_token in Statement.gen" This reverts commit 95d0ee3e1fcaaf761738ad8e750e60cb8e7d3613. * Log full transitions when there's an error * Revert "Log full transitions when there's an error" This reverts commit bf131824c5dfec2788f2d81b7f3ce9fb9b015fcc. * Fix error: swap token for new_next_available_token * Use fold rather than iter with a reference * Add Create_new_token and Create_token_account commands * Commit Coda_base.{New_account_payload,New_token_payload} * Fix nonconsensus build for token account creation * Enable account creation in the snark * Allow Create_token_account to create default-token accounts * Don't increment next_available_token in the snark if the command fails * Lift curr_global_slot calculation in the profiler into a lazy global * Remove unnecessary Lazy.force * Replace mutability with folds * Name a discarded variable * Explode _ pattern * Factor out charge_account_creation_fee_exn in transaction logic * Use the new token in user command failure for token creation commands * Give a discarded pattern a descriptive name * Combine undo branches for Create_new_token, Create_token_account * Check whether receiver account exists before creating it * Fix copy/paste typo: receiver -> source * Explicitly pass next_available_token_after for snarks, to handle failure * Fix account fallthrough check for source when creating token accounts * Charge fee-payer in snark for token account creation too * Disable/defer predicate check for Create_new_token/Create_token_account * Do not modify account's token_owner field except when creating * Add unit tests for token/account creation commands * Factor out common account accesses from transaction snark unit tests * Infer nonce in transaction snark unit tests by default * Add a default value for value_until in transaction snark unit tests * Factor out create_account, accept a (pk, tid) instead of an account id * Increase code sharing in transaction snark unit tests * Better description for unit test * Reorder and document relationships between accounts in unit tests * Document lack of account creation fee due to command failure * Factor out add_amount/sub_amount/sub_fee from txn snark unit tests * I accidentally a word

view details

Michelle Wong

commit sha 340902cb1a5e5605cae455463bf5099831119295

fix sherry's title (#5267)

view details

Martin Minkov

commit sha 7d520d67d610383761f15c95bff0a087504a194b

Leaderboard - Refactor and adding support for a new tab (#5248) * refactor and started work on aggregate points * member data implementation done * compute point refactor * fixed issue with release rank * fixed bug with empty cells having invalid values Co-authored-by: Carey Janecka <careyjanecka@gmail.com>

view details

Michelle Wong

commit sha a60157ea7d4310a082aa41bbf15d41d524e80c49

update genesis terms and conditions (#5268) * update genesis terms and conditions * add header

view details

Ahmad Wilson

commit sha ce8fdf8d4dbcaa028dbf8399dc0b25d9c576d189

add experimental sizing for agent benchmarking (#5241) * add experimental sizing for agent benchmarking * add unit-test script to invoke bash shell for unit testing * fix scripts path * upload logs to check failures * display cpu freq (mhz) in unit-test script * try unit-test script fix * update script * time make build and unit-test operations * increase max concurrent jobs to infra max (per https://www.mankier.com/1/dune-runtest) * test dune test run concurrency limitation with setting of -j1

view details

Matthew Ryan

commit sha d5a5542bb4f3e6a1ace841dad8825533c5d3b093

Token minting (#5260) * Carry next_available_token in Sparse_ledger.t * Track the next_available_token in Blockchain_state.t * Rename next_available_token to snarked_next_available_token This makes it clear that the next_available_token is associated with the snarked ledger, not the staged ledger. Credit to @psteckler for pointing out the ambiguity. * Add more informative logging to debug CI failure * Use [%%versioned: ...] ppx for Sparse_ledger.t * Disable next_available_token in Statement.gen * Revert "Disable next_available_token in Statement.gen" This reverts commit 95d0ee3e1fcaaf761738ad8e750e60cb8e7d3613. * Log full transitions when there's an error * Revert "Log full transitions when there's an error" This reverts commit bf131824c5dfec2788f2d81b7f3ce9fb9b015fcc. * Fix error: swap token for new_next_available_token * Use fold rather than iter with a reference * Add Create_new_token and Create_token_account commands * Commit Coda_base.{New_account_payload,New_token_payload} * Fix nonconsensus build for token account creation * Enable account creation in the snark * Allow Create_token_account to create default-token accounts * Don't increment next_available_token in the snark if the command fails * Lift curr_global_slot calculation in the profiler into a lazy global * Remove unnecessary Lazy.force * Replace mutability with folds * Name a discarded variable * Explode _ pattern * Factor out charge_account_creation_fee_exn in transaction logic * Use the new token in user command failure for token creation commands * Give a discarded pattern a descriptive name * Combine undo branches for Create_new_token, Create_token_account * Check whether receiver account exists before creating it * Fix copy/paste typo: receiver -> source * Explicitly pass next_available_token_after for snarks, to handle failure * Fix account fallthrough check for source when creating token accounts * Charge fee-payer in snark for token account creation too * Disable/defer predicate check for Create_new_token/Create_token_account * Do not modify account's token_owner field except when creating * Add unit tests for token/account creation commands * Add Mint_tokens command * Add unit tests for token minting * Check-in minting payload * Fix copy/paste typo: is_create_account -> is_mint_tokens * Add Minting_payload in nonconsensus * Remove unused function is_valid_user_command

view details

Avery Morin

commit sha 644e6b4d5aada7de34d9839cf098f5b475b22880

Rosetta: Add models and network endpoints (#5228) * Add basic json models for rosetta * Refactor request handler * Add some graphql logic * Add caqti code and cmdline interface * Add short README to rosetta * Add logger * Adds ppx-version Co-authored-by: Brandon Kase <bkase@o1labs.org>

view details

Matthew Ryan

commit sha 12e61eedc2542dd3444ae84658ca11bb8b15a5ce

Add token permissions to accounts (#5265) * Carry next_available_token in Sparse_ledger.t * Track the next_available_token in Blockchain_state.t * Rename next_available_token to snarked_next_available_token This makes it clear that the next_available_token is associated with the snarked ledger, not the staged ledger. Credit to @psteckler for pointing out the ambiguity. * Add more informative logging to debug CI failure * Use [%%versioned: ...] ppx for Sparse_ledger.t * Disable next_available_token in Statement.gen * Revert "Disable next_available_token in Statement.gen" This reverts commit 95d0ee3e1fcaaf761738ad8e750e60cb8e7d3613. * Log full transitions when there's an error * Revert "Log full transitions when there's an error" This reverts commit bf131824c5dfec2788f2d81b7f3ce9fb9b015fcc. * Fix error: swap token for new_next_available_token * Use fold rather than iter with a reference * Add Create_new_token and Create_token_account commands * Commit Coda_base.{New_account_payload,New_token_payload} * Fix nonconsensus build for token account creation * Enable account creation in the snark * Allow Create_token_account to create default-token accounts * Don't increment next_available_token in the snark if the command fails * Lift curr_global_slot calculation in the profiler into a lazy global * Remove unnecessary Lazy.force * Replace mutability with folds * Name a discarded variable * Explode _ pattern * Factor out charge_account_creation_fee_exn in transaction logic * Use the new token in user command failure for token creation commands * Give a discarded pattern a descriptive name * Combine undo branches for Create_new_token, Create_token_account * Check whether receiver account exists before creating it * Fix copy/paste typo: receiver -> source * Explicitly pass next_available_token_after for snarks, to handle failure * Fix account fallthrough check for source when creating token accounts * Charge fee-payer in snark for token account creation too * Disable/defer predicate check for Create_new_token/Create_token_account * Do not modify account's token_owner field except when creating * Add unit tests for token/account creation commands * Add Mint_tokens command * Add unit tests for token minting * Check-in minting payload * Add token permissions * Check-in Token_permissions * :s/token_owner/token_permissions/g * Add token_locked statuses to Create_new_token and Create_token_account * Set token permissions on newly created token accounts * Add unit tests for creating accounts with disabled permissions * Disable locking default token accounts at protocol, txn and snark level * Fix copy/paste typo: is_create_account -> is_mint_tokens * Add Minting_payload in nonconsensus * Fixup Merkle_ledger_tests stubs * Add Token_permissions for nonconsensus * Fix compilation of client_sdk * Error.errorf -> Error.createf * Split aliased commands in archive node * Fix typo: token ID must not be default when account_disabled = true * Remove unused function is_valid_user_command

view details

Ahmad Wilson

commit sha 5571637e2b2e5420d20d8fb0ee02b542c93774db

update unit-test.sh - bump job concurrency back to at most 16

view details

push time in 15 days

push eventCodaProtocol/coda

ember arlynx

commit sha 08612dec6d399e715afc145f5f5e98f65ea54af9

include go error in metadata

view details

push time in 15 days

Pull request review commentCodaProtocol/coda

upgrade libp2p version

 module Go_log = struct   let ours_of_go lvl =     let open Logger.Level in     match lvl with-    | 0 (* Critical gets mapped to error *) | 1 ->+    | "error" | "panic" | "fatal" ->         Error-    | 2 ->+    | "warn" ->         Warn-    | 3 (* Notice gets mapped to info (I can't find any use of notice?) *) | 4-      ->+    | "info" ->         Info-    | 5 ->+    | "debug" ->         Debug     | _ ->         Spam    (* there should be no other levels. *)    type record =-    { id: int64-    ; time: string-    ; module_: string [@key "module"]-    ; level: int-    ; message: string }+    { ts: string+    ; module_: string [@key "logger"]+    ; level: string+    ; msg: string+    ; error: string [@default ""] }   [@@deriving of_yojson]    let record_to_message r =     Logger.Message.-      { timestamp= Time.of_string r.time+      { timestamp= Time.of_string r.ts       ; level= ours_of_go r.level       ; source=           Some             (Logger.Source.create                ~module_:(sprintf "Libp2p_helper.Go.%s" r.module_)                ~location:"(not tracked)")-      ; message= r.message-      ; metadata=-          String.Map.singleton "go_message_id" (`String (Int64.to_string r.id))+      ; message= r.msg+      ; metadata= String.Map.empty

ahh good call!

emberian

comment created time in 15 days

pull request commentCodaProtocol/coda

upgrade libp2p version

@nholland94 requesting your review for the logger usage here. the problem is that r.msg as it comes from the helper sometimes contains 1. (escaped?) binary garbage, 2. dollar signs which obviously don't refer to logger metadata interpolation. so they fail to log. i would like to avoid violating the logproc interpolation invariants here, so i stuff the string into metadata.

emberian

comment created time in 16 days

push eventCodaProtocol/coda

ember arlynx

commit sha 16fc307fb30f087950da00360473a05d1e2bfcc6

don't try and be nice with the misparsing messages

view details

push time in 16 days

push eventCodaProtocol/coda

ember arlynx

commit sha 6b4a4f2271a5537a3de18d843cfc3ad6b64852e1

drag everything forward into the new world

view details

push time in 16 days

push eventCodaProtocol/coda

Ember Arlynx

commit sha 0bc4d1063e174ea362716dcd0eed4c222e6ad4da

reforamt

view details

Ember Arlynx

commit sha ef815a08a0e52bbba860b39cc21bf5ce44cd1ea4

unused variable warning makes ci sad :(

view details

Ember Arlynx

commit sha 2fa2d3c4776ffbddbc11ec407d2b1b0323e04f09

Merge branch 'feature/libp2p-upgrade' of github.com:codaprotocol/coda into feature/libp2p-upgrade

view details

push time in 16 days

push eventCodaProtocol/coda

mrmr1993

commit sha d5aff33872c0c95e043fb787f204e1f2700da146

Switch over to merge for mergify

view details

Matthew Ryan

commit sha 4e03183325dc890ac519ab06d9007f670086ab83

Merge branch 'develop' into feature/change_mergify_strategy

view details

mrmr1993

commit sha dcc80fa6e50a0be46079fd77a95e56ccbf623c2f

Dump the JSON that failed to parse in the runtime config

view details

Brandon Kase

commit sha e366198286fa94a418e77201714c7e4a62c38d7e

WIP on block API * Shuffled some code around to reuse model gen * Started fleshing out operations for each transaction Still TODO: * Hit the DB for real * Continue specifying all the operations associated with transactions

view details

Brandon Kase

commit sha 7d77c960194d2d594fd9b5b57880866da613b8db

Finishes `/block` endpoint Test fails on purpose to dump output for visual inspection (for now)

view details

Brandon Kase

commit sha 0e301b9cb6acfdad121d18bf954688cee5c8f7dd

Uses failure status, nits, adds snark fees

view details

Brandon Kase

commit sha 08ed2eab9029e80eeaf545e39acba47bb23eafcf

Completes mempool transaction API (#5439) With this PR, the full Data API for Rosetta is implemented modulo necessary protocol changes denoted in TODOs scattered across the codebase. Much testing is still needed after protocol changes come through.

view details

Brandon Kase

commit sha 0d768cf5a0657e7cfa143f915c11dad7fb16dc19

Finishes up block API * Block query is parsed into a These * Account creation fees paid from db directly * Refined operations to closer reflect reality

view details

Brandon Kase

commit sha 6d2b8cd3d0250a3250d5f1baa56a82377ff4b929

Makes requested changes

view details

Brandon Kase

commit sha b0b624e5c926c3ae9af4769810a69a505f6cbfea

Makes further requested changes

view details

Brandon Kase

commit sha 643e01e27ace99f103713c86b6783cfd5be3952e

Starts adding real db support for block query

view details

Brandon Kase

commit sha f85a85bbec4f71c2e5b03dd558012435dcb230f6

Wires together all the queries, compiles

view details

Brandon Kase

commit sha 18da4f155a547bcc1f670b29326e35239d5742f3

Db queries fully work on dev run Note: This only tests with the coinbase internal command. But hey at least we know the block and internal command queries work which is cool.

view details

Brandon Kase

commit sha d67895273c855f2be0e94ec5c8632819d8c2f6e2

Fixes after rebasing

view details

Brandon Kase

commit sha e8eb1a57d999f5af6a70517843cc4feaaaae31ca

Makes requested changes * Comment on recursive query * Explicit projection of sql fields * INNER JOIN all the public keys

view details

Brandon Kase

commit sha 7054b70d083fde28a990798e85784e51a6be7f2c

Fixes bad rebase

view details

Brandon Kase

commit sha 7598ab4506f84a72d8539e9575873760aff40f69

Merge remote-tracking branch 'origin/develop' into feature/block-api

view details

mergify[bot]

commit sha adcc2dd78116939ed53843f375c33e9d6db1d779

Merge branch 'develop' into feature/log-config-error

view details

Brandon Kase

commit sha 35c2c534149a6fc043dc0e53dee6176fe4dd50f0

Makes requested changes * Adds issue for naked TODO * Fixes #5415 * Fixes #5435

view details

Matthew Ryan

commit sha 300f20443bed0d3a177cf7fa5b68a500a2702efa

Merge pull request #5499 from CodaProtocol/feature/log-config-error Dump the JSON that failed to parse in the runtime config

view details

push time in 16 days

PR opened CodaProtocol/coda

upgrade libp2p version

This upgrades the versions of our go dependencies, most importantly libp2p. We can now use their fancy nonbroken gossip algorithm, which brings network conditions much closer to mainline.

Closes #5412

+556 -52

0 comment

10 changed files

pr created time in 16 days

create barnchCodaProtocol/coda

branch : feature/libp2p-upgrade

created branch time in 16 days

push eventflyingsymbols/heklers-icfp-2020

ember arlynx

commit sha da964b532e9363ae8ad0de0b78f4ec812abe90b8

graph fucked up but checked in

view details

push time in 16 days

push eventflyingsymbols/heklers-icfp-2020

ember arlynx

commit sha ef762dbfddffc485c0839c5a80415099d371aa9a

gc checkin

view details

push time in 16 days

push eventflyingsymbols/heklers-icfp-2020

ember arlynx

commit sha 6613299ce53470950e27893eb621ebc12b42bc34

shit

view details

push time in 18 days

push eventflyingsymbols/heklers-icfp-2020

ember arlynx

commit sha f3435d71fc31517db95ca6e902e944c8c1166485

didn't end up being true

view details

push time in 18 days

push eventflyingsymbols/heklers-icfp-2020

ember arlynx

commit sha c883eb503ad6ec5e143a1f1f2ce483da06929308

extract handshake, bitmap tests, unrun block tests

view details

push time in 19 days

push eventflyingsymbols/heklers-icfp-2020

ember arlynx

commit sha a678b81817037a6fc4f5d992805cbea52f8485e7

bitmap: almost production ready

view details

ember arlynx

commit sha d62495724fb9df58a8a80a4f89badebbe651a125

closer and closer, split up heap.rs and start api.rs

view details

push time in 19 days

push eventflyingsymbols/heklers-icfp-2020

ember arlynx

commit sha 0f5c352d92af1e8bf73d06c965b74024c8853855

incinerator wip

view details

push time in 20 days

push eventflyingsymbols/heklers-icfp-2020

ember arlynx

commit sha 90d6cf3022f383bfedc861e2174c2d527abb6434

incinerator compiles

view details

push time in 20 days

create barnchflyingsymbols/heklers-icfp-2020

branch : ember-is-crazy

created branch time in 21 days

pull request commentCodaProtocol/coda

RFC: SNARK pool batching

from izzy: zcash foundation have a similar problem, and end up with a similar solution? find it, compare it, link it.

emberian

comment created time in 22 days

push eventflyingsymbols/heklers-icfp-2020

ember arlynx

commit sha 72dac48a910bcca1254f7ef44ca622259499b25a

mailmap

view details

push time in 23 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha f6d9671d05dd93a7ba3a8b44a017a8c45ab41b64

wire everything up to modem, in theory?

view details

cmr

commit sha d3e29c9116349c34d650b49b3a4d81caff0225ff

partially-applied ap

view details

cmr

commit sha dddc0c04aa56674211eec77cd3b8fac229061693

Merge branch 'master' of https://github.com/flyingsymbols/heklers-icfp-2020

view details

push time in 23 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha 6a335f958539e71178a56f281b46a5c57afe2a91

allow calling boxed data

view details

cmr

commit sha 6bc2e6c1337564bbb2e13aaf08fb2f52d72ebfb3

unlazy top-level lists

view details

cmr

commit sha 26cb5a0d027531fb383bac3d1ff11d780ed47364

tweak debug formatting

view details

cmr

commit sha bec20958ab8dec479dbe885b18c7c366d1b7629d

embershot is now additionally a library, and galaxy parses in debug builds

view details

cmr

commit sha 7c3139d891513a10fd51516243ab2e36910728da

nonrecursive parsing

view details

cmr

commit sha 4ccabaac690e78f507262b53dc2b182435c90c02

thunks don't get pretty printed poorly, to aid some tests

view details

push time in 23 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha ae7b31b45daa1c5cb630fea846ffad89be254632

symbol sharing

view details

push time in 23 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha 559301172de6801fe9f658ef08cbfcbc620e9e5f

lookup symbols

view details

cmr

commit sha eec52eb24fc2534b1fdc021535a11680b503da5f

Merge branch 'master' of https://github.com/flyingsymbols/heklers-icfp-2020

view details

cmr

commit sha d13c05d58556466b165a46e730326045a15f3bb8

toggleable tracing

view details

cmr

commit sha ca12b8167d3fb4ab55702f90b9c26ca0fee51930

merge

view details

push time in 24 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha fc5334889ffe5f7c9581a46f359f072a7c665339

self test passes :)

view details

cmr

commit sha a52a896f4609badb4cc6ac30b393ff929c23f818

Merge branch 'master' of https://github.com/flyingsymbols/heklers-icfp-2020

view details

push time in 24 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha ca9f901ddb3b0fa54dc535187f8432a1a2f48fad

down to 16 failing tests

view details

push time in 24 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha 3b9b6acf3a1c4bf9d62382e96a68db73e87af623

variable definitions

view details

push time in 24 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha e49ed017436e0cae0d170d24c968afee5316070a

selftest doesn't crash

view details

push time in 24 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha d5d16b067f62cf32d37298e4b50da704119407d6

closer to working

view details

cmr

commit sha 218143aef4e48ce95f817f40d5f467281ece8e01

Merge branch 'master' of https://github.com/flyingsymbols/heklers-icfp-2020

view details

push time in 24 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha 4d58a7c804090fc86ed48ebfdf331d383e2d6799

ignore rustyline spam

view details

push time in 24 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha ad843982b7240be648802b69cda8f6d3a3e39422

lots of progress, new tracing stuff

view details

cmr

commit sha 3a461d7516767df7461de7c0ae5a936279b453a6

fix merge conflicts

view details

push time in 24 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha 9d9dfe96da288e9b9ceb3635c48212c23f1e0107

new evaluator baked and mostly done

view details

push time in 25 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha ecab609c3e9f38f1bd4b7a5edc75ea9a9051d64a

substantial eval/apply machine progress primitives all implemented possibly works? still needs parsing into ANF

view details

cmr

commit sha ff7a6f77eb540575048377f902a2156e2e127c28

Merge branch 'master' of https://github.com/flyingsymbols/heklers-icfp-2020

view details

push time in 25 days

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha ad90f6187bd2f8d0b9817346cdc8683ddb5f0ce7

new eval/apply machine

view details

cmr

commit sha 583950e5074cdc646cd9cb22ca0be3582393bbae

Merge branch 'master' of https://github.com/flyingsymbols/heklers-icfp-2020

view details

push time in a month

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha 574aae4630cfaa3e9c6d95eaadd3cb176e0d0bc5

fix the order of the combinators

view details

push time in a month

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha 35563072705029e49e3fabc841997d0af85ccc6e

fix the symbol expansion bug

view details

cmr

commit sha 776065bd50321d780db841e7acf265479076202e

Merge branch 'master' of https://github.com/flyingsymbols/heklers-icfp-2020

view details

push time in a month

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha 7cabcb4f05e30140f341aaba1d66ea44601b0945

galaxy.txt parsing!

view details

push time in a month

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha b6355e8ae063ac5ba7a3ea97b7892428ba6e5529

use test attribute

view details

push time in a month

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha 8e9f538d6d12c31c249b24ace6330859f6cb6aa3

fix bad reverses

view details

push time in a month

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha e621d64f504611adb40349b97b439e0236ff0eb9

working repl!

view details

cmr

commit sha 70d09e48ccc5462c1dbee6866b9889915f2d49ed

Merge branch 'master' of https://github.com/flyingsymbols/heklers-icfp-2020

view details

push time in a month

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha afaa5cf758781c9b601d389937546577e08f5537

print final state nicely and not poorly

view details

push time in a month

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha d0621546b8c0eef50381078b6c74875fb9f4f951

working fancy 1 + 3

view details

push time in a month

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha 2f087c59d67e292c8adb67ffc3d136db772d1f16

builtin evaluation

view details

cmr

commit sha 3929a5d75bf3eb32a92d8ee33e7f5bb4ce0d27e1

Merge branch 'master' of https://github.com/flyingsymbols/heklers-icfp-2020

view details

push time in a month

push eventflyingsymbols/heklers-icfp-2020

cmr

commit sha 7088678de8c71fd89dd6556c78af8bf40a2b48f9

wip evaluation?

view details

push time in a month

issue openedCodaProtocol/coda

Debug_assert should log if it fails in prod

https://github.com/CodaProtocol/coda/issues/5354 disabled an assertion that failed sometimes but we still really want to make sure it doesn't happen in tests etc. If it were instead replaced with a debug_assert, and debug_assert logged its failure when in prod (instead of not running at all), we could use the Automated Validation Service (or just a grep through a json file at the end of CI) to ensure no such asserts failed. This blends both worlds: we get the signalling etc of the debug assert information without the reliability hit in weird but nonfatal situations. We currently don't have the infrastructure in place to reliably fail CI etc when it happens. This would be a good telemetry candidate too.

created time in a month

issue openedCodaProtocol/coda

Upgrade libp2p and switch to gossipsub

libp2p had some releases! in particular they beefed up pubsub and such. we should upgrade soon, it will help pubsub reliability/performance a lot.

https://blog.ipfs.io/2020-05-20-gossipsub-v1.1/ has some info about what is new with gossipsub.

created time in a month

issue commentCodaProtocol/coda

Runtime Fork - Immediate Fork at Height = 4

One thing we're seeing is this:

"From the current prover state, got None for the expected next state, which should be true only when calculating precomputed values"

This is pretty bad? For some reason computing the expected next state failed? The only time that should ever be None is when computing a genesis block I think. About 73 in 1.5 hours on one run. It does look like nodes are crashing and restarting before producing that message. Shouldn't the prover state be present after that though, since it's loading the genesis state from parameters? Is this a benign artifact of that?

yourbuddyconner

comment created time in a month

push eventemberian/s_lf

cmr

commit sha d87f7938eb8c8953ae9dde9fcaac1f0d8796ee3f

tui?

view details

push time in a month

push eventemberian/s_lf

cmr

commit sha 2f25439abdc3ef41f282c45faf2b5f36365e4b3b

flesh out some more basic stuff, tie together simple sync w/ an event loop? that does nothing?

view details

push time in a month

issue openedorottier/webpage-rs

Clone?

webpage::Webpage being Clone would be extremely useful

created time in a month

create barnchemberian/s_lf

branch : dev

created branch time in a month

created repositoryemberian/s_lf

an exocortex for one

created time in a month

push eventCodaProtocol/coda

Martin Minkov

commit sha 71e6811dd1da465dbcaa27328e099279d6aee796

fixed leaderboard cron job error (#5193)

view details

Michelle Wong

commit sha d32f4fc0f395001b50fce4161347f839e34a2c5d

Website: Add grants link to footer (#5182) * fixed tablet problem * add grants link to footer * end of file line * end of file line * end of file line * delete line break * update name

view details

Michelle Wong

commit sha ab7abd8126c05af5c1b61eb1e82b303a040717a0

fix link in snark workers docs (#5195) Co-authored-by: Carey Janecka <careyjanecka@gmail.com>

view details

ember arlynx

commit sha 1bde962df42253cbc87a765360c64788f39929fc

buildkite: flatten dhall filesystem by one directory (#5191) * flatten dhall filesystem by one directory * forget about Pipeline files Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

view details

Nathan Holland

commit sha f312a2260480ca82fe44983320a240f651ca371e

Docker image for puppeteered daemons (#5198) * Add dockerfile for puppeteered daemons * Address PR comments Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

view details

psteckler

commit sha bb8735a3a1654ff39a27398205135180c90e6c24

to_yojson per-field annotations for RPC type (#5203)

view details

Matthew Ryan

commit sha 3e74494591f3849afab5ef856bef80d7fdb679e1

Allow setting constraint constants from the config file (#5188) * Move proof_level into precomputed_values * Proof-level settable from config file * Add constraint constants to the runtime configuration * Unduplicate duplicate code * let%bind _ = return _ => let _ = _ * Rename ~fields to ~keep_fields * Revert "let%bind _ = return _ => let _ = _" This reverts commit 70a3883b0d75833d1e877a0d2b8c72c038d4ac9e. Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

view details

Martin Minkov

commit sha c0ebe3e7573c520cfadc5babb9551318fc8a00e9

Snark Challenge Refactor (#5160) * changed snark maps to use int64 * refactored points for snarks and turned off points automation * removed uncomment of points * refactored add to one line

view details

Martin Minkov

commit sha 11fdc1f7a19b30798565909d8815a99da12aa85d

removed cron job from running (#5202) Co-authored-by: Carey Janecka <careyjanecka@gmail.com>

view details

Brandon Kase

commit sha 841f3a938aa365a66c8e921fc56c7ad7c326033c

Fixes cache-through process (#5179) Cache-through was completely broken. This PR cleans up the abstraction, and fixes everything. The newest Coda container needs the opam dir from the cache in order to run properly, so we know it works now. The `OpamInit` module now has a nice way to run extra commands after pulling opam from the cache (if it's a hit)

view details

Brandon Kase

commit sha e74569e03d12e7fbc44bf38edb07a50a5c71b7bb

fix command in a Coda/Command is already in docker (#5208)

view details

ember arlynx

commit sha afedecf1f77ca0f2b1ebb1aeac1140bd5cf04fee

Merge branch 'develop' into feature/cleanup-testnet-configs

view details

push time in 2 months

push eventCodaProtocol/coda

Ember Arlynx

commit sha 978d3f64d7f98712d93589eec0f5fd5cc7129894

dedupe fast lint keys

view details

push time in 2 months

PR opened CodaProtocol/coda

buildkite: rust job

This replaces the old tracetool job, which unnecessarily did a full build (and not just a check).

Addresses part of #4990

+246 -237

0 comment

20 changed files

pr created time in 2 months

create barnchCodaProtocol/coda

branch : feature/buildkite-rust

created branch time in 2 months

push eventCodaProtocol/coda

Ember Arlynx

commit sha ebe5db36f0adeb68e8fbe0297700f24bd7bb8160

forget about Pipeline files

view details

push time in 2 months

issue commentCodaProtocol/coda

Buildkite CI: Cull unnecessary jobs

tracetool is still necessary.

bkase

comment created time in 2 months

push eventCodaProtocol/coda

Matthew Ryan

commit sha de7548fd8999c960ac883148232af48ae2df7305

Use requests in transaction snark (#5177) * Use requests in transaction_snark * Remove unused fields from Transaction_snark Prover_state.t Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

view details

Matthew Ryan

commit sha a2613b98a6fafbb8cc84495a4a54460712ed4e07

Add missing metadata to log message (#5167) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

view details

Michelle Wong

commit sha ff7d1b84e008f7ae982b448179cf616db0b88248

Leaderboard: fix tablet styles (#5175) * fixed tablet problem * fixes part 2 * reformat * delete new line * reformat Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

view details

Matthew Ryan

commit sha ee99d95ab241c1ccd7cad575e719ddcf5147bfa0

Move proof_level into precomputed_values (#5183) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

view details

Matthew Ryan

commit sha cebb15b4fe209755457ef48b050294782201dfca

Separate init_stack from Pending_coinbase_stack_state (#5178) * Use requests in transaction_snark * Remove unused fields from Transaction_snark Prover_state.t * Separate init_stack from Pending_coinbase_stack_state

view details

Brandon Kase

commit sha b928348d49b536b0871c897e218da2fce841dc4c

Adds an extra escape on vars for docker (#5180)

view details

Matthew Ryan

commit sha 3433d4842ad96dccf1ddd50395b40f5143b89247

Make proof-level configurable from the config file (#5185) * Move proof_level into precomputed_values * Proof-level settable from config file Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

view details

ember arlynx

commit sha f630b23549433be52dd925266d8765ada89657d1

Merge branch 'develop' into feature/cleanup-testnet-configs

view details

push time in 2 months

PR opened CodaProtocol/coda

buildkite: flatten dhall filesystem by one directory

This replaces all Foo/Spec.dhall / Foo/Pipeline.dhall pairs into a single Foo.dhall that inlines the job spec. Fewer files to hop around!

Closes #5184

+229 -250

0 comment

18 changed files

pr created time in 2 months

create barnchCodaProtocol/coda

branch : feature/buildkite-spec-merger

created branch time in 2 months

PR opened CodaProtocol/coda

buildkite: move over lint-opt

adds a soft_fail field to Command

Closes #4996

+20 -2

0 comment

2 changed files

pr created time in 2 months

create barnchCodaProtocol/coda

branch : feature/buildkite-lint-opt

created branch time in 2 months

more