Commit graph

Select branches

Hide pull requests

dev

v0.1.4

Mono Color

• bc5012c220 fix dev Joeri Exelmans 2025-11-04 10:57:27 +01:00
• 6113e93f2c oops Joeri Exelmans 2025-11-04 10:52:45 +01:00
• ac53538207 fix build Joeri Exelmans 2025-11-04 10:51:34 +01:00
• b6f705eb01 Add interpolation method for discrete events Joeri Exelmans 2025-11-04 10:49:56 +01:00
• 654a0521f7 remove suffix 'r' from string literals (fixes build) Joeri Exelmans 2025-11-01 13:56:36 +01:00
• be7fcb6c8a
  Release 0.1.4 v0.1.4 Anand Balakrishnan 2023-10-31 13:17:12 -07:00
• 46f0f60bc0
  fix: semantics for bounded eventually Anand Balakrishnan 2023-10-31 12:08:36 -07:00
• a295f21049
  ci: separate rust and python test sessions Anand Balakrishnan 2023-10-18 16:38:06 -07:00
• eab6e219ef
  ci: add cache for coverage Anand Balakrishnan 2023-10-17 12:46:45 -07:00
• 7a68fd29d7
  fix(pyargus): import TypeAlias from extensions for older python Anand Balakrishnan 2023-10-17 12:39:25 -07:00
• e9b17f1213
  ci: install mamba on CI Anand Balakrishnan 2023-10-17 12:15:18 -07:00
• f5f0b3eb28
  ci: fix nox lint tag vs session Anand Balakrishnan 2023-10-17 12:07:56 -07:00
• 47b91e4ee4
  ci: fix cache string Anand Balakrishnan 2023-10-17 12:06:34 -07:00
• dc834bd8be
  test(pyargus): add more test cases Anand Balakrishnan 2023-10-17 12:03:52 -07:00
• e28e77f13f
  ci: use nox for everything Anand Balakrishnan 2023-10-17 11:58:06 -07:00
• add6415c9d
  fix(argus): use the correct timestamp for wedge iter Anand Balakrishnan 2023-10-15 23:56:46 -07:00
• 59cbf0eb30
  ci: don't fail fast Anand Balakrishnan 2023-10-15 22:17:30 -07:00
• c40025ae33
  fix(ci): install mtl as a test dependency Anand Balakrishnan 2023-10-15 14:51:31 -07:00
• a92b4c1b9d
  ignore proc-macro crage for codecov Anand Balakrishnan 2023-10-15 14:45:47 -07:00
• 55104f9051
  fix(argus): bug in semantics Anand Balakrishnan 2023-10-15 14:45:23 -07:00
• 77a9106e8b
  test(pyargus): add tests comparing semantics against metric-temporal-logic Anand Balakrishnan 2023-10-15 14:39:09 -07:00
• 192bb20380
  docs: add codecov badge Anand Balakrishnan 2023-10-15 12:29:47 -07:00
• 63e93f82ce
  fix(ci): use mamba nox backend only if it exists Anand Balakrishnan 2023-10-15 11:56:13 -07:00
• 1fc37c9995
  fix(ci): use nox for coverage Anand Balakrishnan 2023-10-15 11:28:01 -07:00
• cb8f6bba5a
  ci: add coverage to CI Anand Balakrishnan 2023-10-15 11:15:17 -07:00
• 0c69d52379
  fix(argus): explicitly derive AnyExpr Anand Balakrishnan 2023-10-15 11:14:44 -07:00
• ecef2b266d
  fix(tests): correct coverage command for pytest Anand Balakrishnan 2023-10-14 23:16:32 -07:00
