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

Veymont gen par #1053

Merged
merged 22 commits into from
Jul 20, 2023
Merged

Veymont gen par #1053

merged 22 commits into from
Jul 20, 2023

Conversation

petravandenbos-utwente
Copy link
Contributor

A VeyMont sequential program is translated to a parallel Java program.

@petravandenbos-utwente
trying to add methods to thread classes
d2c023d
@petravandenbos-utwente
partial code for adding channel fields
63b5ed6
@petravandenbos-utwente
importing Channel class
5353014
@petravandenbos-utwente
rewriting channel classes gives NoSuchElementException
1499e93
@petravandenbos-utwente
NoSuchElementException resolved
7f20f3f
@petravandenbos-utwente
running without errors but no thread classes printed
c67dc4c
@petravandenbos-utwente
edit
05f14d6
@petravandenbos-utwente
merged with dev
98b6654
@petravandenbos-utwente
busy fixing refs but not working yet
563d310
@petravandenbos-utwente
rewritting method call not working because overloaded dispatch for Ref
b3e4cfb
@petravandenbos-utwente
rewriting method call works
f362bdc
@petravandenbos-utwente
working on rewriting VeyMont Comm Expr
a30bf5d
@petravandenbos-utwente
rewriting of statements working but channel class type is not rewritten
f4961fc
@petravandenbos-utwente
rewriting MessageType now compiling
6c93b76
@petravandenbos-utwente
method invokation refs fixed
8cb1d51
@petravandenbos-utwente
stuck at NoSuchElementException
c102654
@petravandenbos-utwente
VeyMont produces output
f36c2ba
@petravandenbos-utwente
A reference to the successor of this declaration was made, but it has…
5866439 
… no successor.
@petravandenbos-utwente
rewriting constructor to original format
308204b
@petravandenbos-utwente
compiling Java code
0a16fa6
pieter-bos
pieter-bos requested changes Jul 20, 2023
View reviewed changes
Copy link
Member

@pieter-bos pieter-bos left a comment

Choose a reason for hiding this comment

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

Some small changes, also if you would eventually like to pass this into vercors again (?) we should consider the places where blame is currently set to null.

src/col/vct/col/ast/lang/JavaParamImpl.scala Outdated Show resolved Hide resolved
src/col/vct/col/ast/type/TUnionImpl.scala Outdated Show resolved Hide resolved
@pieter-bos pieter-bos merged commit ebacf81 into dev Jul 20, 2023
14 checks passed
@pieter-bos pieter-bos deleted the veymont-gen-par branch July 20, 2023 13:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pieter-bos pieter-bos pieter-bos approved these changes

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
@petravandenbos-utwente @pieter-bos