Geng Tiancheng issues

Repositories
Issues
Comments

Results 3 issues of


                                            Geng Tiancheng

Bug: forget to hook function putc

putc is no longer macro since glibc 2.19 (in glibc Changlog.19 line 22622 Don't define getc or putc as macros.), someone should hook this function with exactly the same code...

Anomaly "make_elim_branch_assumptions." when inversion

### Description of the problem Rocq panics on inversion H as [| _ []] with uninstantiated anonymous index ### Small Rocq / Coq file to reproduce the bug ```coq Inductive...

kind: bug

needs: triage

Linux (flatpak) deskflow-core buffer overflow on hotkey with "long" computer name

### Sanity checks - [x] I have done the sanity checks, and my issue persists - [ ] These sanity checks are not relevant to the bug ### Deskflow version...