Replies: 4 comments
-
About the tmp.c files: PR #1743 will make git ignore all *.tmp.c files inside this repo. |
Beta Was this translation helpful? Give feedback.
-
run |
Beta Was this translation helpful? Give feedback.
-
You mean the .vrepl.v file ? |
Beta Was this translation helpful? Give feedback.
-
Yes |
Beta Was this translation helpful? Give feedback.
-
Currently in the REPL can only be converted to str and then printed, which is very difficult. And, I want to be able to add a value function that can see all the properties, just like in python
dir()
I hope to solve the problem of putting the cache file under /tmp when running the file. Otherwise, the cache file will be added to git when compiling. This is too uncomfortable.
Beta Was this translation helpful? Give feedback.
All reactions