Skip to content

Conversation

@danielsn
Copy link
Contributor

@danielsn danielsn commented Aug 12, 2021

Description of changes:

Refactored RMC code to have a proper directory structure that groups similar code together

Resolved issues:

Resolves #ISSUE-NUMBER

Call-outs:

The function tuple_fld which belongs in utils.rs had been in typ.rs. I found this becuase typ.rs needed to be public only to export that function. I moved it.

Testing:

  • How is this change tested? Existing regression test

  • Is this a refactor change? Yes

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

use crate::gotoc::mir_to_goto::GotocCtx;

// Should move into rvalue
//make this a member function
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this have an issue?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

}

//TODO fix this name
pub fn codegen_span_option2(&self, sp: Option<Span>) -> Location {

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can we fix the names for these as part of this refactor?

Copy link
Contributor

@avanhatt avanhatt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me

@danielsn danielsn merged commit d9fcdae into model-checking:main-154-2021-08-06 Aug 16, 2021
@danielsn danielsn deleted the folder-structure branch August 16, 2021 15:27
adpaco-aws pushed a commit that referenced this pull request Aug 17, 2021
* Created mir_to_goto folder, moved monomorphize into it

* moved metadata files into metadata folder

* moved codegen files to codegen folder

* moved stubs and hooks to mir_to_goto

* moved the final files into mir_to_goto

* Comments

* suppress warnings

* added missing file

* rename metadata as per PR comments

* Remove pub modifier on modules that don't need it

* Moved tuple_fld so that typ can be private mod

* removed pub mod from stubs

* moved overrides into their own folder

* moved assumptions into codegen

* utils folder

* init debug properly

* renamed backend to compiler_interface

* gotoCtx should just take a MIR context at construction time

* move more stuff out of utils to where it goes

* names get their own util

* better import in hooks
adpaco-aws pushed a commit that referenced this pull request Aug 24, 2021
* Created mir_to_goto folder, moved monomorphize into it

* moved metadata files into metadata folder

* moved codegen files to codegen folder

* moved stubs and hooks to mir_to_goto

* moved the final files into mir_to_goto

* Comments

* suppress warnings

* added missing file

* rename metadata as per PR comments

* Remove pub modifier on modules that don't need it

* Moved tuple_fld so that typ can be private mod

* removed pub mod from stubs

* moved overrides into their own folder

* moved assumptions into codegen

* utils folder

* init debug properly

* renamed backend to compiler_interface

* gotoCtx should just take a MIR context at construction time

* move more stuff out of utils to where it goes

* names get their own util

* better import in hooks
tedinski pushed a commit to tedinski/rmc that referenced this pull request Apr 26, 2022
* Created mir_to_goto folder, moved monomorphize into it

* moved metadata files into metadata folder

* moved codegen files to codegen folder

* moved stubs and hooks to mir_to_goto

* moved the final files into mir_to_goto

* Comments

* suppress warnings

* added missing file

* rename metadata as per PR comments

* Remove pub modifier on modules that don't need it

* Moved tuple_fld so that typ can be private mod

* removed pub mod from stubs

* moved overrides into their own folder

* moved assumptions into codegen

* utils folder

* init debug properly

* renamed backend to compiler_interface

* gotoCtx should just take a MIR context at construction time

* move more stuff out of utils to where it goes

* names get their own util

* better import in hooks
tedinski pushed a commit that referenced this pull request Apr 27, 2022
* Created mir_to_goto folder, moved monomorphize into it

* moved metadata files into metadata folder

* moved codegen files to codegen folder

* moved stubs and hooks to mir_to_goto

* moved the final files into mir_to_goto

* Comments

* suppress warnings

* added missing file

* rename metadata as per PR comments

* Remove pub modifier on modules that don't need it

* Moved tuple_fld so that typ can be private mod

* removed pub mod from stubs

* moved overrides into their own folder

* moved assumptions into codegen

* utils folder

* init debug properly

* renamed backend to compiler_interface

* gotoCtx should just take a MIR context at construction time

* move more stuff out of utils to where it goes

* names get their own util

* better import in hooks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants