Skip to content

Pull requests: rems-project/isla

New pull request New
26 Open 30 Closed
26 Open 30 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

Add support for indexing register array
#81 opened Jul 22, 2024 by ffengyu Loading…
4
Bump minimist from 1.2.5 to 1.2.8 in /web/client dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#71 opened Mar 4, 2023 by dependabot bot Loading…
Bump tokio from 0.2.25 to 1.18.5 in /web/server dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#70 opened Feb 4, 2023 by dependabot bot Loading…
Bump warp from 0.2.5 to 0.3.3 in /web/server dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#69 opened Jan 31, 2023 by dependabot bot Loading…
Bump bumpalo from 3.6.1 to 3.12.0 in /web/server dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#68 opened Jan 20, 2023 by dependabot bot Loading…
Bump json5 from 1.0.1 to 1.0.2 in /web/client dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#67 opened Jan 7, 2023 by dependabot bot Loading…
Bump crossbeam-utils from 0.8.5 to 0.8.14 in /web/server dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#66 opened Dec 14, 2022 by dependabot bot Loading…
Bump qs from 6.10.1 to 6.11.0 in /editors/vscode/litmus dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#65 opened Dec 6, 2022 by dependabot bot Loading…
Bump decode-uri-component from 0.2.0 to 0.2.2 in /web/client dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#64 opened Dec 6, 2022 by dependabot bot Loading…
Bump minimatch from 3.0.4 to 3.1.2 in /web/client dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#62 opened Nov 18, 2022 by dependabot bot Loading…
Bump minimatch from 3.0.4 to 3.1.2 in /editors/vscode/cat dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#61 opened Nov 18, 2022 by dependabot bot Loading…
Bump minimatch from 3.0.4 to 3.1.2 in /editors/vscode/litmus dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#60 opened Nov 18, 2022 by dependabot bot Loading…
Bump loader-utils from 1.4.0 to 1.4.2 in /web/client dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#58 opened Nov 13, 2022 by dependabot bot Loading…
Bump terser from 4.8.0 to 4.8.1 in /web/client dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#57 opened Jul 21, 2022 by dependabot bot Loading…
Bump simple-get from 3.1.0 to 3.1.1 in /editors/vscode/litmus dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#56 opened Jun 21, 2022 by dependabot bot Loading…
Bump ansi-regex from 4.1.0 to 4.1.1 in /web/client dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#55 opened Jun 21, 2022 by dependabot bot Loading…
Bump async from 2.6.3 to 2.6.4 in /web/client dependencies Pull requests that update a dependency file
#50 opened Apr 29, 2022 by dependabot bot Loading…
Bump minimist from 1.2.5 to 1.2.6 in /editors/vscode/litmus dependencies Pull requests that update a dependency file
#48 opened Mar 31, 2022 by dependabot bot Loading…
Bump ajv from 6.12.2 to 6.12.6 in /web/client dependencies Pull requests that update a dependency file
#45 opened Feb 13, 2022 by dependabot bot Loading…
Bump lodash from 4.17.15 to 4.17.21 in /editors/vscode/cat dependencies Pull requests that update a dependency file
#44 opened Nov 25, 2021 by dependabot bot Loading…
Better error message on error from litmus run errors
#40 opened Jun 28, 2021 by bensimner Loading…
Bump elliptic from 6.5.3 to 6.5.4 in /web/client dependencies Pull requests that update a dependency file
#38 opened Jun 18, 2021 by dependabot bot Loading…
Bump codemirror from 5.55.0 to 5.58.2 in /web/client dependencies Pull requests that update a dependency file
#32 opened May 12, 2021 by dependabot bot Loading…
Expose the checkpoint and some task/frame members
#26 opened Jan 12, 2021 by Trolldemorted Loading…
1
[WIP] replace 'ir with owning pointers
#18 opened Oct 22, 2020 by Trolldemorted Loading…
1
ProTip! Exclude everything labeled bug with -label:bug.