| 2022-04-05 |
William Kral | Fix indentation before false in tests (#676) |
commit | commitdiff | tree | snapshot |
| 2022-04-04 |
Mark Thom | indent plain false (#676) |
commit | commitdiff | tree | snapshot |
| 2022-04-03 |
Mark Thom | Merge pull request #1386 from triska/better_call_nth |
commit | commitdiff | tree | snapshot |
| 2022-04-03 |
Mark Thom | compare complete strings to one another in write_litera... |
commit | commitdiff | tree | snapshot |
| 2022-04-02 |
Markus Triska | ENHANCED: more memory efficient call_nth/2 (#1264) |
commit | commitdiff | tree | snapshot |
| 2022-04-02 |
Mark Thom | don't mark forwarded refs in stackless iterator/marker... |
commit | commitdiff | tree | snapshot |
| 2022-04-01 |
Mark Thom | be aware of temporary variables of stackless iterator... |
commit | commitdiff | tree | snapshot |
| 2022-03-31 |
Mark Thom | Merge pull request #1381 from wkral/build-fmt-error |
commit | commitdiff | tree | snapshot |
| 2022-03-31 |
William Kral | Improve rustfmt missing error during build (#1379) |
commit | commitdiff | tree | snapshot |
| 2022-03-30 |
Mark Thom | Merge pull request #1380 from triska/as_is |
commit | commitdiff | tree | snapshot |
| 2022-03-30 |
Markus Triska | as --> is |
commit | commitdiff | tree | snapshot |
| 2022-03-30 |
Mark Thom | fix dif/2 crash (#1378) |
commit | commitdiff | tree | snapshot |
| 2022-03-29 |
Mark Thom | Merge pull request #1373 from aarroyoc/http-open |
commit | commitdiff | tree | snapshot |
| 2022-03-29 |
Mark Thom | print closed stream handle as '$dropped_value' (#1376) |
commit | commitdiff | tree | snapshot |
| 2022-03-29 |
Mark Thom | dereference numbervars terms (#1377) |
commit | commitdiff | tree | snapshot |
| 2022-03-28 |
Adrián Arroyo... | Add close handling of http stream |
commit | commitdiff | tree | snapshot |
| 2022-03-28 |
Adrián Arroyo... | http_open/3 try_or_throw |
commit | commitdiff | tree | snapshot |
| 2022-03-28 |
Adrián Arroyo... | http_open/3 with headers and data |
commit | commitdiff | tree | snapshot |
| 2022-03-28 |
Adrián Arroyo... | http_open/3 with method option |
commit | commitdiff | tree | snapshot |
| 2022-03-27 |
Mark Thom | extend small_letter_char! to include all non-uppercase... |
commit | commitdiff | tree | snapshot |
| 2022-03-27 |
Mark Thom | Stream::close() should close file handles (#1374) |
commit | commitdiff | tree | snapshot |
| 2022-03-27 |
Mark Thom | use ryu to print floats with a modification for compati... |
commit | commitdiff | tree | snapshot |
| 2022-03-27 |
Mark Thom | fix char comparison misordering (#1371) |
commit | commitdiff | tree | snapshot |
| 2022-03-27 |
Mark Thom | retrieve F64 behind Cons tags properly (#1369) |
commit | commitdiff | tree | snapshot |
| 2022-03-26 |
Mark Thom | Merge pull request #1370 from triska/files_must_be_chars |
commit | commitdiff | tree | snapshot |
| 2022-03-26 |
Markus Triska | ENHANCED: use newly available must_be(chars, ...),... |
commit | commitdiff | tree | snapshot |
| 2022-03-26 |
Mark Thom | fix functor/3 arity check (#1366) |
commit | commitdiff | tree | snapshot |
| 2022-03-25 |
Mark Thom | advance arg in arithmetic comparison code (#1367) |
commit | commitdiff | tree | snapshot |
| 2022-03-24 |
Mark Thom | detect float rounding overflows (#1365) |
commit | commitdiff | tree | snapshot |
| 2022-03-23 |
Mark Thom | recognize missing syntax errors (#1354, #1361) |
commit | commitdiff | tree | snapshot |
| 2022-03-22 |
Mark Thom | compare TypedArenaPtr<T> by value not pointer (#1362) |
commit | commitdiff | tree | snapshot |
| 2022-03-19 |
Mark Thom | use Rust's native UTF-8 functions (#1355) |
commit | commitdiff | tree | snapshot |
| 2022-03-19 |
Mark Thom | correct float version of sign/1 (#1360) |
commit | commitdiff | tree | snapshot |
| 2022-03-18 |
Mark Thom | accept remaining UTF-8 codepoints as alphabetic charact... |
commit | commitdiff | tree | snapshot |
| 2022-03-18 |
Mark Thom | print most characters directly ((#1355) |
commit | commitdiff | tree | snapshot |
| 2022-03-18 |
Mark Thom | check self.ignore_ops and max_depth in print_rational... |
commit | commitdiff | tree | snapshot |
| 2022-03-17 |
Mark Thom | remove pstr offsets unconditionally from printer iterat... |
commit | commitdiff | tree | snapshot |
| 2022-03-16 |
Mark Thom | improve length/2 (#1325) |
commit | commitdiff | tree | snapshot |
| 2022-03-15 |
Mark Thom | prepare for publishing to crates.io (#1335) |
commit | commitdiff | tree | snapshot |
| 2022-03-13 |
Mark Thom | add (:) meta-predicate argument indicator (#1302) |
commit | commitdiff | tree | snapshot |
| 2022-03-13 |
Mark Thom | derefence target variable in check_sort_errors (#1350) |
commit | commitdiff | tree | snapshot |
| 2022-03-13 |
Mark Thom | throw errors on cycles in sort/2 and keysort/2 (#1350... |
commit | commitdiff | tree | snapshot |
| 2022-03-13 |
Mark Thom | point code index to switch_on_term after appending... |
commit | commitdiff | tree | snapshot |
| 2022-03-12 |
Mark Thom | Merge pull request #1349 from Skgland/min-rust-version |
commit | commitdiff | tree | snapshot |
| 2022-03-12 |
Skgland | add a CI job to verify msrv is still correct |
commit | commitdiff | tree | snapshot |
| 2022-03-12 |
Skgland | add min rust version |
commit | commitdiff | tree | snapshot |
| 2022-03-12 |
Mark Thom | Merge pull request #1348 from mthom/revert-1347-min... |
commit | commitdiff | tree | snapshot |
| 2022-03-12 |
Mark Thom | Revert "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 Thom | Merge pull request #1347 from Skgland/min-rust-version |
commit | commitdiff | tree | snapshot |
| 2022-03-12 |
Skgland | add a CI job to verify msrv is still correct |
commit | commitdiff | tree | snapshot |
| 2022-03-12 |
Skgland | add min rust version |
commit | commitdiff | tree | snapshot |
| 2022-03-12 |
Mark Thom | Merge pull request #1342 from wkral/no-add-history |
commit | commitdiff | tree | snapshot |
| 2022-03-11 |
William Kral | Add --no-add-history flag |
commit | commitdiff | tree | snapshot |
| 2022-03-10 |
Mark Thom | print rationals that are integers as integers (#663) |
commit | commitdiff | tree | snapshot |
| 2022-03-09 |
Mark Thom | print variables instead of offsets in setup_call_cleanu... |
commit | commitdiff | tree | snapshot |
| 2022-03-09 |
Mark Thom | correct loading of variable name strings in write_term/3 |
commit | commitdiff | tree | snapshot |
| 2022-03-09 |
Mark Thom | fix parser bounds check bug (#1333, #1301) |
commit | commitdiff | tree | snapshot |
| 2022-03-09 |
Mark Thom | unify empty list to '' in atom_chars/2 (#1334, #1336) |
commit | commitdiff | tree | snapshot |
| 2022-03-08 |
Mark Thom | wrap meta-predicate specifications in functors (#1330) |
commit | commitdiff | tree | snapshot |
| 2022-03-08 |
Mark Thom | fix float formatting (#1331) |
commit | commitdiff | tree | snapshot |
| 2022-03-07 |
Mark Thom | Merge pull request #1332 from triska/call_nth_0 |
commit | commitdiff | tree | snapshot |
| 2022-03-07 |
Markus Triska | ENHANCED: call_nth(Goal, 0) now fails, correct error... |
commit | commitdiff | tree | snapshot |
| 2022-03-07 |
Mark Thom | fix number/1 (#1329) |
commit | commitdiff | tree | snapshot |
| 2022-03-07 |
Mark Thom | Merge pull request #1328 from pmoura/fix_bounded_and_ma... |
commit | commitdiff | tree | snapshot |
| 2022-03-07 |
Paulo Moura | Fix querying the values of the bounded and max_arity... |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Mark Thom | compare functor arity first (#1327) |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Mark Thom | fix compare/3 (#1327) |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Mark Thom | Merge pull request #1326 from pmoura/fix_halt_1_predica... |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Paulo Moura | Fix halt/1 built-in predicate for ISO Prolog Core stand... |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Mark Thom | Merge pull request #1323 from triska/simplex |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Markus Triska | ADDED: library(simplex), for solving linear programming... |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Mark Thom | only recommend git cloning to get the latest scryer... |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Mark Thom | Merge pull request #1322 from triska/explain_strings_better |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Mark Thom | Merge branch 'rebis-dev' into 0.9.0 release v0.9.0 |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Markus Triska | DOC: Better explanation of strings and partial strings. |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Mark Thom | mark variables in ArithmeticEvaluator (#690) |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Mark Thom | use must_be(chars) in read_from_chars/2 (#1305) |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Mark Thom | reset ReadlineStream from read_query_line (#1317, ... |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Mark Thom | change domain_error(integer, ..) to type_error(integer... |
commit | commitdiff | tree | snapshot |
| 2022-03-06 |
Mark Thom | dereference list link in delete_attribute (#1148) |
commit | commitdiff | tree | snapshot |
| 2022-03-02 |
Markus Triska | ADDED: "f" to enumerate the next 5 solutions, similar... |
commit | commitdiff | tree | snapshot |
| 2022-03-02 |
Mark Thom | save arguments to delayed goal before calling verify_at... |
commit | commitdiff | tree | snapshot |
| 2022-03-01 |
Mark Thom | Merge pull request #1313 from triska/all_solutions |
commit | commitdiff | tree | snapshot |
| 2022-03-01 |
Markus Triska | ADDED: "a" to enumerate all solutions |
commit | commitdiff | tree | snapshot |
| 2022-03-01 |
Mark Thom | Merge pull request #1312 from triska/str_loc_as_cell |
commit | commitdiff | tree | snapshot |
| 2022-03-01 |
Markus Triska | FIXED: load_html/3: use str_loc_as_cell! to store attri... |
commit | commitdiff | tree | snapshot |
| 2022-03-01 |
Mark Thom | refer to structures using str_loc_as_cell! (#1311) |
commit | commitdiff | tree | snapshot |
| 2022-02-27 |
Mark Thom | fix unexpected error in length/2 (#1303) |
commit | commitdiff | tree | snapshot |
| 2022-02-27 |
Mark Thom | add proper error throwing for call_with_inference_limit... |
commit | commitdiff | tree | snapshot |
| 2022-02-26 |
Mark Thom | compare '[]' in pstr_comparator of compare_term_test... |
commit | commitdiff | tree | snapshot |
| 2022-02-26 |
Mark Thom | pop pstr offsets from iterator stack in printer (#1290) |
commit | commitdiff | tree | snapshot |
| 2022-02-26 |
Mark Thom | unify '' to [] in unify_complete_string (#1292, #1288) |
commit | commitdiff | tree | snapshot |
| 2022-02-23 |
Mark Thom | recognize [] as equivalent to "" in unify_atom (#1288) |
commit | commitdiff | tree | snapshot |
| 2022-02-22 |
Mark Thom | Merge pull request #1287 from triska/rebis-dev-sgml |
commit | commitdiff | tree | snapshot |
| 2022-02-22 |
Markus Triska | use newly available get_n_chars/3 from library(charsio) |
commit | commitdiff | tree | snapshot |
| 2022-02-22 |
Markus Triska | FIXED: library(sgml): load_html/3 and load_xml/3 now... |
commit | commitdiff | tree | snapshot |
| 2022-02-21 |
Mark Thom | correct '$skip_max_list/4' for non-lists (#1276) |
commit | commitdiff | tree | snapshot |
| 2022-02-19 |
Mark Thom | update setup_call_cleanup tests |
commit | commitdiff | tree | snapshot |
| 2022-02-19 |
Mark Thom | adjust dynamic external indices upon retraction, reset... |
commit | commitdiff | tree | snapshot |
| 2022-02-19 |
Mark Thom | throw instantiation_error on variables from (#1283) |
commit | commitdiff | tree | snapshot |
| next |
projects / scryer-prolog.git / shortlog