Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
Overview
Active
Stale
All
Stale branches
1-creating-data-structures-for-hnf
31e1dd5a
·
fix(horn): Implement literals function to Horn clauses
·
Nov 27, 2022
!1
6-fix-horn-clause-litteral-representation
db4870d1
·
renamed variables which previously caused error
·
Nov 27, 2022
!3
7-refactor-architecture
80d6a29a
·
chore: Refactor architecture + Fixed impossible lifetime
·
Nov 27, 2022
!5
5-parser
d113bd97
·
feat(parser): Add complete HornParser
·
Nov 28, 2022
!4
8-argument-handling
ebd07bf0
·
chore(xor): Add xor parser
·
Nov 28, 2022
!6