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.

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

Rename type Bit to Binary #54

Closed
5 tasks done
ppaulweber opened this issue Nov 20, 2017 · 2 comments
Closed
5 tasks done

Rename type Bit to Binary #54

ppaulweber opened this issue Nov 20, 2017 · 2 comments

Comments

@ppaulweber
Copy link
Contributor

ppaulweber commented Nov 20, 2017

@ppaulweber ppaulweber added this to the release_auxentios milestone Nov 20, 2017
@ppaulweber ppaulweber self-assigned this Nov 20, 2017
@ppaulweber ppaulweber changed the title remove the type Bit in favor of Bit'1 Rename type Bit to Binary Nov 29, 2017
ppaulweber added a commit to casm-lang/libcasm-ir that referenced this issue Nov 30, 2017
ppaulweber added a commit to casm-lang/libcasm-ir that referenced this issue Nov 30, 2017
ppaulweber added a commit to casm-lang/libcasm-fe that referenced this issue Nov 30, 2017
ppaulweber added a commit to casm-lang/libcasm-rt that referenced this issue Nov 30, 2017
ppaulweber added a commit to casm-lang/libcasm-rt that referenced this issue Nov 30, 2017
ppaulweber added a commit to casm-lang/libcasm-tc that referenced this issue Nov 30, 2017
ppaulweber added a commit to casm-lang/libcasm-tc that referenced this issue Nov 30, 2017
ppaulweber added a commit to casm-lang/libcasm-fe that referenced this issue Nov 30, 2017
ppaulweber added a commit to casm-lang/libcasm-fe that referenced this issue Nov 30, 2017
@ppaulweber
Copy link
Contributor Author

@emmanuel099 please take over this issue and provided proper test cases when the #16 is ready!

@ppaulweber ppaulweber assigned emmanuel099 and unassigned ppaulweber Dec 5, 2017
ppaulweber added a commit to casm-lang/libcasm-tc that referenced this issue Dec 6, 2017
@ppaulweber
Copy link
Contributor Author

accordingly to the latest PR the last request for this issue can be done, I'll close this one for good!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants