-
Notifications
You must be signed in to change notification settings - Fork 29
Pull requests: arminbiere/lingeling
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
configure.sh/makefile.in: Improve handling of build flags
#7
opened May 29, 2021 by
Xiretza
Loading…
Avoid conflict between clone in sched.h and the Lingeling variables "clone" at global scope
#2
opened May 23, 2018 by
aytey
Loading…
Correct the behaviour of
configure.sh when $others expands to an expression containing whitespace
#1
opened May 23, 2018 by
aytey
Loading…
ProTip!
Exclude everything labeled
bug with -label:bug.