🌐 AI搜索 & 代理 主页
Skip to content

Pull requests: abstools/abstools

New pull request New
10 Open 102 Closed
10 Open 102 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

Rework the Null Checker Type Extension
#374 opened Sep 3, 2025 by Drodt Loading…
2 tasks done
1
6
Implement semantic lifting of runtime state in the Java backend
#367 opened Jul 9, 2025 by rudi • Draft
6 of 10 tasks
Remove dynamic Java backend
#358 opened Jun 24, 2025 by rudi Loading…
Make return value of user-defined schedulers optional.
#311 opened May 11, 2022 by ahbnr Loading…
1
Restricted Any Type and Destiny
#309 opened Mar 18, 2022 by ahbnr • Draft
1
C backend
#291 opened Dec 16, 2020 by judofyr • Draft
29 of 90 tasks
3
Local Product Lines
#279 opened Jul 12, 2020 by Edkamb Loading…
7
Any type
#271 opened Jan 23, 2020 by ahbnr • Draft
1 of 2 tasks
@ahbnr
10
Convert frontend from antlr to xtext
#245 opened Feb 14, 2019 by rudi • Draft
2
Dockerfile for Jenkins
#197 opened Apr 5, 2018 by ostahluio Loading…
ProTip! Exclude everything labeled bug with -label:bug.