Commits · b3385d5ad9e19821181b9a0c99ffd0cf533c52f8 · v-lafeychine / LogIA

Dec 04, 2022
- the industrial revolution and its consequences have been a distaster for mankind · b3385d5a
  nartan authored 2 years ago
  
  b3385d5a
- ye who reads this, 'tis too late, i am beyond saving · a8474d43
  nartan authored 2 years ago
  
  a8474d43
- i transcend dimensions, i am a being of pure conflicts and resolution, i am one with the rebase · a08dc6c3
  nartan authored 2 years ago
  
  a08dc6c3
- i see him with his tentacles and immense eyes, cthulu is calling to me · 066c2814
  nartan authored 2 years ago
  
  066c2814
- fixed clippy warnings · d8efcdef
  nartan authored 2 years ago
  
  d8efcdef
- added tests for hornsat · 7b3dc2e0
  nartan authored 2 years ago
  
  7b3dc2e0
- so many more to go · ed57ef13
  nartan authored 2 years ago
  
  ed57ef13
- added tests, fixed termination problem in while loop · 7f152636
  nartan authored 2 years ago
  
  7f152636
- more conflicts · 7de5c433
  nartan authored 2 years ago
  
  7de5c433
- rebasing · cd871b91
  nartan authored 2 years ago
  
  cd871b91
- feat(log): Add trace for XorSolver · c94dfb43
  v-lafeychine authored 2 years ago
  
  c94dfb43
- feat(log): Toggle trace from CLI · cad70e37
  v-lafeychine authored 2 years ago
  
  cad70e37
- feat(log): Add dependencies and early logger · bfdc1445
  v-lafeychine authored 2 years ago
  
  bfdc1445
- chore(trace): Use Option<Model> instead of Either<Model, Trace> · 863384fd
  v-lafeychine authored 2 years ago
  
  863384fd
Nov 29, 2022
- fix(test): Valuations comparison · 74542b1e
  v-lafeychine authored 2 years ago
  
  74542b1e
- fix(xor): Add failure + test · 28c35c42
  v-lafeychine authored 2 years ago
  
  28c35c42
- chore(xor): Refactor · bbe8b95d
  v-lafeychine authored 2 years ago
  
  bbe8b95d
- chore: Refactor + Add XOR example test · 87ce1b86
  v-lafeychine authored 2 years ago
  
  87ce1b86
- feat(xor): Add early xor solver · 69397f2d
  v-lafeychine authored 2 years ago
  
  69397f2d
Nov 28, 2022
- feat(xor): Add clause Display trait + xor features · defee070
  v-lafeychine authored 2 years ago
  
  defee070
- feat(xor): Add clause satisfiability helpers · f342d49e
  v-lafeychine authored 2 years ago
  
  f342d49e
- chore(xor): Add xor parser · ebd07bf0
  v-lafeychine authored 2 years ago
  
  ebd07bf0
- feat(clap): Add argument handling · be13d0d4
  v-lafeychine authored 2 years ago
  
  be13d0d4
- feat(clap): Add dependency clap · 67a1d0ce
  v-lafeychine authored 2 years ago
  
  67a1d0ce
- feat(parser): Add complete HornParser · d113bd97
  v-lafeychine authored 2 years ago
  
  d113bd97
Nov 27, 2022
- feat(parser): Early HornParser · 109e58d1
  v-lafeychine authored 2 years ago
  
  109e58d1
- chore(either): Move Either in his own crate · 69d05bdf
  v-lafeychine authored 2 years ago
  
  69d05bdf
- feat(pest): Add dependency pest + pest_derive · 6e69a68d
  v-lafeychine authored 2 years ago
  
  6e69a68d
- chore: Refactor architecture + Fixed impossible lifetime · 80d6a29a
  v-lafeychine authored 2 years ago
  
  80d6a29a
- fix(clause): Elide useless lifetimes · 696ed778
  v-lafeychine authored 2 years ago
  
  696ed778
- renamed variables which previously caused error · db4870d1
  nartan authored 2 years ago
  
  db4870d1
- documentation changes · c741ae24
  nartan authored 2 years ago
  
  c741ae24
- fixed some formatting · 364c415b
  nartan authored 2 years ago
  
  364c415b
- improved representation of horn clauses · 7cb79a7d
  nartan authored 2 years ago
  
  7cb79a7d
- fix(horn): Implement literals function to Horn clauses · 31e1dd5a
  v-lafeychine authored 2 years ago
  
  31e1dd5a
- feat(solver): Add early solver + format configuration · 3a39aa0b
  v-lafeychine authored 2 years ago
  
  3a39aa0b
- feat(clause): Add initial structure · ae9982a7
  v-lafeychine authored 2 years ago
  
  ae9982a7
Nov 25, 2022
- added basic structures · bb95a302
  nartan authored 2 years ago
  
  bb95a302
Nov 23, 2022
- added structures for hnf, some of them are more generic · a21b0e82
  nartan authored 2 years ago
  
  a21b0e82
- Initial commit · 47bcd3aa
  v-lafeychine authored 2 years ago and v-lafeychine committed 2 years ago
  
  47bcd3aa