Gianluca Amato

icon indicating a website link http://www.sci.unich.it/~amato icon indicating an email [email protected]

icon company Università di Chieti-Pescara icon location Pescara, Italy icon location Associate professor of mathematical logic at the University of Chieti-Pescara.

Results 7 comments of Gianluca Amato

Remove undesired axiom

Sure ! The lack of a section is actually a bug in the current code.

jetty.sh reports FAILED too early

**Jetty version(s)** 12.0.10 **Jetty Environment** ee9 **Java version/vendor (use: java -version)** 17.0.11 **OS type/version** Rocky Linux 9 This happens to me systematically with Jetty 12.0.10 at every reboot. I had...

jetty.sh reports FAILED too early

> Are you using jetty setuid? No, I am not using the jetty setuid.

jetty.sh reports FAILED too early

> My workaround is to always remove the jetty.state file before calling `jetty.sh start`. I am going to adopt your workaround too, seems more robust than mine.

[BUG] Regression in 3006.11 vs. 3006.10 - 'augeas.change' was not found in SLS

I tried with salt 3006.14 and Ubuntu 24.04 but I still get the libstdc++.so.6 error.

Profilercc is not compatible with profiler mode of the core engine

Hi Jose, thanks for your reply. I am able to use the profilercc package without compiling the Ciao Engine with the profiler support. I only get the number of calls...

NUMBA_DISABLE_JIT causes an infinite loop in Structref instance creation.

The same happens for me. I think that at the moment using structref with JIT disabled is simply not allowed, which is a problem for debugging.