Kristian Larsson

Expose (de)serialization function

2

We have the ability to serialize everything internally. We should expose functions to serialize and deserialize objects so that we can send them across sockets or write to files. Very...

I copied a number of exceptions and assertion functions from the Python unittest module into our testing module. Among them are: - `assertIsInstance(a, b, msg)` - `assertNotIsInstance(a, b, msg)` They...

``` type bopa = (a: str, b: int) class Foo(object): b: bopa ... ```

- [x] exceptions #1463 - [x] better error messages #1554 #1559 - [x] support testing #1524 - [x] #1426 - [x] #2050 - [x] #1458 - [ ] #2098 -...

int (de)serialization wonky around size = 0, doing malloc(0) and memcpy with size 0

3

While working on the run-time reconfigurable malloc, I noticed that the int (de)serialization does a 0-byte malloc and a memcpy with size 0. Is this really correct? Feels quite bogus?...

--target x86_64-linux-musl binaries do not run

2

They do not seem to work properly!?

Path to a faster language

2

Order is a mix of low-hanging-fruit and large-impact. Like we expect witness inlining to be huge but #1493 is probably much easier yet with some decent results. - #1493 -...

Could we support having one memory area that we place multiple objects into to reduce the number of malloc calls? We would do this for malloced objects that have the...

actonc bug for module hierarchy overlap

5

### Acton Version 0.19.2.20240121.17.6.48 ### Steps to Reproduce and Observed Behavior I am trying to build a module hierarchy like this: - `foo.act` - `foo/bar.act` which I think should be...

Libssh looks like our choice... It's also used in libnetconf2 so might be some benefits to using the same.