92 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Chris Cromer	0e9cc0f832	create a C wrapper for obelisk	2023-02-21 09:09:48 -03:00
Chris Cromer	adc5042c6c	format to 80 columns for terminal display	2023-02-20 22:05:57 -03:00
Chris Cromer	09925b567c	finish up comments	2023-02-20 22:01:14 -03:00
Chris Cromer	88f17011ef	finish knowledge base insertion	2023-02-20 09:11:10 -03:00
Chris Cromer	fc0984904c	add missing class doc	2023-02-19 01:09:54 -03:00
Chris Cromer	ba8788af56	implement rules	2023-02-19 01:03:35 -03:00
Chris Cromer	2f54f13b54	fix incorrect enum	2023-02-18 23:02:49 -03:00
Chris Cromer	d8ae5e1b95	finish inserting the suggested actions	2023-02-18 21:32:05 -03:00
Chris Cromer	91cce4c170	refactor and complete parts of the knowledge base	2023-02-18 21:06:42 -03:00
Chris Cromer	b220b1c215	update the documentation locations	2023-02-18 20:14:59 -03:00
Chris Cromer	36b8889a62	move knowledge base into the library	2023-02-16 22:58:20 -03:00
Chris Cromer	6ef6d14d18	restructure the link between the compiler and the library	2023-02-16 02:36:16 -03:00
Chris Cromer	841914bae8	print the version by accessing it directly	2023-02-16 02:27:24 -03:00
Chris Cromer	48955026c4	restructure library location	2023-02-16 02:26:14 -03:00
Chris Cromer	bf5033c70d	make lib and bin optional to only compile what is wanted	2023-02-16 01:27:15 -03:00
Chris Cromer	f6e93a1b67	add the obelisk library source	2023-02-16 01:16:57 -03:00
Chris Cromer	7b515f1f07	make it more obvious that name is used in the select	2023-02-16 00:44:32 -03:00
Chris Cromer	f7b62e4645	refactor select and insert methods to be less redundant	2023-02-16 00:40:43 -03:00
Chris Cromer	bc93f42c00	parse suggested actions	2023-02-16 00:35:29 -03:00
Chris Cromer	6062004f67	add missing comments to verb header	2023-02-16 00:34:45 -03:00
Chris Cromer	5a884fa2a0	make isTrue optional and default to false	2023-02-16 00:32:50 -03:00
Chris Cromer	3dcfdf23e8	remove old comments	2023-02-15 22:56:07 -03:00
Chris Cromer	ab83a1626b	fix fact db structure	2023-02-15 21:49:53 -03:00
Chris Cromer	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
Chris Cromer	92ec34a000	read obelisk source files and compile the knowledge base	2023-02-13 23:03:31 -03:00
Chris Cromer	e77fb73cd0	use kb passed in from args	2023-02-08 10:17:58 -03:00
Chris Cromer	691b7963e3	fix style	2023-02-08 09:39:10 -03:00
Chris Cromer	b9a82a8e3c	make documentation building optional	2023-02-08 09:38:24 -03:00
Chris Cromer	4a7cf9ec2e	add command line options	2023-02-08 09:36:43 -03:00
Chris Cromer	e09823bfe8	ignore .obk files	2023-02-07 21:26:25 -03:00
Chris Cromer	a5d8945cb7	Merge pull request 'feature/documentation' (#12) from feature/documentation into develop ... Reviewed-on: #12	2023-02-03 23:21:29 -03:00
Chris Cromer	ba7e0b1203	allow insertion of facts that haven't been proven true yet	2023-02-03 23:16:03 -03:00
Chris Cromer	1f2500a037	raise character limit to 120	2022-12-13 17:35:14 -03:00
Chris Cromer	74de3c67c0	refactor database exceptions	2022-12-10 21:11:39 -03:00
Chris Cromer	541ae2db28	add entity documentation	2022-12-10 18:29:21 -03:00
Chris Cromer	b908bdf89b	add missing class documentation and link manual to it	2022-12-10 18:23:39 -03:00
Chris Cromer	f810a25c0b	make lexer exceptions link to the lexer exception page of the manual	2022-12-10 18:23:04 -03:00
Chris Cromer	8dd82abb55	make the word action link to the action page of the manual	2022-12-10 18:17:32 -03:00
Chris Cromer	26a861772c	add action documentation	2022-12-10 18:13:01 -03:00
Chris Cromer	d6a7913993	add in and out docuementation to a few of the methods	2022-12-10 18:06:30 -03:00
Chris Cromer	991fe84c01	make sure the comments are split on 80 characters	2022-12-10 17:40:30 -03:00
Chris Cromer	bd5483e689	change some wording in the lexer documentation	2022-12-10 17:31:39 -03:00
Chris Cromer	7d9c8be36f	document the knowledge base	2022-12-10 16:26:30 -03:00
Chris Cromer	be67df0692	remove comments from implementation file	2022-12-10 16:21:04 -03:00
Chris Cromer	2edcaaf1fa	make sure llvm core module is present	2022-12-10 00:57:58 -03:00
Chris Cromer	0e178d673e	make sure llvm is available	2022-12-10 00:54:29 -03:00
Chris Cromer	f2008baacb	add license to meson build	2022-12-10 00:36:44 -03:00
Chris Cromer	d805ce137f	add throws to lexer docs	2022-12-10 00:28:24 -03:00
Chris Cromer	b5d68cc418	update doxygen config	2022-12-10 00:28:13 -03:00
Chris Cromer	7d43df95e6	remove deprecated functions	2022-12-10 00:27:46 -03:00