Commit graph

Select branches

Hide pull requests

dev

v0.1.4

Mono Color

• 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