 ghassmo
|
61ff3ebb3f
cargo fmt
|
4 年之前 |
|
ghassmo
|
8659bc7653
hide warning messages
|
4 年之前 |
|
parazyd
|
b865aeb150
zkas: Implement initial full circuit parsing.
|
4 年之前 |
|
ghassmo
|
bc8640f81b
add constraints to tui mod
|
4 年之前 |
|
ghassmo
|
31993efb71
add tui library
|
4 年之前 |
|
ghassmo
|
21da63eeb6
add ".gitignore" file to bin/ircd
|
4 年之前 |
|
parazyd
|
b996e0266c
zkas: WIP circuit parsing.
|
4 年之前 |
|
parazyd
|
7edbf0ee04
zkas: Move binary to main.rs.
|
4 年之前 |
|
parazyd
|
2cdb452987
zkas/parser: Fix logic bug in check_section_structure().
|
4 年之前 |
|
parazyd
|
1247051866
zkas/parser: Small naming cleanups.
|
4 年之前 |
|
parazyd
|
6b148dcceb
zkas: Add circuit parser skeleton and improve some error handling.
|
4 年之前 |
|
parazyd
|
5b7cff52b3
Update Cargo.lock and Cargo.toml.
|
4 年之前 |
|
parazyd
|
b483c8caf0
zkas: Rework lexer and parser into classes and simplify errors.
|
4 年之前 |
|
parazyd
|
4e8361bf96
zkas: Update Cargo.toml and Cargo.lock
|
4 年之前 |
|
narodnik
|
898f0a00dc
begin to add json rpc server to ircd
|
4 年之前 |
|
narodnik
|
7f31c1181f
remove unused imports
|
4 年之前 |
|
narodnik
|
fe34207435
split ProgramOptions into its own module
|
4 年之前 |
|
narodnik
|
651ad2abec
split ServerConnection into irc_server::IrcServerConnection
|
4 年之前 |
|
narodnik
|
5b5659d9dd
move privmsg and protocol_privmsg to separate submodules
|
4 年之前 |
|
narodnik
|
6081f12b71
move src/bin/ircd.rs to new subcrate in bin/ircd/
|
4 年之前 |
|
narodnik
|
90d859e424
abstract privmsg stuff into a proper Protocol object that uses the jobs manager to ensure the running tasks are properly closed when the channel disconnects.
|
4 年之前 |
|
parazyd
|
bda7ad6c06
zkas/AST: Proper parsing of constant/contract.
|
4 年之前 |
|
narodnik
|
a1e293eb48
add a doc describing p2p irc test usage
|
4 年之前 |
|
narodnik
|
be5378f293
working p2p irc :)
|
4 年之前 |
|
parazyd
|
faa88faec9
zkas: Parse constants and contract.
|
4 年之前 |
|
parazyd
|
0ac6dd8c39
book: Move proofs from Sapling example to zkas/proofs and #include them.
|
4 年之前 |
|
parazyd
|
ed2fdae2da
bin: clippy lints.
|
4 年之前 |
|
parazyd
|
77814d2c08
Use zstd for rocksdb.
|
4 年之前 |
|
narodnik
|
4116b014ec
load program options and interpret privmsg commands
|
4 年之前 |
|
Dastan-glitch
|
3932a971ec
Linting
|
4 年之前 |
