Anand Balakrishnan
46f0f60bc0
fix: semantics for bounded eventually
2023-10-31 12:08:36 -07:00
Anand Balakrishnan
77a9106e8b
test(pyargus): add tests comparing semantics against metric-temporal-logic
2023-10-15 14:39:09 -07:00
Anand Balakrishnan
fb72e60a0a
feat(pyargus): add __str__ methods for Expr
2023-10-13 16:18:02 -07:00
Anand Balakrishnan
d39e3d3e12
feat!(pyargus): simplify the API surface
...
- Get rid of helper functions. It is not that much more verbose to
create signals with `argus.FloatSignal(...)` than
`argus.signal(..., dtype=argus.dtype.float64`).
- Make the package hierarchy flat: everything is under `argus`. If this
is an issue, it can be changed in the future.
- Add type hints for interval types.
2023-10-05 15:28:59 -07:00
Anand Balakrishnan
f97d593926
feat: expose parser in argus
2023-10-04 14:46:32 -07:00
Anand Balakrishnan
50d5a0a78a
feat!: make interpolation method explicit
...
All methods that need to perform interpolation of some sort need an
explicit interpolation method. In Rust, this manifests as a generic
parameter, while in Python, this is a string parameter.
2023-10-04 14:42:51 -07:00
Anand Balakrishnan
9ca6748c50
feat(pyargus): add interpolation method parameter for Signal construction
2023-10-03 19:46:17 -07:00
Anand Balakrishnan
444d60197d
refactor(pyargus): make pyargus depend only on argus
2023-10-03 17:34:17 -07:00
Anand Balakrishnan
8027f86213
refactor(pyargus): implement new for PySignal
2023-09-07 15:44:46 -07:00
Anand Balakrishnan
e2cfe3da56
refactor(pyargus): data type name
2023-09-07 15:43:04 -07:00
Anand Balakrishnan
4942a78899
test(pyargus): improve test coverage
2023-09-07 13:32:27 -07:00
Anand Balakrishnan
ac5867e7b0
test(pyargus): add general signal tests
2023-09-05 10:27:14 -07:00
Anand Balakrishnan
a25e56f025
fix(pyargus): address typing issues
...
This addresses some of the issues with inheritance (internal to the rust
module) for signals, and generally making mypy and flake8 happy.
2023-09-01 14:52:35 -07:00
Anand Balakrishnan
137c22cd70
tests(pyargus): add test cases for signals
2023-08-31 17:11:52 -07:00
Anand Balakrishnan
b8c67bcea9
refactor(pyargus): update python bindings for breaking changes
2023-08-30 12:49:14 -07:00
Anand Balakrishnan
86138fe213
chore(py): handle interval in the expression trampoline
2023-05-09 12:08:11 -07:00
Anand Balakrishnan
31c65a4734
refactor(py): update the type stubs (and expose DType)
2023-05-04 13:33:56 -07:00
Anand Balakrishnan
9f674bd385
feat(py): expose quantitative semantics
2023-05-03 16:38:35 -07:00
Anand Balakrishnan
bfb59c1008
refactor!(py): Boolean semantics should be exposed as function
2023-05-03 16:35:27 -07:00
Anand Balakrishnan
e6ef427e2f
feat!(py): expose boolean semantics to Python
2023-05-03 16:32:49 -07:00
Anand Balakrishnan
c42f892099
feat(python): add interface file and other small changes
2023-04-30 22:14:33 -07:00
Anand Balakrishnan
168e881884
refactor(pyargus): move library components into modules
2023-04-27 13:47:46 -07:00
Anand Balakrishnan
4b4d02a0ec
feat(pyargus): add temporal operators to bindings
2023-04-26 13:19:35 -07:00
Anand Balakrishnan
c322d34859
feat(py): python bindings for BoolExpr with sugar
2023-04-05 15:38:24 -07:00
Anand Balakrishnan
f8ec8857d4
feat: add python bindings for argus
2023-04-04 14:41:17 -07:00
