Skip to content

Pull requests: overturetool/overture

New pull request New
24 Open 54 Closed
24 Open 54 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump commons-io:commons-io from 2.4 to 2.14.0 in /core/testing/framework dependencies Pull requests that update a dependency file
#792 opened Oct 3, 2024 by dependabot bot Loading…
Bump gson from 2.2.4 to 2.8.9 in /core/pog dependencies Pull requests that update a dependency file
#789 opened May 20, 2022 by dependabot bot Loading…
Bump gson from 2.2.4 to 2.8.9 in /core/testing/framework dependencies Pull requests that update a dependency file
#788 opened May 20, 2022 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/testing/samples dependencies Pull requests that update a dependency file
#759 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/prettyprinting/npp dependencies Pull requests that update a dependency file
#758 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/codegen/cppgen dependencies Pull requests that update a dependency file
#757 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/codegen/codegen-runtime dependencies Pull requests that update a dependency file
#755 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/codegen/ir dependencies Pull requests that update a dependency file
#754 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/pog dependencies Pull requests that update a dependency file
#753 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/isapog dependencies Pull requests that update a dependency file
#752 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/testframework dependencies Pull requests that update a dependency file
#751 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/codegen/isagen dependencies Pull requests that update a dependency file
#750 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/codegen/javagen dependencies Pull requests that update a dependency file
#749 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/combinatorialtesting/ctruntime dependencies Pull requests that update a dependency file
#748 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/codegen/vdm2jml-runtime dependencies Pull requests that update a dependency file
#747 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/interpreter dependencies Pull requests that update a dependency file
#746 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/codegen/javagen-test dependencies Pull requests that update a dependency file
#745 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/testing/framework dependencies Pull requests that update a dependency file
#744 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/typechecker dependencies Pull requests that update a dependency file
#743 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/codegen/vdm2jml dependencies Pull requests that update a dependency file
#742 opened Oct 13, 2020 by dependabot bot Loading…
Bump junit from 4.11 to 4.13.1 in /core/codegen/platform dependencies Pull requests that update a dependency file
#741 opened Oct 13, 2020 by dependabot bot Loading…
Bump commons-collections4 from 4.0 to 4.1 in /core/pog dependencies Pull requests that update a dependency file
#730 opened Jun 15, 2020 by dependabot bot Loading…
Bump commons-collections4 from 4.0 to 4.1 in /core/testing/framework dependencies Pull requests that update a dependency file
#729 opened Jun 15, 2020 by dependabot bot Loading…
VDMUnit for VDM-SL
#671 opened Mar 6, 2018 by lausdahl Loading…
1
ProTip! Mix and match filters to narrow down what you’re looking for.