s-arash/ascent issues and pull requests

#61 - Ascent at the core of a turn-based game?

Issue - State: closed - Opened by younes-io about 1 month ago - 2 comments

#60 - fix clippy warnings

Issue - State: open - Opened by jjl about 1 month ago - 2 comments

#59 - Fix a couple recently added `cargo clippy` warnings

Pull Request - State: open - Opened by regexident about 2 months ago

#58 - Hide implementation details from generated `struct AscentProgram`

Pull Request - State: closed - Opened by regexident about 2 months ago

#57 - Precise parallel relation size

Issue - State: open - Opened by StarGazerM about 2 months ago - 4 comments

#56 - Map Lattice

Issue - State: open - Opened by derekelkins 2 months ago - 3 comments

#55 - Bump MSRV to 1.73

Pull Request - State: closed - Opened by s-arash 3 months ago

#54 - Fmt

Pull Request - State: closed - Opened by s-arash 3 months ago

#53 - Debuggable lattices

Pull Request - State: closed - Opened by regexident 3 months ago

#53 - Debuggable lattices

Pull Request - State: open - Opened by regexident 3 months ago

#52 - Add example comment hinting at language features added in #25

Pull Request - State: closed - Opened by regexident 3 months ago

#52 - Add example comment hinting at language features added in #25

Pull Request - State: open - Opened by regexident 3 months ago

#51 - Improve compile-time error messages in `ascent_macro`

Pull Request - State: open - Opened by regexident 3 months ago

#51 - Improve compile-time error messages in `ascent_macro`

Pull Request - State: closed - Opened by regexident 3 months ago - 1 comment

#50 - Update a few dependencies

Pull Request - State: closed - Opened by regexident 3 months ago - 1 comment

#50 - Update a few dependencies

Pull Request - State: open - Opened by regexident 3 months ago

#49 - Provide user-friendly and fail-safe API by default (while keeping current API as escape hatch for advanced usage)

Issue - State: open - Opened by regexident 4 months ago - 1 comment

#48 - Generated `AscentProgram` is a leaky abstraction

Issue - State: closed - Opened by regexident 4 months ago - 2 comments

#47 - Use of magic set optimization?

Issue - State: open - Opened by regexident 4 months ago

#47 - Use of magic set optimization?

Issue - State: closed - Opened by regexident 4 months ago - 2 comments

#46 - How can I represent this problem in ascent ?

Issue - State: open - Opened by lMINERl 4 months ago - 1 comment

#46 - How can I represent this problem in ascent ?

Issue - State: closed - Opened by lMINERl 4 months ago - 1 comment

#45 - Move parallel dependencies behind Cargo feature `par`

Pull Request - State: closed - Opened by s-arash 8 months ago

#44 - Composition Feature

Issue - State: open - Opened by JoranHonig 8 months ago - 11 comments

#43 - Arash's current email address?

Issue - State: closed - Opened by kmicinski 8 months ago - 1 comment

#42 - Fix unsoundness of `ascent_base::util::update()`

Pull Request - State: closed - Opened by s-arash 8 months ago

#41 - Unsoundness in `util::update`

Issue - State: closed - Opened by dfoxfranke 9 months ago - 1 comment

#40 - Examples

Pull Request - State: closed - Opened by regexident 10 months ago - 3 comments

#39 - Macro limitations

Issue - State: closed - Opened by regexident 10 months ago - 1 comment

#38 - Add 'LICENSE' file

Pull Request - State: closed - Opened by regexident 10 months ago - 2 comments

#37 - Please add a license

Issue - State: closed - Opened by kliramu 10 months ago - 1 comment

#36 - Migrate to `syn` v2.0

Pull Request - State: closed - Opened by s-arash 10 months ago

#35 - Add basic suite of macro snapshot tests

Pull Request - State: closed - Opened by regexident 11 months ago - 6 comments

#34 - Make the code-gen part of macro-expansion deterministic

Pull Request - State: open - Opened by regexident 11 months ago - 1 comment

#34 - Make the code-gen part of macro-expansion deterministic

