Commit Graph

138 Commits

Author SHA1 Message Date
91cce4c170
refactor and complete parts of the knowledge base 2023-02-18 21:06:42 -03:00
b220b1c215
update the documentation locations 2023-02-18 20:14:59 -03:00
36b8889a62
move knowledge base into the library 2023-02-16 22:58:20 -03:00
6ef6d14d18
restructure the link between the compiler and the library 2023-02-16 02:36:16 -03:00
841914bae8
print the version by accessing it directly 2023-02-16 02:27:24 -03:00
48955026c4
restructure library location 2023-02-16 02:26:14 -03:00
bf5033c70d
make lib and bin optional to only compile what is wanted 2023-02-16 01:27:15 -03:00
f6e93a1b67
add the obelisk library source 2023-02-16 01:16:57 -03:00
7b515f1f07
make it more obvious that name is used in the select 2023-02-16 00:44:32 -03:00
f7b62e4645
refactor select and insert methods to be less redundant 2023-02-16 00:40:43 -03:00
bc93f42c00
parse suggested actions 2023-02-16 00:35:29 -03:00
6062004f67
add missing comments to verb header 2023-02-16 00:34:45 -03:00
5a884fa2a0
make isTrue optional and default to false 2023-02-16 00:32:50 -03:00
3dcfdf23e8
remove old comments 2023-02-15 22:56:07 -03:00
ab83a1626b
fix fact db structure 2023-02-15 21:49:53 -03:00
6761117e24 Merge pull request 'feature/read_file' (#13) from feature/read_file into develop
Reviewed-on: #13
2023-02-13 23:04:37 -03:00
92ec34a000
read obelisk source files and compile the knowledge base 2023-02-13 23:03:31 -03:00
e77fb73cd0
use kb passed in from args 2023-02-08 10:17:58 -03:00
691b7963e3
fix style 2023-02-08 09:39:10 -03:00
b9a82a8e3c
make documentation building optional 2023-02-08 09:38:24 -03:00
4a7cf9ec2e
add command line options 2023-02-08 09:36:43 -03:00
e09823bfe8
ignore .obk files 2023-02-07 21:26:25 -03:00
a5d8945cb7 Merge pull request 'feature/documentation' (#12) from feature/documentation into develop
Reviewed-on: #12
2023-02-03 23:21:29 -03:00
ba7e0b1203
allow insertion of facts that haven't been proven true yet 2023-02-03 23:16:03 -03:00
1f2500a037
raise character limit to 120 2022-12-13 17:35:14 -03:00
74de3c67c0
refactor database exceptions 2022-12-10 21:11:39 -03:00
541ae2db28
add entity documentation 2022-12-10 18:29:21 -03:00
b908bdf89b
add missing class documentation and link manual to it 2022-12-10 18:23:39 -03:00
f810a25c0b
make lexer exceptions link to the lexer exception page of the manual 2022-12-10 18:23:04 -03:00
8dd82abb55
make the word action link to the action page of the manual 2022-12-10 18:17:32 -03:00
26a861772c
add action documentation 2022-12-10 18:13:01 -03:00
d6a7913993
add in and out docuementation to a few of the methods 2022-12-10 18:06:30 -03:00
991fe84c01
make sure the comments are split on 80 characters 2022-12-10 17:40:30 -03:00
bd5483e689
change some wording in the lexer documentation 2022-12-10 17:31:39 -03:00
7d9c8be36f
document the knowledge base 2022-12-10 16:26:30 -03:00
be67df0692
remove comments from implementation file 2022-12-10 16:21:04 -03:00
2edcaaf1fa
make sure llvm core module is present 2022-12-10 00:57:58 -03:00
0e178d673e
make sure llvm is available 2022-12-10 00:54:29 -03:00
f2008baacb
add license to meson build 2022-12-10 00:36:44 -03:00
d805ce137f
add throws to lexer docs 2022-12-10 00:28:24 -03:00
b5d68cc418
update doxygen config 2022-12-10 00:28:13 -03:00
7d43df95e6
remove deprecated functions 2022-12-10 00:27:46 -03:00
102a182559
use capital L so that it creates a link to the class name in docs 2022-12-09 23:54:55 -03:00
768a0906d3
document the lexer 2022-12-09 23:41:54 -03:00
6a3fccdcba
tidy up the doc meson.build file 2022-12-09 23:41:10 -03:00
c4792d88fc
only build docs if doxygen is present 2022-12-09 23:40:51 -03:00
c5ff5479a5
document the obelisk namespace 2022-12-09 23:26:37 -03:00
9e6772cb59
start building doxygen documentation 2022-12-09 23:25:36 -03:00
1d5870f025
remove compile commands since meson will handle it now 2022-12-09 23:24:39 -03:00
6d0eeb77eb Merge pull request 'remove sqlite log method from knowledge base' (#11) from feature/remove_sqlite_log_method into develop
Reviewed-on: #11
2022-12-09 21:14:04 -03:00