0000000000000000000000000000000000000000 9acb4323f72d8bffd415dcbfa09c740500198bea Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720092941 +0200	commit (initial): Initial commi
9acb4323f72d8bffd415dcbfa09c740500198bea 42e6c5c9d1bf1ba2a3dc4c22898f1fdfe9ac0c03 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720092953 +0200	commit (amend): Initial commit
42e6c5c9d1bf1ba2a3dc4c22898f1fdfe9ac0c03 e0fb1c9c11d125bf27c5a8a24b13e5a706c648d0 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720303256 +0200	commit: move files in wsl
e0fb1c9c11d125bf27c5a8a24b13e5a706c648d0 42e6c5c9d1bf1ba2a3dc4c22898f1fdfe9ac0c03 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720303381 +0200	reset: moving to HEAD^1
42e6c5c9d1bf1ba2a3dc4c22898f1fdfe9ac0c03 75f94fd98ba876c2d704cb9f7f64ea7a3a749aaa Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720303755 +0200	commit: move files from windows to wsl
75f94fd98ba876c2d704cb9f7f64ea7a3a749aaa 42e6c5c9d1bf1ba2a3dc4c22898f1fdfe9ac0c03 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720303831 +0200	reset: moving to HEAD^1
42e6c5c9d1bf1ba2a3dc4c22898f1fdfe9ac0c03 9b2e03640b33b248a70230aaf0aef5781eea4a81 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720304111 +0200	commit: move files from windows to wsl
9b2e03640b33b248a70230aaf0aef5781eea4a81 e0c26f146d6237dfe8763bdd0ead397c2bde2340 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720304180 +0200	commit: feat: add class to represent ranking of statements
e0c26f146d6237dfe8763bdd0ead397c2bde2340 06b391b9178db685d4f3a02b362ea1aa561e14f5 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720551805 +0200	commit: feat: add base rank algorithm draft
06b391b9178db685d4f3a02b362ea1aa561e14f5 9316cb33d03ee3eeff18132f571cd1475572fa57 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720556337 +0200	commit: feat: add rational closure
9316cb33d03ee3eeff18132f571cd1475572fa57 52bedf49ac91d4fdbf26047f550e9d6f4f566f76 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720556793 +0200	commit: feat: move models to draft
52bedf49ac91d4fdbf26047f550e9d6f4f566f76 4d52723a756fc4f26442644d4cdbaadeb347de74 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720628400 +0200	commit: feat: add rank model
4d52723a756fc4f26442644d4cdbaadeb347de74 202c70a389f73239ee74d308dd7aa0871ba05cdc Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720629868 +0200	commit: feat: add rank service
202c70a389f73239ee74d308dd7aa0871ba05cdc a2b17902e8badb4df1f1fd1552ee48786245d139 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720634533 +0200	commit: feat: add defeasible implication model
a2b17902e8badb4df1f1fd1552ee48786245d139 0825d270fef208533180f337b3fc0ac2b83894ac Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720636181 +0200	commit: feat: add knowledge base service
0825d270fef208533180f337b3fc0ac2b83894ac f95de445bc5575ffb3872e12a372f0090ff4d136 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720648970 +0200	commit: feat: replace rank service with rank list
f95de445bc5575ffb3872e12a372f0090ff4d136 eda1c4795805007571fb92ffaec57ba34ea5d2e5 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720650986 +0200	commit: feat: add entailment model
eda1c4795805007571fb92ffaec57ba34ea5d2e5 25699f4dffda270e6e96595e8f4f1f245e5c92d7 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720656715 +0200	commit: feat: add base rank service
25699f4dffda270e6e96595e8f4f1f245e5c92d7 86767dcc2abf442cd7053542fc58f3486d2f1ef6 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720657296 +0200	commit: fix: correct the rank number when adding ranks
86767dcc2abf442cd7053542fc58f3486d2f1ef6 b35070338322dd8f99843a04bbd6e6aeb2a9da23 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720657483 +0200	commit: fix: add dematerialised formulas instead of classical formulas
b35070338322dd8f99843a04bbd6e6aeb2a9da23 77f770f59fa15aa159ffc6373443d8c987a8f32a Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720662532 +0200	commit: feat: add entailment service and model
77f770f59fa15aa159ffc6373443d8c987a8f32a eda7f8853a2375e330bebf15cb3078c7b36b2ac7 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720704302 +0200	commit: feat: add knowledge base model
eda7f8853a2375e330bebf15cb3078c7b36b2ac7 674fa8f96155f7769598298214b8a28c9ea5b0c6 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720711689 +0200	commit: chore: move files to draft
674fa8f96155f7769598298214b8a28c9ea5b0c6 c678cb7fcec4b74467812234aeadb6781a4fea34 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720713517 +0200	commit: fix: adjust rank list to use knowledge base object
c678cb7fcec4b74467812234aeadb6781a4fea34 9fcce2ec6397fb7d808cf03c9456a849afeb8895 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720714837 +0200	commit: refactor: rename the class RankList to Ranking
9fcce2ec6397fb7d808cf03c9456a849afeb8895 4fb0ac249e81d66b7ad7d56528b9c3d01972c8f8 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720723896 +0200	commit: feat: add abstract knowledge base class
4fb0ac249e81d66b7ad7d56528b9c3d01972c8f8 63086fbd1c3f057b539e902675a15d126b34e083 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720728340 +0200	commit: feat: add different types of knowledge base objects
63086fbd1c3f057b539e902675a15d126b34e083 cc11bc9cf4770c5ffa739a3d613899f71154902a Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720732169 +0200	commit: feat: add base rank with Kb objects
cc11bc9cf4770c5ffa739a3d613899f71154902a 316026091f903e695c80b8f8c85fa70fa80d4ffe Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720740857 +0200	commit: feat: add working rational closure
316026091f903e695c80b8f8c85fa70fa80d4ffe 3080bd8866d7f5989f16d64801eb24c5687b1cf8 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720742923 +0200	commit: feat: add jruby
3080bd8866d7f5989f16d64801eb24c5687b1cf8 6fc886eb1d897d4ad79d93bdfd55e0523f3bbb4b Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720749845 +0200	commit: feat: add explanations
6fc886eb1d897d4ad79d93bdfd55e0523f3bbb4b 5376afb89f3b0cdcd66b4812eae57a1dbd4c0509 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720749926 +0200	commit: refactor: remove drafts
5376afb89f3b0cdcd66b4812eae57a1dbd4c0509 b0074a1907e6aa78fea2dab8e3862e795a8d8892 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720797071 +0200	commit: refactor: remove explanations for now
b0074a1907e6aa78fea2dab8e3862e795a8d8892 0000000000000000000000000000000000000000 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720817637 +0200	Branch: renamed refs/heads/main to refs/heads/main
b0074a1907e6aa78fea2dab8e3862e795a8d8892 b0074a1907e6aa78fea2dab8e3862e795a8d8892 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720817637 +0200	Branch: renamed refs/heads/main to refs/heads/main
b0074a1907e6aa78fea2dab8e3862e795a8d8892 d21dadf3cf279001c52ebd6b28df139fdd5e5047 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720833354 +0200	commit: feat: add lexicographic closure
d21dadf3cf279001c52ebd6b28df139fdd5e5047 d2b3d006c4e88248c13eb9e6dd588ab15020e3b1 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720833642 +0200	commit: chore: move code to drafts
d2b3d006c4e88248c13eb9e6dd588ab15020e3b1 20b28d36d10a5fb282a0b1ef33e4b1ab688225c9 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720890723 +0200	commit: feat: add better knowledebase class
20b28d36d10a5fb282a0b1ef33e4b1ab688225c9 974a115ac6257e071bb8a34096fa9f78e1bead9d Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720892354 +0200	commit: feat: add new ranking models
974a115ac6257e071bb8a34096fa9f78e1bead9d 74bec921a0f79db825dfc6a39dae106e9bb81171 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720892701 +0200	commit: refactor: move files to reasoning/models directory
74bec921a0f79db825dfc6a39dae106e9bb81171 e6a7d2d92e4693a40b974f9f35decf8a8a7ae63e Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720893220 +0200	commit: feat: add entailment result class
e6a7d2d92e4693a40b974f9f35decf8a8a7ae63e 64c0633bbad51684f73aff519014f8c8f333e5f8 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720893992 +0200	commit: refactor: move files to common/structures directory
64c0633bbad51684f73aff519014f8c8f333e5f8 79dac99271cf1f770560b4dc323b5aec3766aacc Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720904268 +0200	commit: feat: add new base ranking algorithm
79dac99271cf1f770560b4dc323b5aec3766aacc fe035ef5f6661c0d0183a07e15085289ee56d1df Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720964331 +0200	commit: feat: add rational closure algorithm
fe035ef5f6661c0d0183a07e15085289ee56d1df a5f43416677eea4b6b89bae32a97fadd0673b82e Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720964508 +0200	commit: refactor: rename RationalClosure to RationalReasoner
a5f43416677eea4b6b89bae32a97fadd0673b82e e9f5ed0599ce4482a218e2dae5d07ee1fe9849ed Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720983722 +0200	commit: feat: add lexicographic reasoner
e9f5ed0599ce4482a218e2dae5d07ee1fe9849ed 73a7e71c5dd22291adbdf0f012db04fccb2e371e Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720984219 +0200	commit: refactor: remove jruby as it is no longer needed
73a7e71c5dd22291adbdf0f012db04fccb2e371e 768beb359b0f61c28c35baa94e2c2f5658363852 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720990445 +0200	commit: build: updata java release on pom file
768beb359b0f61c28c35baa94e2c2f5658363852 e2915e447778b23a4328b1fed1abef97a2e6f2b2 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1720997220 +0200	commit: refactor: remove drafts folder
e2915e447778b23a4328b1fed1abef97a2e6f2b2 39ecc1ef1b8fd0db79fe294532168b201cd63eb2 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721165635 +0200	commit: feat: add help commands
39ecc1ef1b8fd0db79fe294532168b201cd63eb2 daadc7e09a1663fa7a11453a3d0e46bd3095f202 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721171510 +0200	commit: feat: add autocompletion for commands
daadc7e09a1663fa7a11453a3d0e46bd3095f202 c92c83b3cb4f93fd4291cf04f568980e0789f2dd Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721176499 +0200	commit: feat: add parser
c92c83b3cb4f93fd4291cf04f568980e0789f2dd 87f5ccd1e544c43943941755f3bf0d5697646c0c Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721226955 +0200	commit: Move parser to different folder
87f5ccd1e544c43943941755f3bf0d5697646c0c 6bc675e58fef88ba1a243c3a96dc16cb03c2b0cb Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721226981 +0200	commit: feat: add more symbols
6bc675e58fef88ba1a243c3a96dc16cb03c2b0cb 0898bbd3b72bb8696f3c5fcf8f9c022a06ef3908 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721228181 +0200	commit: feat: add validator
0898bbd3b72bb8696f3c5fcf8f9c022a06ef3908 45964c5aa569a5a0be79bf7f3410c0ff1bb8ba49 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721251319 +0200	commit: feat: add handling for loading the knowledge base
45964c5aa569a5a0be79bf7f3410c0ff1bb8ba49 5b72e87bae059087f85d3f0c638634166be0f3bd Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721254707 +0200	commit: feat: add handling for the query command
5b72e87bae059087f85d3f0c638634166be0f3bd 53cb66804824e8071ce01328c94006a797040d10 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721259678 +0200	commit: feat: add ascii table for the rankings
53cb66804824e8071ce01328c94006a797040d10 2528d1bb9efcf79c7b3b6e3c24292972eea19a8e Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721262936 +0200	commit: fix: add empty row when ranking has no removed ranks
2528d1bb9efcf79c7b3b6e3c24292972eea19a8e df8ba9a6745a158a8825efff426ebfa65cefa25c Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721265482 +0200	commit: chore: bump jline from 3.26.2 to 3.26.3
df8ba9a6745a158a8825efff426ebfa65cefa25c 9b1b173f0426433b3c0b8805bbe5d1e257f2e56c Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721265514 +0200	commit: fix: use forward slash instead of backward slash in windows
9b1b173f0426433b3c0b8805bbe5d1e257f2e56c 17820da9d2a484a4cb74eb2c97f49830b0506f0d Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721272648 +0200	commit: feat: add timer fpr the algorithms
17820da9d2a484a4cb74eb2c97f49830b0506f0d a3b857e8615c90807673b72f115c3680e208cde6 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721272818 +0200	commit (amend): feat: add timer for the algorithms
a3b857e8615c90807673b72f115c3680e208cde6 78a192d2f32fd379f2af1a0f6567bb07b168f8e2 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721347771 +0200	commit: feat: make DefeasibleImplication a subclass of Implication
78a192d2f32fd379f2af1a0f6567bb07b168f8e2 3d0ed59265f7e230b648cfca985b2b97feb86a16 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721363527 +0200	commit: feat: add base rank explanation
3d0ed59265f7e230b648cfca985b2b97feb86a16 9db485ad73619e6e64a22553134599dc9bd7bd54 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721506259 +0200	commit: feat: add rational closure explanation
9db485ad73619e6e64a22553134599dc9bd7bd54 820d03be76c26a8bf2d0eb36855f05823195b63b Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721701022 +0200	commit: feat: add lexicographic explanation
820d03be76c26a8bf2d0eb36855f05823195b63b f494c84a104faa72ad232dc864d120e77d23e65c Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721707459 +0200	commit: fix: prevent the infinite rank from being removed
f494c84a104faa72ad232dc864d120e77d23e65c 4905f545b46d8a22b6b30b2b7a4c6d5c3559ea83 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721712936 +0200	commit: refactor: clean up code
4905f545b46d8a22b6b30b2b7a4c6d5c3559ea83 4f70f38b413117b07ad0cc2c4dd67543c31752f7 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721798974 +0200	commit: feat: add javalin
4f70f38b413117b07ad0cc2c4dd67543c31752f7 4f70f38b413117b07ad0cc2c4dd67543c31752f7 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721821015 +0200	checkout: moving from main to webapp
4f70f38b413117b07ad0cc2c4dd67543c31752f7 4f70f38b413117b07ad0cc2c4dd67543c31752f7 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721873601 +0200	checkout: moving from webapp to main
4f70f38b413117b07ad0cc2c4dd67543c31752f7 4f70f38b413117b07ad0cc2c4dd67543c31752f7 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721946506 +0200	checkout: moving from main to webapp
4f70f38b413117b07ad0cc2c4dd67543c31752f7 f7aa76a76db2808e4b711db9580508538ba12633 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721947067 +0200	commit: Move files to to backend
f7aa76a76db2808e4b711db9580508538ba12633 4f70f38b413117b07ad0cc2c4dd67543c31752f7 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721951054 +0200	checkout: moving from webapp to main
4f70f38b413117b07ad0cc2c4dd67543c31752f7 da5b16edf76358cbccd79d1a0d235c2ff25d4f6f Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721957599 +0200	commit: docs: document defeasible implication class
da5b16edf76358cbccd79d1a0d235c2ff25d4f6f b46a99675a481f5b245a427200020672c7d44d46 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721960129 +0200	commit: refactor: refactor code
b46a99675a481f5b245a427200020672c7d44d46 e3bfaace01062e1520b4e286392478f8fa8899e8 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721961614 +0200	commit: docs: add documentation for knowledge base and rank classes
e3bfaace01062e1520b4e286392478f8fa8899e8 5e4a26ed8269d42fd8a29e20c0efeb5c4a864e12 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721968237 +0200	commit: fix: implement ranking as array list
5e4a26ed8269d42fd8a29e20c0efeb5c4a864e12 f1edb00894c3d773e26d4333b0fb7c0499fa3685 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1721971322 +0200	commit: refactor: refactor the exceptionality sequence
f1edb00894c3d773e26d4333b0fb7c0499fa3685 ccf1bb1155814ccd08038cffe400e7a9ddd7d540 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722225260 +0200	commit: refactor: change the structure of the code
ccf1bb1155814ccd08038cffe400e7a9ddd7d540 680713137c014913364806468b703135145d8e63 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722229254 +0200	commit: feat: add entailment view
680713137c014913364806468b703135145d8e63 a7042358af731e6d9df764bc5471f19f2d4c32b3 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722397451 +0200	commit: feat: add query commans for new console app
a7042358af731e6d9df764bc5471f19f2d4c32b3 d44746821df0440ed9c67eb9ffb48c1812c82d3c Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722408618 +0200	commit: feat: add base rank console view
d44746821df0440ed9c67eb9ffb48c1812c82d3c 8571ed1888940cc9eef06377683916d5da499763 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722463495 +0200	commit: feat: add rational and lexical views
8571ed1888940cc9eef06377683916d5da499763 2b182e1bb32b122fbd0be3003657a37b6b457e0c Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722467716 +0200	commit: feat: add rank focus
2b182e1bb32b122fbd0be3003657a37b6b457e0c abb1c840f91e4205667b05b3a0eed1c77878623d Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722467990 +0200	commit: refactor: remove console handler draft
abb1c840f91e4205667b05b3a0eed1c77878623d 0f74305b44e74d52248d59840f5eefe37c11bb89 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722479164 +0200	commit: feat: integrate react frontend for spa
0f74305b44e74d52248d59840f5eefe37c11bb89 66b093537edbebb8e42a954e736552072039a9bc Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722479988 +0200	commit: chore: intialise shadcn ui
66b093537edbebb8e42a954e736552072039a9bc f98512307720527259b6a9f031165954e0c13858 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722572131 +0200	commit: feat: add query card
f98512307720527259b6a9f031165954e0c13858 78a729fb6ca37f6baab290d4d3ce2ef8b5a6c5bb Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722577940 +0200	commit: feat: add backend api routes
78a729fb6ca37f6baab290d4d3ce2ef8b5a6c5bb cb1a9f9e84a5e30507b7d7310111a1acb6cd825a Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722635365 +0200	commit: fix: correct the validation of formulas
cb1a9f9e84a5e30507b7d7310111a1acb6cd825a 2e595d50bf989cfb42811259e240fb0da2abaf8f Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722635405 +0200	commit: feat: add working query card
2e595d50bf989cfb42811259e240fb0da2abaf8f d416fe150ae7ed5e25e8b3a699b3427504f5421f Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722647982 +0200	commit: feat: add routes for getting formulas
d416fe150ae7ed5e25e8b3a699b3427504f5421f 68b884e9c4204d544b122a563547596480943a90 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722648019 +0200	commit: feat: add knowledge base hook
68b884e9c4204d544b122a563547596480943a90 08fe2e843c10dbc2c56678f68f80ad80ef03bc6a Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722649511 +0200	commit: feat: allow formula updates from backend
08fe2e843c10dbc2c56678f68f80ad80ef03bc6a b367ca7d99929587c96cbdd8caf0957fa8094316 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722652211 +0200	commit: feat: add file upload
b367ca7d99929587c96cbdd8caf0957fa8094316 006651b10918556270ed4cf39cd06f424ad776c9 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722653924 +0200	commit: fix: correct input formulas update not submitting
006651b10918556270ed4cf39cd06f424ad776c9 f6ca14c84ea85c0d5ef5a649a004f290caacbd2e Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722656036 +0200	commit: chore: add blank tabs
f6ca14c84ea85c0d5ef5a649a004f290caacbd2e b9e9a2dad2a3683452cbb72c4f2dc9b035f5ce5d Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722668775 +0200	commit: feat: add class to map entailment to json
b9e9a2dad2a3683452cbb72c4f2dc9b035f5ce5d d1aae945657862dbba850c848978fc80f80c223f Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722728723 +0200	commit: feat: add rank table
d1aae945657862dbba850c848978fc80f80c223f cba888d799377ddbaffad6e316892e2c2098b16e Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722745682 +0200	commit: feat: add components to display summary of entailment
cba888d799377ddbaffad6e316892e2c2098b16e 78c09bd27f3f87a2f5d09637b636a24422050472 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722762687 +0200	commit: feat: add components to display base rank algorithm
78c09bd27f3f87a2f5d09637b636a24422050472 efc26f1b76d371b6b72caac260236d63816b7e00 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722805868 +0200	commit: feat: add components to display rational closure
efc26f1b76d371b6b72caac260236d63816b7e00 6a1b266303608b20b8123b10276478b9ff0e25bb Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722840469 +0200	commit: feat: add draft lexicographic closure
6a1b266303608b20b8123b10276478b9ff0e25bb 941a01e8cdc18f13c3db519018aa22d034833778 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722841082 +0200	commit: Remove unstructured app
941a01e8cdc18f13c3db519018aa22d034833778 56b47b97bc6b8b4aad4f432737834bfb2c114a4d Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722913698 +0200	commit: feat: add custom serialization for PlFormula
56b47b97bc6b8b4aad4f432737834bfb2c114a4d cbcac8ff98fcaa65c799dfec1bec259761468654 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722921455 +0200	commit: feat: add base rank
cbcac8ff98fcaa65c799dfec1bec259761468654 894b1a52e43bc2a770bb5b6b52884c8ab14e8f55 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722926240 +0200	commit: feat: add deserialiser for PlFormula
894b1a52e43bc2a770bb5b6b52884c8ab14e8f55 82cc597da0222de6a6e066e8d7cabd720bc2d93b Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722984598 +0200	commit: feat: add route handlers for base rank
82cc597da0222de6a6e066e8d7cabd720bc2d93b 601d7986f271607bd7d106aff07294018d71b1af Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1722990189 +0200	commit: feat: add reasoner
601d7986f271607bd7d106aff07294018d71b1af 4a156e036c34c675ec2f9ac35894f3a49370dd7a Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723081680 +0200	commit: fix: produce correct entailement result
4a156e036c34c675ec2f9ac35894f3a49370dd7a a79971fab8f5e632c968e8a184008a7653e848a6 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723170863 +0200	commit: feat: add knowledge base upload
a79971fab8f5e632c968e8a184008a7653e848a6 4c7edd090c8853afea2054f0dca37e14e868f1d3 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723170892 +0200	commit: feat: add file upload
4c7edd090c8853afea2054f0dca37e14e868f1d3 62988023d82599380b44b0e74e1096211c038082 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723173055 +0200	commit: feat: add query formula card
62988023d82599380b44b0e74e1096211c038082 9c798b5efb8a3b74246edf9249396c008cfdfbcf Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723248647 +0200	commit: feat: add loading bar
9c798b5efb8a3b74246edf9249396c008cfdfbcf d600529a08de413cbb83341b3873d25535498b05 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723254532 +0200	commit: fix: make rank not inherit KnowledgeBase
d600529a08de413cbb83341b3873d25535498b05 4c06c75d869a9d07388290a3e4ff64c61ce1c1dc Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723258225 +0200	commit: feat: add better summary c
4c06c75d869a9d07388290a3e4ff64c61ce1c1dc ddd6f82b6ea388f78022e2bc335dcfb136b66106 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723583744 +0200	commit: feat: add lexicographic entailment component
ddd6f82b6ea388f78022e2bc335dcfb136b66106 d10a6df9d55b6e7796da616ef3e3c4d6e247501b Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723589059 +0200	commit: fix: update rational entailment
d10a6df9d55b6e7796da616ef3e3c4d6e247501b 9c1141fc8d3a0e904244999cae8a56e76f7874d1 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723590045 +0200	commit: feat: add frontend validation
9c1141fc8d3a0e904244999cae8a56e76f7874d1 a0ab76c9b57e6df67e6f7b4fcde917a4fb8b9034 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723594173 +0200	commit: fix: add node types
a0ab76c9b57e6df67e6f7b4fcde917a4fb8b9034 bce3ad0068611aadc84f0d8ba1efa42299206d5c Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723594272 +0200	commit: build: launch to flyctl
bce3ad0068611aadc84f0d8ba1efa42299206d5c 68fab8dd7ceba5b1feeccfcd7da34d7140899a10 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723596319 +0200	pull: Fast-forward
68fab8dd7ceba5b1feeccfcd7da34d7140899a10 99f39c26d84679c501c5f0a9e5b903906690bfd7 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723596367 +0200	commit: chore: add source & target for maven compiler
99f39c26d84679c501c5f0a9e5b903906690bfd7 e21be93a2c618947288cbf8db3dca5abe2fd0dfe Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723596936 +0200	commit: chore: change backslashes to forward slashes
e21be93a2c618947288cbf8db3dca5abe2fd0dfe ebe00313ad80ebb47e3b4b221887e4d3215cff92 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723598993 +0200	pull: Fast-forward
ebe00313ad80ebb47e3b4b221887e4d3215cff92 a7d660f313a28dfd32f530d0ba98ca1921c902d6 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723599762 +0200	commit: build: remove compiler source and target
a7d660f313a28dfd32f530d0ba98ca1921c902d6 6a87198d15d5dbe19c3e772fb7b1d33b51ab1791 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723600817 +0200	commit: Update pom.xml
6a87198d15d5dbe19c3e772fb7b1d33b51ab1791 6a87198d15d5dbe19c3e772fb7b1d33b51ab1791 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723601187 +0200	checkout: moving from main to java/tests
6a87198d15d5dbe19c3e772fb7b1d33b51ab1791 9dbcf76e06aacdc0cc5b281499d0725854968c8e Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723604084 +0200	commit: test(models): add tests for models
9dbcf76e06aacdc0cc5b281499d0725854968c8e 0b1a2d9c7f37f82d13d68428597b225fc6727b62 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723608549 +0200	commit: test(services): add tests for services
0b1a2d9c7f37f82d13d68428597b225fc6727b62 7731318ca9f3ed7697c3e155026a67296479e12d Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723610138 +0200	commit: test(controllers): add test for query input controller
7731318ca9f3ed7697c3e155026a67296479e12d 6a87198d15d5dbe19c3e772fb7b1d33b51ab1791 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723610207 +0200	checkout: moving from java/tests to main
6a87198d15d5dbe19c3e772fb7b1d33b51ab1791 7731318ca9f3ed7697c3e155026a67296479e12d Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723610259 +0200	merge java/tests: Fast-forward
7731318ca9f3ed7697c3e155026a67296479e12d 7731318ca9f3ed7697c3e155026a67296479e12d Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723610573 +0200	checkout: moving from main to frontend
7731318ca9f3ed7697c3e155026a67296479e12d f9b21dea92e6f5a8a9896bfabb2086cbff85164c Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723618930 +0200	commit: feat: add footer
f9b21dea92e6f5a8a9896bfabb2086cbff85164c 7731318ca9f3ed7697c3e155026a67296479e12d Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723618942 +0200	checkout: moving from frontend to main
7731318ca9f3ed7697c3e155026a67296479e12d f9b21dea92e6f5a8a9896bfabb2086cbff85164c Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723618956 +0200	merge frontend: Fast-forward
f9b21dea92e6f5a8a9896bfabb2086cbff85164c f9b21dea92e6f5a8a9896bfabb2086cbff85164c Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723715094 +0200	checkout: moving from main to fix/lex-closure
f9b21dea92e6f5a8a9896bfabb2086cbff85164c d2906e85e604f2c6712abcea550d2f018a166d39 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723725677 +0200	commit: fix: correct the lexicographic closure
d2906e85e604f2c6712abcea550d2f018a166d39 3074389c0a3847fd4e1587705e16f0636ae7a1ba Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723906686 +0200	commit: test: add tests for services
3074389c0a3847fd4e1587705e16f0636ae7a1ba 8b1fdaf3b52f7bfef054671122372a2ff77d36e5 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723979945 +0200	commit: test: add tests for controllers
8b1fdaf3b52f7bfef054671122372a2ff77d36e5 f9b21dea92e6f5a8a9896bfabb2086cbff85164c Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723979986 +0200	checkout: moving from fix/lex-closure to main
f9b21dea92e6f5a8a9896bfabb2086cbff85164c 8b1fdaf3b52f7bfef054671122372a2ff77d36e5 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723980008 +0200	merge fix/lex-closure: Fast-forward
8b1fdaf3b52f7bfef054671122372a2ff77d36e5 8b1fdaf3b52f7bfef054671122372a2ff77d36e5 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723980109 +0200	checkout: moving from main to openapi
8b1fdaf3b52f7bfef054671122372a2ff77d36e5 762743e85d77edf09a30b17c4d251fcc82b63feb Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723982827 +0200	commit: chore: remove unused dependecies
762743e85d77edf09a30b17c4d251fcc82b63feb 8b1fdaf3b52f7bfef054671122372a2ff77d36e5 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723982927 +0200	checkout: moving from openapi to main
8b1fdaf3b52f7bfef054671122372a2ff77d36e5 762743e85d77edf09a30b17c4d251fcc82b63feb Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723982935 +0200	merge openapi: Fast-forward
762743e85d77edf09a30b17c4d251fcc82b63feb 762743e85d77edf09a30b17c4d251fcc82b63feb Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1723982974 +0200	checkout: moving from main to fixui
762743e85d77edf09a30b17c4d251fcc82b63feb 60af6ca6aa84334346ce6a4401440904d21f3a0d Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724180024 +0200	commit: fix: use classes for models instead of objects
60af6ca6aa84334346ce6a4401440904d21f3a0d d4240cfcbcfa86e15e4faadb01acaabd83c43e8c Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724223545 +0200	commit: fix: add builders for entailment models
d4240cfcbcfa86e15e4faadb01acaabd83c43e8c 57d427e50ee23c5f0e6bd2d445fee74c7698da4f Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724225179 +0200	commit: fix: use weakened ranking instead of removed ranking in lexicograhic closure
57d427e50ee23c5f0e6bd2d445fee74c7698da4f f9259322170a74475a70a25c84bdaa6bc1223821 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724228434 +0200	commit: fix: use varaible k instead of i
f9259322170a74475a70a25c84bdaa6bc1223821 b4414f9a9508b42bb4dd8c60244a6f33f00149e3 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724240161 +0200	commit: fix: add working lexicographic closure
b4414f9a9508b42bb4dd8c60244a6f33f00149e3 762743e85d77edf09a30b17c4d251fcc82b63feb Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724240188 +0200	checkout: moving from fixui to main
762743e85d77edf09a30b17c4d251fcc82b63feb b4414f9a9508b42bb4dd8c60244a6f33f00149e3 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724240198 +0200	merge fixui: Fast-forward
b4414f9a9508b42bb4dd8c60244a6f33f00149e3 b4414f9a9508b42bb4dd8c60244a6f33f00149e3 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724240930 +0200	checkout: moving from main to fix-initial-state
b4414f9a9508b42bb4dd8c60244a6f33f00149e3 312be28697c834c734a23252dd9cdd57007c1a5b Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724242595 +0200	commit: fix: correct the missing components when no query results in storage
312be28697c834c734a23252dd9cdd57007c1a5b 53644d057198d1a8326d45f48d1678276310a993 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724249901 +0200	commit: feat: add knowledge base and syntax pages
53644d057198d1a8326d45f48d1678276310a993 c0779e4d8056d88ba6c6b29d9e2dc836ce1b1479 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724250909 +0200	commit: fix: catch routes that don't match
c0779e4d8056d88ba6c6b29d9e2dc836ce1b1479 b4414f9a9508b42bb4dd8c60244a6f33f00149e3 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724250923 +0200	checkout: moving from fix-initial-state to main
b4414f9a9508b42bb4dd8c60244a6f33f00149e3 c0779e4d8056d88ba6c6b29d9e2dc836ce1b1479 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724250949 +0200	merge fix-initial-state: Fast-forward
c0779e4d8056d88ba6c6b29d9e2dc836ce1b1479 034bc2c034b4aeebc1fe9a974443811f3eb4ff0f Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724515391 +0200	commit: feat: remove query input class
034bc2c034b4aeebc1fe9a974443811f3eb4ff0f e7431320606ab0cba3ef3d024f4e878191d1c701 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724656724 +0200	commit: fix: correct the start number
e7431320606ab0cba3ef3d024f4e878191d1c701 bc2922387363f80f066ecadadbc4bbb90da319d5 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724859621 +0200	commit: fix: add removal for lexicographic closure
bc2922387363f80f066ecadadbc4bbb90da319d5 6c04202ba4d6a5e12d50068e7dbc4b93099975ea Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724861043 +0200	commit: fix: correct display for lex closure
6c04202ba4d6a5e12d50068e7dbc4b93099975ea 1b6b159b1982e2c81c418b2ea02d4b6c8b5f7ebb Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724899746 +0200	commit: fix: correct the data storage
1b6b159b1982e2c81c418b2ea02d4b6c8b5f7ebb 0c4442850e555253ba66e135d50a39d8c4bc24b9 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1724982992 +0200	commit: fix: add correct display for lexicographic closure
0c4442850e555253ba66e135d50a39d8c4bc24b9 a1770196ccc33b02a83aa78e6a03359b0c0bbe12 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1725004269 +0200	commit: fix: correct errors for removed ranking and entailment
a1770196ccc33b02a83aa78e6a03359b0c0bbe12 f7dc9d80247bd65a5c71ea4770ff9ac7e52ff531 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1725841671 +0200	commit: fix: correct the symbol for *
f7dc9d80247bd65a5c71ea4770ff9ac7e52ff531 d1d01334c9fc0dd5912c26967224fe4a00a6c033 Thabo Vincent Moloi <thabomoloicodes@gmail.com> 1726467801 +0200	commit: docs: add intructions on README.md
