Vincent Esche

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

4

The project's current code formatting suffers from a couple of issues, affect: tl;dr: For the sake of making contributions hassle-free it would arguably be preferable to revert to Rust's default...

Remove trait bounds from generated program type's declaration

1

Fixes https://github.com/s-arash/ascent/issues/23

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

5

For generic programs ascent currently requires something along the following: ```rust ascent! { pub struct AscentProgram; relation dummy(T); // ... } ``` or ```rust ascent! { pub struct AscentProgram where...

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

1

Given a program ```toml # Cargo.toml [dependencies] ascent = "0.4.0" ``` ```rust // main.rs use ascent::ascent; ascent! { relation edge(i32, i32); relation path(i32, i32); path(x, y)

[bug] External command spawns Tauri app clone and stalls, until clone app is closed

2

### Describe the bug Running a third-party function from `src-tauri/srcmain.rs` that spawns a call to an external command-line tool through an env var causes the Tauri app to … 1....

Add more methods for resolving definitions from AST to their corresponding HIR types

3

In order to be able to add these methods with consistent naming I had to also rename two existing methods that would otherwise be conflicting/confusing: `Semantics::to_module_def(&self, file: FileId) -> Option`...

There a couple of things wrong with this benchmark. 1. The benchmark does not make use of the calculated value. Running the same algorithm in Rust as is would make...

Clean up generics for a more consistent naming scheme

3

Currently the project uses an inconsistent naming scheme for generic arguments, which this PR aims to unify: - `K`, `Key` -> `Key` - `V1`, `Val1` -> `Value1` - `V2`, `Val2`...