Commit graph

196 commits

Author SHA1 Message Date
Anand Balakrishnan
4ddca1f177 fix(ci): correctly download wheel artifacts 2023-10-04 17:38:10 -07:00
Anand Balakrishnan
5f07fca816 ci: macos and windows can't handle install from wheel... 2023-10-04 17:12:25 -07:00
Anand Balakrishnan
71def21d02 ci: don't run tests for aarch64 (for now) 2023-10-04 17:06:11 -07:00
Anand Balakrishnan
fae3021f6b ci: add permission to upload wheels to release 2023-10-04 16:58:10 -07:00
Anand Balakrishnan
24f7583f88 fix(pyargus): add typing-extensions as dependency 2023-10-04 16:51:36 -07:00
Anand Balakrishnan
10e09c0a12 fix(ci): try to make pytest actually detect argus 2023-10-04 16:48:26 -07:00
Anand Balakrishnan
ec0224d511 fix(ci): actually install the test dependencies 2023-10-04 16:37:03 -07:00
Anand Balakrishnan
1fb8459b3b fix(ci): install test dependencies 2023-10-04 16:30:49 -07:00
Anand Balakrishnan
2c234a929a ci: add initial CI 2023-10-04 16:21:07 -07:00
Anand Balakrishnan
c616d201aa feat: TRUE and FALSE are keywords in parser 2023-10-04 15:54:20 -07:00
Anand Balakrishnan
e3b020c6ed tests: better cargo test arguments 2023-10-04 15:51:35 -07:00
Anand Balakrishnan
91441d4d3f fix!: add explicit interpolation method for more functions 2023-10-04 15:50:25 -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
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