Proto commits in cuter-testing/cuter

These 12 commits are when the Protocol Buffers files have changed:

2023-01-31

Correct some misspellings and typos

The documentation is generated from this commit.

2021-11-28

Support spec definitions with Erlang maps (183) (#184) List of changes: - Add new ?map_tag macro definition - Introduce Spec.{Association, AssociationList} messages - Introduce 'MAP' value for Spec.Type enum - Add new cuter_type t_map/0 and t_map/1 - Support map type in t_from_form - Encode map specs and send to Python - Add TODO for how the smt library can handle maps (will be added later) - Add unit tests for parsing specs containing map types - Support pretty printing map specs.

2021-05-14

Do not attempt to fix variables to specific values If the entry point has arity > 1, and the solve returns unknown or timeout for a model, we would try to fix some of the variables to specific values to simplify the model. This functionality is not helpful in our case. If the solver reponds with unknown or times out, then there is a regression in the solver or in our tool.

2017-02-09

Refactor the spec generation to allow recursion An Mfa's spec will no longer expand type definitions. All needed type definitions will be in a separate list.

2016-11-09

Prefix proto files for uniformity #96

2016-11-07

Compile the protobufs for Python #96

Add a generic LogEntry protobuf #96 This is an intermediate commit. Some MFAs and types will later on removed.

Create a protobuf for commands that go throught the port #96

Decode ErlangTerm protobufs #96

Use protbufs throughout CutEr #96

Add fun types to ErlangTerm #96

Serialize & De-serialize terms using protobufs #96