]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2022-03-12 Mark ThomMerge pull request #1349 from Skgland/min-rust-version commit | commitdiff | tree | snapshot
2022-03-12 Skglandadd a CI job to verify msrv is still correct commit | commitdiff | tree | snapshot
2022-03-12 Skglandadd min rust version commit | commitdiff | tree | snapshot
2022-03-12 Mark ThomMerge pull request #1348 from mthom/revert-1347-min... commit | commitdiff | tree | snapshot
2022-03-12 Mark ThomRevert "Set minimum rust version in Cargo.toml" revert-1347-min-rust-version origin/revert-1347-min-rust-version commit | commitdiff | tree | snapshot
2022-03-12 Mark ThomMerge pull request #1347 from Skgland/min-rust-version commit | commitdiff | tree | snapshot
2022-03-12 Skglandadd a CI job to verify msrv is still correct commit | commitdiff | tree | snapshot
2022-03-12 Skglandadd min rust version commit | commitdiff | tree | snapshot
2022-03-12 Mark ThomMerge pull request #1342 from wkral/no-add-history commit | commitdiff | tree | snapshot
2022-03-11 William KralAdd --no-add-history flag commit | commitdiff | tree | snapshot
2022-03-10 Mark Thomprint rationals that are integers as integers (#663) commit | commitdiff | tree | snapshot
2022-03-09 Mark Thomprint variables instead of offsets in setup_call_cleanu... commit | commitdiff | tree | snapshot
2022-03-09 Mark Thomcorrect loading of variable name strings in write_term/3 commit | commitdiff | tree | snapshot
2022-03-09 Mark Thomfix parser bounds check bug (#1333, #1301) commit | commitdiff | tree | snapshot
2022-03-09 Mark Thomunify empty list to '' in atom_chars/2 (#1334, #1336) commit | commitdiff | tree | snapshot
2022-03-08 Mark Thomwrap meta-predicate specifications in functors (#1330) commit | commitdiff | tree | snapshot
2022-03-08 Mark Thomfix float formatting (#1331) commit | commitdiff | tree | snapshot
2022-03-07 Mark ThomMerge pull request #1332 from triska/call_nth_0 commit | commitdiff | tree | snapshot
2022-03-07 Markus TriskaENHANCED: call_nth(Goal, 0) now fails, correct error... commit | commitdiff | tree | snapshot
2022-03-07 Mark Thomfix number/1 (#1329) commit | commitdiff | tree | snapshot
2022-03-07 Mark ThomMerge pull request #1328 from pmoura/fix_bounded_and_ma... commit | commitdiff | tree | snapshot
2022-03-07 Paulo MouraFix querying the values of the bounded and max_arity... commit | commitdiff | tree | snapshot
2022-03-06 Mark Thomcompare functor arity first (#1327) commit | commitdiff | tree | snapshot
2022-03-06 Mark Thomfix compare/3 (#1327) commit | commitdiff | tree | snapshot
2022-03-06 Mark ThomMerge pull request #1326 from pmoura/fix_halt_1_predica... commit | commitdiff | tree | snapshot
2022-03-06 Paulo MouraFix halt/1 built-in predicate for ISO Prolog Core stand... commit | commitdiff | tree | snapshot
2022-03-06 Mark ThomMerge pull request #1323 from triska/simplex commit | commitdiff | tree | snapshot
2022-03-06 Markus TriskaADDED: library(simplex), for solving linear programming... commit | commitdiff | tree | snapshot
2022-03-06 Mark Thomonly recommend git cloning to get the latest scryer... commit | commitdiff | tree | snapshot
2022-03-06 Mark ThomMerge pull request #1322 from triska/explain_strings_better commit | commitdiff | tree | snapshot
2022-03-06 Mark ThomMerge branch 'rebis-dev' into 0.9.0 release v0.9.0 commit | commitdiff | tree | snapshot
2022-03-06 Markus TriskaDOC: Better explanation of strings and partial strings. commit | commitdiff | tree | snapshot
2022-03-06 Mark Thommark variables in ArithmeticEvaluator (#690) commit | commitdiff | tree | snapshot
2022-03-06 Mark Thomuse must_be(chars) in read_from_chars/2 (#1305) commit | commitdiff | tree | snapshot
2022-03-06 Mark Thomreset ReadlineStream from read_query_line (#1317, ... commit | commitdiff | tree | snapshot
2022-03-06 Mark Thomchange domain_error(integer, ..) to type_error(integer... commit | commitdiff | tree | snapshot
2022-03-06 Mark Thomdereference list link in delete_attribute (#1148) commit | commitdiff | tree | snapshot
2022-03-02 Markus TriskaADDED: "f" to enumerate the next 5 solutions, similar... commit | commitdiff | tree | snapshot
2022-03-02 Mark Thomsave arguments to delayed goal before calling verify_at... commit | commitdiff | tree | snapshot
2022-03-01 Mark ThomMerge pull request #1313 from triska/all_solutions commit | commitdiff | tree | snapshot
2022-03-01 Markus TriskaADDED: "a" to enumerate all solutions commit | commitdiff | tree | snapshot
2022-03-01 Mark ThomMerge pull request #1312 from triska/str_loc_as_cell commit | commitdiff | tree | snapshot
2022-03-01 Markus TriskaFIXED: load_html/3: use str_loc_as_cell! to store attri... commit | commitdiff | tree | snapshot
2022-03-01 Mark Thomrefer to structures using str_loc_as_cell! (#1311) commit | commitdiff | tree | snapshot
2022-02-27 Mark Thomfix unexpected error in length/2 (#1303) commit | commitdiff | tree | snapshot
2022-02-27 Mark Thomadd proper error throwing for call_with_inference_limit... commit | commitdiff | tree | snapshot
2022-02-26 Mark Thomcompare '[]' in pstr_comparator of compare_term_test... commit | commitdiff | tree | snapshot
2022-02-26 Mark Thompop pstr offsets from iterator stack in printer (#1290) commit | commitdiff | tree | snapshot
2022-02-26 Mark Thomunify '' to [] in unify_complete_string (#1292, #1288) commit | commitdiff | tree | snapshot
2022-02-23 Mark Thomrecognize [] as equivalent to "" in unify_atom (#1288) commit | commitdiff | tree | snapshot
2022-02-22 Mark ThomMerge pull request #1287 from triska/rebis-dev-sgml commit | commitdiff | tree | snapshot
2022-02-22 Markus Triskause newly available get_n_chars/3 from library(charsio) commit | commitdiff | tree | snapshot
2022-02-22 Markus TriskaFIXED: library(sgml): load_html/3 and load_xml/3 now... commit | commitdiff | tree | snapshot
2022-02-21 Mark Thomcorrect '$skip_max_list/4' for non-lists (#1276) commit | commitdiff | tree | snapshot
2022-02-19 Mark Thomupdate setup_call_cleanup tests commit | commitdiff | tree | snapshot
2022-02-19 Mark Thomadjust dynamic external indices upon retraction, reset... commit | commitdiff | tree | snapshot
2022-02-19 Mark Thomthrow instantiation_error on variables from (#1283) commit | commitdiff | tree | snapshot
2022-02-19 Mark Thomdelay callable errors in control predicates (#1282) commit | commitdiff | tree | snapshot
2022-02-16 Mark Thombuild CStr's to vars in write_literal_to_var (#1284) commit | commitdiff | tree | snapshot
2022-02-15 Mark Thomdon't unify module-qualified variables to ! (#1281) commit | commitdiff | tree | snapshot
2022-02-12 Mark Thomuse VecDeque for generating indices during code generat... commit | commitdiff | tree | snapshot
2022-02-12 Mark Thomadd missing fact to beginning of tmember_t/3 (#1275) commit | commitdiff | tree | snapshot
2022-02-09 Mark Thomgroup predicate subsequences by first instantiated... commit | commitdiff | tree | snapshot
2022-02-07 Mark Thomprint bounded depth partial strings correctly commit | commitdiff | tree | snapshot
2022-02-07 Mark Thomupdate setup_call_cleanup tests commit | commitdiff | tree | snapshot
2022-02-07 Mark Thomuse printer cycle detection when printing partial strin... commit | commitdiff | tree | snapshot
2022-02-06 Mark Thomreference partial strings properly in read_term (#1271) commit | commitdiff | tree | snapshot
2022-02-06 Mark Thomfix write_canonical on strings (#1233) commit | commitdiff | tree | snapshot
2022-02-06 Mark Thomfix '$skip_max_list'/4 (#1260) commit | commitdiff | tree | snapshot
2022-02-06 Mark Thomfix float formatting (#1233, #1258) commit | commitdiff | tree | snapshot
2022-02-01 Mark Thomreset instruction pointers with calls, make HCPrinter... commit | commitdiff | tree | snapshot
2022-02-01 Mark Thomcount cycle lengths in skip_max_list_cycle (#1260) commit | commitdiff | tree | snapshot
2022-02-01 Mark Thomtag length/2 as the source of finite_memory errors... commit | commitdiff | tree | snapshot
2022-01-30 Mark ThomMerge pull request #1257 from mthom/rebis-dev_improved... commit | commitdiff | tree | snapshot
2022-01-29 Mark Thomadd range check to arg/3 (#1250) rebis-dev_improved-length origin/rebis-dev_improved-length commit | commitdiff | tree | snapshot
2022-01-29 Mark Thomimprove '$skip_max_list'/4 and length/2 (#1023, #110) commit | commitdiff | tree | snapshot
2022-01-28 Mark ThomMerge pull request #1254 from triska/valid_dotdotdot commit | commitdiff | tree | snapshot
2022-01-28 Markus TriskaENHANCED: Make toplevel output a Prolog term that can... commit | commitdiff | tree | snapshot
2022-01-27 Mark Thominline store & deref calls in '' (#1176) commit | commitdiff | tree | snapshot
2022-01-27 Mark Thomuse expand_goal directly for existential-qualified... commit | commitdiff | tree | snapshot
2022-01-26 Mark Thomdon't read into the heap while incrementing self.s... commit | commitdiff | tree | snapshot
2022-01-22 Mark Thomlazily throw exceptions of dcg_body from goal-expanded... commit | commitdiff | tree | snapshot
2022-01-21 Mark Thomrecognize []/N as callable (#1241, #989) commit | commitdiff | tree | snapshot
2022-01-21 Mark Thomexpand phrase/{2,3} using dcg_body whenever possible commit | commitdiff | tree | snapshot
2022-01-21 Mark Thommodule-qualify callables more liberally but not for... commit | commitdiff | tree | snapshot
2022-01-20 Mark Thomdereference car of Lis in HeapPStRIter::step (#1238) commit | commitdiff | tree | snapshot
2022-01-20 Mark Thomthrow errors from phrase/{2,3} where expected (#1220) commit | commitdiff | tree | snapshot
2022-01-20 Mark Thomstreamline and fix phrase/{2,3} (#1237) commit | commitdiff | tree | snapshot
2022-01-20 Mark ThomMerge pull request #1236 from triska/omit-module-prefix commit | commitdiff | tree | snapshot
2022-01-19 Markus Triskaomit module prefix, because the goals are already modul... commit | commitdiff | tree | snapshot
2022-01-19 Mark ThomMerge pull request #1235 from triska/better-initializat... commit | commitdiff | tree | snapshot
2022-01-19 Markus TriskaENHANCED: more specific warning when initialization... commit | commitdiff | tree | snapshot
2022-01-19 Mark ThomMerge pull request #1234 from aarroyoc/ctrld commit | commitdiff | tree | snapshot
2022-01-19 Mark Thomprint -0.0 as 0.0 (#1164) commit | commitdiff | tree | snapshot
2022-01-19 Mark Thomthrow error instead of overwriting builtin export ... commit | commitdiff | tree | snapshot
2022-01-19 Mark Thomremove number/3 from arithmetic.pl (#1170) commit | commitdiff | tree | snapshot
2022-01-18 Adrián Arroyo... Fix Ctrl-D (#1168) commit | commitdiff | tree | snapshot
2022-01-18 Mark Thomfix floor for f64 (#1223) commit | commitdiff | tree | snapshot
2022-01-18 Mark Thominclude library(error) in toplevel.pl (#1226) commit | commitdiff | tree | snapshot
2022-01-18 Mark Thomclear alias in close before resetting the stream to... commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust