Skip to content

Issues: ejgallego/pycoq

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

23 Open 4 Closed
23 Open 4 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

Can't install this
#30 opened May 18, 2023 by enjoysmath
2
pip install cam run arbitrary code -- including make install -- through the setup.py file
#29 opened Mar 2, 2023 by brando90
Why does one need to run a test file to use pycoq?
#28 opened Mar 2, 2023 by brando90
1
Why do we need to do git submodules for installing a normal python package?
#27 opened Feb 24, 2023 by brando90
1
How to remove make install and dune to run pycoq?
#26 opened Feb 24, 2023 by brando90
1
ppx_base not found during installation
#25 opened Feb 24, 2023 by brando90
2
installation
#24 opened Feb 10, 2023 by ASamSam
16
why do we need os.chdir('_build/default')?
#22 opened Jun 23, 2022 by brando90
1
Data set for machine learning compatible with PyCoq
#21 opened Mar 1, 2022 by brando90
1
Can CoqGym's data be used with PyCoq?
#20 opened Feb 23, 2022 by brando90
1
nixify
#17 opened Nov 8, 2021 by quinn-dougherty
4
return objects should probably be dicts instead of nested 2-tuples
#15 opened Nov 5, 2021 by quinn-dougherty
2
let pytest and pytype know about pycoq.so somehow, probably by doing some kind of dune exec -- pytest
#14 opened Nov 5, 2021 by quinn-dougherty
1
Give the caller namedtuple; factor out the need for dictionaries
#13 opened Nov 5, 2021 by quinn-dougherty
1
goal: a jupyter build, probably docker image.
#12 opened Nov 5, 2021 by quinn-dougherty
1
codesmell: breaks when import pycoq is omitted even tho pycoq is not invoked.
#11 opened Nov 5, 2021 by quinn-dougherty
1
Documentation
#8 opened Sep 23, 2021 by ejgallego
Test suite
#7 opened Sep 23, 2021 by ejgallego
@quinn-dougherty
2
Better development setup help wanted Extra attention is needed
#6 opened Sep 23, 2021 by ejgallego
6
Laziness and Sharing
#5 opened Sep 23, 2021 by ejgallego
Encoding of objects
#4 opened Sep 23, 2021 by ejgallego
Stop using the protocol interpreter interface
#3 opened Sep 23, 2021 by ejgallego
1
Distribution / packaging help wanted Extra attention is needed
#1 opened Sep 23, 2021 by ejgallego first-release
9
ProTip! What’s not been updated in a month: updated:<2025-01-20.