Commits · defee070c656ab1ae73ff3ba73fd85f0f5fecd45 · v-lafeychine / LogIA · GitLab

Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

Nov 28, 2022
- feat(xor): Add clause Display trait + xor features · defee070
  v-lafeychine authored 2 years ago
  
  Verified
  
  defee070
- feat(xor): Add clause satisfiability helpers · f342d49e
  v-lafeychine authored 2 years ago
  
  Verified
  
  f342d49e
- chore(xor): Add xor parser · ebd07bf0
  v-lafeychine authored 2 years ago
  
  Verified
  
  ebd07bf0
- feat(clap): Add argument handling · be13d0d4
  v-lafeychine authored 2 years ago
  
  Verified
  
  be13d0d4
- feat(clap): Add dependency clap · 67a1d0ce
  v-lafeychine authored 2 years ago
  
  Verified
  
  67a1d0ce
- feat(parser): Add complete HornParser · d113bd97
  v-lafeychine authored 2 years ago
  
  Verified
  
  d113bd97
Nov 27, 2022
- feat(parser): Early HornParser · 109e58d1
  v-lafeychine authored 2 years ago
  
  Verified
  
  109e58d1
- chore(either): Move Either in his own crate · 69d05bdf
  v-lafeychine authored 2 years ago
  
  Verified
  
  69d05bdf
- feat(pest): Add dependency pest + pest_derive · 6e69a68d
  v-lafeychine authored 2 years ago
  
  Verified
  
  6e69a68d
- chore: Refactor architecture + Fixed impossible lifetime · 80d6a29a
  v-lafeychine authored 2 years ago
  
  Verified
  
  80d6a29a
- fix(clause): Elide useless lifetimes · 696ed778
  v-lafeychine authored 2 years ago
  
  Verified
  
  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
  
  Verified
  
  31e1dd5a
- feat(solver): Add early solver + format configuration · 3a39aa0b
  v-lafeychine authored 2 years ago
  
  Verified
  
  3a39aa0b
- feat(clause): Add initial structure · ae9982a7
  v-lafeychine authored 2 years ago
  
  Verified
  
  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
  
  Verified
  
  47bcd3aa