| 2023-04-02 |
Markus Triska | FIXED: number_chars(N, "0' "), addressing #1580. |
commit | commitdiff | tree | snapshot |
| 2023-04-01 |
Mark Thom | Merge pull request #1770 from triska/doc |
commit | commitdiff | tree | snapshot |
| 2023-04-01 |
Markus Triska | DOC: link to "Indexing dif/2" |
commit | commitdiff | tree | snapshot |
| 2023-04-01 |
Markus Triska | DOC: explain location of scryer-prolog after compilation |
commit | commitdiff | tree | snapshot |
| 2023-04-01 |
Markus Triska | use the release flag so that the instructions can be... |
commit | commitdiff | tree | snapshot |
| 2023-04-01 |
Markus Triska | change "run" to "build", since "run" leads to a Scryer... |
commit | commitdiff | tree | snapshot |
| 2023-03-31 |
Mark Thom | Merge pull request #1769 from triska/show_pending_const... |
commit | commitdiff | tree | snapshot |
| 2023-03-30 |
Markus Triska | ENHANCED: use call_residue_vars/2 to show all pending... |
commit | commitdiff | tree | snapshot |
| 2023-03-26 |
Mark Thom | broaden the definition of alpha_char! (#1749, #1515... |
commit | commitdiff | tree | snapshot |
| 2023-03-25 |
Mark Thom | Merge pull request #1765 from mthom/dependabot/cargo... |
commit | commitdiff | tree | snapshot |
| 2023-03-25 |
dependabot... | Bump openssl from 0.10.42 to 0.10.48 |
commit | commitdiff | tree | snapshot |
| 2023-03-19 |
Mark Thom | add '$unattributed_var' builtin (#1758) |
commit | commitdiff | tree | snapshot |
| 2023-03-16 |
Mark Thom | Merge pull request #1759 from triska/better_queue |
commit | commitdiff | tree | snapshot |
| 2023-03-15 |
Markus Triska | remove no longer needed queue attributes after propagation |
commit | commitdiff | tree | snapshot |
| 2023-03-15 |
Markus Triska | show remaining queue/2 attributes as residual goals |
commit | commitdiff | tree | snapshot |
| 2023-03-15 |
Mark Thom | Revert "correct call_residue_vars/3 using new copy_term... |
commit | commitdiff | tree | snapshot |
| 2023-03-15 |
Mark Thom | Revert "use new call_residue_vars/2 in toplevel.pl... |
commit | commitdiff | tree | snapshot |
| 2023-03-12 |
Mark Thom | use new call_residue_vars/2 in toplevel.pl (#847) |
commit | commitdiff | tree | snapshot |
| 2023-03-12 |
Mark Thom | correct call_residue_vars/3 using new copy_term_3 ... |
commit | commitdiff | tree | snapshot |
| 2023-03-12 |
Mark Thom | Merge pull request #1757 from aarroyoc/fix-docs-1756 |
commit | commitdiff | tree | snapshot |
| 2023-03-12 |
Adrián Arroyo... | Fixes #1756 |
commit | commitdiff | tree | snapshot |
| 2023-03-10 |
Mark Thom | Merge pull request #1755 from triska/doc |
commit | commitdiff | tree | snapshot |
| 2023-03-08 |
Markus Triska | use actual toplevel answers |
commit | commitdiff | tree | snapshot |
| 2023-03-08 |
Markus Triska | use string notation as discussed on #scryer IRC |
commit | commitdiff | tree | snapshot |
| 2023-03-08 |
Markus Triska | items --> elements |
commit | commitdiff | tree | snapshot |
| 2023-03-08 |
Mark Thom | Merge pull request #1754 from triska/dif |
commit | commitdiff | tree | snapshot |
| 2023-03-08 |
Markus Triska | FIXED: Take all variables into account during goal... |
commit | commitdiff | tree | snapshot |
| 2023-03-08 |
Markus Triska | ENHANCED: more compact definition of dif/2 |
commit | commitdiff | tree | snapshot |
| 2023-03-02 |
Mark Thom | Merge pull request #1744 from aarroyoc/ffi |
commit | commitdiff | tree | snapshot |
| 2023-03-01 |
Adrián Arroyo... | Fill more cases |
commit | commitdiff | tree | snapshot |
| 2023-02-28 |
Adrián Arroyo... | Merge branch 'master' into ffi |
commit | commitdiff | tree | snapshot |
| 2023-02-28 |
Adrián Arroyo... | FFI: Documentation |
commit | commitdiff | tree | snapshot |
| 2023-02-27 |
Mark Thom | invoke '$default_attr_list' in project_attributes.pl... |
commit | commitdiff | tree | snapshot |
| 2023-02-27 |
Mark Thom | third argument of copy_term should be instantiated... |
commit | commitdiff | tree | snapshot |
| 2023-02-26 |
Mark Thom | Merge pull request #1746 from triska/type_over_instanti... |
commit | commitdiff | tree | snapshot |
| 2023-02-26 |
Markus Triska | ENHANCED: must_be/2: prefer type error over instantiati... |
commit | commitdiff | tree | snapshot |
| 2023-02-26 |
Adrián Arroyo... | FFI: Nested structs |
commit | commitdiff | tree | snapshot |
| 2023-02-26 |
Mark Thom | add, implement and use the Unifier trait |
commit | commitdiff | tree | snapshot |
| 2023-02-25 |
Adrián Arroyo... | Macroization of the code |
commit | commitdiff | tree | snapshot |
| 2023-02-25 |
Mark Thom | Merge pull request #1743 from triska/rely_on_indexing |
commit | commitdiff | tree | snapshot |
| 2023-02-25 |
Markus Triska | rely on first instantiated argument indexing |
commit | commitdiff | tree | snapshot |
| 2023-02-23 |
Mark Thom | Merge pull request #1741 from triska/clpz_residuals |
commit | commitdiff | tree | snapshot |
| 2023-02-22 |
Markus Triska | DOC: update residual goals |
commit | commitdiff | tree | snapshot |
| 2023-02-22 |
Markus Triska | in projection of residual goals, mark considered propag... |
commit | commitdiff | tree | snapshot |
| 2023-02-22 |
Adrián Arroyo... | MVP of Foreign Function Interface |
commit | commitdiff | tree | snapshot |
| 2023-02-22 |
Mark Thom | assign responsibility for emitting dif goal to the... |
commit | commitdiff | tree | snapshot |
| 2023-02-21 |
Mark Thom | catch attribute_goals errors in copy_term/3, don't... |
commit | commitdiff | tree | snapshot |
| 2023-02-20 |
Mark Thom | Merge pull request #1737 from triska/link_to_homepage |
commit | commitdiff | tree | snapshot |
| 2023-02-20 |
Markus Triska | add link to newly available homepage |
commit | commitdiff | tree | snapshot |
| 2023-02-20 |
Robert Jacobson | Changed the links for the delimited continuations paper... |
commit | commitdiff | tree | snapshot |
| 2023-02-20 |
Robert Jacobson | Added links to referenced research papers in the Phase... |
commit | commitdiff | tree | snapshot |
| 2023-02-20 |
Mark Thom | change '$delete_all_attributes' to '$delete_all_attribu... |
commit | commitdiff | tree | snapshot |
| 2023-02-20 |
Mark Thom | add '$delete_all_attributes', use copy_term/3 as define... |
commit | commitdiff | tree | snapshot |
| 2023-02-20 |
Mark Thom | compile '$atts' and '$project_atts' modules using... |
commit | commitdiff | tree | snapshot |
| 2023-02-17 |
Mark Thom | keep phrase goal qualified even if qualifier is a variable |
commit | commitdiff | tree | snapshot |
| 2023-02-13 |
Mark Thom | correct incremental compilation bugs |
commit | commitdiff | tree | snapshot |
| 2023-02-13 |
Mark Thom | copy attributed variable attribute lists specially... |
commit | commitdiff | tree | snapshot |
| 2023-02-11 |
Mark Thom | retire TrailedAttrVarHeapLink TrailEntry tag |
commit | commitdiff | tree | snapshot |
| 2023-02-11 |
Mark Thom | simplify and optimize attributed variables (#1590,... |
commit | commitdiff | tree | snapshot |
| 2023-02-06 |
Mark Thom | port '$get_from_list' to '$get_from_attr_list' in Rust |
commit | commitdiff | tree | snapshot |
| 2023-02-05 |
Mark Thom | include wambook errata |
commit | commitdiff | tree | snapshot |
| 2023-02-04 |
Mark Thom | correct shl stub_gen |
commit | commitdiff | tree | snapshot |
| 2023-02-04 |
Mark Thom | Merge pull request #1734 from triska/clpz_corrections |
commit | commitdiff | tree | snapshot |
| 2023-02-03 |
Markus Triska | DOC: teletype font for reification |
commit | commitdiff | tree | snapshot |
| 2023-02-03 |
Mark Thom | shift by usize instead of u32 in shl and shr (#1718... |
commit | commitdiff | tree | snapshot |
| 2023-02-03 |
Mark Thom | Merge pull request #1732 from aarroyoc/docs-minor-fixes |
commit | commitdiff | tree | snapshot |
| 2023-02-02 |
Adrián Arroyo... | Minor fixes to docs |
commit | commitdiff | tree | snapshot |
| 2023-02-02 |
Mark Thom | Merge pull request #1731 from triska/clpz_corrections |
commit | commitdiff | tree | snapshot |
| 2023-02-02 |
Mark Thom | Merge pull request #1729 from aarroyoc/negative-shifts |
commit | commitdiff | tree | snapshot |
| 2023-02-01 |
Markus Triska | correct DocLog ~/.scryerrc rendering |
commit | commitdiff | tree | snapshot |
| 2023-01-31 |
Mark Thom | avoid arena allocation of stream in read_term_from_char... |
commit | commitdiff | tree | snapshot |
| 2023-01-31 |
Mark Thom | update tokio version |
commit | commitdiff | tree | snapshot |
| 2023-01-30 |
Adrián Arroyo... | Negative shifts (fixes #1719 and #1718) |
commit | commitdiff | tree | snapshot |
| 2023-01-30 |
Mark Thom | Merge pull request #1728 from aarroyoc/docs-csv |
commit | commitdiff | tree | snapshot |
| 2023-01-30 |
Mark Thom | Merge pull request #1727 from triska/clpz_corrections |
commit | commitdiff | tree | snapshot |
| 2023-01-29 |
Adrián Arroyo... | Compatible Doclog docs for library(csv) |
commit | commitdiff | tree | snapshot |
| 2023-01-29 |
Markus Triska | DOC: use valid Prolog terms as predicate indicators |
commit | commitdiff | tree | snapshot |
| 2023-01-28 |
Mark Thom | Merge pull request #1725 from aarroyoc/fix-docs-http... |
commit | commitdiff | tree | snapshot |
| 2023-01-28 |
Mark Thom | Merge pull request #1724 from triska/clpz_corrections |
commit | commitdiff | tree | snapshot |
| 2023-01-28 |
Markus Triska | use DocLog syntax for section anchors and links within... |
commit | commitdiff | tree | snapshot |
| 2023-01-28 |
Markus Triska | small documentation adjustments |
commit | commitdiff | tree | snapshot |
| 2023-01-28 |
Markus Triska | FIXED: use lsb/2 and msb/2 from library(arithmetic) |
commit | commitdiff | tree | snapshot |
| 2023-01-28 |
Adrián Arroyo... | Fix library(http/http_server) docs. Other minor fixes |
commit | commitdiff | tree | snapshot |
| 2023-01-27 |
Mark Thom | Merge pull request #1717 from triska/format_doc |
commit | commitdiff | tree | snapshot |
| 2023-01-26 |
Markus Triska | correct table layout for entries that themselves contain | |
commit | commitdiff | tree | snapshot |
| 2023-01-26 |
Mark Thom | Merge pull request #1674 from aarroyoc/docs-builtins |
commit | commitdiff | tree | snapshot |
| 2023-01-26 |
Mark Thom | Merge pull request #1705 from triska/format_doc |
commit | commitdiff | tree | snapshot |
| 2023-01-26 |
Mark Thom | Merge pull request #1706 from triska/si_doc |
commit | commitdiff | tree | snapshot |
| 2023-01-26 |
Mark Thom | Merge pull request #1707 from triska/reif_doc |
commit | commitdiff | tree | snapshot |
| 2023-01-26 |
Mark Thom | Merge pull request #1708 from triska/freeze_doc |
commit | commitdiff | tree | snapshot |
| 2023-01-26 |
Mark Thom | Merge pull request #1709 from triska/pio_doc |
commit | commitdiff | tree | snapshot |
| 2023-01-26 |
Mark Thom | Merge pull request #1710 from triska/tabling_doc |
commit | commitdiff | tree | snapshot |
| 2023-01-26 |
Mark Thom | Merge pull request #1711 from triska/pairs_doc |
commit | commitdiff | tree | snapshot |
| 2023-01-26 |
Mark Thom | Merge pull request #1712 from triska/lambda_doc |
commit | commitdiff | tree | snapshot |
| 2023-01-26 |
Mark Thom | Merge pull request #1713 from triska/simplex_doc |
commit | commitdiff | tree | snapshot |
| 2023-01-25 |
Markus Triska | DOC: convert library(simplex) documentation to DocLog... |
commit | commitdiff | tree | snapshot |
| 2023-01-25 |
Markus Triska | DOC: convert code samples in library(lambda) to DocLog... |
commit | commitdiff | tree | snapshot |
| 2023-01-25 |
Markus Triska | DOC: initial documentation for library(pairs) in DocLog... |
commit | commitdiff | tree | snapshot |
| 2023-01-25 |
Markus Triska | add link to Desouter et al., "Tabling as a Library... |
commit | commitdiff | tree | snapshot |
| 2023-01-25 |
Markus Triska | DOC: initial documentation for library(tabling) in... |
commit | commitdiff | tree | snapshot |
| next |
projects / scryer-prolog.git / shortlog