diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-23 23:28:05 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-03-23 23:28:05 -0300 |
| commit | a98fad877fa9ddacb32898b01e23d588f8df04aa (patch) | |
| tree | 3399847f0ce72d99f8eca00c6ee4d1a71ff70b47 /bin/server.ml | |
| parent | 59dd901fbe76fc1dfc2d0fd3b725c47735f4bb1c (diff) | |
| download | Sakura-a98fad877fa9ddacb32898b01e23d588f8df04aa.tar.gz Sakura-a98fad877fa9ddacb32898b01e23d588f8df04aa.zip | |
Constraint walker and polarity analysis
- Polarity analysis walker on Constraint.t AST
- Cascade constraint re-checking on DELETE and INSERT
- Focused filtering to narrow re-checks to affected tuples only
- Universal variable substitution for targeted constraint re-evaluation
- Constant discovery for early bail-out (trigger_constants)
- Deferred constraint timing with commit boundary
- attach_constraint and commit API in Manipulation
- extend_tuple namespacing fix (variable.attr convention)
- History capping at 128 entries in Database.update_state
- Benchmark binary (bin/bench.ml)
- Design doc (docs/incremental_constraint_checking.org)
Diffstat (limited to 'bin/server.ml')
| -rw-r--r-- | bin/server.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/server.ml b/bin/server.ml index 80f392b..5a59e2e 100644 --- a/bin/server.ml +++ b/bin/server.ml @@ -154,11 +154,11 @@ let print_with_time str = let tm = Unix.localtime now in let orange = "\027[38;5;208m" in let reset = "\027[0m" in - let formatted_time = + let formatted_time = Printf.sprintf "%04d-%02d-%02d %02d:%02d:%02d" (tm.Unix.tm_year + 1900) (tm.Unix.tm_mon + 1) tm.Unix.tm_mday tm.Unix.tm_hour tm.Unix.tm_min tm.Unix.tm_sec - in + in print_endline @@ Printf.sprintf "%s[%s]%s %s" orange formatted_time reset str (* TODO: single-threaded accept loop — one slow or hung client blocks all |