Skip to content

Remove FD constraints, add Hylang layer#13

Open
jams2 wants to merge 35 commits into
mainfrom
without-constraints
Open

Remove FD constraints, add Hylang layer#13
jams2 wants to merge 35 commits into
mainfrom
without-constraints

Conversation

@jams2

@jams2 jams2 commented Nov 3, 2024 •
edited
Loading

Copy link
Copy Markdown
Owner

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 added 21 commits October 27, 2024 11:30
@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
@jams2 jams2 force-pushed the without-constraints branch from aa3cbc2 to 89fcf27 Compare November 4, 2024 09:29
@jams2 jams2 force-pushed the without-constraints branch from 9102a31 to e07c07d Compare November 7, 2024 23:17
@jams2 jams2 force-pushed the without-constraints branch from a624251 to 5765966 Compare November 8, 2024 21:29
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