Alessio Coltellacci

Allow rename with str|bool|int type for internally tagged enums

18

This is the WIP for #745 (my work is based on #973). I have some troubles to understand what I have to do to complete the `serde_derive/de.rs` and `serde_derive/se.rs` modifications....

Could not open collection

1

I'm trying to include milton community version in my existing app j2ee build with jersey. The Ressource Controllers seem's to bee correctly loaded with the annotations @ResourceController. But when I...

QUIC support

1

QUIC is an encrypted, multiplexed, and low-latency transport protocol designed from the ground up to improve transport performance for HTTPS traffic and to enable rapid deployment and continued evolution of...

# Presentation of MQTT MQTT (Message Queuing Telemetry Transport) is an publish-subscribe-based messaging protocol. An MQTT system consists of clients communicating with a server, called a `broker`. A client may...

Cannot run kcc script due to a current profile missing

4

I tried to install the c-semantic in my ubuntu Ubuntu 20.04.2 LTS. I followed the [INSTALL.md]( https://github.com/kframework/c-semantics/blob/master/INSTALL.md) instructions. I got a `dist` folder with the different compiled semantics in the...

Having Inductive type living in Prop?

4

Hi everyone, as the title suggests, I would like to know if Lambdapi could be modified to support inductive type with type `Prop`. _Being able to define something like this_:...

undesired side effect with modifiers associative and commutative on symbol

16

Hi! When I apply the modifiers `associative commutative ` on a symbol, and if I have a term with this symbol in the hypothesis of a proof, Lambdapi automatically puts...

Coq export for symbol with definition defined with tactics

3

Hi, I would like to export in Coq format symbol that has been defined with tactics like the symbol `test_export2` below: ``` symbol Prop : TYPE; builtin "Prop" ≔ Prop;...

This PR is the work for #7

Enhance the filter on axfr request

3

## Overview A remote unauthenticated user may request a DNS zone transfer from a public-facing DNS server. If improperly configured, the DNS server may respond with information about the requested...