| 2022-10-27 |
Markus Triska | ENHANCED: Use '$skip_max_list'/4 for greater efficiency... |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Markus Triska | ENHANCED: Improve determinism of ... //0 and seq//1. |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | offset into complete strings with '$skip_max_list'... |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | don't return ops with priority 0 when building set... |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | treat functors with PI '.'/2 as lists (#1570) |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | introduce expand_call_goal/3 to expand goals in control... |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Markus Triska | use a DCG to describe the path |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Markus Triska | remove entailed must_be/2 goals |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Markus Triska | use newly available ... //0 from library(dcgs) |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Markus Triska | add meta_predicate/1 declaration for phrase_to_file/3 |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | strip modules from GRBody in phrase/3 (#1565) |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | fail on non-list solutions in setof/3 (#1553) |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Adrián Arroyo... | HTTP Server 2.0 |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | prefix inlined goals with module names in expand_subgoa... |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | try to invoke '$call_inline' a second time in call... |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Markus Triska | ENHANCED: CLP(ℤ): Reduce redundant propagator invocatio... |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Markus Triska | add meta_predicate/1 declarations |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | resolve phrase modules internally (#1541) |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | fail when exception caught from subgoal expansion ... |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | fix module resolution in dcgs, call/N (#1539) |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | deduplicate index ptr inlining for 0-arity atoms (... |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | trim get_structure and put_structure arities when last... |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | print index_ptr offset (#1534) |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | use separate predicate for findall cleanup |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | inference count call_inline, fail on undefined index |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | streamline assertz/1, asserta/1 |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | inline metacalls |
commit | commitdiff | tree | snapshot |
| 2022-10-27 |
Mark Thom | Merge pull request #1630 from epilys/fix-1625 |
commit | commitdiff | tree | snapshot |
| 2022-10-26 |
Manos Pitsidianakis | fix type_error with instantiated EOF -1 byte literal... |
commit | commitdiff | tree | snapshot |
| 2022-10-26 |
Mark Thom | Merge pull request #1628 from epilys/fix-1626 |
commit | commitdiff | tree | snapshot |
| 2022-10-24 |
Manos Pitsidianakis | Fix xor/2 type error reporting wrong argument |
commit | commitdiff | tree | snapshot |
| 2022-07-19 |
Mark Thom | Merge pull request #1530 from RossSmyth/FixImports |
commit | commitdiff | tree | snapshot |
| 2022-07-17 |
Ross Smyth | Fixed imports num-rug-adapter |
commit | commitdiff | tree | snapshot |
| 2022-06-22 |
Mark Thom | capture and propagate (=..)/2 errors in phrase/{2,3... |
commit | commitdiff | tree | snapshot |
| 2022-06-18 |
Mark Thom | propagate inference_limit_exceeded errors through the... |
commit | commitdiff | tree | snapshot |
| 2022-06-16 |
Mark Thom | use setup_cal_n_init_goal_info in dynamic_module_resolution |
commit | commitdiff | tree | snapshot |
| 2022-06-13 |
Mark Thom | improve efficiency of call/N, replace '$call_with_defau... |
commit | commitdiff | tree | snapshot |
| 2022-06-13 |
Mark Thom | simplify detecting undefined goal_ and term_expansion |
commit | commitdiff | tree | snapshot |
| 2022-06-12 |
Mark Thom | Merge pull request #1510 from Skgland/add-gitattributes |
commit | commitdiff | tree | snapshot |
| 2022-06-12 |
Skgland | add a .gitattributes file |
commit | commitdiff | tree | snapshot |
| 2022-06-06 |
Mark Thom | replace call with $call in more meta-predicates |
commit | commitdiff | tree | snapshot |
| 2022-06-05 |
Mark Thom | emit indexing instructions in single clauses of dynamic... |
commit | commitdiff | tree | snapshot |
| 2022-06-04 |
Mark Thom | do not emit indexing instructions for single clause... |
commit | commitdiff | tree | snapshot |
| 2022-06-04 |
Mark Thom | Merge pull request #1505 from Skgland/optional_rustfmt |
commit | commitdiff | tree | snapshot |
| 2022-06-03 |
Skgland | adjust error message on failed formatting |
commit | commitdiff | tree | snapshot |
| 2022-06-03 |
Skgland | make rustfmt optional |
commit | commitdiff | tree | snapshot |
| 2022-06-01 |
Mark Thom | unmark cells in arith_eval_by_metacall (#1497) |
commit | commitdiff | tree | snapshot |
| 2022-06-01 |
Mark Thom | don't print superfluous round brackets in curly braces... |
commit | commitdiff | tree | snapshot |
| 2022-06-01 |
Mark Thom | fix broken quoting in writeq/1 (#1498) |
commit | commitdiff | tree | snapshot |
| 2022-05-31 |
Mark Thom | fix off-by-one error reporting in write_term/3 (#1490) |
commit | commitdiff | tree | snapshot |
| 2022-05-31 |
Mark Thom | don't quote most characters in strings (#1495, #301) |
commit | commitdiff | tree | snapshot |
| 2022-05-23 |
Mark Thom | use existence_error for dropped streams (#1472) |
commit | commitdiff | tree | snapshot |
| 2022-05-23 |
Mark Thom | Merge pull request #1485 from triska/in_character |
commit | commitdiff | tree | snapshot |
| 2022-05-22 |
Markus Triska | use in_character |
commit | commitdiff | tree | snapshot |
| 2022-05-22 |
Markus Triska | ADDED: must_be(in_character, ...) and can_be(in_charact... |
commit | commitdiff | tree | snapshot |
| 2022-05-22 |
Mark Thom | fix stream position and term comparison bugs (#1472) |
commit | commitdiff | tree | snapshot |
| 2022-05-22 |
Mark Thom | Merge pull request #1484 from aarroyoc/fix-windows... |
commit | commitdiff | tree | snapshot |
| 2022-05-22 |
Adrián Arroyo... | MSI installer |
commit | commitdiff | tree | snapshot |
| 2022-05-22 |
Adrián Arroyo... | Fix build on Windows 10 |
commit | commitdiff | tree | snapshot |
| 2022-05-22 |
Mark Thom | throw a representation error if max arity is exceeded... |
commit | commitdiff | tree | snapshot |
| 2022-05-21 |
Mark Thom | Merge pull request #1482 from triska/multiple_of_five_a... |
commit | commitdiff | tree | snapshot |
| 2022-05-21 |
Mark Thom | add max arity checks at various stages (#1459) |
commit | commitdiff | tree | snapshot |
| 2022-05-21 |
Markus Triska | ENHANCED: "f" on toplevel to report answers up to the... |
commit | commitdiff | tree | snapshot |
| 2022-05-17 |
Mark Thom | check asserta/2, assertz/2, abolish/2 for uninstantiate... |
commit | commitdiff | tree | snapshot |
| 2022-05-16 |
Mark Thom | detect character type errors in atom_{chars|codes}... |
commit | commitdiff | tree | snapshot |
| 2022-05-15 |
Mark Thom | Merge pull request #1478 from triska/sgml_improvements |
commit | commitdiff | tree | snapshot |
| 2022-05-15 |
Mark Thom | Merge pull request #1477 from triska/document_tab_compl... |
commit | commitdiff | tree | snapshot |
| 2022-05-15 |
Markus Triska | indent enumerations |
commit | commitdiff | tree | snapshot |
| 2022-05-15 |
Markus Triska | clarify the representation |
commit | commitdiff | tree | snapshot |
| 2022-05-15 |
Markus Triska | strengthen and improve type checks |
commit | commitdiff | tree | snapshot |
| 2022-05-15 |
Markus Triska | clarify comment |
commit | commitdiff | tree | snapshot |
| 2022-05-15 |
Markus Triska | use phrase_from_file/2 directly on the file name |
commit | commitdiff | tree | snapshot |
| 2022-05-15 |
Markus Triska | document atom and predicate completion with TAB |
commit | commitdiff | tree | snapshot |
| 2022-05-15 |
Mark Thom | Merge pull request #1474 from triska/correct_can_be_chars |
commit | commitdiff | tree | snapshot |
| 2022-05-14 |
Mark Thom | consider deallocate a head instruction (#1473) |
commit | commitdiff | tree | snapshot |
| 2022-05-14 |
Markus Triska | prioritize type errors over instantiation errors |
commit | commitdiff | tree | snapshot |
| 2022-05-14 |
Markus Triska | FIXED: can_be(chars, [a,X]), i.e., if variables occur... |
commit | commitdiff | tree | snapshot |
| 2022-05-14 |
Mark Thom | remove non-determinism in number_chars/2 and numbercode... |
commit | commitdiff | tree | snapshot |
| 2022-05-12 |
Mark Thom | use must_be(chars) in number_chars/2 (#1470) |
commit | commitdiff | tree | snapshot |
| 2022-05-12 |
Mark Thom | Merge pull request #1467 from euanlacy/master |
commit | commitdiff | tree | snapshot |
| 2022-05-11 |
Euan Lacy | wip: add more atoms to completion list |
commit | commitdiff | tree | snapshot |
| 2022-05-10 |
Euan Lacy | fix: remove unnecessary string & vec allocations |
commit | commitdiff | tree | snapshot |
| 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 |
| next |
projects / scryer-prolog.git / shortlog