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

Support additional javascript/rust constructs and features #8

Open
5 of 9 tasks
KinanBab opened this issue Mar 12, 2020 · 1 comment
Open
5 of 9 tasks

Support additional javascript/rust constructs and features #8

KinanBab opened this issue Mar 12, 2020 · 1 comment
Assignees
@p-flock @KinanBab @Ra1issa
Labels
enhancement
Milestone
Current

Comments

@KinanBab
Copy link
Member

KinanBab commented Mar 12, 2020 •
edited by Ra1issa
Loading

IR Support

  • Continue / break
  • const
  • Support additional types: Matrix and Vector with generics, and float
  • Lambda/inline functions
  • x += 1, x *= ...
  • structs ?

Analysis IR

  • Assignment to arrays at indices
  • Handle obliv if with a dynamic number of side effects (obliv if with for loop inside it)
  • Higher order functions, anonymous functions (use case .map())
@KinanBab KinanBab modified the milestones: Current, Future Mar 12, 2020
@KinanBab
Copy link
Member Author

KinanBab commented Apr 2, 2020

Assignment to array access is supported by IR, not supported by analysis yet

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@p-flock p-flock

@KinanBab KinanBab

@Ra1issa Ra1issa

Labels
enhancement
Projects
None yet
Milestone
Current
Development

No branches or pull requests
3 participants
@p-flock @KinanBab @Ra1issa