• eea3065b4e chore: add more PyPI classifiers Anand Balakrishnan 2023-10-13 16:24:59 -07:00
• fb72e60a0a feat(pyargus): add __str__ methods for Expr Anand Balakrishnan 2023-10-13 16:18:02 -07:00
• 69daf21abe chore: add PyPI badges Anand Balakrishnan 2023-10-13 15:53:39 -07:00
• 31845b61ea ci: prevent docs from being overwritten Anand Balakrishnan 2023-10-13 15:44:16 -07:00
• 9ccf4ec320 docs: redirect from index to dev correctly Anand Balakrishnan 2023-10-13 15:42:15 -07:00
• 08085dabd9 Release 0.1.3 Anand Balakrishnan 2023-10-13 15:38:55 -07:00
• dbd20fa0cd docs: redirect from index to dev Anand Balakrishnan 2023-10-13 15:36:38 -07:00
• f510f0067b fix(argus): weird lex errors Anand Balakrishnan 2023-10-13 15:21:11 -07:00
• c522b17c88 fix(docs): multiversion command Anand Balakrishnan 2023-10-13 14:32:21 -07:00
• 2ed91f6a74 docs: use sphinx-multiversion for version selector Anand Balakrishnan 2023-10-13 14:27:17 -07:00
• a7431ce424 feat(argus): don't just panic on failed number parsing Anand Balakrishnan 2023-10-13 13:37:07 -07:00
• 141f7d3983 ci: make hypothesis explain failures Anand Balakrishnan 2023-10-13 13:36:09 -07:00
• e7b1cca5c1 tests(pyargus): ignore positive overflow errors in expr generation... Anand Balakrishnan 2023-10-13 13:19:56 -07:00
• 7591972481 ci: get Rust backtrace for tests Anand Balakrishnan 2023-10-13 13:14:08 -07:00
• 80cba615e8 ci: update github actions email? Anand Balakrishnan 2023-10-13 13:08:58 -07:00
• 47003df4c0 feat(argus): Identifier re-declaration error only if type mismatch Anand Balakrishnan 2023-10-13 13:01:36 -07:00
• f8e570756c
  test(pyargus): better test for expr_gen Anand Balakrishnan 2023-10-13 11:08:40 -07:00
• c68620dfdd
  fix(argus): correctly handle untyped vars and recursion Anand Balakrishnan 2023-10-12 16:28:22 -07:00
• 3880356c66
  feat(argus): add Display trait for Expr Anand Balakrishnan 2023-10-12 16:27:02 -07:00
• 4f33300d1c
  test(pyargus): add better testing for parsing expressions Anand Balakrishnan 2023-10-12 16:22:03 -07:00
• 5da441db42 tests(pyargus): add tests for parsing expressions Anand Balakrishnan 2023-10-11 18:05:54 -07:00
• 019797f344 fix(argus): parse errors Anand Balakrishnan 2023-10-11 17:49:56 -07:00
• 9d0f7ef2ee chore(argus): bump chumsky alpha version Anand Balakrishnan 2023-10-11 14:19:06 -07:00
• d68527029f
  ci(docs): push the generated tree to gh-pages Anand Balakrishnan 2023-10-06 16:34:36 -07:00
• 5389278569
  ci(docs): use tree to generate doc index Anand Balakrishnan 2023-10-06 16:22:24 -07:00
• 13194041e3
  Release 0.1.2 Anand Balakrishnan 2023-10-06 16:07:46 -07:00
• 083848261d
  docs: add version switcher do documentation Anand Balakrishnan 2023-10-06 16:03:53 -07:00
• 7ce056b471
  refactor!(argus): combine co-dependent crates Anand Balakrishnan 2023-10-06 15:40:20 -07:00
• dc71a51df3
  feat(pyargus): use version from Cargo Anand Balakrishnan 2023-10-06 14:34:10 -07:00
• 411b144761
  ci(docs): fixed copy arguments for gh-pages Anand Balakrishnan 2023-10-06 14:08:13 -07:00
• 1a927f89f5
  ci(docs): fixed shell arguments + moved Anand Balakrishnan 2023-10-06 14:02:37 -07:00
• 0a2d91fc68
  ci(docs): add workflow to publish docs Anand Balakrishnan 2023-10-06 13:59:13 -07:00
• 33dbf2c35a
  docs: add instructions for PyPI package Anand Balakrishnan 2023-10-06 13:58:45 -07:00
• eb2c32637b
  ci: run on tag pushes too [ci skip] Anand Balakrishnan 2023-10-06 13:58:24 -07:00
• 7d598718a3
  ci: add a manually triggered workflow for releasing the project to pypi proper [skip ci] Anand Balakrishnan 2023-10-06 13:27:00 -07:00
• 2e79054d54
  ci: use maturin for testpypi releases Anand Balakrishnan 2023-10-06 13:08:50 -07:00
• 96b5dfae1f
  add ruff and flake8 to conda environment spec Anand Balakrishnan 2023-10-06 13:08:26 -07:00
• 97ca1e3e70
  ci: add rustfmt to linting CI Anand Balakrishnan 2023-10-06 12:57:26 -07:00
• a4ed00b02d
  ci: make the CI simpler for both, release and tests Anand Balakrishnan 2023-10-06 12:53:28 -07:00
• 22adbdf1a1
  ci: use trusted publisher config for release Anand Balakrishnan 2023-10-06 12:13:35 -07:00
