Search results

archiving this repo

Status: Open.

#97 In microsoft/ivy;

· tballmsft opened on Jan 14, 2021

archiving this repo?

Status: Open.

#96 In microsoft/ivy;

· tballmsft opened on Jan 14, 2021

Windows installation instructions

Status: Open.

#94 In microsoft/ivy;

· paulsaswata opened on Sep 14, 2020

Invariants from other isolates are only assumed before actions, not after

Status: Open.

#92 In microsoft/ivy;

· jtassarotti opened on Jul 30, 2020

Automatically generating dependent type messages

Status: Open.

#85 In microsoft/ivy;

· prpr2770 opened on Jun 24, 2020

Understanding BitFieldExtraction Operator bfe[][]

Status: Open.

#84 In microsoft/ivy;

· prpr2770 opened on Jun 24, 2020

networking branch of ivy cannot be built

Status: Open.

#82 In microsoft/ivy;

· prpr2770 opened on Jun 22, 2020

uint16.random unknown symbol

Status: Open.

#80 In microsoft/ivy;

· prpr2770 opened on Jun 22, 2020

error in generation of random bytestream data from a custom datatype

Status: Open.

#79 In microsoft/ivy;

· prpr2770 opened on Jun 22, 2020

__ser and __deser force datatype to be 8bytes. Cannot send custom packets over network wire

Status: Open.

#77 In microsoft/ivy;

· prpr2770 opened on Jun 17, 2020

l2s: proving invariant with theorem fails with syntax error

Status: Open.

#69 In microsoft/ivy;

· nano-o opened on May 20, 2020

Is it possible to remove precondition checks for unexported actions

Status: Open.

#64 In microsoft/ivy;

· MadeByMars opened on May 11, 2020