Anand Balakrishnan
|
e2cff9449e
|
feat: expose parser in argus
|
2023-10-04 14:37:51 -07:00 |
|
Anand Balakrishnan
|
1b3512543e
|
fix(argus-parser): correctly type variables under relationals
Also accept unicode symbols for temporal operations
|
2023-10-04 14:36:47 -07:00 |
|
Anand Balakrishnan
|
f6b26b61ab
|
chore: clean up unnecessary numpy dependency (and better pre-commit)
|
2023-10-04 14:33:17 -07:00 |
|
Anand Balakrishnan
|
246f4704c3
|
update environment files
|
2023-10-04 14:28:39 -07:00 |
|
Anand Balakrishnan
|
9ca6748c50
|
feat(pyargus): add interpolation method parameter for Signal construction
|
2023-10-03 19:46:17 -07:00 |
|
Anand Balakrishnan
|
ad0e62eee5
|
build: don't run install on reused nox environments
|
2023-10-03 19:33:57 -07:00 |
|
Anand Balakrishnan
|
444d60197d
|
refactor(pyargus): make pyargus depend only on argus
|
2023-10-03 17:34:17 -07:00 |
|
Anand Balakrishnan
|
db3a63f9e1
|
make argus the common crate
|
2023-10-03 17:13:20 -07:00 |
|
Anand Balakrishnan
|
0df9aba559
|
edit mypy allowlist
|
2023-10-03 17:13:10 -07:00 |
|
Anand Balakrishnan
|
0498dd0f57
|
set common parameters in the workspace
|
2023-10-03 16:59:06 -07:00 |
|
Anand Balakrishnan
|
2319668e2b
|
feat!(argus-parser): complete parser
This changes the API for `ExprBuilder`, but that is OK.
|
2023-10-03 16:11:18 -07:00 |
|
Anand Balakrishnan
|
17042a2544
|
feat(argus-parser): complete the syntax parser
|
2023-10-03 11:05:08 -07:00 |
|
Anand Balakrishnan
|
3adf2ff723
|
complete parser, but compile time is slow
|
2023-10-02 17:23:43 -07:00 |
|
Anand Balakrishnan
|
6632e897ba
|
add Expr type for union of BoolExpr or NumExpr
|
2023-09-29 14:00:24 -07:00 |
|
Anand Balakrishnan
|
7c81b30a8f
|
don't try to do an Any trampoline for Expr
|
2023-09-29 13:59:16 -07:00 |
|
Anand Balakrishnan
|
b2e56594b0
|
initial parser signature
|
2023-09-29 13:09:04 -07:00 |
|
Anand Balakrishnan
|
cc423a0bec
|
feat(argus-parser): complete lexer
|
2023-09-15 16:20:58 -07:00 |
|
Anand Balakrishnan
|
49408a310b
|
begin writing parser
|
2023-09-08 13:48:05 -07:00 |
|
Anand Balakrishnan
|
3d6157e03a
|
refactor(pyargus): define a runtime checkable Signal protocol
|
2023-09-07 16:34:13 -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
|
8093ab7c9f
|
build: add clean to nox and remove coverage from default sessions
|
2023-09-07 13:55:14 -07:00 |
|
Anand Balakrishnan
|
77cda0eae0
|
refactor(argus-derive): remove unnecessary derives
|
2023-09-07 13:33:45 -07:00 |
|
Anand Balakrishnan
|
4942a78899
|
test(pyargus): improve test coverage
|
2023-09-07 13:32:27 -07:00 |
|
Anand Balakrishnan
|
7129177ca0
|
build: add numpy for mypy typing
|
2023-09-07 13:31:46 -07:00 |
|
Anand Balakrishnan
|
475d32c533
|
refactor!(argus-core): update find_intersection method
Don't separate the intersection finding code into a different trait, as
it can be bundled with interpolation method.
|
2023-09-07 13:28:30 -07:00 |
|
Anand Balakrishnan
|
3a9623b99b
|
fix(argus-core): disable clippy warnings for proptest
|
2023-09-07 13:24:52 -07:00 |
|
Anand Balakrishnan
|
f00fe25c58
|
build: skip dev when running nox by default
|
2023-09-07 13:23:27 -07:00 |
|
Anand Balakrishnan
|
daf1936d2b
|
build: split regular environment and dev environment
|
2023-09-06 14:20:07 -07:00 |
|
Anand Balakrishnan
|
a52f6a756c
|
build: minor changes
|
2023-09-06 13:30:59 -07:00 |
|
Anand Balakrishnan
|
980a08227f
|
style: run formatter
|
2023-09-06 11:46:49 -07:00 |
|
Anand Balakrishnan
|
97e90271c4
|
build: switch pre-commit completely to nox
|
2023-09-06 11:44:54 -07:00 |
|
Anand Balakrishnan
|
deedac2a2e
|
build: add conda environment specs
|
2023-09-05 18:17:43 -07:00 |
|
Anand Balakrishnan
|
0142dfe838
|
build: use nox instead of just
|
2023-09-05 18:17:29 -07:00 |
|
Anand Balakrishnan
|
0530f03691
|
chore: add lcov files to gitignore
|
2023-09-05 18:16:12 -07:00 |
|
Anand Balakrishnan
|
009a0ac18a
|
start argus-parser
|
2023-09-05 10:28:12 -07:00 |
|
Anand Balakrishnan
|
ac5867e7b0
|
test(pyargus): add general signal tests
|
2023-09-05 10:27:14 -07:00 |
|
Anand Balakrishnan
|
5489ddbd09
|
chore: itertools bump version
|
2023-09-05 10:12:14 -07:00 |
|
Anand Balakrishnan
|
961551b2cb
|
chore: bump dependencies
|
2023-09-01 14:54:47 -07:00 |
|
Anand Balakrishnan
|
ff2e74517a
|
minor
|
2023-09-01 14:54:29 -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
|
ccd87fc22a
|
add flake8 and clean justfile
|
2023-09-01 14:49:08 -07:00 |
|
Anand Balakrishnan
|
b58f67b272
|
chore: address linting errors
|
2023-09-01 11:23:44 -07:00 |
|
Anand Balakrishnan
|
7f97c97b30
|
build: add mypy to pre-commit
|
2023-09-01 11:22:29 -07:00 |
|
Anand Balakrishnan
|
137c22cd70
|
tests(pyargus): add test cases for signals
|
2023-08-31 17:11:52 -07:00 |
|
Anand Balakrishnan
|
ab0a2c6d85
|
build: add pre-commit hooks
|
2023-08-31 17:09:58 -07:00 |
|
Anand Balakrishnan
|
a5bc6f5d36
|
chore(pyargus): minor changes
|
2023-08-30 16:02:37 -07:00 |
|
Anand Balakrishnan
|
73921db5f9
|
chore: run linter and fix formatting
|
2023-08-30 16:02:03 -07:00 |
|
Anand Balakrishnan
|
3b3a7ce15e
|
chore: set workspace resolver
|
2023-08-30 15:55:33 -07:00 |
|
Anand Balakrishnan
|
9d5f4bd70c
|
begin work on automata library
|
2023-08-30 13:25:29 -07:00 |
|