• Jonas Kastberg Hinrichsen's avatar
    Lifted stypes over OFEs · 79409543
    Jonas Kastberg Hinrichsen authored
    Squashed commit of the following:
    
    commit b404feb30cecf7678c0ad6007171a13361483086
    Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
    Date:   Wed Apr 17 17:36:21 2019 +0200
    
        Bumped try_recv and recv to ofe st's
    
    commit 4aa2399d02de67feacdcba9d0929cd7e20a1f7da
    Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
    Date:   Wed Apr 17 15:19:14 2019 +0200
    
        Finalised send proof
    
    commit ae9857fcf8a88e917b6ccb219ac6e27a1afe46e2
    Author: Robbert Krebbers <mail@robbertkrebbers.nl>
    Date:   Wed Apr 17 14:58:34 2019 +0200
    
        Tweak.
    
    commit 4d86571d9d51992d6ee83fdfbbfbec24ce8fdbc8
    Author: Robbert Krebbers <mail@robbertkrebbers.nl>
    Date:   Wed Apr 17 14:54:44 2019 +0200
    
        Work.
    
    commit 0fedd453c2ce41862f0a2040294ad0d271e39e85
    Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
    Date:   Wed Apr 17 12:55:52 2019 +0200
    
        Bumped Robbert feedback, WIP send st triple
    
    commit f5672f9a529699ca0610329d32c59ad33d3146de
    Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
    Date:   Tue Apr 16 14:43:52 2019 +0200
    
        WIP
    
    commit ef354c3899e796ccb091e1275e8b44d12a3393fd
    Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
    Date:   Tue Apr 16 13:39:41 2019 +0200
    
        Lifted stype over OFEs. Fixed residuals in channel.v
    
    commit 1a47979d7497adb8c14ac9b57caf5632383ef2c3
    Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
    Date:   Tue Apr 16 13:08:28 2019 +0200
    
        WIP
    
    commit 605562ba86b9481ae367409c87492b61d199111f
    Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
    Date:   Tue Apr 16 13:05:03 2019 +0200
    
        Test
    
    commit 77eb6feb071da540fbc424602628c045ea15c004
    Author: Robbert Krebbers <mail@robbertkrebbers.nl>
    Date:   Mon Apr 15 16:24:13 2019 +0200
    
        Working.
    79409543
_CoqProject 199 Bytes