Skip to content

ingot resolution#986

Closed
g-r-a-n-t wants to merge 3 commits intoargotorg:fe-v2from
g-r-a-n-t:library2
Closed

ingot resolution#986
g-r-a-n-t wants to merge 3 commits intoargotorg:fe-v2from
g-r-a-n-t:library2

Conversation

@g-r-a-n-t
Copy link
Collaborator

@g-r-a-n-t g-r-a-n-t commented Feb 20, 2024 •
edited
Loading

No description provided.

@g-r-a-n-t g-r-a-n-t marked this pull request as draft February 20, 2024 00:48
@g-r-a-n-t g-r-a-n-t force-pushed the library2 branch 3 times, most recently from d9589bd to 6308665 Compare May 1, 2024 21:43
@g-r-a-n-t g-r-a-n-t force-pushed the library2 branch 2 times, most recently from f0dfd80 to 70faf08 Compare May 14, 2024 04:19
@g-r-a-n-t g-r-a-n-t changed the title library2 std lib v2 with basic operations May 14, 2024
g-r-a-n-t
g-r-a-n-t commented May 14, 2024
View reviewed changes
@g-r-a-n-t g-r-a-n-t force-pushed the library2 branch 3 times, most recently from 9b7694c to 3c32fdf Compare May 16, 2024 15:51
@g-r-a-n-t g-r-a-n-t marked this pull request as ready for review May 16, 2024 15:53
@Y-Nak
Copy link
Member

Y-Nak commented May 17, 2024 •
edited
Loading

I think it'd be better to have a call on this PR to align with.
Things that I'd like to talk about are

  • definitions of the traits in ops::cmp and ops::logical, and Plus trait.
  • abort definition and its usage
  • std module structure
  • driver's setting

@g-r-a-n-t g-r-a-n-t changed the title std lib v2 with basic operations std lib v2 Jun 4, 2024
@g-r-a-n-t g-r-a-n-t force-pushed the library2 branch 2 times, most recently from 8bd77f2 to f4baa26 Compare June 18, 2024 15:45
@g-r-a-n-t g-r-a-n-t marked this pull request as draft June 21, 2024 15:48
@g-r-a-n-t g-r-a-n-t force-pushed the library2 branch 4 times, most recently from 9a66a35 to 38df535 Compare June 25, 2024 17:01
@g-r-a-n-t g-r-a-n-t force-pushed the library2 branch 2 times, most recently from 2f51ea2 to 7876e0d Compare January 14, 2025 18:07
@g-r-a-n-t g-r-a-n-t changed the title std lib v2 ingot resolution Jan 14, 2025
Grant Wuerker added 2 commits January 15, 2025 20:13
@sbillig sbillig mentioned this pull request Jan 18, 2025
Closed
4 tasks
@g-r-a-n-t
Copy link
Collaborator Author

g-r-a-n-t commented Aug 26, 2025

added in #1068

@g-r-a-n-t g-r-a-n-t closed this Aug 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@g-r-a-n-t @Y-Nak