| 2022-05-10 |
Euan Lacy | wip: basic completion of predicates |
commit | commitdiff | tree | snapshot |
| 2022-05-08 |
Mark Thom | unify partial string tail later in create_partial_strin... |
commit | commitdiff | tree | snapshot |
| 2022-05-06 |
Mark Thom | fix culprit in stream_position permission_error (#1463) |
commit | commitdiff | tree | snapshot |
| 2022-05-06 |
Mark Thom | correct cycle detection in unify_* (#1455) |
commit | commitdiff | tree | snapshot |
| 2022-05-05 |
Mark Thom | Merge pull request #1461 from triska/clpz_sign |
commit | commitdiff | tree | snapshot |
| 2022-05-05 |
Markus Triska | ADDED: sign/1 |
commit | commitdiff | tree | snapshot |
| 2022-05-05 |
Markus Triska | remove comment that seems no longer valid |
commit | commitdiff | tree | snapshot |
| 2022-05-05 |
Mark Thom | fix rnd_i fixnum casting bug (#1456, #1458) |
commit | commitdiff | tree | snapshot |
| 2022-05-05 |
Mark Thom | track f64 offsets in Literal (#1190) |
commit | commitdiff | tree | snapshot |
| 2022-05-04 |
Mark Thom | compact lists of characters to partial strings in read_... |
commit | commitdiff | tree | snapshot |
| 2022-05-01 |
Mark Thom | fix match_partial_string, compare_pstr_to_string (... |
commit | commitdiff | tree | snapshot |
| 2022-04-29 |
Mark Thom | remove redundant register assignments in numeric compar... |
commit | commitdiff | tree | snapshot |
| 2022-04-29 |
Mark Thom | remove redundant skip_stub_try_me_else condition (... |
commit | commitdiff | tree | snapshot |
| 2022-04-26 |
Mark Thom | Merge pull request #1436 from triska/must_be_term |
commit | commitdiff | tree | snapshot |
| 2022-04-26 |
Mark Thom | replace SliceDeque with VecDeque |
commit | commitdiff | tree | snapshot |
| 2022-04-25 |
Mark Thom | catch existence_error exceptions from top-level calls... |
commit | commitdiff | tree | snapshot |
| 2022-04-23 |
Mark Thom | unify structures from left to right (#1396) |
commit | commitdiff | tree | snapshot |
| 2022-04-22 |
Mark Thom | update to crossterm 0.20.0 (#1439) |
commit | commitdiff | tree | snapshot |
| 2022-04-20 |
Markus Triska | ADDED: can_be(term, ...) and must_be(term, ...) |
commit | commitdiff | tree | snapshot |
| 2022-04-18 |
Mark Thom | very minor optimizations |
commit | commitdiff | tree | snapshot |
| 2022-04-17 |
Mark Thom | mark unsafe variables and substitute temporary variable... |
commit | commitdiff | tree | snapshot |
| 2022-04-17 |
Mark Thom | fix panic caused by jmp offset off by one error (#1429) |
commit | commitdiff | tree | snapshot |
| 2022-04-17 |
Mark Thom | avoid writing chars to the atom table in several places |
commit | commitdiff | tree | snapshot |
| 2022-04-16 |
Mark Thom | Merge pull request #1421 from gruhn/master |
commit | commitdiff | tree | snapshot |
| 2022-04-15 |
Mark Thom | fix comparisons to partial string tails (#1420) |
commit | commitdiff | tree | snapshot |
| 2022-04-14 |
Niklas Gruhn | push Docker image on new release |
commit | commitdiff | tree | snapshot |
| 2022-04-14 |
Mark Thom | instantiate Module in definition of retract/1 (#1392) |
commit | commitdiff | tree | snapshot |
| 2022-04-13 |
Mark Thom | mark cells that are about to be iterated in the stackfu... |
commit | commitdiff | tree | snapshot |
| 2022-04-12 |
Mark Thom | use '$call' all throughout setup_call_cleanup/3 |
commit | commitdiff | tree | snapshot |
| 2022-04-11 |
Mark Thom | dereference head of list in is_continuable (#1417) |
commit | commitdiff | tree | snapshot |
| 2022-04-11 |
Mark Thom | stop detecting cycles in compare_pstr_to_string |
commit | commitdiff | tree | snapshot |
| 2022-04-10 |
Mark Thom | mark variable referents in stackful iterator, fix tests... |
commit | commitdiff | tree | snapshot |
| 2022-04-10 |
Mark Thom | Merge pull request #1415 from wkral/set_output-error |
commit | commitdiff | tree | snapshot |
| 2022-04-10 |
William Kral | Fix reported source for set_output/1 error (#1407) |
commit | commitdiff | tree | snapshot |
| 2022-04-10 |
Mark Thom | print dot after errors, fix tests (#1408) |
commit | commitdiff | tree | snapshot |
| 2022-04-10 |
Mark Thom | fix tests, use '$first_answer' to print indentation... |
commit | commitdiff | tree | snapshot |
| 2022-04-09 |
Mark Thom | print errors as goals (#1408) |
commit | commitdiff | tree | snapshot |
| 2022-04-09 |
Mark Thom | unmark dereferenced cells in term_variables/2 (#1412) |
commit | commitdiff | tree | snapshot |
| 2022-04-09 |
Mark Thom | dereference bindings returned by stackful iterator... |
commit | commitdiff | tree | snapshot |
| 2022-04-09 |
Mark Thom | deduplicate variable list in term_variables/2 (#1409) |
commit | commitdiff | tree | snapshot |
| 2022-04-08 |
Mark Thom | throw errors on cyclic terms when evaluating is/2 expre... |
commit | commitdiff | tree | snapshot |
| 2022-04-08 |
Mark Thom | fix loop in stackful iterator (#1405, #1384) |
commit | commitdiff | tree | snapshot |
| 2022-04-07 |
Mark Thom | detect immediately cyclic lists (#1384) |
commit | commitdiff | tree | snapshot |
| 2022-04-06 |
Mark Thom | restore correct order to term_variables/2 (#1400, ... |
commit | commitdiff | tree | snapshot |
| 2022-04-06 |
Mark Thom | limit use of stackless iterator to test suite |
commit | commitdiff | tree | snapshot |
| 2022-04-06 |
Mark Thom | add forwarding bit to all heap cells (#1384) |
commit | commitdiff | tree | snapshot |
| 2022-04-06 |
Mark Thom | allocate floats in dedicated buffer |
commit | commitdiff | tree | snapshot |
| 2022-04-06 |
Mark Thom | make marker into an iterators, recover post_order_iterator |
commit | commitdiff | tree | snapshot |
| 2022-04-06 |
Mark Thom | removal of old stackless iterator, implementation of... |
commit | commitdiff | tree | snapshot |
| 2022-04-05 |
Mark Thom | Merge pull request #1395 from wkral/fix-test-indentation |
commit | commitdiff | tree | snapshot |
| 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 |
| next |
projects / scryer-prolog.git / shortlog