November 22, 2023 - November 22, 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 108 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 10 months ago

Merged

#13 Remove Unnecessary Guards and Formulas 10 months ago

Merged

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

Merged

#9 Switched to colAgent and rowAgent 11 months ago

Merged

#6 Include vscode in gitignore 11 months ago

Merged

#3 Overhaul 11 months ago

Merged

#1 Refactoring of Prism Output 11 months ago

1 Pull request proposed by 1 user

Proposed

#17 Add Functionality to Change Generated Code 10 months ago

4 Issues closed from 2 users

Closed

#7 Remove Unnecessary Guards 10 months ago

Closed

#15 M2p Overwrite indices as list 11 months ago

Closed

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

Closed

#2 Slippery Field Meaning 11 months ago

5 Issues created by 1 user

Opened

#4 Fix Configuration 11 months ago

Opened

#5 Allow Explicit Translation 11 months ago

Opened

#8 Add README 11 months ago

Opened

#11 Allow Change of ModelType via YAML 11 months ago

Opened

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