Skip to content

Pull requests: anoma/nspec

New pull request New
13 Open 241 Closed
13 Open 241 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix typos in Juvix documentation
#388 opened Sep 13, 2025 by sashaodessa Loading…
EVM PA Documentation Update
#387 opened Aug 18, 2025 by agureev Loading…
1
28
Yulia/app data update resource-machine
#386 opened Aug 7, 2025 by vveiln Loading…
@vveiln
33
just to check github ci
#384 opened Aug 1, 2025 by heindel • Draft
2
docs: add a first paragraph for what should be here
#380 opened Jun 2, 2025 by heindel • Draft
1
Heindel/rm overview dag v03 wip
#350 opened Mar 20, 2025 by heindel • Draft
14 tasks
1
Add some utility functions for creating default messages and action effects. documentation Improvements or additions to documentation node-architecture
#345 opened Feb 25, 2025 by AHartNtkn Loading…
4 of 14 tasks
@AHartNtkn
1
Add type files for proving system, compliance proving system, delta, and kind. resource-machine
#344 opened Feb 21, 2025 by AHartNtkn Loading…
2 of 14 tasks
@AHartNtkn
19
Add a preface establishing proposal and scope documentation Improvements or additions to documentation
#342 opened Feb 10, 2025 by jonaprieto Loading… v0.1.5
@tg-x @jonaprieto
@AHartNtkn @heindel
5
a quick draft of how interactions are easily added to the engine systems of the nspec discussion priority:low
#304 opened Dec 31, 2024 by heindel • Draft
14 tasks
1
add tasks that can run in parallel, typically preceding an action discussion priority:low
#303 opened Dec 31, 2024 by heindel • Draft
14 tasks
v0.3.0
1
Update RM specs with types documentation Improvements or additions to documentation integration-pr priority:high refactor resource-machine
#289 opened Dec 18, 2024 by jonaprieto • Draft 100+ v0.2.0
@jonaprieto @AHartNtkn
2
Tobias' comments/questions/remarks/... priority:high
#287 opened Dec 12, 2024 by heindel • Draft
14 tasks
2
ProTip! Add no:assignee to see everything that’s not assigned.