Commit graph

  • 91441d4d3f fix!: add explicit interpolation method for more functions Anand Balakrishnan 2023-10-04 15:50:25 -07:00
  • f97d593926 feat: expose parser in argus Anand Balakrishnan 2023-10-04 14:46:32 -07:00
  • 50d5a0a78a feat!: make interpolation method explicit Anand Balakrishnan 2023-10-04 14:42:51 -07:00
  • e2cff9449e feat: expose parser in argus Anand Balakrishnan 2023-10-04 14:37:51 -07:00
  • 1b3512543e fix(argus-parser): correctly type variables under relationals Anand Balakrishnan 2023-10-04 14:36:47 -07:00
  • f6b26b61ab chore: clean up unnecessary numpy dependency (and better pre-commit) Anand Balakrishnan 2023-10-04 14:33:17 -07:00
  • 246f4704c3 update environment files Anand Balakrishnan 2023-10-04 14:28:39 -07:00
  • 9ca6748c50
    feat(pyargus): add interpolation method parameter for Signal construction Anand Balakrishnan 2023-10-03 19:46:17 -07:00
  • ad0e62eee5
    build: don't run install on reused nox environments Anand Balakrishnan 2023-10-03 19:33:57 -07:00
  • 444d60197d
    refactor(pyargus): make pyargus depend only on argus Anand Balakrishnan 2023-10-03 17:34:17 -07:00
  • db3a63f9e1
    make argus the common crate Anand Balakrishnan 2023-10-03 17:13:20 -07:00
  • 0df9aba559
    edit mypy allowlist Anand Balakrishnan 2023-10-03 17:13:10 -07:00
  • 0498dd0f57
    set common parameters in the workspace Anand Balakrishnan 2023-10-03 16:59:06 -07:00
  • 2319668e2b
    feat!(argus-parser): complete parser Anand Balakrishnan 2023-10-03 16:08:22 -07:00
  • 17042a2544
    feat(argus-parser): complete the syntax parser Anand Balakrishnan 2023-10-03 11:05:08 -07:00
  • 3adf2ff723 complete parser, but compile time is slow Anand Balakrishnan 2023-10-02 17:23:26 -07:00
  • 6632e897ba add Expr type for union of BoolExpr or NumExpr Anand Balakrishnan 2023-09-29 13:59:39 -07:00
  • 7c81b30a8f don't try to do an Any trampoline for Expr Anand Balakrishnan 2023-09-29 13:59:16 -07:00
  • b2e56594b0
    initial parser signature Anand Balakrishnan 2023-09-29 13:09:04 -07:00
  • cc423a0bec
    feat(argus-parser): complete lexer Anand Balakrishnan 2023-09-15 16:20:58 -07:00
  • 49408a310b
    begin writing parser Anand Balakrishnan 2023-09-08 13:48:05 -07:00
  • 3d6157e03a
    refactor(pyargus): define a runtime checkable Signal protocol Anand Balakrishnan 2023-09-07 16:34:13 -07:00
  • 8027f86213
    refactor(pyargus): implement new for PySignal Anand Balakrishnan 2023-09-07 15:44:46 -07:00
  • e2cfe3da56
    refactor(pyargus): data type name Anand Balakrishnan 2023-09-07 15:43:04 -07:00
  • 8093ab7c9f
    build: add clean to nox and remove coverage from default sessions Anand Balakrishnan 2023-09-07 13:55:14 -07:00
  • 77cda0eae0
    refactor(argus-derive): remove unnecessary derives Anand Balakrishnan 2023-09-07 13:33:45 -07:00
  • 4942a78899
    test(pyargus): improve test coverage Anand Balakrishnan 2023-09-07 13:32:27 -07:00
  • 7129177ca0
    build: add numpy for mypy typing Anand Balakrishnan 2023-09-07 13:31:46 -07:00
  • 475d32c533
    refactor!(argus-core): update find_intersection method Anand Balakrishnan 2023-09-07 13:28:30 -07:00
  • 3a9623b99b
    fix(argus-core): disable clippy warnings for proptest Anand Balakrishnan 2023-09-07 13:24:13 -07:00
  • f00fe25c58
    build: skip dev when running nox by default Anand Balakrishnan 2023-09-07 13:23:27 -07:00
  • daf1936d2b
    build: split regular environment and dev environment Anand Balakrishnan 2023-09-06 14:20:07 -07:00
  • a52f6a756c
    build: minor changes Anand Balakrishnan 2023-09-06 13:30:59 -07:00
  • 980a08227f
    style: run formatter Anand Balakrishnan 2023-09-06 11:46:49 -07:00
  • 97e90271c4
    build: switch pre-commit completely to nox Anand Balakrishnan 2023-09-06 11:44:54 -07:00
  • deedac2a2e build: add conda environment specs Anand Balakrishnan 2023-09-05 18:17:43 -07:00
  • 0142dfe838 build: use nox instead of just Anand Balakrishnan 2023-09-05 18:17:29 -07:00
  • 0530f03691 chore: add lcov files to gitignore Anand Balakrishnan 2023-09-05 18:16:12 -07:00
  • 009a0ac18a
    start argus-parser Anand Balakrishnan 2023-09-05 10:28:12 -07:00
  • ac5867e7b0
    test(pyargus): add general signal tests Anand Balakrishnan 2023-09-05 10:27:14 -07:00
  • 5489ddbd09
    chore: itertools bump version Anand Balakrishnan 2023-09-05 10:12:14 -07:00
  • 961551b2cb
    chore: bump dependencies Anand Balakrishnan 2023-09-01 14:54:47 -07:00
  • ff2e74517a
    minor Anand Balakrishnan 2023-09-01 14:54:29 -07:00
  • a25e56f025
    fix(pyargus): address typing issues Anand Balakrishnan 2023-09-01 14:52:35 -07:00
  • ccd87fc22a
    add flake8 and clean justfile Anand Balakrishnan 2023-09-01 14:45:20 -07:00
  • b58f67b272
    chore: address linting errors Anand Balakrishnan 2023-09-01 11:23:37 -07:00
  • 7f97c97b30
    build: add mypy to pre-commit Anand Balakrishnan 2023-09-01 11:22:29 -07:00
  • 137c22cd70 tests(pyargus): add test cases for signals Anand Balakrishnan 2023-08-31 17:11:52 -07:00
  • ab0a2c6d85 build: add pre-commit hooks Anand Balakrishnan 2023-08-31 17:04:45 -07:00
  • a5bc6f5d36 chore(pyargus): minor changes Anand Balakrishnan 2023-08-30 16:02:37 -07:00
  • 73921db5f9 chore: run linter and fix formatting Anand Balakrishnan 2023-08-30 16:02:03 -07:00
  • 3b3a7ce15e chore: set workspace resolver Anand Balakrishnan 2023-08-30 15:55:33 -07:00
  • 9d5f4bd70c
    begin work on automata library Anand Balakrishnan 2023-08-30 13:25:07 -07:00
  • b20a838d06
    change pyo3 features Anand Balakrishnan 2023-08-30 13:24:28 -07:00
  • 1bb032dadb
    add pyargus to workspace Anand Balakrishnan 2023-08-30 12:49:46 -07:00
  • b8c67bcea9
    refactor(pyargus): update python bindings for breaking changes Anand Balakrishnan 2023-08-30 12:49:14 -07:00
  • 0e38c2fecf
    add recommended envrc Anand Balakrishnan 2023-08-30 12:47:24 -07:00
  • c916db3853
    feat(argus-semantics): complete boolean semantics Anand Balakrishnan 2023-08-30 12:46:52 -07:00
  • ad9afb4eba
    feat(argus-semantics): finish quantitative semantics Anand Balakrishnan 2023-08-29 18:16:52 -07:00
  • 28a79cb88c
    refactor!(argus-core): remove unnecessary traits and Copy constraints Anand Balakrishnan 2023-08-29 18:16:10 -07:00
  • 86cef692dc
    feat(argus-semantics): implement efficient streaming MinMax Anand Balakrishnan 2023-08-28 13:02:51 -07:00
  • 4084bb738b
    refactor(argus-core): create explicit signal and and or methods Anand Balakrishnan 2023-08-28 13:01:08 -07:00
  • 16cbaace20
    refactor(core): prelude exports all expressions Anand Balakrishnan 2023-06-07 10:00:27 -04:00
  • 87afc11b90
    refactor~(core): use traits and structs for interpolation Anand Balakrishnan 2023-06-07 09:57:56 -04:00
  • 2b16ef9c40
    fix(semantics): migrate to new AST structure Anand Balakrishnan 2023-06-06 10:46:52 -04:00
  • 1c79847a77
    feat!(core): Use new AST structure Anand Balakrishnan 2023-06-06 10:44:45 -04:00
  • 70c5a50d22
    feat(core): add shift left/right operators to Signal Anand Balakrishnan 2023-05-23 13:12:22 -07:00
  • a54ec8a69f
    feat(core): add helper methods and better construction for Interval Anand Balakrishnan 2023-05-14 16:37:57 -07:00
  • 86138fe213
    chore(py): handle interval in the expression trampoline Anand Balakrishnan 2023-05-09 12:08:11 -07:00
  • d13746f904
    build(pyargus): exclude pyargus from workspace to enable cargo test Anand Balakrishnan 2023-05-09 12:07:21 -07:00
  • 0e62085edc
    chore(semantics): make sure that interval is handled in the semantics Anand Balakrishnan 2023-05-09 12:05:41 -07:00
  • c339343f84
    feat!(core): add intervals to temporal operators Anand Balakrishnan 2023-05-09 12:04:45 -07:00
  • 299e572186
    docs(core): add documentation for all public API members Anand Balakrishnan 2023-05-05 14:33:19 -07:00
  • ee75539d73
    feat(py): add convenience functions to create variables, literals, and signals Anand Balakrishnan 2023-05-04 13:36:06 -07:00
  • 31c65a4734
    refactor(py): update the type stubs (and expose DType) Anand Balakrishnan 2023-05-04 13:33:56 -07:00
  • 9b07df440b
    build(docs): don't try to document dependencies Anand Balakrishnan 2023-05-04 11:38:59 -07:00
  • c3d4bad161
    build(py): add justfile recipes for formatting and checking Anand Balakrishnan 2023-05-03 16:39:01 -07:00
  • 9f674bd385
    feat(py): expose quantitative semantics Anand Balakrishnan 2023-05-03 16:38:35 -07:00
  • bfb59c1008
    refactor!(py): Boolean semantics should be exposed as function Anand Balakrishnan 2023-05-03 16:35:27 -07:00
  • e6ef427e2f
    feat!(py): expose boolean semantics to Python Anand Balakrishnan 2023-05-03 16:32:49 -07:00
  • c42f892099
    feat(python): add interface file and other small changes Anand Balakrishnan 2023-04-30 22:14:33 -07:00
  • 168e881884
    refactor(pyargus): move library components into modules Anand Balakrishnan 2023-04-27 13:47:46 -07:00
  • 4b4d02a0ec
    feat(pyargus): add temporal operators to bindings Anand Balakrishnan 2023-04-26 13:19:35 -07:00
  • bfd5178982
    feat(semantics): add quantitative semantics Anand Balakrishnan 2023-04-26 12:59:54 -07:00
  • d3b30deaa3
    feat!(core): update casting from bool to float to match quantitative semantics Anand Balakrishnan 2023-04-26 12:58:14 -07:00
  • bcddb7a1a2
    feat(semantics): add boolean semantics Anand Balakrishnan 2023-04-16 18:42:56 -07:00
  • e22410eea8
    feat(core): minor additions to the API Anand Balakrishnan 2023-04-16 18:41:21 -07:00
  • c666498ac0
    feat!(semantics): Use function for evaluating numeric expressions Anand Balakrishnan 2023-04-16 17:53:19 -07:00
  • 2e574c6009
    feat!(semantics): update the Trace trait to use AnySignal Anand Balakrishnan 2023-04-16 17:19:17 -07:00
  • a3d406f2b3
    feat(core): add an AnySignal trait for trait objects and downcasting of signals Anand Balakrishnan 2023-04-16 17:16:10 -07:00
  • aa952c3151
    feat(core): add more fine grain casting operations for signals Anand Balakrishnan 2023-04-16 17:14:57 -07:00
  • 4431b79bcd
    feat!(core): Change Signal to be a sumtype Anand Balakrishnan 2023-04-14 10:53:38 -07:00
  • a6a3805107
    feat(core): add LTL temporal expressions Anand Balakrishnan 2023-04-07 14:05:35 -07:00
  • c322d34859
    feat(py): python bindings for BoolExpr with sugar Anand Balakrishnan 2023-04-05 15:38:24 -07:00
  • 6340a18149
    feat(core): add NumExpr and BoolExpr to prelude Anand Balakrishnan 2023-04-05 13:29:10 -07:00
  • 4f470eae50
    feat(core): add easy constructors for Ordering Anand Balakrishnan 2023-04-05 13:28:47 -07:00
  • f8ec8857d4
    feat: add python bindings for argus Anand Balakrishnan 2023-04-04 14:41:17 -07:00
  • 2b447409a1
    feat: add Sub and Abs expression nodes Anand Balakrishnan 2023-04-04 14:32:37 -07:00
  • 4dc6effbde
    feat(semantics): Add quantitative semantics Anand Balakrishnan 2023-04-04 11:56:45 -07:00
  • 6e41380262
    feat(core): Add SignalAbs trait for numeric signals Anand Balakrishnan 2023-04-04 11:55:48 -07:00