Pull Request - State: closed - Opened by regexident 11 months ago - 2 comments

#33 - Fix `bumpalo` CI error

Pull Request - State: closed - Opened by s-arash 11 months ago

#32 - Fix a couple more clippy warnings

Pull Request - State: closed - Opened by regexident 11 months ago

#31 - Fixed some typos

Pull Request - State: closed - Opened by mkatychev 11 months ago - 5 comments

#30 - Calling run() multiple times

Issue - State: open - Opened by B-Lorentz about 1 year ago - 6 comments

#29 - Explicitly specify `workspace.resolver = "2"` in workspace manifest

Pull Request - State: closed - Opened by regexident about 1 year ago

#28 - Merge byods

Pull Request - State: closed - Opened by s-arash about 1 year ago - 2 comments

#27 - fix #21 correct minimal versions of dependencies

Pull Request - State: closed - Opened by s-arash about 1 year ago

#26 - Lattice constrains not enforced on input in ascent_run

Issue - State: open - Opened by B-Lorentz about 1 year ago - 1 comment

#26 - Lattice constrains not enforced on input in ascent_run

Issue - State: open - Opened by B-Lorentz about 1 year ago - 2 comments

#25 - Remove trait bounds from generated program type's declaration

Pull Request - State: open - Opened by regexident about 1 year ago - 3 comments

#25 - Remove trait bounds from generated program type's declaration

Pull Request - State: closed - Opened by regexident about 1 year ago - 5 comments

#24 - Project's current formatting makes it hard to contribute non-trivial changes

Issue - State: open - Opened by regexident about 1 year ago - 12 comments

#24 - Project's current formatting makes it hard to contribute non-trivial changes

Issue - State: closed - Opened by regexident about 1 year ago - 13 comments

#23 - Ascent should omit trait bounds on the generated program's type declaration

Issue - State: closed - Opened by regexident about 1 year ago - 5 comments

#23 - Ascent should omit trait bounds on the generated program's type declaration

Issue - State: open - Opened by regexident about 1 year ago - 3 comments

#22 - Non-final lattice results visible to downstream rules

Issue - State: open - Opened by B-Lorentz about 1 year ago - 6 comments

#21 - ascent_macro: Fix minimal versions (by upgrading syn to v1.0.109, itertools to v0.12)

Issue - State: closed - Opened by regexident about 1 year ago - 5 comments

#20 - Gpu

Pull Request - State: closed - Opened by Michaelgathara about 1 year ago - 2 comments

#19 - MISP computation

Issue - State: closed - Opened by brurucy about 1 year ago - 8 comments

#18 - ascent_macro: Upgrade syn to >= v2

Issue - State: closed - Opened by langston-barrett over 1 year ago - 1 comment

#17 - New release with parallel Ascent

Issue - State: closed - Opened by langston-barrett over 1 year ago - 2 comments

#16 - Compiling ascent at runtime

Issue - State: closed - Opened by jzimmerman135 over 1 year ago - 2 comments

#15 - Private type `…` in public interface (error E0446)

Issue - State: closed - Opened by regexident over 1 year ago - 3 comments

#14 - Fix a couple of typos

Pull Request - State: closed - Opened by regexident almost 2 years ago

#14 - Fix a couple of typos

Pull Request - State: closed - Opened by regexident almost 2 years ago

#14 - Fix a couple of typos

Pull Request - State: closed - Opened by regexident almost 2 years ago

#13 - Remove unnecessary clones

Pull Request - State: closed - Opened by regexident almost 2 years ago - 1 comment

#13 - Remove unnecessary clones

Pull Request - State: closed - Opened by regexident almost 2 years ago - 1 comment

#12 - Silence clippy lints in `ascent!{ … }` & `ascent_run!{ … }` macro expansions

Pull Request - State: open - Opened by regexident almost 2 years ago - 2 comments

#12 - Silence clippy lints in `ascent!{ … }` & `ascent_run!{ … }` macro expansions

Pull Request - State: open - Opened by regexident almost 2 years ago - 1 comment