Giacomo Vercesi

Results 17 issues of Giacomo Vercesi

[RFC] Deprecating cefpython

4 comment

I'm writing this issue in order to spark a discussion regarding the use of cef in this project. While cef allows the use of html+css+js to create an appropriately themed...

revng-check-conventions v2

PTML fixes

2 comment

Add tracing capabilities to python

needs-review
low-prio

Expose Invalidations to GraphQL

3 comment

wip

Fixes for vscode-web component

Sister PR of https://github.com/revng/orchestra/pull/102

ready

`revng daemon` improvements

3 comment

Fix python component not being buildable from source

Last commit is shared with #144

ready

Avoid including `toolchain/host/gcc` in `revng-distributable`

ready

Fix function ctrl-click

ready