Skip to content
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

Jump to bottom

Remove FD constraints, add Hylang layer #13

Open
wants to merge 35 commits into
base: main
Choose a base branch
from
Open

Remove FD constraints, add Hylang layer #13

wants to merge 35 commits into from

Conversation

jams2
Copy link
Owner

@jams2 jams2 commented Nov 3, 2024 •
edited
Loading

This PR:

  • removes FD constraints
  • removes python interface
  • adds tabling
  • adds a hylang layer
  • updates some tooling (adds uv)

There's some rationale on my blog

@jams2
Implement UV
3435c4f 
TODO: set it up in CI
@jams2
Format core
1843f44
@jams2
Add new core and hy interface
302acee
@jams2
Replace old core with new, remove fd and goals
bf08ccc
@jams2
fix: Add occurs check to extend_substitution
784b0dd
@jams2
feat: Add more tests to test_core
6df0545
@jams2
fix: Add missing imports to test_core.py
5a5d544
@jams2
fix: Fix import order in test_core.py
49d9118
@jams2
feat: Split test_stream_operations into separate test functions
d8ddebc
@jams2
fix: Split test_stream_operations into separate test functions
bcca801
@jams2
feat: add test for unifying var with incompatible nested sequence
a4d703b
@jams2
Add tests
afd41e6
@jams2
feat: Add docstring for call_fresh function
54804a7
@jams2
feat: Add test suite for tabling functionality
38d402b
@jams2
feat: Add tests for tabling behavior
34f4807
@jams2
Add pytest conf for hy
8149dc2
@jams2
fix: Fix occurs check in extend_substitution
bab388e
@jams2
feat: Add pytest.mark.parametrize to test_unify_sequences
7206e27
@jams2
Bump fastcons
69ed445
@jams2
Update Var representation to use module-scoped counter for ID
0bf86b7
@jams2
Make tabling tests more explicit
6f23d80
@jams2 jams2 force-pushed the without-constraints branch 5 times, most recently from 83661e7 to fcdb32d Compare November 3, 2024 22:24
@jams2 jams2 changed the title Remove constraints Remove FD constraints, add Hylang layer Nov 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@jams2