]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2021-02-18 Mark ThomMerge pull request #825 from tniessen/readme-typo-fix commit | commitdiff | tree | snapshot
2021-02-18 Tobias Nießeninstantianted -> instantiated commit | commitdiff | tree | snapshot
2021-02-18 Tobias NießenFix typo in README commit | commitdiff | tree | snapshot
2021-02-09 Mark ThomMerge pull request #811 from triska/master commit | commitdiff | tree | snapshot
2021-02-09 Markus Triskalink to announcement of Rebis Development Branch, call... commit | commitdiff | tree | snapshot
2021-02-03 Mark Thomdo not traverse data structures when binding to local... commit | commitdiff | tree | snapshot
2021-02-03 Mark ThomMerge pull request #774 from brightly-salty/re-add... commit | commitdiff | tree | snapshot
2021-01-31 Mark ThomMerge pull request #771 from notoria/args commit | commitdiff | tree | snapshot
2021-01-31 Caden HausteinFix errors, move prolog_parser commit | commitdiff | tree | snapshot
2021-01-31 Caden HausteinAdd prolog_parser to scryer_prolog commit | commitdiff | tree | snapshot
2021-01-31 notoriaHandled the empty case (#770) commit | commitdiff | tree | snapshot
2021-01-30 Mark ThomMerge pull request #766 from aarroyoc/http-form commit | commitdiff | tree | snapshot
2021-01-30 Mark ThomMerge pull request #769 from notoria/between commit | commitdiff | tree | snapshot
2021-01-30 notoriaRemoved redundant choicepoint from between/3 commit | commitdiff | tree | snapshot
2021-01-27 Adrián Arroyo... Test against macOS 10.15 commit | commitdiff | tree | snapshot
2021-01-27 Adrián Arroyo... urlencoded forms and some syntax improvements commit | commitdiff | tree | snapshot
2021-01-23 Mark ThomMerge pull request #762 from aarroyoc/gh-action commit | commitdiff | tree | snapshot
2021-01-16 Adrián Arroyo... Fix Beta commit | commitdiff | tree | snapshot
2021-01-16 Adrián Arroyo... Disable Windows commit | commitdiff | tree | snapshot
2021-01-16 Adrián Arroyo... Minor fix commit | commitdiff | tree | snapshot
2021-01-16 Adrián Arroyo... Delete Travis CI commit | commitdiff | tree | snapshot
2021-01-16 Adrián Arroyo... GitHub Actions commit | commitdiff | tree | snapshot
2020-12-29 Mark ThomMerge pull request #747 from triska/determinism commit | commitdiff | tree | snapshot
2020-12-29 Markus Triskareflect better determinism thanks to #732 commit | commitdiff | tree | snapshot
2020-12-29 Mark ThomMerge pull request #726 from aarroyoc/http-server commit | commitdiff | tree | snapshot
2020-12-28 Adrián Arroyo... PR feedback commit | commitdiff | tree | snapshot
2020-12-28 Adrián Arroyo... URL Decode commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... Log time commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... Improve docs & Route matching commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... File response commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... Use phrase instead of forall commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... Queries commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... Merge branch 'master' into http-server commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... Redirections, default status code, rout matching 1.0 commit | commitdiff | tree | snapshot
2020-12-27 Mark Thomfix bug in code walker causing entire clauses to be... commit | commitdiff | tree | snapshot
2020-12-23 Mark ThomMerge pull request #743 from triska/determinism commit | commitdiff | tree | snapshot
2020-12-23 Markus Triskareflect determinism improvement thanks to the latest... commit | commitdiff | tree | snapshot
2020-12-23 Mark ThomMerge pull request #741 from triska/determinism commit | commitdiff | tree | snapshot
2020-12-22 Markus Triskareflect improved determinism thanks to the improvements... commit | commitdiff | tree | snapshot
2020-12-22 Mark ThomMerge pull request #740 from triska/indexing commit | commitdiff | tree | snapshot
2020-12-22 Mark ThomMerge pull request #734 from triska/deterministic_format commit | commitdiff | tree | snapshot
2020-12-22 Mark ThomMerge pull request #732 from notoria/indexing commit | commitdiff | tree | snapshot
2020-12-22 Markus Triskasmall documentation improvements related to the new... commit | commitdiff | tree | snapshot
2020-12-21 notoriaRenamed find_optimal_index to first_instantiated_index commit | commitdiff | tree | snapshot
2020-12-21 notoriaMerge pull request #6 from triska/indexing commit | commitdiff | tree | snapshot
2020-12-21 Markus Triskadocument first instantiated argument indexing commit | commitdiff | tree | snapshot
2020-12-21 notoriaOrganized changes into find_optimal_index commit | commitdiff | tree | snapshot
2020-12-20 Adrián Arroyo... HTTP Body commit | commitdiff | tree | snapshot
2020-12-19 notoriaSimplified the code, removed first_arg, the Option commit | commitdiff | tree | snapshot
2020-12-19 Markus TriskaENHANCED: format_//2, format/[2,3], portray_clause... commit | commitdiff | tree | snapshot
2020-12-19 notoriaImplemented a different way to index clauses commit | commitdiff | tree | snapshot
2020-12-15 Mark ThomMerge pull request #729 from brightly-salty/replace... commit | commitdiff | tree | snapshot
2020-12-15 brightly-saltyReplace dirs with dirs-next commit | commitdiff | tree | snapshot
2020-12-14 Adrián Arroyo... Read body commit | commitdiff | tree | snapshot
2020-12-12 Adrián Arroyo... Request and Response headers commit | commitdiff | tree | snapshot
2020-12-09 Adrián Arroyo... WIP http_server commit | commitdiff | tree | snapshot
2020-12-06 Mark ThomMerge pull request #722 from aarroyoc/history-file commit | commitdiff | tree | snapshot
2020-12-06 Mark ThomMerge pull request #720 from aarroyoc/max-min-list commit | commitdiff | tree | snapshot
2020-12-06 Adrián Arroyo... History file support (Rustyline 7.0) commit | commitdiff | tree | snapshot
2020-12-06 Adrián Arroyo... Change name to list_max, list_min as PR feedback commit | commitdiff | tree | snapshot
2020-12-06 Adrián Arroyo... Use foldl as PR feedback suggested commit | commitdiff | tree | snapshot
2020-12-05 Adrián Arroyo... Add max_list & min_list to lists commit | commitdiff | tree | snapshot
2020-11-08 Mark ThomMerge pull request #710 from triska/clpz-reif commit | commitdiff | tree | snapshot
2020-11-08 Markus TriskaADDED: Provisional support for (#=)/3 and (#<)/3. commit | commitdiff | tree | snapshot
2020-11-04 Mark Thomsupport number/1 commit | commitdiff | tree | snapshot
2020-10-22 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty... commit | commitdiff | tree | snapshot
2020-10-21 Mark ThomMerge pull request #706 from malbarbo/fix-num commit | commitdiff | tree | snapshot
2020-10-20 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty... commit | commitdiff | tree | snapshot
2020-10-18 Marco A L BarbosaUpdate num-rug-adapter to fix build with num feature. commit | commitdiff | tree | snapshot
2020-10-03 Mark ThomMerge pull request #702 from triska/showterm commit | commitdiff | tree | snapshot
2020-10-03 Markus Triskause "r" interactive specifier commit | commitdiff | tree | snapshot
2020-10-03 Markus Triskarefer to new tools directory commit | commitdiff | tree | snapshot
2020-10-03 Markus TriskaADDED: showterm.el and showterm.pl to draw terms as... commit | commitdiff | tree | snapshot
2020-10-01 Mark ThomMerge pull request #700 from triska/development_environment commit | commitdiff | tree | snapshot
2020-10-01 Markus TriskaDOC: Development environment recommendations. commit | commitdiff | tree | snapshot
2020-09-14 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty... commit | commitdiff | tree | snapshot
2020-09-13 Mark ThomMerge pull request #698 from triska/file_must_exist commit | commitdiff | tree | snapshot
2020-09-13 Markus TriskaENHANCED: library(files): Error handling if requested... commit | commitdiff | tree | snapshot
2020-09-06 Mark Thomrefactor SystemClauseType::Open in anticipation of... commit | commitdiff | tree | snapshot
2020-09-06 Mark Thompreface the 'spelling error' with an explainer comment... commit | commitdiff | tree | snapshot
2020-09-05 Mark ThomMerge pull request #696 from triska/format_distinct_var... commit | commitdiff | tree | snapshot
2020-09-05 Markus TriskaFIXED: format_//2: Keep different variables distinct. commit | commitdiff | tree | snapshot
2020-09-02 Mark ThomMerge pull request #694 from triska/write_all commit | commitdiff | tree | snapshot
2020-09-02 Markus TriskaFIXED: reliably write all characters when using format/3 commit | commitdiff | tree | snapshot
2020-08-25 Mark ThomMerge pull request #689 from matteoredaelli/patch-1 commit | commitdiff | tree | snapshot
2020-08-25 Matteo RedaelliUpdate README.md commit | commitdiff | tree | snapshot
2020-08-24 Mark ThomMerge pull request #686 from triska/call_nth commit | commitdiff | tree | snapshot
2020-08-24 Markus TriskaADDED: First version of call_nth/2. commit | commitdiff | tree | snapshot
2020-08-24 Mark Thomflatten passage of cut point B in (,)/2, (->)/2 and... commit | commitdiff | tree | snapshot
2020-08-22 Mark ThomMerge pull request #682 from triska/dif_improvements commit | commitdiff | tree | snapshot
2020-08-22 Markus Triskadif/2: Omit entailed residual goals, if the arguments... commit | commitdiff | tree | snapshot
2020-08-22 Markus Triskadif/2: Succeed unconditionally if the arguments are... commit | commitdiff | tree | snapshot
2020-08-15 Mark ThomMerge pull request #677 from notoria/clpz_mod commit | commitdiff | tree | snapshot
2020-08-15 notoriaUse nonterminal fd_put//3 in mod from clpz commit | commitdiff | tree | snapshot
2020-08-15 notoriaSimplified the code commit | commitdiff | tree | snapshot
2020-08-15 notoriaUsing queue_goal//1 to correctly bind variables commit | commitdiff | tree | snapshot
2020-08-15 notoriaFixed variable bindings in mod from clpz commit | commitdiff | tree | snapshot
2020-08-15 notoriaMade mod stronger and addressed #675 commit | commitdiff | tree | snapshot
2020-08-14 Mark ThomMerge pull request #674 from notoria/clpz_mod commit | commitdiff | tree | snapshot
2020-08-13 notoriaMore improvement on mod from CLP(Z) commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust