Skip to content

Issues: freespek/solarkraft

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

17 Open 41 Closed
17 Open 41 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

Write a blog post
#146 opened Oct 24, 2024 by thpani M6: DevRel and case studies
@thpani
Rethink naming of TS monitor functions enhancement New feature or request
#141 opened Oct 18, 2024 by thpani
[Epic] M4: Faster Solarkraft epics Top-level issues
#138 opened Oct 14, 2024 by thpani M4: Solarkraft integration with Apalache server
@thpani
[Epic] M5: Input generation from runtime monitors epics Top-level issues
#137 opened Oct 14, 2024 by thpani M5: Input generation from runtime monitors
@konnov
1
[Epic] M6: DevRel and case studies epics Top-level issues
#136 opened Oct 14, 2024 by thpani
3 of 4 tasks
M6: DevRel and case studies
@thpani
Evaluate user needs for presence of storage fields enhancement New feature or request
#128 opened Sep 24, 2024 by thpani
Instrument persistent and temporary storage
#125 opened Sep 10, 2024 by thpani M1: Support temporary and persistent storage
Instrument other contract storage
#124 opened Sep 10, 2024 by thpani M1: Support temporary and persistent storage
[Epic] M3: Fetch type info from WASM blocked Blocked on other issue epics Top-level issues
#119 opened Sep 2, 2024 by thpani M3: Fetch type info from WASM
@thpani
5
Replace Horizon with Soroban RPC to fetch transaction meta
#111 opened Jul 24, 2024 by thpani
@thpani
2
Alert contract transaction signing only works on TESTNET enhancement New feature or request
#97 opened Jun 6, 2024 by Kukovec
Add Docker container enhancement New feature or request
#91 opened Jun 3, 2024 by thpani
@thpani
1
Support mainnet (and futurenet) enhancement New feature or request
#90 opened Jun 3, 2024 by thpani
1 task
Instrument function return value enhancement New feature or request
#88 opened May 31, 2024 by thpani
1
Instrument signatures into monitor enhancement New feature or request
#85 opened May 29, 2024 by thpani
Run e2e tests in the CI devops All kinds of devops-y activities
#63 opened May 17, 2024 by konnov
@konnov
[Epic] M1: Support temporary and persistent storage epics Top-level issues
#54 opened May 15, 2024 by konnov
3 of 5 tasks
M1: Support temporary and persistent storage
@thpani
3
ProTip! Exclude everything labeled bug with -label:bug.