Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / microsoft/ivy issues and pull requests

#97 - archiving this repo

Issue - State: open - Opened by tballmsft over 3 years ago - 1 comment

#96 - archiving this repo?

Issue - State: open - Opened by tballmsft over 3 years ago

#95 - typo which mislinks to decidiability.html

Pull Request - State: open - Opened by ly0 over 3 years ago

#94 - Windows installation instructions

Issue - State: open - Opened by paulsaswata about 4 years ago

#93 - Instructions to build QUIC Spec version of Ivy not complete

Issue - State: closed - Opened by silverbucket about 4 years ago - 11 comments

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

Issue - State: open - Opened by jtassarotti about 4 years ago - 9 comments

#91 - Associativity of implication changed from right to left in v1.7

Issue - State: closed - Opened by jtassarotti about 4 years ago - 4 comments

#90 - Use of axiom schema causing interference error

Issue - State: closed - Opened by nano-o about 4 years ago - 1 comment

#89 - Request pointers on unbounded model checking in IVy

Issue - State: closed - Opened by zgzn about 4 years ago - 4 comments

#88 - quantified assignment bad syntax leads to stack trace

Issue - State: closed - Opened by larafranciulli about 4 years ago - 1 comment

#87 - Creating Custom Ser or Deser objects for transmitting data over wire

Issue - State: closed - Opened by prpr2770 over 4 years ago - 1 comment

#86 - Nondeterministic Choice in ivy_to_cpp

Issue - State: closed - Opened by landonjefftaylor over 4 years ago - 1 comment

#85 - Automatically generating dependent type messages

Issue - State: open - Opened by prpr2770 over 4 years ago - 15 comments

#84 - Understanding BitFieldExtraction Operator bfe[][]

Issue - State: open - Opened by prpr2770 over 4 years ago

#83 - Encoding EnumType as ByteStream

Issue - State: closed - Opened by prpr2770 over 4 years ago - 5 comments

#82 - networking branch of ivy cannot be built

Issue - State: open - Opened by prpr2770 over 4 years ago - 3 comments

#81 - symbol has no interpretation: bfe[0][7] : pos -> byte

Issue - State: closed - Opened by prpr2770 over 4 years ago - 1 comment

#80 - uint16.random unknown symbol

Issue - State: open - Opened by prpr2770 over 4 years ago - 1 comment

#79 - error in generation of random bytestream data from a custom datatype

Issue - State: open - Opened by prpr2770 over 4 years ago - 5 comments

#78 - Unstable behavior on majority-test example

Issue - State: closed - Opened by nano-o over 4 years ago - 1 comment

#76 - _generating detected as unknown symbol

Issue - State: closed - Opened by prpr2770 over 4 years ago - 1 comment

#75 - l2s tactic crashes

Issue - State: closed - Opened by nano-o over 4 years ago - 1 comment

#74 - misuse of `strlit` not caught

Issue - State: closed - Opened by nano-o over 4 years ago - 2 comments

#73 - Soundness issue with `before` and `after`?

Issue - State: closed - Opened by nano-o over 4 years ago - 1 comment

#72 - Multi-cast to struct

Issue - State: closed - Opened by asgeir386 over 4 years ago - 3 comments

#71 - `apply` fails with stack trace

Issue - State: closed - Opened by nano-o over 4 years ago - 1 comment

#70 - using a theorem to prove an invariant: `with p=q` fails

Issue - State: closed - Opened by nano-o over 4 years ago - 1 comment

#69 - l2s: proving invariant with theorem fails with syntax error

Issue - State: open - Opened by nano-o over 4 years ago - 2 comments

#68 - Trivial l2s example fails with stack trace

Issue - State: closed - Opened by nano-o over 4 years ago - 3 comments

#67 - l2s tactic

Issue - State: closed - Opened by nano-o over 4 years ago - 1 comment

#66 - Name clash in rule application

Issue - State: closed - Opened by nano-o over 4 years ago - 1 comment

#65 - Using theorems to prove invariants

Issue - State: closed - Opened by nano-o over 4 years ago - 1 comment

#64 - Is it possible to remove precondition checks for unexported actions

Issue - State: open - Opened by MadeByMars over 4 years ago - 1 comment

#63 - another code-generation issue with value types

Issue - State: open - Opened by nano-o over 4 years ago - 1 comment

#62 - Code generation for value types

Issue - State: closed - Opened by nano-o over 4 years ago - 1 comment

#61 - actions are exported when they should not

Issue - State: open - Opened by nano-o over 4 years ago

#60 - wrapping code in "if true {...}" causes verification condition to fail

Issue - State: closed - Opened by nano-o over 4 years ago - 8 comments

#59 - Adding an element to a set corresponding to a replica fails

Issue - State: open - Opened by curiousperson-art over 4 years ago - 2 comments

#58 - Broadcast scenario in Ivy

Issue - State: closed - Opened by prasitaGit over 4 years ago - 3 comments

#57 - ivyc stuck asking for a model of an unstratified formula

Issue - State: open - Opened by nano-o over 4 years ago - 1 comment

#56 - compilation of quantifier over iterable

Issue - State: closed - Opened by nano-o over 4 years ago - 4 comments

#55 - Different result between if statement and if expression

Issue - State: open - Opened by MadeByMars over 4 years ago - 1 comment

#54 - fixes to make examples from the Ivy website work

Pull Request - State: closed - Opened by nano-o over 4 years ago

#53 - Update credits.md

Pull Request - State: closed - Opened by odedp almost 5 years ago

#52 - Loop with quantifier does not work as expected

Issue - State: closed - Opened by asgeir386 almost 5 years ago - 1 comment

#51 - Fix setup bugs encountered when provisioning in Vagrant

Pull Request - State: closed - Opened by mister-walter almost 5 years ago - 2 comments

#50 - fix typos in doc/examples/networking

Pull Request - State: closed - Opened by hannesm almost 5 years ago - 2 comments

#49 - shadowing doesn't work for <, and leads to inconsistency for interpreted <

Issue - State: open - Opened by erniecohen almost 5 years ago - 6 comments

#48 - oddeven2.ivy (example from language manual) not working?

Issue - State: closed - Opened by erniecohen almost 5 years ago - 2 comments

#47 - loop guards don't allow quantifiers

Issue - State: closed - Opened by erniecohen almost 5 years ago - 2 comments

#46 - relations of enumerated types (related to issue 45)

Issue - State: open - Opened by asgeir386 almost 5 years ago - 13 comments

#45 - relations of enumerated types trigger Traceback

Issue - State: closed - Opened by asgeir386 almost 5 years ago - 2 comments

#44 - definitions: missing check and AssertionError

Issue - State: open - Opened by erniecohen almost 5 years ago

#43 - some issues in "the IVy language" doc

Issue - State: closed - Opened by erniecohen almost 5 years ago - 3 comments

#42 - paramaterized module with * gets internal error

Issue - State: closed - Opened by erniecohen almost 5 years ago - 2 comments

#41 - Installation instructions on MacOS: 10.15 Catalina

Issue - State: open - Opened by asgeir386 almost 5 years ago - 2 comments

#40 - Getting better results with z3 4.7.1 compared to 4.6.0

Issue - State: open - Opened by asgeir386 about 5 years ago - 6 comments

#39 - Installation instructions on MacOS: correct z3 part

Issue - State: closed - Opened by asgeir386 about 5 years ago - 1 comment

#38 - Installation instructions on MacOS High Sierra and Mojave

Issue - State: closed - Opened by asgeir386 about 5 years ago - 4 comments

#35 - Typos on #48 & #254 & #256 & #535

Pull Request - State: closed - Opened by kant almost 6 years ago

#34 - Fix subtitle format on #11

Pull Request - State: open - Opened by kant almost 6 years ago

#33 - Update proving.md

Pull Request - State: open - Opened by ankitkachru almost 6 years ago - 1 comment

#32 - Update proving.md

Pull Request - State: open - Opened by ankitkachru almost 6 years ago

#30 - no up-to-date windows binary?

Issue - State: open - Opened by DustinWehr almost 6 years ago

#29 - Update setup.py

Pull Request - State: closed - Opened by EgorBu almost 6 years ago - 1 comment

#28 - Improved Formatting.

Pull Request - State: closed - Opened by shubhambhattar almost 6 years ago

#27 - ivy-mode.el: clean up

Pull Request - State: closed - Opened by aaptel almost 6 years ago - 1 comment

#26 - update README and setup.py

Pull Request - State: open - Opened by aaptel almost 6 years ago - 1 comment

#25 - Update README.md

Pull Request - State: closed - Opened by stutibiyani almost 6 years ago - 1 comment

#24 - fol command is actually fo

Pull Request - State: closed - Opened by calvinclaus about 6 years ago - 1 comment

#23 - "Multiply assigned" error more user friendly

Pull Request - State: open - Opened by calvinclaus over 6 years ago

#22 - New Release?

Issue - State: open - Opened by calvinclaus over 6 years ago

#21 - Typo on #104?

Pull Request - State: closed - Opened by kant over 6 years ago - 1 comment

#20 - Liveness and temporal prophecy

Pull Request - State: open - Opened by odedp over 6 years ago

#19 - Can invariant be proven from other invariants?

Issue - State: open - Opened by marcelotaube over 6 years ago - 1 comment

#18 - toy_consensus example broken on interference checks

Issue - State: open - Opened by marcelotaube over 6 years ago

#17 - Deserializing strings stuck forever

Issue - State: open - Opened by marcelotaube over 6 years ago - 1 comment

#16 - Float4

Pull Request - State: open - Opened by FLOAT4 almost 7 years ago - 2 comments

#15 - Typos

Pull Request - State: closed - Opened by kant almost 7 years ago - 1 comment

#14 - Typo on #29

Pull Request - State: closed - Opened by kant almost 7 years ago

#13 - Typo on #01

Pull Request - State: closed - Opened by kant almost 7 years ago

#12 - Update URL on #6

Pull Request - State: closed - Opened by kant almost 7 years ago

#11 - Liveness

Pull Request - State: closed - Opened by odedp about 7 years ago

#10 - Make bounded expressions work with native definitions

Pull Request - State: open - Opened by marcelotaube about 7 years ago

#9 - Fix ivy_show to call the functions that moved to ivy_init module

Pull Request - State: open - Opened by marcelotaube over 7 years ago

#8 - Fixed trace=true in an action without parameters

Pull Request - State: closed - Opened by marcelotaube over 7 years ago - 1 comment

#7 - update uses of module `ivy` to `ivy_init` in `ivy_show.py`.

Pull Request - State: open - Opened by mlr-msft over 7 years ago

#6 - Added Vagrant support

Pull Request - State: closed - Opened by mlr-msft over 7 years ago - 2 comments

#5 - Trouble installing/running Ivy

Issue - State: open - Opened by J-Savela over 7 years ago - 13 comments

#4 - Fix syntax error: missing comma

Pull Request - State: closed - Opened by elazarg over 7 years ago

#3 - Unsoundness in CTI

Issue - State: closed - Opened by kenmcmil about 8 years ago - 1 comment

#2 - Unable to use tilelink example

Issue - State: closed - Opened by maarquitos14 over 8 years ago - 10 comments

#1 - PLDI'16 artifact

Pull Request - State: closed - Opened by odedp over 8 years ago - 2 comments