Skip to content

Pull requests: apl-cornell/viaduct

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
Sort

Pull requests list

Update Gradle Wrapper from 8.10.1 to 8.12.1 gradle-wrapper Pull requests that update Gradle wrapper
#835 opened Jan 25, 2025 by github-actions bot Loading…
Bump mkdocs-material from 9.5.42 to 9.5.50 in /docs dependencies Pull requests that update a dependency file python Pull requests that update Python code
#834 opened Jan 20, 2025 by dependabot bot Loading…
Bump jinja2 from 3.1.4 to 3.1.5 in /docs dependencies Pull requests that update a dependency file python Pull requests that update Python code
#833 opened Jan 8, 2025 by dependabot bot Loading…
Bump org.jetbrains.kotlinx:kotlinx-serialization-protobuf from 1.5.1 to 1.8.0 dependencies Pull requests that update a dependency file java Pull requests that update Java code
#832 opened Jan 6, 2025 by dependabot bot Loading…
Bump org.jetbrains.kotlinx:kotlinx-coroutines-core from 1.8.1 to 1.10.1 dependencies Pull requests that update a dependency file java Pull requests that update Java code
#831 opened Dec 23, 2024 by dependabot bot Loading…
Update Gradle Wrapper from 8.10.1 to 8.12 gradle-wrapper Pull requests that update Gradle wrapper
#830 opened Dec 21, 2024 by github-actions bot Loading…
Bump org.junit.jupiter:junit-jupiter-api from 5.11.0 to 5.11.4 dependencies Pull requests that update a dependency file java Pull requests that update Java code
#828 opened Dec 16, 2024 by dependabot bot Loading…
Update Gradle Wrapper from 8.10.1 to 8.11.1 gradle-wrapper Pull requests that update Gradle wrapper
#824 opened Nov 21, 2024 by github-actions bot Loading…
Bump codecov/codecov-action from 4 to 5 dependencies Pull requests that update a dependency file github_actions Pull requests that update Github_actions code
#823 opened Nov 18, 2024 by dependabot bot Loading…
Update Gradle Wrapper from 8.10.1 to 8.11 gradle-wrapper Pull requests that update Gradle wrapper
#822 opened Nov 12, 2024 by github-actions bot Loading…
Update Gradle Wrapper from 8.10.1 to 8.10.2 gradle-wrapper Pull requests that update Gradle wrapper
#820 opened Nov 5, 2024 by github-actions bot Loading…
Bump kotlin from 1.9.24 to 2.0.21 dependencies Pull requests that update a dependency file java Pull requests that update Java code
#817 opened Nov 4, 2024 by dependabot bot Loading…
Viaduct 2 Frontend
#799 opened Sep 11, 2024 by adityanathan Loading…
Bump mike from 1.1.2 to 2.1.3 in /docs dependencies Pull requests that update a dependency file python Pull requests that update Python code
#793 opened Aug 19, 2024 by dependabot bot Loading…
Bump com.diffplug.spotless from 6.18.0 to 6.25.0 dependencies Pull requests that update a dependency file java Pull requests that update Java code
#741 opened Feb 27, 2024 by dependabot bot Loading…
circuit IR: test pretty printing is dual to parsing
#516 opened Oct 17, 2022 by cacay Loading…
Convert Tree.children from Iterable to Iterator
#513 opened Oct 8, 2022 by cacay Loading…
Partial evaluation
#408 opened Apr 21, 2022 by rolph-recto Loading…
Remove dependence of compiler on runtime
#353 opened Feb 16, 2022 by cacay Loading…
Gurobi ILP solver for protocol selection
#321 opened Jan 16, 2022 by rolph-recto Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.