Public Git Hosting - dakilang.git/search

2023-04-16	Gonçalo	Delete .travis.yml	commit \| commitdiff \| tree
2023-04-16	Gonçalo	Update README.md	commit \| commitdiff \| tree
2021-04-24	gonmf	Version 0.37	commit \| commitdiff \| tree
2021-04-24	gonmf	Change syntax around line continuations and comments	commit \| commitdiff \| tree
2021-04-24	gonmf	Fix bug #5: line continuations with comments	commit \| commitdiff \| tree
2021-04-24	gonmf	Fix bug #4: parser error on inline array declarations	commit \| commitdiff \| tree
2021-04-13	gonmf	Update README.md	commit \| commitdiff \| tree
2021-04-13	gonmf	Version 0.36	commit \| commitdiff \| tree
2021-04-13	gonmf	Fix bug in memoization	commit \| commitdiff \| tree
2021-04-13	gonmf	Update README.md	commit \| commitdiff \| tree
2020-10-17	gonmf	Use readline gem	commit \| commitdiff \| tree
2020-08-17	gonmf	Update README	commit \| commitdiff \| tree
2020-08-08	Gonçalo	Update README.md	commit \| commitdiff \| tree
2020-07-26	gonmf	Version 0.35	commit \| commitdiff \| tree
2020-07-26	gonmf	Fix UTF-8 encoding issue	commit \| commitdiff \| tree
2020-07-25	gonmf	Version 0.34	commit \| commitdiff \| tree
2020-07-25	gonmf	Add tests	commit \| commitdiff \| tree
2020-07-25	gonmf	Add don't care arguments to queries	commit \| commitdiff \| tree
2020-07-25	gonmf	Minor improvement	commit \| commitdiff \| tree
2020-07-25	gonmf	Warn of non-unification because of missing declaration	commit \| commitdiff \| tree
2020-07-25	gonmf	Update README	commit \| commitdiff \| tree
2020-07-25	gonmf	Version 0.33	commit \| commitdiff \| tree
2020-07-25	gonmf	Change retractions; add support for tail logical relationships	commit \| commitdiff \| tree
2020-07-25	gonmf	Update README	commit \| commitdiff \| tree
2020-07-25	gonmf	Update README	commit \| commitdiff \| tree
2020-07-24	gonmf	Improve README	commit \| commitdiff \| tree
2020-07-24	gonmf	Improve README	commit \| commitdiff \| tree
2020-07-24	gonmf	Improve README	commit \| commitdiff \| tree
2020-07-24	gonmf	Move documentation to another repo	commit \| commitdiff \| tree
2020-07-22	gonmf	Add support for escaping ASCII and Unicode	commit \| commitdiff \| tree
2020-07-22	gonmf	Clean up some debug code	commit \| commitdiff \| tree
2020-07-21	gonmf	Update README	commit \| commitdiff \| tree
2020-07-21	gonmf	Improve and clarify string escaping	commit \| commitdiff \| tree
2020-07-20	gonmf	Fix bug; add more tests	commit \| commitdiff \| tree
2020-07-20	gonmf	Version 0.32	commit \| commitdiff \| tree
2020-07-20	Gonçalo	Merge pull request #2 from gonmf/parser-dev Merge pull request #2 from gonmf/parser-dev	commit \| commitdiff \| tree
2020-07-20	gonmf	Finish new parser	commit \| commitdiff \| tree
2020-07-19	gonmf	Start of full rewrite of tokenizer	commit \| commitdiff \| tree
2020-07-19	gonmf	Separate tokenizer from parser	commit \| commitdiff \| tree
2020-07-19	gonmf	Use new format in feeding interpreter	commit \| commitdiff \| tree
2020-07-18	gonmf	Small change	commit \| commitdiff \| tree
2020-07-18	gonmf	Update document	commit \| commitdiff \| tree
2020-07-18	gonmf	Version 0.31	commit \| commitdiff \| tree
2020-07-18	gonmf	Remove limit of args in a fact; disallow memoization...	commit \| commitdiff \| tree
2020-07-17	gonmf	Fix a parser bug; fix a debug mode solver bug; add...	commit \| commitdiff \| tree
2020-07-10	gonmf	Separate tokenizer from interpreter	commit \| commitdiff \| tree
2020-06-11	gonmf	Add test	commit \| commitdiff \| tree
2020-06-10	gonmf	Fix bug with search without solutions	commit \| commitdiff \| tree
2020-05-29	Gonçalo Ferreira	Add output coloring	commit \| commitdiff \| tree
2020-05-29	Gonçalo Ferreira	Improve parser code	commit \| commitdiff \| tree
2020-05-29	Gonçalo Ferreira	Fix bug with integer parsing of last element of an...	commit \| commitdiff \| tree
2020-05-28	Gonçalo Ferreira	Version 0.29	commit \| commitdiff \| tree
2020-05-28	Gonçalo Ferreira	Add support for all integer formats in inline operations	commit \| commitdiff \| tree
2020-05-28	Gonçalo Ferreira	Version 0.28	commit \| commitdiff \| tree
2020-05-28	Gonçalo Ferreira	Fix partial unification	commit \| commitdiff \| tree
2020-05-28	Gonçalo Ferreira	Fix bug with search algorithm	commit \| commitdiff \| tree
2020-05-27	Gonçalo Ferreira	More minor changes	commit \| commitdiff \| tree
2020-05-27	Gonçalo Ferreira	Small changes	commit \| commitdiff \| tree
2020-05-27	gonmf	Merge pull request #1 from gonmf/dev Merge pull request #1 from gonmf/dev	commit \| commitdiff \| tree
2020-05-27	Gonçalo Ferreira	Fix unification rules; break partial unification	commit \| commitdiff \| tree
2020-05-27	Gonçalo Ferreira	Improve performance; fix unifying with missing clauses	commit \| commitdiff \| tree
2020-05-26	gonmf	Version 0.27	commit \| commitdiff \| tree
2020-05-26	gonmf	Performance improvement	commit \| commitdiff \| tree
2020-05-26	gonmf	Performance improvement	commit \| commitdiff \| tree
2020-05-26	gonmf	Show help if dakilang is called without args	commit \| commitdiff \| tree
2020-05-26	Gonçalo Ferreira	Version 0.26: add tests; improve algorithm	commit \| commitdiff \| tree
2020-05-26	Gonçalo Ferreira	Change README	commit \| commitdiff \| tree
2020-05-26	Gonçalo Ferreira	Fix bug in debug mode	commit \| commitdiff \| tree
2020-05-24	Gonçalo Ferreira	Fix bug with short queries	commit \| commitdiff \| tree
2020-05-22	Gonçalo Ferreira	Improve tests	commit \| commitdiff \| tree
2020-05-21	Gonçalo Ferreira	Add turing completeness test	commit \| commitdiff \| tree
2020-05-21	Gonçalo Ferreira	Fix method names for built-ins	commit \| commitdiff \| tree
2020-05-21	Gonçalo Ferreira	Fix bug with parser	commit \| commitdiff \| tree
2020-05-20	gonmf	Minor change	commit \| commitdiff \| tree
2020-05-16	Gonçalo Ferreira	Add max clause args; add variable nr of args for operator...	commit \| commitdiff \| tree
2020-05-16	Gonçalo Ferreira	Replace Ruby eval with own algorithm	commit \| commitdiff \| tree
2020-05-16	Gonçalo Ferreira	Minor changes	commit \| commitdiff \| tree
2020-05-16	Gonçalo Ferreira	Version 0.24	commit \| commitdiff \| tree
2020-05-16	Gonçalo Ferreira	Improve parser support for inline conditions; improve...	commit \| commitdiff \| tree
2020-05-15	Gonçalo Ferreira	Use .dl extension for Daki files	commit \| commitdiff \| tree
2020-05-15	Gonçalo Ferreira	Improve code organization again	commit \| commitdiff \| tree
2020-05-15	Gonçalo Ferreira	Move example files	commit \| commitdiff \| tree
2020-05-15	Gonçalo Ferreira	Remove version builtin command; bump version to 0.23	commit \| commitdiff \| tree
2020-05-15	Gonçalo Ferreira	Add tests	commit \| commitdiff \| tree
2020-05-15	Gonçalo Ferreira	Reorganize solution and tests; start of script tests...	commit \| commitdiff \| tree
2020-05-08	Gonçalo Ferreira	Change symbol used for comments; allow more inline...	commit \| commitdiff \| tree
2020-05-08	Gonçalo Ferreira	Change README	commit \| commitdiff \| tree
2020-05-08	Gonçalo Ferreira	Version 0.22	commit \| commitdiff \| tree
2020-05-08	Gonçalo Ferreira	Add inline operators; add retract builtin command	commit \| commitdiff \| tree
2020-05-08	Gonçalo Ferreira	Add print/3 clause operator	commit \| commitdiff \| tree
2020-05-08	Gonçalo Ferreira	Improve tests	commit \| commitdiff \| tree
2020-05-08	Gonçalo Ferreira	Version 0.21	commit \| commitdiff \| tree
2020-05-08	Gonçalo Ferreira	Change query solution formatting; fix bug	commit \| commitdiff \| tree
2020-05-08	Gonçalo Ferreira	Change README	commit \| commitdiff \| tree
2020-05-08	Gonçalo Ferreira	Version 0.20	commit \| commitdiff \| tree
2020-05-08	Gonçalo Ferreira	Add list data type; fix bugs	commit \| commitdiff \| tree
2020-05-07	Gonçalo Ferreira	Fix bug	commit \| commitdiff \| tree
2020-05-07	Gonçalo Ferreira	Remove Gemfile	commit \| commitdiff \| tree
2020-05-07	Gonçalo Ferreira	Version 0.19	commit \| commitdiff \| tree
2020-05-07	Gonçalo Ferreira	Improve data type system, in preparation for new list...	commit \| commitdiff \| tree
next

Interpreter for the Daki logic programming language

RSS Atom