Skip to content

Pull requests: lmntal/slim

New pull request New
16 Open 249 Closed
16 Open 249 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Feature/atomic ruleset
#332 opened Feb 14, 2024 by nikosai Loading…
1
1
fix
#302 opened Feb 14, 2023 by sano-jin Loading…
Fix/autotools
#301 opened Feb 13, 2023 by nikosai Loading…
1
[WIP]Feature/sc api
#287 opened Mar 9, 2022 by y-tsune Loading…
[WIP] feature/para-api
#265 opened May 24, 2021 by y-tsune Loading…
[WIP] feature para
#263 opened Apr 29, 2021 by y-tsune Loading…
[WIP] Feature/powerset
#260 opened Apr 5, 2021 by y-tsune Loading…
膜を含む非決定実行時のバグの修正
#253 opened Mar 18, 2021 by ayhsmt97 • Draft
[WIP] 階層膜の並列化
#244 opened Jan 9, 2021 by jre233kei Loading…
[WIP] 膜ごとに並列に実行できるようにする
#242 opened Nov 30, 2020 by jre233kei Loading…
[WIP] 通常実行のプログラム分割による並列化
#241 opened Nov 20, 2020 by jre233kei Loading…
アトム／プロセス文脈再利用のための追加の中間命令実装
#227 opened Jan 8, 2020 by 8q Loading…
Add json library.
#219 opened Jul 30, 2019 by icecocoa6 Loading…
[WIP] Refactor listMckay
#163 opened Mar 9, 2019 by y-tsune Loading…
[WIP] Diff iso
#121 opened Jun 15, 2018 by y-tsune Loading…
[WIP]hash-map
#82 opened Sep 11, 2017 by y-tsune Loading…
ProTip! Filter pull requests by the default branch with base:develop.