December 23, 2023 - December 23, 2024

Period: 1 year

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

8 Active Pull Requests

9 Active Issues

7
Merged Pull Requests 1
Proposed Pull Request 4
Closed Issues 5
New Issues

Excluding merges, 1 author has pushed 1 commit to main and 103 commits to all branches. On main, 1 file has changed and there have been 1 addition and 0 deletions.

7 Pull requests merged by 1 user

Merged

#16 Towards First Stable Version 11 months ago

Merged

#13 Remove Unnecessary Guards and Formulas 12 months ago

Merged

#10 Update of Yaml Config and Config Parsing 12 months ago

Merged

#9 Switched to colAgent and rowAgent 12 months ago

Merged

#6 Include vscode in gitignore 12 months ago

Merged

#3 Overhaul 12 months ago

Merged

#1 Refactoring of Prism Output 12 months ago

1 Pull request proposed by 1 user

Proposed

#17 Add Functionality to Change Generated Code 11 months ago

4 Issues closed from 2 users

Closed

#7 Remove Unnecessary Guards 12 months ago

Closed

#15 M2p Overwrite indices as list 12 months ago

Closed

#14 Allow change of probabilities via yaml config 12 months ago

Closed

#2 Slippery Field Meaning 12 months ago

5 Issues created by 1 user

Opened

#4 Fix Configuration 12 months ago

Opened

#5 Allow Explicit Translation 12 months ago

Opened

#8 Add README 12 months ago

Opened

#11 Allow Change of ModelType via YAML 12 months ago

Opened

#12 Allow Update of Guard and Updates individually 12 months ago