Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tchajed/sys-verif-fa24 issues and pull requests
#22 - Bump vue from 3.5.12 to 3.5.13
Pull Request -
State: open - Opened by dependabot[bot] 3 months ago
Labels: dependencies, javascript
#22 - Bump vue from 3.5.12 to 3.5.13
Pull Request -
State: open - Opened by dependabot[bot] 3 months ago
Labels: dependencies, javascript
#21 - Typo in hoare.md
Pull Request -
State: closed - Opened by shrimpkin 3 months ago
- 1 comment
#20 - Update assignment2.md
Pull Request -
State: closed - Opened by drash99 3 months ago
- 1 comment
#20 - Update assignment2.md
Pull Request -
State: closed - Opened by drash99 3 months ago
- 1 comment
#19 - add `pre-commit` script
Pull Request -
State: closed - Opened by WetABQ 3 months ago
- 1 comment
#19 - add `pre-commit` script
Pull Request -
State: closed - Opened by WetABQ 3 months ago
- 1 comment
#18 - better formatting for `for`
Pull Request -
State: closed - Opened by WetABQ 3 months ago
- 3 comments
#18 - better formatting for `for`
Pull Request -
State: closed - Opened by WetABQ 3 months ago
- 3 comments
#17 - fix schedule format
Pull Request -
State: closed - Opened by WetABQ 3 months ago
#16 - Update assignment2.md
Pull Request -
State: closed - Opened by mwang589 3 months ago
- 1 comment
#16 - Update assignment2.md
Pull Request -
State: closed - Opened by mwang589 3 months ago
- 1 comment
#15 - Fix free variables in assignment 2 code snippets
Pull Request -
State: closed - Opened by mjschwenne 3 months ago
- 1 comment
#15 - Fix free variables in assignment 2 code snippets
Pull Request -
State: closed - Opened by mjschwenne 3 months ago
- 1 comment
#14 - Update sep-logic.md
Pull Request -
State: closed - Opened by mwang589 4 months ago
#14 - Update sep-logic.md
Pull Request -
State: closed - Opened by mwang589 4 months ago
#13 - Update sep-logic Definition2 in soundness.md
Pull Request -
State: closed - Opened by mwang589 4 months ago
- 1 comment
#13 - Update sep-logic Definition2 in soundness.md
Pull Request -
State: closed - Opened by mwang589 4 months ago
- 1 comment
#12 - Bump vue from 3.5.11 to 3.5.12
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies, javascript
#12 - Bump vue from 3.5.11 to 3.5.12
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies, javascript
#11 - fix KaTeX rendering and little typo
Pull Request -
State: closed - Opened by WetABQ 4 months ago
- 1 comment
#11 - fix KaTeX rendering and little typo
Pull Request -
State: closed - Opened by WetABQ 4 months ago
- 1 comment
#10 - Fix typos in hoare.md: [\]pi; relates it [to].
Pull Request -
State: closed - Opened by xxcisxxc 4 months ago
- 1 comment
#10 - Fix typos in hoare.md: [\]pi; relates it [to].
Pull Request -
State: closed - Opened by xxcisxxc 4 months ago
- 1 comment
#9 - minor typos in sep-logic
Pull Request -
State: closed - Opened by karimjbacchus 4 months ago
- 1 comment
#9 - minor typos in sep-logic
Pull Request -
State: closed - Opened by karimjbacchus 4 months ago
- 1 comment
#8 - Bump vue from 3.5.8 to 3.5.10
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies, javascript
#8 - Bump vue from 3.5.8 to 3.5.10
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies, javascript
#7 - Upgrade to latest version of hope theme
Pull Request -
State: closed - Opened by tchajed 4 months ago
#6 - Bump vue from 3.5.5 to 3.5.8
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
- 1 comment
Labels: dependencies, javascript
#5 - Bump @vuepress/plugin-shiki from 2.0.0-rc.43 to 2.0.0-rc.47
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
- 1 comment
Labels: dependencies, javascript
#4 - Bump vuepress-theme-hope from 2.0.0-rc.52 to 2.0.0-rc.53
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
- 1 comment
Labels: dependencies, javascript
#3 - Bump vue from 3.5.1 to 3.5.3
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
- 1 comment
Labels: dependencies, javascript
#2 - Bump @vuepress/plugin-shiki from 2.0.0-rc.40 to 2.0.0-rc.41
Pull Request -
State: closed - Opened by dependabot[bot] 6 months ago
- 1 comment
Labels: dependencies, javascript
#1 - Bump vue from 3.4.37 to 3.4.38
Pull Request -
State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies, javascript