Xavier Denis

Use bump / arena allocator

2

I wonder how much time could be gained by having all formula data stored using arenas. We should investigate using `bumpalo` for this.

Paperboy overwrites files with duplicate names

11

If you accept the name suggestion from paperboy, it will happily overwrite any files that happen to have that name in the library folder. Luckily in this case it was...

Issues / Tasks for new contributors

6

Hey! I'm wondering if there are any issues / tasks suitable for new contributors? I've been watching this project for a while and would be interested in contributing but where...

[Error](0 <= (0 - 1)) is not a term, is_lit = true

4

AltErgo 2.4.1 crashes on the following file with the above error message. The error case was generated in Why3. (Zipped for the GH filters..) [01_resolve_unsoundness-C01ResolveUnsoundness_MakeVecOfSize-make_vec_of_sizeqtvc_1.ae.zip](https://github.com/OCamlPro/alt-ergo/files/9185811/01_resolve_unsoundness-C01ResolveUnsoundness_MakeVecOfSize-make_vec_of_sizeqtvc_1.ae.zip)

Hi, I was wondering if it would be possible to expose access to `GDK_MODIFIER_INTENT_PRIMARY_ACCELERATOR` in lablgtk? It would enable application developers to have native feeling shortcuts on mac where the...

Map

2

Some more proofs about iterators.

When a function has explicit trait bounds it can interfere with trait resolution in weird ways, consider the following example: ``` trait X { #[logic] fn dummy(self); } impl X...

I think it would be important to go over the machinery for resolution and clean it up / simplify it. As it stands we need a `BorrowSet` to provide information...

Invariant spans wrong

1

When multiple invariants are attached to loops they can end up sharing the same spans which is counter productive and not super helpful.

This is a rough tracking issue for known bugs and improvements we can make to closures: - [x] #487 - [ ] #517 - [ ] Pearlite should have a...