Commit Graph

109 Commits

Author SHA1 Message Date
a91bc9b579
enable example files to be commited 2023-02-28 22:14:51 -03:00
f2108492b8
make it clearer what is being returned 2023-02-28 22:11:48 -03:00
69ce8faad7 Merge branch 'master' into develop 2023-02-26 02:04:52 -03:00
6ba11f1cc9
restructure the includes to work in external programs 2023-02-26 02:04:07 -03:00
cf9b5a02e1 Merge pull request 'build a static obelisk library for easier linking with other software' (#16) from develop into master
Reviewed-on: #16
2023-02-25 21:29:52 -03:00
60b920bc86 Merge branch 'master' into develop 2023-02-25 21:29:23 -03:00
402862b54a
build a static obelisk library for easier linking with other software 2023-02-25 21:27:32 -03:00
1940fe377a Merge pull request 'develop' (#15) from develop into master
Reviewed-on: #15
2023-02-23 01:11:48 -03:00
1f8cc98ee2 Merge pull request 'feature/kb' (#14) from feature/kb into develop
Reviewed-on: #14
2023-02-23 01:09:37 -03:00
3a23121743
add query for suggested actions 2023-02-23 01:07:44 -03:00
d6532715bd
fix typo 2023-02-23 01:06:29 -03:00
d84f2a944c
allow the library to query the knowledge base 2023-02-22 00:42:40 -03:00
e665ff044f
improvements to the C wrapper and close a memory leak 2023-02-21 21:31:04 -03:00
0e9cc0f832
create a C wrapper for obelisk 2023-02-21 09:09:48 -03:00
adc5042c6c
format to 80 columns for terminal display 2023-02-20 22:05:57 -03:00
09925b567c
finish up comments 2023-02-20 22:01:14 -03:00
88f17011ef
finish knowledge base insertion 2023-02-20 09:11:10 -03:00
fc0984904c
add missing class doc 2023-02-19 01:09:54 -03:00
ba8788af56
implement rules 2023-02-19 01:03:35 -03:00
2f54f13b54
fix incorrect enum 2023-02-18 23:02:49 -03:00
d8ae5e1b95
finish inserting the suggested actions 2023-02-18 21:32:05 -03:00
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