Skip to content

Pull requests: nohtyprm/MrPython

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Synchronize at 5.2.0-beta
#201 by fredokun was merged Sep 4, 2024 Loading…
Synchronize at 5.2.0-beta
#200 by fredokun was merged Sep 4, 2024 Loading…
Py311 bug fix and Better precondition messages (PSTL 2024)
#199 by fredokun was merged Sep 4, 2024 Loading…
Completion message d'erreur des preconditions
#198 by mVilayvanh was merged Aug 5, 2024 Loading…
Pstl2024 precondition feedback - end of message
#197 by mVilayvanh was closed Aug 5, 2024 Loading…
Pstl2024 python311 bug
#193 by mVilayvanh was merged Mar 18, 2024 Loading…
fix: precondition in python 3.x are now working
#192 by mVilayvanh was closed Mar 18, 2024 Loading…
Issue #189 fixed
#191 by mVilayvanh was closed Jan 25, 2024 Loading…
python 3.11+ (un)fix
#188 by fredokun was merged Sep 15, 2023 Loading…
win-installer for 5.1.3-beta
#185 by fredokun was merged Sep 8, 2023 Loading…
Cli mode
#180 by fredokun was merged Oct 6, 2022 Loading…
[BUG] Update import to support python 3.10
#179 by LeGmask was closed Sep 9, 2022 Loading…
sync with 5.0.2-beta master
#175 by fredokun was merged Oct 13, 2021 Loading…
sync. with 5.0.0
#172 by fredokun was merged Sep 14, 2021 Loading…
Python >= 3.9 compatibility
#170 by fredokun was merged Aug 26, 2021 Loading…
Hof
#169 by fredokun was merged Jul 21, 2021 Loading…
recursion is ok
#168 by fredokun was merged Jul 20, 2021 Loading…
Support for list assignment
#167 by fredokun was merged Jul 20, 2021 Loading…
Runtime verification
#165 by fredokun was merged Jul 16, 2021 Loading…
Pstl 2021 runtimeverif
#164 by walidsadat was merged Jul 16, 2021 Loading…
Pstl 2021 runtimeverif
#163 by walidsadat was merged May 8, 2021 Loading…
Pstl 2021 runtimeverif
#162 by walidsadat was closed Apr 9, 2021 Loading…
Pst 2021 doudledecl
#161 by walidsadat was merged Apr 1, 2021 Loading…
Pst 2021 doudledecl
#160 by walidsadat was closed Apr 1, 2021 Loading…
ProTip! Exclude everything labeled bug with -label:bug.