Skip to content
This repository has been archived by the owner on Jan 27, 2021. It is now read-only.

Issues: microsoft/ivy

29 Open 35 Closed
29 Open 35 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

archiving this repo
#97 opened Jan 14, 2021 by tballmsft
1
archiving this repo?
#96 opened Jan 14, 2021 by tballmsft
Windows installation instructions
#94 opened Sep 14, 2020 by paulsaswata
Invariants from other isolates are only assumed before actions, not after
#92 opened Jul 30, 2020 by jtassarotti
9
Automatically generating dependent type messages
#85 opened Jun 24, 2020 by prpr2770
15
Understanding BitFieldExtraction Operator bfe[][]
#84 opened Jun 24, 2020 by prpr2770
networking branch of ivy cannot be built
#82 opened Jun 22, 2020 by prpr2770
3
uint16.random unknown symbol
#80 opened Jun 22, 2020 by prpr2770
1
error in generation of random bytestream data from a custom datatype
#79 opened Jun 22, 2020 by prpr2770
5
__ser and __deser force datatype to be 8bytes. Cannot send custom packets over network wire
#77 opened Jun 17, 2020 by prpr2770
8
l2s: proving invariant with theorem fails with syntax error
#69 opened May 20, 2020 by nano-o
2
Is it possible to remove precondition checks for unexported actions
#64 opened May 11, 2020 by MadeByMars
1
another code-generation issue with value types
#63 opened Apr 15, 2020 by nano-o
1
actions are exported when they should not
#61 opened Apr 7, 2020 by nano-o
Adding an element to a set corresponding to a replica fails
#59 opened Mar 26, 2020 by curiousperson-art
2
ivyc stuck asking for a model of an unstratified formula
#57 opened Mar 2, 2020 by nano-o
1
Different result between if statement and if expression
#55 opened Feb 20, 2020 by MadeByMars
1
shadowing doesn't work for <, and leads to inconsistency for interpreted <
#49 opened Nov 3, 2019 by erniecohen
6
relations of enumerated types (related to issue 45)
#46 opened Oct 25, 2019 by asgeir386
13
definitions: missing check and AssertionError
#44 opened Oct 18, 2019 by erniecohen
Installation instructions on MacOS: 10.15 Catalina
#41 opened Oct 14, 2019 by asgeir386
2
Getting better results with z3 4.7.1 compared to 4.6.0
#40 opened Sep 10, 2019 by asgeir386
6
opaque uncaught exception when start a function symbol with numeral
#31 opened Oct 25, 2018 by DustinWehr
no up-to-date windows binary?
#30 opened Oct 24, 2018 by DustinWehr
New Release?
#22 opened May 18, 2018 by calvinclaus
ProTip! Find all open issues with in progress development work with linked:pr.