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

Jump to bottom

[v1.1.1] Bug fix and clean up #197

Merged
merged 30 commits into from
Jul 14, 2020
Merged

[v1.1.1] Bug fix and clean up #197

merged 30 commits into from
Jul 14, 2020

Conversation

Bo-Yuan-Huang
Copy link
Collaborator

@Bo-Yuan-Huang Bo-Yuan-Huang commented Jul 8, 2020 •
edited
Loading

  • New pass SimplifySyntactic
  • ILAtor support for initial condition setup using SMT queries
  • ILAtor bug fix in cascaded conditional memory update
  • Unroller support external interpretation of uninterpreted function
  • Redesign expression node hashing (ExprMngr)
  • Regular maintenance

@Bo-Yuan-Huang Bo-Yuan-Huang self-assigned this Jul 8, 2020
@Bo-Yuan-Huang Bo-Yuan-Huang linked an issue Jul 9, 2020 that may be closed by this pull request
Inconsistency between generated SystemC code with the description of ILA model for the New ILAtor #198
Closed
@Bo-Yuan-Huang Bo-Yuan-Huang changed the title Cleanup Bug fix and clean up Jul 9, 2020
@Bo-Yuan-Huang Bo-Yuan-Huang changed the title Bug fix and clean up [v1.1.1] Bug fix and clean up Jul 13, 2020
@Bo-Yuan-Huang Bo-Yuan-Huang linked an issue Jul 13, 2020 that may be closed by this pull request
About ExprMngr (hash_ast) #158
Closed
Bo-Yuan-Huang
Bo-Yuan-Huang commented Jul 14, 2020
View reviewed changes
Copy link
Collaborator Author

@Bo-Yuan-Huang Bo-Yuan-Huang left a comment

Choose a reason for hiding this comment

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

Adopting C++17 coding style for better localization.

@Bo-Yuan-Huang Bo-Yuan-Huang merged commit 71fbdab into master Jul 14, 2020
@Bo-Yuan-Huang Bo-Yuan-Huang deleted the cleanup branch July 14, 2020 03:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@Bo-Yuan-Huang Bo-Yuan-Huang

Labels
bug enhancement
Projects
None yet
Milestone
No milestone
1 participant
@Bo-Yuan-Huang