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
#77 - __ser and __deser force datatype to be 8bytes. Cannot send custom packets over network wire
Issue -
State: open - Opened by prpr2770 over 4 years ago
- 8 comments
#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
#31 - opaque uncaught exception when start a function symbol with numeral
Issue -
State: open - Opened by DustinWehr 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