-
Notifications
You must be signed in to change notification settings - Fork 55
Issues: githwxi/ATS-Postiats
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Polymorphic function fails to compile in C
#215
opened Sep 14, 2018 by
jrfondren
updated Sep 14, 2018
Polymorphic function segfaults with optimization less than -O2
#216
opened Sep 26, 2018 by
jrfondren
updated Sep 26, 2018
Strict aliasing problem in lazy evaluation (Postiats 0.3.11 or 0.3.12)
#222
opened Nov 6, 2018 by
chemoelectric
updated Nov 6, 2018
Usage of abstract can make the compiler generate no C code without error
#241
opened Apr 4, 2019 by
antoyo
updated Apr 4, 2019
There are a few missing necessities in patsolve_smt2
#246
opened Jul 5, 2019 by
chemoelectric
updated Jul 5, 2019
patscc displaying previous version number (0.4.1)
#258
opened Nov 24, 2020 by
d4v3y5c0n3s
updated Dec 13, 2020
build files missing in git repo but available in tar archive
#262
opened May 3, 2021 by
saifikhan
updated May 4, 2021
"implicit declaration of function" error at compilation
#279
opened Sep 9, 2024 by
AkihiroSanada
updated Sep 9, 2024
ProTip!
Add no:assignee to see everything that’s not assigned.