Commit graph

  • 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