Why your a line of code is very short?
Do you write program using Smart phone?
2018年10月11日木曜日 10時32分09秒 UTC+9 gmhwxi:
>
> FYI.
>
> I am pleased to make an announcement
> that I have almost finished a parser for ATS3:
>
> https://github.com/githwxi/ATS-Xanadu
>
> This time, I use a design that
On Thu, Oct 11, 2018 at 1:40 PM Kiwamu Okabe wrote:
> A. Symbolic execution such like https://github.com/verifast/verifast IDE,
>because we can watch execution sequence on the IDE.
>See the following Steps pane on figure 1 at page 4.
>
Also I think following are good parts:
A. Symbolic execution such like https://github.com/verifast/verifast IDE,
because we can watch execution sequence on the IDE.
See the following Steps pane on figure 1 at page 4.
https://people.cs.kuleuven.be/~bart.jacobs/verifast/tutorial.pdf
B.
On Thu, Oct 11, 2018 at 12:07 PM Hongwei Xi wrote:
> I hope that I can structure the ATS3 compiler in such a way that you
> should be to add DWALF support on your own.
Yes.
I believe such DWARF support is only hoped by me.
--
Kiwamu Okabe at METASEPI DESIGN
--
You received this message
Okay. I keep this in mind.
I hope that I can structure the ATS3 compiler in such a way that you
should be to add DWELF support on your own.
On Wed, Oct 10, 2018 at 10:48 PM Kiwamu Okabe wrote:
> May I add more requirement?
>
> ## Debugger support with DWARF
>
> * Rust support showing
May I add more requirement?
## Debugger support with DWARF
* Rust support showing backtrace on the Rust source code.
https://rust-embedded.github.io/bookshelf/discovery/05-led-roulette/debug-it.html
* It's useful to debug hardware, not software.
* Sometime we face such hardware bugs and end
FYI.
I am pleased to make an announcement
that I have almost finished a parser for ATS3:
https://github.com/githwxi/ATS-Xanadu
This time, I use a design that stores all the syntax
error of a program in the generated abstract syntax
tree (AST). To report syntax errors, one needs to implement