Instrumentation and Tooling

giovinazzo-kevin / Ergo

Other

4 stars 0 forks source link

Instrumentation and Tooling #33

Open giovinazzo-kevin opened 1 year ago

giovinazzo-kevin commented 1 year ago

I started working on some simple instrumentation for profiling and debugging. In the long run, it's imperative to tooling for:

Interactive debugging
Profiling of all engine functions
Knowledge base visualization and manipulation
Text editor integration (language server)
Static Analysis

And, maybe, for:

Automatic test generation?
CI?

giovinazzo-kevin commented 1 year ago

And once again, improved tracing. It's still not clear enough. It should be better than SWI's in terms of readability.

giovinazzo-kevin commented 10 months ago

For the record. Some tooling is required by #74 for static analysis.

A while ago I made a VSIX to enable syntax highlighting for Ergo. It's rough at the edges but it works well and lets you collapse rules which is cool.

Profiling is okay-ish, as in every component can be profiled and some of the profiling code is conditionally compiled away, though not always. But I need a better tool with a proper GUI to profile Ergo properly.