4ti2/4ti2 issues and pull requests

#40 - build: resolve missing includes showing on gcc-13

Pull Request - State: closed - Opened by jengelh over 1 year ago - 1 comment

#39 - INT32_MIN and INT32_MAX are not defined in src/zsolve/VectorArrayAPI.hpp

Issue - State: closed - Opened by skriesch over 1 year ago - 4 comments

#38 - get rid of egrep

Pull Request - State: closed - Opened by dimpase over 1 year ago - 1 comment

#37 - src/groebner/script.template.in - do not use egrep

Issue - State: closed - Opened by mkoeppe almost 2 years ago

#36 - Fix memory leak in permuteListVector

Pull Request - State: closed - Opened by Teemperor over 2 years ago - 1 comment

#35 - Mention running autogen.sh in README?

Issue - State: open - Opened by jibnew almost 3 years ago - 1 comment

#34 - Fix bashishms in m4 scripts

Pull Request - State: closed - Opened by andrewshadura almost 3 years ago - 1 comment

#33 - Use = with test, not == (bashism)

Pull Request - State: closed - Opened by andrewshadura almost 3 years ago - 1 comment

#32 - potential integer overflow in 32bit system

Issue - State: open - Opened by kangwoosukeq about 3 years ago

#31 - scripts: apply realpath for $0

Pull Request - State: open - Opened by jengelh about 3 years ago - 6 comments

#30 - Fix archflag added to CFLAGS instead of CXXFLAGS

Pull Request - State: open - Opened by jpoiret over 3 years ago - 2 comments

#29 - Running time increases for repeated iteration using zsolve.

Issue - State: open - Opened by byeongsuyu over 4 years ago - 2 comments

#28 - duplicate recipe, a warning

Issue - State: open - Opened by DanGrayson over 4 years ago

#27 - make check failed

Issue - State: closed - Opened by beew over 5 years ago - 3 comments

#26 - Tests fail to tun: /bin/sh: ../check.template: not found

Issue - State: open - Opened by yurivict almost 6 years ago - 2 comments

#25 - Don't misplace docs

Pull Request - State: closed - Opened by jengelh almost 6 years ago - 1 comment

#24 - Ray command doesn't interpret .rel file with inequality symbols

Issue - State: open - Opened by bgillesp almost 6 years ago

#23 - gitignore & installation directory fix

Pull Request - State: closed - Opened by jengelh almost 6 years ago - 1 comment

#22 - Install location for 4ti2 headers

Issue - State: open - Opened by mkoeppe about 6 years ago - 1 comment

#21 - configure --with-glpk=yes should give an error if glpk cannot be found

Issue - State: open - Opened by mkoeppe about 6 years ago

#20 - Add automatic deployment to latte-int/distro

Issue - State: open - Opened by mkoeppe about 6 years ago

#19 - Add automatic deployment scripts for github release

Issue - State: open - Opened by mkoeppe about 6 years ago

#18 - Fix DEBUG_4ti2 build: Replace lp->it_cnt by lpx_get_int_parm

Issue - State: open - Opened by mkoeppe about 6 years ago

#17 - Make DEBUG_4ti2 configurable by configure

Issue - State: open - Opened by mkoeppe about 6 years ago

#16 - Fix #15: Out of bounds vector access in circuits

Pull Request - State: closed - Opened by mkoeppe about 6 years ago

#15 - Out of bounds vector access

Issue - State: closed - Opened by mkoeppe about 6 years ago

#14 - Replace use of PATH_MAX by asprintf (C11)

Issue - State: open - Opened by mkoeppe about 6 years ago - 1 comment

#13 - Don't print progress messages to stdout

Issue - State: open - Opened by mkoeppe about 6 years ago

#12 - 4ti2 web: Automate updating of h.html from NEWS

Issue - State: open - Opened by mkoeppe about 6 years ago

#11 - Wishlist item: Inhomogeneous circuits

Issue - State: open - Opened by mkoeppe about 6 years ago

#10 - Add "-q" switch to ppi

Issue - State: open - Opened by mkoeppe about 6 years ago

#9 - Better integer overflow detection

Issue - State: open - Opened by mkoeppe about 6 years ago - 1 comment

#8 - Make handling of legacy input file name (without .mat extension) consistent

Issue - State: open - Opened by mkoeppe about 6 years ago

#7 - Make precision flag -p consistent

Issue - State: open - Opened by mkoeppe about 6 years ago

#6 - 4ti2API

Issue - State: closed - Opened by alfsan about 6 years ago - 1 comment

#5 - Make autogen.sh executable

Pull Request - State: closed - Opened by sebasguts about 6 years ago

#4 - Resurrect website 4ti2.de

Issue - State: closed - Opened by mkoeppe about 6 years ago - 3 comments

#3 - Improve sage interface, perhaps make standalone python interface

Issue - State: open - Opened by mkoeppe about 6 years ago - 2 comments

#2 - Add issues from mailing list

Issue - State: closed - Opened by mkoeppe about 6 years ago

#1 - Add CI scripts

Issue - State: closed - Opened by mkoeppe about 6 years ago

GitHub / 4ti2/4ti2 issues and pull requests