- fix: fixing semantic release config (
1146734
)
- fix: fixing semantic release config (
5dbda6a
)
- fix: bump for release (
56d444d
)
-
chore: adjusting bibtex (
e223795
) -
chore: fixing semantic release (
581962d
) -
chore: add CITATION.cff (
2df9aa1
) -
chore: add citation info to README (
8a57a71
)
- feat: bump min python version (#8) (
3f0e43a
)
- fix: update pyproject metadata (
db684d1
)
- fix: shields.io badge in docs (
64fbc32
)
- fix: perf / logging noise improvement skipping penman graph conversion to extract instances (
33a61ea
)
- fix: fixing negation with annotations (
61282ee
)
- feat: removing unnecessary param from override_conjunction (
155452a
)
- feat: adding an option to turn :condition into implies (#7) (
1b2f042
)
-
feat: simplify logic types and callbacks (#6)
-
refactoring logic types and callbacks (
d9b9f82
)
- feat: allow overriding conjunction (#5) (
582ffda
)
- allow customizing quantification via passing a closure (#4) (
2393f7a
)
- feat: adding options for capitalizing variables and overriding variable scope (#3) (
b490948
)
-
feat: Hoist coreferenced instances to their lowest common ancestor in the tree (#2)
-
project coreferences to their lowest common ancestor node level
-
adding an option to maximally hoist coreferences, to match behavior of paper
-
improving scope handling during hoisting
-
updating README (
6476525
)
- fix: fix bug where instances without children are not properly handled (
8c9156d
)
- feat: adding option to use Var instead of Const for instances (
028cff3
)
- fix: adding README and keywords into project toml (
1e909ac
)
- feat: removing Const and Param types from Formula (
94b733f
)
- fix: adding py.typed file (
3ae0201
)
-
chore: fixing test (
405e68c
) -
chore: updating docs for existentially quantifying instances (
8c4a244
) -
chore: updating docs for existentially quantifying instances (
3350408
)
- feat: adding more logical types, currently unused (
63b76e2
)
-
fix: relaxing typing_extensions requirement further (
dcad269
) -
fix: relaxing typing_extensions requirement (
402f65f
) -
fix: removing unused nltk dep (
4674c7f
)
-
chore: fixing snapshots (
ed470c3
) -
chore: standardizing test names (
efd0b13
) -
chore: fixing indentation in example AMR (
6d208e0
) -
chore: adding another test (
8aaa643
) -
chore: adding more tests (
3cb4cd9
) -
chore: adding coveragerc file to exclude tests from coverage report (
99ac976
)
- feat: no longer existentially quantify every instance (#1) (
f6062b6
)
-
fix: adding badges to README (
4026e32
) -
fix: adding semantic release config to pyproject.toml (
91b1ffd
) -
fix: adding semantic release and codecov (
be9c70e
)
-
Update README.md (
8919d56
) -
tweaking readme (
fdccb40
) -
adding a README in prep for initial release (
9b0e348
) -
adding entry point class (
200277d
) -
renaming library and handling annotations (
eec3689
) -
switching implementation to use penman tree instead of graph (
4b08166
) -
add coreference handling (
c7b039f
) -
adding negation support (
27e0bfb
) -
fixing black error (
c5ebabf
) -
adding converter and test for basic and inverted-role AMR cases (
2335ed3
) -
Initial commit (
38b21f4
)