Arthur Azevedo de Amorim (055cdc9b) at 19 Mar 08:18
The errors are saying that there was a timeout or that the jobs got stuck, but everything is compiling fine on my machine (including on 8.16.1, which threw an error here). Should we increase the timeout limit?
Arthur Azevedo de Amorim (35f7e0b5) at 07 Feb 19:57
Prove basic results about location order.
... and 93 more commits
I have added some basic properties about these ordering relations:
Is there anything else that would be useful for a first version?
Arthur Azevedo de Amorim (13e1605b) at 07 Feb 17:02
Prove basic results about location order.
Just added these operations.
Arthur Azevedo de Amorim (e65b292b) at 03 Nov 16:40
Define order predicates on locations.
As noted in #487, it does not make sense to prevent comparing two locations for their relative order. This MR extends HeapLang to allow that.
One thing that is not clear to me is how we should express the comparison. Right now, the implementation calls loc_car
to extract the underlying integer. This is a bit ugly, but I don't know if it would make sense to add another order predicate just for locations.
Arthur Azevedo de Amorim (7013d00e) at 14 Oct 19:27
Add order operations for locations in HeapLang.
Arthur Azevedo de Amorim (ad52ed07) at 14 Oct 18:27
iris-bot: dont rely on 'origin' remote being upstream
... and 1442 more commits
Thanks for your feedback! I'll try to send something hopefully soon.
As the following file shows, HeapLang makes it possible to compare pointers for their relative ordering. Should we extend the primitive comparison operation on HeapLang to work on pointers as well?