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
Anand Balakrishnan
b20a838d06
change pyo3 features
2023-08-30 13:24:28 -07:00
Anand Balakrishnan
1bb032dadb
add pyargus to workspace
2023-08-30 12:49:46 -07:00
Anand Balakrishnan
b8c67bcea9
refactor(pyargus): update python bindings for breaking changes
2023-08-30 12:49:14 -07:00
Anand Balakrishnan
0e38c2fecf
add recommended envrc
2023-08-30 12:47:24 -07:00
Anand Balakrishnan
c916db3853
feat(argus-semantics): complete boolean semantics
2023-08-30 12:46:52 -07:00
Anand Balakrishnan
ad9afb4eba
feat(argus-semantics): finish quantitative semantics
...
The Boolean semantics are still incomplete. The decision to keep the
computations separate stays, as using the quantitative semantics for
Boolean values (while sound) interpolates in weird places.
May revisit this decision in the future
2023-08-29 18:16:52 -07:00
