{"header":{"message":"Fix 1-based ⚡0-based error","description":null,"timestamp":"2020-12-16T12:30:18.37339089Z","authors":[{"email":"malte.tammena@gmx.de","full_name":"Malte Tammena","name":"megamanmalte"}]},"hash":"II5MBGXDOLONI4VZQLKT5KXRKTPMVWPQLG4BFVZYEZUL2TPOLXXAC","authors":[],"deps":{"hashes":[["II5MBGXDOLONI4VZQLKT5KXRKTPMVWPQLG4BFVZYEZUL2TPOLXXAC","Fix 1-based ⚡0-based error"],["AA",null],["IVJRMWJO6MEVIPXCXY4OTDWX5TPD57OW7TW4W6T6E5KK4WM5L5OAC","Implement a simplistic solver"],["GMDVCCTQR3HD6RRYOEAIB5IO2IE5OOCXYAVZT3FL7CNRZLRSXORQC","Initialize backend"],["3CSGDKWGFCSMIDGXBJS6PJM6XLISTSOCTASYWWCOI5UI36VS4OEQC","Server static files and the index page"],["AH2SBQVIRKCRNKLMJ4CWGNHVCX4JUZ6MXYK274LBDMZFO7NY6O4AC","Add dummy response to querys to `/solve?...`"],["ITLQMQWA6UA33O72LZEDIRY3JAQU7AVD3V4U4DUKR2RXCON66PLAC","Implement parsing for route /solve?"],["VPJAO7KEJRTWVKAA4MBIQVIKX2V6PNRAOGEWHICKVSEQD4D277YQC","Add clingo and rocket dependencies"]],"deps":["IVJRMWJO6MEVIPXCXY4OTDWX5TPD57OW7TW4W6T6E5KK4WM5L5OAC"],"known":["GMDVCCTQR3HD6RRYOEAIB5IO2IE5OOCXYAVZT3FL7CNRZLRSXORQC","VPJAO7KEJRTWVKAA4MBIQVIKX2V6PNRAOGEWHICKVSEQD4D277YQC","3CSGDKWGFCSMIDGXBJS6PJM6XLISTSOCTASYWWCOI5UI36VS4OEQC","ITLQMQWA6UA33O72LZEDIRY3JAQU7AVD3V4U4DUKR2RXCON66PLAC","AH2SBQVIRKCRNKLMJ4CWGNHVCX4JUZ6MXYK274LBDMZFO7NY6O4AC"]},"hunks":[{"Replacement":{"inode":{"change":3,"pos":28},"path":"backend/src/main.rs","line":2,"ins":{"up_context":[{"change":3,"pos":60}],"down_context":[{"change":3,"pos":47}],"flag":"","start":0,"end":91,"inode":{"change":3,"pos":28}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":60},"to":{"change":2,"start":0,"end":64},"introduced_by":2}],"inode":{"change":3,"pos":28}},"ins_contents":[{"Add":"use ::clingo::ClingoError;"},{"Add":"use rocket::{get, request::FromQuery, response::Debug, routes};"}],"del_contents":[{"Del":"use rocket::{get, response::Debug, request::FromQuery, routes};\n"}]}},{"Edit":{"inode":{"change":3,"pos":28},"path":"backend/src/main.rs","line":5,"atom":{"EdgeMap":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":101},"to":{"change":3,"start":61,"end":83},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":108},"to":{"change":3,"start":61,"end":83},"introduced_by":3}],"inode":{"change":3,"pos":28}}},"contents":[{"Del":"use thiserror::Error;\n"}]}},{"Replacement":{"inode":{"change":3,"pos":28},"path":"backend/src/main.rs","line":6,"ins":{"up_context":[{"change":3,"pos":124}],"down_context":[{"change":3,"pos":108}],"flag":"","start":92,"end":114,"inode":{"change":3,"pos":28}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":124},"to":{"change":2,"start":65,"end":92},"introduced_by":2}],"inode":{"change":3,"pos":28}},"ins_contents":[{"Add":"use thiserror::Error;"}],"del_contents":[{"Del":"use ::clingo::ClingoError;\n"}]}},{"Edit":{"inode":{"change":3,"pos":28},"path":"backend/src/main.rs","line":11,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":165}],"down_context":[{"change":3,"pos":165}],"flag":"","start":115,"end":145,"inode":{"change":3,"pos":28}}},"contents":[{"Add":"use crate::clingo::ZeroBased;"}]}},{"Replacement":{"inode":{"change":3,"pos":28},"path":"backend/src/main.rs","line":16,"ins":{"up_context":[{"change":3,"pos":205}],"down_context":[{"change":3,"pos":188}],"flag":"","start":146,"end":218,"inode":{"change":3,"pos":28}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":205},"to":{"change":2,"start":93,"end":108},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":108},"to":{"change":3,"start":222,"end":257},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":222},"to":{"change":3,"start":222,"end":257},"introduced_by":3}],"inode":{"change":3,"pos":28}},"ins_contents":[{"Add":" size: u32,"},{"Add":" fixed_queens: Vec<(ZeroBased, ZeroBased)>,"}],"del_contents":[{"Del":" size: i32,\n"},{"Del":" fixed_queens: Vec<(u32, u32)>,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":28},"path":"backend/src/main.rs","line":43,"ins":{"up_context":[{"change":3,"pos":200}],"down_context":[{"change":3,"pos":229}],"flag":"","start":219,"end":270,"inode":{"change":3,"pos":28}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":200},"to":{"change":3,"start":200,"end":229},"introduced_by":3}],"inode":{"change":3,"pos":28}},"ins_contents":[{"Add":" queens: Vec<(ZeroBased, ZeroBased)>,"}],"del_contents":[{"Del":" queens: Vec<(u32, u32)>,\n"}]}},{"Edit":{"inode":{"change":3,"pos":28},"path":"backend/src/main.rs","line":85,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":2060}],"down_context":[{"change":3,"pos":2060}],"flag":"","start":271,"end":320,"inode":{"change":3,"pos":28}}},"contents":[{"Add":" .map(ZeroBased::new)"}]}},{"Edit":{"inode":{"change":3,"pos":28},"path":"backend/src/main.rs","line":89,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":2232}],"down_context":[{"change":3,"pos":2232}],"flag":"","start":321,"end":370,"inode":{"change":3,"pos":28}}},"contents":[{"Add":" .map(ZeroBased::new)"}]}},{"Replacement":{"inode":{"change":3,"pos":1079},"path":"backend/src/clingo.rs","line":1,"ins":{"up_context":[{"change":3,"pos":1079}],"down_context":[{"change":2,"pos":476}],"flag":"","start":371,"end":451,"inode":{"change":3,"pos":1079}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1079},"to":{"change":2,"start":418,"end":476},"introduced_by":2}],"inode":{"change":3,"pos":1079}},"ins_contents":[{"Add":"use clingo::{Control, Part, ShowType, SolveMode, Symbol};"},{"Add":"use serde::Serialize;"}],"del_contents":[{"Del":"use clingo::{Control, ShowType, Symbol, Part, SolveMode};\n"}]}},{"Replacement":{"inode":{"change":3,"pos":1079},"path":"backend/src/clingo.rs","line":4,"ins":{"up_context":[{"change":2,"pos":477}],"down_context":[{"change":2,"pos":531}],"flag":"","start":452,"end":506,"inode":{"change":3,"pos":1079}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":477},"to":{"change":2,"start":477,"end":531},"introduced_by":2}],"inode":{"change":3,"pos":1079}},"ins_contents":[{"Add":"use crate::{SolveError, SolveRequest, SolveResponse};"}],"del_contents":[{"Del":"use crate::{SolveRequest, SolveResponse, SolveError};\n"}]}},{"Replacement":{"inode":{"change":3,"pos":1079},"path":"backend/src/clingo.rs","line":8,"ins":{"up_context":[{"change":2,"pos":598}],"down_context":[{"change":2,"pos":786}],"flag":"","start":507,"end":687,"inode":{"change":3,"pos":1079}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":598},"to":{"change":2,"start":598,"end":786},"introduced_by":2}],"inode":{"change":3,"pos":1079}},"ins_contents":[{"Add":" { queen (I, 1..n) } = 1 :- I = 1..n."},{"Add":" { queen (1..n, J) } = 1 :- J = 1..n."},{"Add":" :- { queen (D - J, J) } > 1, D = 2..2 * n."},{"Add":" :- { queen (D + J, J) } > 1, D = 1 - n..n - 1."}],"del_contents":[{"Del":" { queen (I, 0..n-1) } = 1 :- I = 0..n-1.\n { queen (0..n-1, J) } = 1 :- J = 0..n-1.\n :- { queen (D - J, J) } > 1, D = 2..2 * (n-1).\n :- { queen (D + J, J) } > 1, D = n..n - 2.\n"}]}},{"Edit":{"inode":{"change":3,"pos":1079},"path":"backend/src/clingo.rs","line":13,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":790}],"down_context":[{"change":2,"pos":790}],"flag":"","start":688,"end":1214,"inode":{"change":3,"pos":1079}}},"contents":[{"Add":""},{"Add":"#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize)]"},{"Add":"#[serde(transparent)]"},{"Add":"pub struct ZeroBased(T);"},{"Add":""},{"Add":"#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize)]"},{"Add":"#[serde(transparent)]"},{"Add":"pub struct OneBased(T);"},{"Add":""},{"Add":"impl OneBased {"},{"Add":" pub fn new(num: u32) -> Self {"},{"Add":" debug_assert!(num >= 1);"},{"Add":" OneBased(num)"},{"Add":" }"},{"Add":" pub fn raw(&self) -> u32 {"},{"Add":" self.0"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"impl ZeroBased {"},{"Add":" pub fn new(num: u32) -> Self {"},{"Add":" ZeroBased(num)"},{"Add":" }"},{"Add":" pub fn raw(&self) -> u32 {"},{"Add":" self.0"},{"Add":" }"},{"Add":"}"}]}},{"Replacement":{"inode":{"change":3,"pos":1079},"path":"backend/src/clingo.rs","line":45,"ins":{"up_context":[{"change":2,"pos":960}],"down_context":[{"change":2,"pos":1020}],"flag":"","start":1215,"end":1282,"inode":{"change":3,"pos":1079}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":960},"to":{"change":2,"start":960,"end":1020},"introduced_by":2}],"inode":{"change":3,"pos":1079}},"ins_contents":[{"Add":" let base_parameter = [Symbol::create_number(req.size as i32)];"}],"del_contents":[{"Del":" let base_parameter = [Symbol::create_number(req.size)];\n"}]}},{"Replacement":{"inode":{"change":3,"pos":1079},"path":"backend/src/clingo.rs","line":56,"ins":{"up_context":[{"change":2,"pos":1374}],"down_context":[{"change":2,"pos":1443}],"flag":"","start":1283,"end":1373,"inode":{"change":3,"pos":1079}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1374},"to":{"change":2,"start":1374,"end":1443},"introduced_by":2}],"inode":{"change":3,"pos":1079}},"ins_contents":[{"Add":" let mut response = SolveResponse {"},{"Add":" id: req.id,"},{"Add":" queens: vec![],"},{"Add":" };"}],"del_contents":[{"Del":" let mut response = SolveResponse { id: req.id, queens: vec![] };\n"}]}},{"Replacement":{"inode":{"change":3,"pos":1079},"path":"backend/src/clingo.rs","line":65,"ins":{"up_context":[{"change":2,"pos":1645}],"down_context":[{"change":2,"pos":1866}],"flag":"","start":1374,"end":1629,"inode":{"change":3,"pos":1079}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1645},"to":{"change":2,"start":1645,"end":1866},"introduced_by":2}],"inode":{"change":3,"pos":1079}},"ins_contents":[{"Add":" let x_param = OneBased(params[0].number()? as u32);"},{"Add":" let y_param = OneBased(params[1].number()? as u32);"},{"Add":" response.queens.push((x_param.into(), y_param.into()));"},{"Add":" }"},{"Add":" _ => unreachable!(),"}],"del_contents":[{"Del":" let x_param = params[0].number()?;\n let y_param = params[1].number()?;\n response.queens.push((x_param as u32, y_param as u32));\n },\n _ => unreachable!()\n"}]}},{"Edit":{"inode":{"change":3,"pos":1079},"path":"backend/src/clingo.rs","line":75,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":1081}],"down_context":[],"flag":"","start":1630,"end":1881,"inode":{"change":3,"pos":1079}}},"contents":[{"Add":"impl From> for ZeroBased {"},{"Add":" fn from(num: OneBased) -> Self {"},{"Add":" ZeroBased(num.0 - 1)"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"impl From> for OneBased {"},{"Add":" fn from(num: ZeroBased) -> Self {"},{"Add":" OneBased(num.0 + 1)"},{"Add":" }"},{"Add":"}"}]}}],"owner":"megamanmalte","repo":"visual-queens","token":"2XTbNBHKygWMTV/1y1zRzpgn6gugs/sBOxfHA4uaeYM=","login":null}

…

Dependencies

Change contents