Skip to content
This repository was archived by the owner on Apr 29, 2024. It is now read-only.

Support parsing json#2

Merged
michaeljklein merged 77 commits intomainfrom
feat/parsing-json
May 26, 2022
Merged

Support parsing json#2
michaeljklein merged 77 commits intomainfrom
feat/parsing-json

Conversation

@michaeljklein
Copy link
Contributor

@michaeljklein michaeljklein commented Jan 27, 2022

No description provided.

@michaeljklein
move Instruction(s) and Elem to own module (execution no longer depen…
b984dd1 
…ds on parsing)
@michaeljklein
implement restacking primitive (backend)
8a22e13
@michaeljklein
add restack append, executor, and instruction
7d96a34
@michaeljklein
add serde json (de)serializer
7d3b847
@michaeljklein
add first restack test (failing)
6c284b9
@michaeljklein
add granular stack manipulations, add tests, fix tests (passing)
d1465eb
@michaeljklein
fix unused import, document stack primitives, add tests for each (pas…
e64ac66 
…sing)
@michaeljklein
remove Bytes32: combine with Bytes(N)
9c27595
@michaeljklein
add le/lt primitives, use arbitrary_precision numbers for manually de…
3b93180 
…rived PartialOrd
@michaeljklein
prototype (concat, slice, index, lookup) and implement concat
970f65d
@michaeljklein
implement concat for bytes, string, array, object; prototype slice an…
6a7c49d 
…d implement for bytes; prototype lookup
@michaeljklein
add to/from json for object/string/array, add instruction symbols, fi…
ac770e9 
…x dup
@michaeljklein
add debug method for stack, verbose execution, fix push/pop, extend demo
eea7876
@michaeljklein
fixed eq bug, kick out restack, cleanup example
eff41f9
@michaeljklein
tests now passing: deriving clone, eq, ord on instruction
7fd559b
@michaeljklein
rename s/Fn//
92e27bc
@michaeljklein
add string_to_bytes primitive
32aab54
@michaeljklein
extend example with concat/hash of two fields
988a056
@michaeljklein
replace *FromJson with UnpackJson, use ElemSymbol to replace simple_type
ea9c3ea
@michaeljklein
use pop_pushN to simplify executor
f089faa
@michaeljklein
WIP preparing to type instructions
83ab03d
@michaeljklein
implement arbitrary for ElemSymbol, Number
8e88d03
@michaeljklein
add arbitrary instances for Value, Map, Number, ElemSymbol
26638dd
@michaeljklein
migrate Arbitrary instances and Elem to own files, cleanup
c7543ed
@michaeljklein
add typing for each instruction besides Restack
f5fc69b
@michaeljklein
added zip_then to compare typed stacks and got tests passing
3af5eab
@michaeljklein
unification up and running for stack types
3ee0763
@michaeljklein
typing Instructions, made Instructions a struct, make type errors mor…
186edc3 
…e verbose, pretty-printing types
@michaeljklein
types work for three instruction example with new unification algorithm
a2dbfbb
@michaeljklein
now typing [push(json), unpack_to(object), dup] with silent eq error
a2293f8
@michaeljklein
prettier-printed errors -> found and fixed off-by-one error
9a7cb9e
@michaeljklein
use clap for cli parsing, pretty print elem/stack, get running and pa…
0eaae81 
…rsing with IsInstructionT working
@michaeljklein
cleanup and get largest example working again
9fe5fb8
@michaeljklein
add basic template for schema w/ test
cd65240
@michaeljklein
debugging tokio version error, add query/template handling to cli, de…
6c4729b 
…mo running w/o api key
@michaeljklein
adding test server: post expected (to, from) get or get as posted
aa4140b
@michaeljklein
support rate limiting, extra debug info, for test api and begin imple…
f1c58c4 
…menting post
@michaeljklein
wrapping up test server: post and get api works
f1a9f1d
@michaeljklein
support multiple queries and debug/fail-fast for queries
947f420
@michaeljklein
json to template, support put in schemas, caching works, token gating…
d72070d 
… example working with schemas
@michaeljklein
add support for monomorphic typing, split out Query into own module
b162cbd
@michaeljklein
split out into more modules, remove executor, fix query caching, cleanup
72bb43c
@michaeljklein
adding missing docs
3fa18d4
@michaeljklein
implement Error for IsInstruction errors
e5b6721
@michaeljklein
continuing to add docs, replace empty enums with Empty
fbfab00
@michaeljklein
document queries and json_template, cleanup queries
4ff47a8
@michaeljklein
add docs for an_elem, arbitrary, elem[_type], json_template, [re]stac…
0b5f2a6 
…k, types_scratch
@michaeljklein
linting and adding docs
b4dbdf8
@michaeljklein
splitting out Elems into more modules
5c3fca6
@michaeljklein michaeljklein requested a review from wyc May 24, 2022 22:12
@michaeljklein michaeljklein changed the title [WIP] support parsing json Support parsing json May 24, 2022
@michaeljklein michaeljklein mentioned this pull request May 24, 2022
Open
7 tasks
wyc
wyc approved these changes May 26, 2022
View reviewed changes
Copy link
Contributor

@wyc wyc left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved on the basis that it compiles and tests cleanly.

Full review to be done here:
#3

@michaeljklein michaeljklein merged commit dffac86 into main May 26, 2022
@michaeljklein michaeljklein deleted the feat/parsing-json branch May 26, 2022 13:55
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@cobward cobward Awaiting requested review from cobward

@chunningham chunningham Awaiting requested review from chunningham

@sbihel sbihel Awaiting requested review from sbihel

1 more reviewer

@wyc wyc wyc approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@michaeljklein @wyc