Anand Balakrishnan
9ccf4ec320
docs: redirect from index to dev correctly
2023-10-13 15:42:15 -07:00
Anand Balakrishnan
08085dabd9
Release 0.1.3
...
argus@0.1.3
pyargus@0.1.3
Generated by cargo-workspaces
2023-10-13 15:38:55 -07:00
Anand Balakrishnan
dbd20fa0cd
docs: redirect from index to dev
2023-10-13 15:36:38 -07:00
Anand Balakrishnan
f510f0067b
fix(argus): weird lex errors
...
For inputs like 'G [,20000000000000000000]false', the lexer returns an
error of "found ']' expected something else". The error is not any
better when adding labels to each token group, so I am just discarding
them. If this manifests as a bug down the line, then ¯\_(ツ)_/¯
2023-10-13 15:21:11 -07:00
Anand Balakrishnan
c522b17c88
fix(docs): multiversion command
2023-10-13 14:32:21 -07:00
Anand Balakrishnan
2ed91f6a74
docs: use sphinx-multiversion for version selector
2023-10-13 14:27:17 -07:00
Anand Balakrishnan
a7431ce424
feat(argus): don't just panic on failed number parsing
2023-10-13 13:37:07 -07:00
Anand Balakrishnan
141f7d3983
ci: make hypothesis explain failures
2023-10-13 13:36:09 -07:00
Anand Balakrishnan
e7b1cca5c1
tests(pyargus): ignore positive overflow errors in expr generation...
2023-10-13 13:19:56 -07:00
Anand Balakrishnan
7591972481
ci: get Rust backtrace for tests
2023-10-13 13:14:08 -07:00
Anand Balakrishnan
80cba615e8
ci: update github actions email?
2023-10-13 13:08:58 -07:00
Anand Balakrishnan
47003df4c0
feat(argus): Identifier re-declaration error only if type mismatch
...
`ExprBuilder` throws an error for creating variables only if the type of
the variable declaration doesn't match the previous declaration. The
error message should be better clarified.
2023-10-13 13:01:48 -07:00
Anand Balakrishnan
f8e570756c
test(pyargus): better test for expr_gen
2023-10-13 11:08:40 -07:00
Anand Balakrishnan
c68620dfdd
fix(argus): correctly handle untyped vars and recursion
2023-10-12 16:28:22 -07:00
Anand Balakrishnan
3880356c66
feat(argus): add Display trait for Expr
2023-10-12 16:27:02 -07:00
Anand Balakrishnan
4f33300d1c
test(pyargus): add better testing for parsing expressions
...
- Limit the size of the identifiers, and prevent ambiguity in the
identifiers.
2023-10-12 16:22:03 -07:00
Anand Balakrishnan
5da441db42
tests(pyargus): add tests for parsing expressions
2023-10-11 18:05:54 -07:00
Anand Balakrishnan
019797f344
fix(argus): parse errors
2023-10-11 17:49:56 -07:00
Anand Balakrishnan
9d0f7ef2ee
chore(argus): bump chumsky alpha version
2023-10-11 14:33:15 -07:00
Anand Balakrishnan
d68527029f
ci(docs): push the generated tree to gh-pages
2023-10-06 16:37:06 -07:00
Anand Balakrishnan
5389278569
ci(docs): use tree to generate doc index
2023-10-06 16:22:24 -07:00
Anand Balakrishnan
13194041e3
Release 0.1.2
...
argus@0.1.2
argus-derive@0.1.2
pyargus@0.1.2
Generated by cargo-workspaces
2023-10-06 16:07:46 -07:00
Anand Balakrishnan
083848261d
docs: add version switcher do documentation
2023-10-06 16:03:53 -07:00
Anand Balakrishnan
7ce056b471
refactor!(argus): combine co-dependent crates
...
- argus-core, argus-parser, argus-semantics are highly co-dependent, and
hence should be in the same create.
2023-10-06 15:40:20 -07:00
Anand Balakrishnan
dc71a51df3
feat(pyargus): use version from Cargo
2023-10-06 14:34:10 -07:00
Anand Balakrishnan
411b144761
ci(docs): fixed copy arguments for gh-pages
2023-10-06 14:08:13 -07:00
Anand Balakrishnan
1a927f89f5
ci(docs): fixed shell arguments + moved
2023-10-06 14:02:37 -07:00
Anand Balakrishnan
0a2d91fc68
ci(docs): add workflow to publish docs
2023-10-06 13:59:13 -07:00
Anand Balakrishnan
33dbf2c35a
docs: add instructions for PyPI package
2023-10-06 13:58:45 -07:00
Anand Balakrishnan
eb2c32637b
ci: run on tag pushes too [ci skip]
2023-10-06 13:58:24 -07:00
Anand Balakrishnan
7d598718a3
ci: add a manually triggered workflow for releasing the project to pypi proper [skip ci]
2023-10-06 13:27:00 -07:00
Anand Balakrishnan
2e79054d54
ci: use maturin for testpypi releases
2023-10-06 13:08:50 -07:00
Anand Balakrishnan
96b5dfae1f
add ruff and flake8 to conda environment spec
2023-10-06 13:08:26 -07:00
Anand Balakrishnan
97ca1e3e70
ci: add rustfmt to linting CI
2023-10-06 12:57:26 -07:00
Anand Balakrishnan
a4ed00b02d
ci: make the CI simpler for both, release and tests
2023-10-06 12:53:28 -07:00
Anand Balakrishnan
22adbdf1a1
ci: use trusted publisher config for release
...
See: https://packaging.python.org/en/latest/guides/publishing-package-distribution-releases-using-github-actions-ci-cd-workflows/
2023-10-06 12:13:35 -07:00
Anand Balakrishnan
3fc4486883
docs: add metadata to Cargo.toml files [skip ci]
2023-10-06 11:44:11 -07:00
Anand Balakrishnan
30819b6b9c
ci: run release in a specific environment [skip ci]
2023-10-06 11:27:39 -07:00
Anand Balakrishnan
5703da6ace
ci: let the workflow be used for dev branch
2023-10-06 01:17:19 -07:00
Anand Balakrishnan
fa3345846b
ci: set the test pypi url [skip ci]
2023-10-06 01:04:12 -07:00
Anand Balakrishnan
16ec443758
ci: only 1 version needed for release [skip ci]
2023-10-06 00:54:33 -07:00
Anand Balakrishnan
1ea0faf327
Release 0.1.1
...
argus-core@0.1.1
argus-parser@0.1.1
pyargus@0.1.1
Generated by cargo-workspaces
2023-10-06 00:38:25 -07:00
Anand Balakrishnan
53e0710558
fix(parser): get rid of redundant clones on &str
2023-10-06 00:27:04 -07:00
Anand Balakrishnan
81acf06e69
refactor!(pyargus): rename python package to minimize ambiguity in PyPI
...
skip-checks: true
2023-10-06 00:17:16 -07:00
Anand Balakrishnan
017cecc8a4
ci: add a manually triggered workflow for releasing the project to test.pypi [skip ci]
2023-10-06 00:14:22 -07:00
Anand Balakrishnan
c9c3778ce2
ci: try to generate lockfile before caching
2023-10-05 23:43:06 -07:00
Anand Balakrishnan
29040fd0e6
fix(ci): don't have to specify interpreter for maturin develop
2023-10-05 23:34:11 -07:00
Anand Balakrishnan
22479aa7af
fix(ci): don't let cargo run test for pyargus
2023-10-05 23:29:27 -07:00
Anand Balakrishnan
ca96c75af8
fix(ci): remember that the CI script is only for testing
2023-10-05 23:23:02 -07:00
Anand Balakrishnan
db24e3c172
ci: try using --no-index for pip
2023-10-05 22:50:49 -07:00
