Quentin Corradi

Generate anime girl based on real image

2

I'm not an expert in GAN but I heard about encoder/decoder and the fact that picture can be generated by feeding an other picture to the encoder then decoding the...

DO NOT merge yet! Attempt at unifying type abbreviations disabling mechanism in terms and type. Similar to the already existing `-tm` the syntax is `-:ty`. The previous type abbreviation disabling...

Merging (a = mul y z; b = add x a) into (b = MAC x y z) on GiblePar basic blocs (after scheduling) whenever (a) is not read elsewhere...

Generate region standard compliance fixes

6

Standard compliance fixes (Checked against Verilog 1995/2001/2005 and SystemVerilog 2017 A.4.2): Do not accept generate regions inside other generate regions; this is now forbidden ``` module top(); generate generate endgenerate...

The shuffle option shuffles signal names. It also shuffles input and output signals but does not modify module instantiation accordingly.

Code formatting with clang-format

1

I noticed that code style is inconsistent and some questionable practices are in place (aligning fields with tabs is a no no as not every text editor uses the same...

Updated playerwidget code

4

Fix many slider strange behaviour by reimplementing it. Time is updated correctly. Moving the slider displays the target time in a tooltip. Inserting a timestamp uses current time, especially when...

No mutation added yet, only the functions to apply them on an AST Bug fix: Macromodule has no semantics but tools can do different things if it is specified so...

Simplify some uses of `pr_global_env` by using `Termops.pr_global_env`.

Unable to get notation scope correct in About and Print

1

### Description of the problem When querying a notation in a scope with Print and About, there is an error for both scope options. In repl : ``` Rocq <...