Skip to content

Pull requests: runtimeverification/michelson-semantics

New pull request New
11 Open 261 Closed
11 Open 261 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

Update dependency: web/k-web-theme automerge
#368 opened Apr 14, 2023 by rv-jenkins Loading…
Bump vm2 from 3.9.11 to 3.9.15 in /web dependencies Pull requests that update a dependency file
#367 opened Apr 7, 2023 by dependabot bot Loading…
Bump json5 from 2.2.1 to 2.2.3 in /web dependencies Pull requests that update a dependency file
#366 opened Jan 9, 2023 by dependabot bot Loading…
Update dependency: ext/k automerge
#364 opened Sep 15, 2022 by rv-jenkins Loading…
@sskeirik
Update tezos-utils
#351 opened May 1, 2022 by sskeirik Loading…
7
Bump async from 2.6.3 to 2.6.4 in /web dependencies Pull requests that update a dependency file
#350 opened Apr 29, 2022 by dependabot bot Loading…
4
Refactorings to allowing using the different contracts in the same proof.
#319 opened Jul 8, 2021 by nishantjr Loading…
Restructure configuration to support referencing multiple contracts
#318 opened Jul 8, 2021 by sskeirik Loading…
1
Bump lodash from 4.17.19 to 4.17.21 in /web dependencies Pull requests that update a dependency file
#246 opened May 11, 2021 by dependabot bot Loading…
1
Add temporary workaround to enable vote test
#159 opened Dec 16, 2020 by sskeirik • Draft
Add symbolic semantics for IF_NONE and vote tests
#142 opened Oct 15, 2020 by sskeirik Loading…
2
ProTip! Filter pull requests by the default branch with base:master.