assura 0.2.0

Contract-first AI-native language. Write what it should do. AI proves it does.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

mod agent;
mod audit;
mod build;
mod check;
mod cli;
mod coverage;
mod diff;
mod doc;
mod fmt_cmd;
mod infer;
mod init;
mod ir_cmd;
mod ir_prompt_cmd;

mod lsp_doctor;
mod repl;
mod shared;
mod test_gen;
mod timing;

#[cfg(test)]
use assura_config::ProjectConfig;
use assura_config::{CompilerConfig, OutputMode, Verbosity};
use assura_parser::ast::*;

use std::fs;
use std::path::Path;
use std::process;
use std::sync::mpsc;
use std::time::{Duration, Instant};

pub(crate) use agent::*;
pub(crate) use audit::*;
pub(crate) use build::*;
pub(crate) use check::*;
pub(crate) use coverage::*;
pub(crate) use diff::*;
pub(crate) use doc::*;
pub(crate) use fmt_cmd::*;
pub(crate) use infer::*;
pub(crate) use init::*;
pub(crate) use ir_cmd::*;

pub(crate) use lsp_doctor::*;
pub(crate) use repl::*;
pub(crate) use shared::*;
pub(crate) use test_gen::*;

pub fn run() {
    cli::run();
}