• 3fc4486883
  docs: add metadata to Cargo.toml files [skip ci] Anand Balakrishnan 2023-10-06 11:44:04 -07:00
• 30819b6b9c
  ci: run release in a specific environment [skip ci] Anand Balakrishnan 2023-10-06 11:27:39 -07:00
• 5703da6ace
  ci: let the workflow be used for dev branch Anand Balakrishnan 2023-10-06 01:17:19 -07:00
• fa3345846b
  ci: set the test pypi url [skip ci] Anand Balakrishnan 2023-10-06 01:04:01 -07:00
• 16ec443758
  ci: only 1 version needed for release [skip ci] Anand Balakrishnan 2023-10-06 00:54:33 -07:00
• 1ea0faf327
  Release 0.1.1 Anand Balakrishnan 2023-10-06 00:30:42 -07:00
• 53e0710558
  fix(parser): get rid of redundant clones on &str Anand Balakrishnan 2023-10-06 00:27:04 -07:00
• 81acf06e69
  refactor!(pyargus): rename python package to minimize ambiguity in PyPI Anand Balakrishnan 2023-10-06 00:16:15 -07:00
• 017cecc8a4
  ci: add a manually triggered workflow for releasing the project to test.pypi [skip ci] Anand Balakrishnan 2023-10-06 00:14:22 -07:00
• c9c3778ce2
  ci: try to generate lockfile before caching Anand Balakrishnan 2023-10-05 23:43:06 -07:00
• 29040fd0e6
  fix(ci): don't have to specify interpreter for maturin develop Anand Balakrishnan 2023-10-05 23:34:11 -07:00
• 22479aa7af
  fix(ci): don't let cargo run test for pyargus Anand Balakrishnan 2023-10-05 23:29:27 -07:00
• ca96c75af8
  fix(ci): remember that the CI script is only for testing Anand Balakrishnan 2023-10-05 23:06:48 -07:00
• db24e3c172
  ci: try using --no-index for pip Anand Balakrishnan 2023-10-05 22:50:49 -07:00
• cc74411d95
  fix(ci): try to install for pytest from wheel Anand Balakrishnan 2023-10-05 17:07:34 -07:00
• 1a4d8cc845
  fix(ci): cache key should be the singla Cargo.lock Anand Balakrishnan 2023-10-05 16:53:54 -07:00
• c8b3a08619
  ci: activate mamba environments for pytest Anand Balakrishnan 2023-10-05 16:51:01 -07:00
• 4c7e3a0fb5
  ci: add a testing CI Anand Balakrishnan 2023-10-05 16:38:43 -07:00
• ca68d32a4b
  cleanup environment files Anand Balakrishnan 2023-10-05 16:38:29 -07:00
• 69c6c6abc2
  docs(pyargus): create initial documentation for pyargus Anand Balakrishnan 2023-10-05 15:42:57 -07:00
• d39e3d3e12
  feat!(pyargus): simplify the API surface Anand Balakrishnan 2023-10-05 15:28:59 -07:00
• 3714cd5936
  begin documentation Anand Balakrishnan 2023-10-04 17:31:53 -07:00
• 4ddca1f177 fix(ci): correctly download wheel artifacts Anand Balakrishnan 2023-10-04 17:38:10 -07:00
• 5f07fca816 ci: macos and windows can't handle install from wheel... Anand Balakrishnan 2023-10-04 17:12:25 -07:00
• 71def21d02 ci: don't run tests for aarch64 (for now) Anand Balakrishnan 2023-10-04 17:06:11 -07:00
• fae3021f6b ci: add permission to upload wheels to release Anand Balakrishnan 2023-10-04 16:58:10 -07:00
• 24f7583f88 fix(pyargus): add typing-extensions as dependency Anand Balakrishnan 2023-10-04 16:51:36 -07:00
• 10e09c0a12 fix(ci): try to make pytest actually detect argus Anand Balakrishnan 2023-10-04 16:48:26 -07:00
• ec0224d511 fix(ci): actually install the test dependencies Anand Balakrishnan 2023-10-04 16:37:03 -07:00
• 1fb8459b3b fix(ci): install test dependencies Anand Balakrishnan 2023-10-04 16:30:49 -07:00
• 2c234a929a ci: add initial CI Anand Balakrishnan 2023-10-04 16:21:07 -07:00
• c616d201aa feat: TRUE and FALSE are keywords in parser Anand Balakrishnan 2023-10-04 15:54:20 -07:00
• e3b020c6ed tests: better cargo test arguments Anand Balakrishnan 2023-10-04 15:51:35 -07:00