Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add abs and make Oliver's example work #702

Merged
merged 11 commits into from
Jan 21, 2025
+283 −64
Merged

Add abs and make Oliver's example work #702

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
c4da5b3
add some mul rules to interval analysis
ajpal Jan 7, 2025
1fab22e
bump bril to add abs
ajpal Jan 7, 2025
909fa47
abs plumbing
ajpal Jan 7, 2025
2a1a965
some abs rules
ajpal Jan 8, 2025
1d323ed
working abs example
ajpal Jan 9, 2025
0f1a22b
bump bril now that PR is merged
ajpal Jan 9, 2025
2873c56
remove unsound rule
ajpal Jan 9, 2025
130c8c5
snapshots
ajpal Jan 15, 2025
9891eee
rename to avoid collision with int builtins
ajpal Jan 16, 2025
9e9c8ea
bump bril
ajpal Jan 16, 2025
504a9ee
another rename
ajpal Jan 17, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
bump bril to add abs
@ajpal
ajpal committed Jan 7, 2025
commit 1fab22e3fc66f2d7de55a89ee9b39bcd1d653b16
36 changes: 23 additions & 13 deletions Cargo.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

12 changes: 6 additions & 6 deletions Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -23,14 +23,14 @@ rpds = "1.1.0"

syn = { version = "2.0", features = ["full", "extra-traits"] }
# currently using the uwplse/bril fork of bril, on eggcc-main
bril2json = { git = "https://github.com/uwplse/bril", rev = "f303a7d384f21a891d0215dc47e5ea947f014cf5" }
brilirs = { git = "https://github.com/uwplse/bril", rev = "f303a7d384f21a891d0215dc47e5ea947f014cf5" }
bril-rs = { git = "https://github.com/uwplse/bril", rev = "f303a7d384f21a891d0215dc47e5ea947f014cf5" }
brilift = { git = "https://github.com/uwplse/bril", rev = "f303a7d384f21a891d0215dc47e5ea947f014cf5" }
rs2bril = { git = "https://github.com/uwplse/bril", rev = "f303a7d384f21a891d0215dc47e5ea947f014cf5" ,features = [
bril2json = { git = "https://github.com/uwplse/bril", rev = "53b855bb847a459616b02f830b7d9b8848612dd8" }
brilirs = { git = "https://github.com/uwplse/bril", rev = "53b855bb847a459616b02f830b7d9b8848612dd8" }
bril-rs = { git = "https://github.com/uwplse/bril", rev = "53b855bb847a459616b02f830b7d9b8848612dd8" }
brilift = { git = "https://github.com/uwplse/bril", rev = "53b855bb847a459616b02f830b7d9b8848612dd8" }
rs2bril = { git = "https://github.com/uwplse/bril", rev = "53b855bb847a459616b02f830b7d9b8848612dd8" ,features = [
"import",
] }
brillvm = { git = "https://github.com/uwplse/bril", rev = "f303a7d384f21a891d0215dc47e5ea947f014cf5" }
brillvm = { git = "https://github.com/uwplse/bril", rev = "53b855bb847a459616b02f830b7d9b8848612dd8" }

ordered-float = "3.7.0"
serde_json = "1.0.103"