Skip to content

Issues: gheber/kenzo

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.

Sign up for GitHub

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

Clear current search query, filters, and sorts
21 Open 121 Closed
21 Open 121 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

File :ne in test/kenzo-9
#146 by Yehouda was closed Jul 25, 2019
1
whitehead-test failures test failure
#144 by gheber was closed Jun 1, 2019 Kenzo-9
2
special-smsts-test failure test failure
#143 by gheber was closed May 29, 2019 Kenzo-9
2
smith-testfailure test failure
#142 by gheber was closed Jun 4, 2019 Kenzo-9
2
serre-test failure test failure
#141 by gheber was closed May 29, 2019 Kenzo-9
2
eilenberg-zilber-test failure test failure
#140 by gheber was closed May 29, 2019 Kenzo-9
3
disk-pasting-test failure test failure
#139 by gheber was closed May 29, 2019 Kenzo-9
2
cs-twisted-products-test failure test failure
#138 by gheber was closed May 28, 2019 Kenzo-9
2
cl-space-efhm-test failures test failure
#137 by gheber was closed May 28, 2019 Kenzo-9
1
Add nickname KENZO to package CAT
#135 by phoe was closed Jun 4, 2019
4
'kan-test' failure test failure
#134 by gheber was closed May 14, 2019 Kenzo-8
@gheber
1
'delta-test' failures test failure
#133 by gheber was closed May 13, 2019 Kenzo-8
@gheber
8
'cobar-test' failures test failure
#132 by gheber was closed Mar 17, 2019 Kenzo-8
@gheber
1
'chain-complexes-test' failures test failure
#131 by gheber was closed May 14, 2019 Kenzo-8
@gheber
'bar-test' failures test failure
#130 by gheber was closed Mar 17, 2019 Kenzo-8
@gheber
1
Does not build in sbcl 1.4.10 - type inference issue test failure
#128 by quicklisp was closed Jan 20, 2019
@gheber
3
not an issue
#126 by dimpase was closed Mar 13, 2019
3
Check all notebooks for LaTex/PDF conversion errors. documentation
#119 by gheber was closed Mar 12, 2016 Team Review
@gheber
1
Recover ABSM-EXT-INT, ABSM-INT-EXT, and VERTEX-I from kan-test.lisp. documentation enhancement
#117 by gheber was closed Mar 9, 2016 Team Review
@gheber
1
The function ABSM-INT-EXT appears to be missing in Chapter 10. documentation question test failure
#116 by gheber was closed Mar 8, 2016 Team Review
@gheber
Travis CI build failure with SBCL32 build failure
#115 by gheber was closed Aug 8, 2019
@gheber
The function ABSM-EXT-INT seems to have disappeared. documentation question test failure
#114 by gheber was closed Mar 8, 2016 Team Review
@gheber
The function VERTEX-I seems to have disappeared. documentation question
#113 by gheber was closed Mar 8, 2016 Team Review
@gheber
1
The function TNPR-P seems to have disappeared. documentation question
#112 by gheber was closed Mar 8, 2016 Team Review
@gheber
1
kenzo cannot run properly in Clozure CL
#111 by yoyostein was closed Feb 18, 2016
3
ProTip! no:milestone will show everything without a milestone.