Comments (5)
bennostein
commented on August 25, 2024
@ftc What's the status on this issue? I have been looking for good places to spend my cuanto hackathon time, and this seems like something that would be useful. Have you started work on any of these that I should hold off of? Also, could you clarify what you mean by "Functions"?
from cuanto.
ftc
commented on August 25, 2024
@bennostein I think we should complete pull request #60 before doing this. We should coordinate with @jpw234 .
from cuanto.
bennostein
commented on August 25, 2024
Makes sense to me; let's talk friday morning then.
from cuanto.
bechang
commented on August 25, 2024
Where are we on this? Did you guys discuss on Friday?
from cuanto.
ftc
commented on August 25, 2024
I added goto and conditional goto (IfStmt). There are some design choices we should probably review before I go any further.
from cuanto.
Related Issues (20)
- Soot setup for project
- Jsy Binding HOT 3
- Issues for composable parsers
- Refactor jsy modules: clear top-level core languages
- Define the subset of Java to be initially handled by scoot and add test cases HOT 1
- Studying implementations of SMT representations
- Short-term goal: Constant propagation HOT 7
- Trigger the continuous integration when the soot nightly build changes
- Change soot test to use class loader to find unit tests HOT 1
- Integrate soot loading with soot ir HOT 2
- Document troubleshooting steps for running Nix on Windows HOT 1
- Running Intellij with Nix environment HOT 7
- Getting set up with nix HOT 1
- Importing other project conventions HOT 1
- FixFunSpec seems to fail on some rare ScalaCheck cases HOT 1
- Remove apron dependency and cache work somewhere. HOT 1
- Add better comment in implicit.scala
- Import Wala Machinery from aiwala
- Cuanto4 Verivita
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from cuanto.