Commit Graph

9 Commits

Author SHA1 Message Date
Mazdak Farrokhzad fcc326bff9 Fix unsoundness in AlgebraicValue::type_of by making it partial (#1189)
* cleanup bsatn ser/de roundtrip test

* fmt::Display for FieldExpr: don't use type_of

* make type_of partial and sound

* type_of: address review feedback
2024-05-03 22:12:09 +00:00
Mazdak Farrokhzad d6815ebf9c Shrink AV and AT to 24 & 16 bytes respectively, and also friends. (#1047) 2024-04-13 16:51:18 +00:00
Mazdak Farrokhzad ff69ec4a10 flatten BuiltinValue into AlgebraicValue (#389) 2023-10-09 18:58:52 +02:00
Mazdak Farrokhzad 3d0d7da8fc simplify encoding_roundtrip test (#385) 2023-10-09 14:14:52 +00:00
Mazdak Farrokhzad 0a30c02827 Extract ArrayValue, ArrayType, MapValue, MapType to own files (#387)
* move ArrayType to own file

* move MapType to own file

* move ArrayValue to own file

* move MapValue to own file
2023-10-09 14:39:07 +02:00
Mazdak Farrokhzad a45c30c3d9 sats: misc refactoring (#382)
- more conversions
- prepare for getting rid of BuiltinValue & BuiltinType
- prepare for slim slices
2023-10-08 02:05:25 +02:00
George Kulakowski be289daf6f Update wasmer (#220)
* we need wasmer 4.1.1 or newer

* Add a newly required dependency on wasmer-types

* from_trap -> from::<Trap>

* Finish upgrading to wasmer 4

* Bump to Rust 1.72.0

---------

Co-authored-by: Noa <coolreader18@gmail.com>
2023-08-29 18:07:35 +00:00
Mazdak Farrokhzad d5b37e9c90 Document + Refactor SATS (#66)
* Document most of SATS

* sats: simplify Serialize impls

* sats: simplify Deserialize impls

* improve sats::de docs

* document sats::bsatn

* simplify sats fmt/map notation

* value serializer: docs + opt

* docs/refactor sats::algebraic_value::{ser,de}

* sats: document serde conversions

* cargo fmt

* small fixes

* fix tests

* fix serde feature

* sats: address pheobe's review

* fix doc comment

* fix test failure

* Remove unusued import

* Fix a borrowing issue introduced by the merge of master

The definitions of these were tweaked in some way, I think,
such that references to them are no longer automatically 'static?

---------

Co-authored-by: George Kulakowski <george@clockworklabs.io>
2023-08-01 23:17:03 +02:00
Tyler Cloutier 44df6c6e7d Initial commit 2023-08-01 23:16:37 +02:00