]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2023-07-22 Markcorrect max_depth option (#1876) commit | commitdiff | tree | snapshot
2023-07-22 Mark ThomMerge pull request #1899 from triska/master commit | commitdiff | tree | snapshot
2023-07-22 Markus Triskaremove another !/0 which is now no longer necessary... commit | commitdiff | tree | snapshot
2023-07-21 Markcorrect max_depth option (#1876) commit | commitdiff | tree | snapshot
2023-07-21 Markremove now unnecessary cut in lists.pl commit | commitdiff | tree | snapshot
2023-07-20 Markimprove goal expansion and (',') interpretation error... commit | commitdiff | tree | snapshot
2023-07-20 Markadd log10, hyperbolic tan and inverse hyperbolic tan... commit | commitdiff | tree | snapshot
2023-07-20 Markadd EMIT_NEWLINE to add newlines to readline input... commit | commitdiff | tree | snapshot
2023-07-19 Markcheck for unexpected EOF in get_to_eof (#1897) commit | commitdiff | tree | snapshot
2023-07-18 Markdereference TermWriteResult variables sooner in read_te... commit | commitdiff | tree | snapshot
2023-07-18 Markremove failing append choicepoint in atom_concat/3... commit | commitdiff | tree | snapshot
2023-07-18 Mark ThomMerge pull request #1885 from mthom/setof_bagof_fixes commit | commitdiff | tree | snapshot
2023-07-18 Markcall write_read_term_options if read_term_from_chars... commit | commitdiff | tree | snapshot
2023-07-18 Markcatch errors thrown from tabling Worker (#1526, #1888) commit | commitdiff | tree | snapshot
2023-07-17 Markremove read/{1,2} as a builtin, write read options... commit | commitdiff | tree | snapshot
2023-07-17 Markadd specialized EOF handling for user input (#1892) commit | commitdiff | tree | snapshot
2023-07-17 MarkMerge branch 'read_term_eof_changes' commit | commitdiff | tree | snapshot
2023-07-17 Markomit anonymous variables from read_term variable_names... commit | commitdiff | tree | snapshot
2023-07-17 Markdo a better job handling EOF in read_term (#1887) commit | commitdiff | tree | snapshot
2023-07-17 Markprint strings in tails of lists (#1890) commit | commitdiff | tree | snapshot
2023-07-16 Mark ThomMerge pull request #1891 from triska/initialization_goals commit | commitdiff | tree | snapshot
2023-07-16 Markus TriskaENHANCED: use newly available read_term_from_chars... commit | commitdiff | tree | snapshot
2023-07-16 Markre-factor options handling of read_term into read_term_... commit | commitdiff | tree | snapshot
2023-07-16 Markgeneralize simple goal detection to fix call/N test... commit | commitdiff | tree | snapshot
2023-07-15 Markadd read_term_from_chars/3 (#637) commit | commitdiff | tree | snapshot
2023-07-15 Markuse double_quotes in write_error (#1886) commit | commitdiff | tree | snapshot
2023-07-15 Markadd is_inbuilt check to err_on_builtin_overwrite (... commit | commitdiff | tree | snapshot
2023-07-15 Markeliminate call_with_inference_limit/3 leaks (#1300) commit | commitdiff | tree | snapshot
2023-07-15 Markadd unknown flag to set_prolog_flag and current_prolog_flag setof_bagof_fixes origin/setof_bagof_fixes commit | commitdiff | tree | snapshot
2023-07-15 Markfix group_by_variants/4 and keysort in setof/3 (#1440... commit | commitdiff | tree | snapshot
2023-07-14 Markadd (:-)/1 and (:-)/2 to ClauseType::is_inbuilt (#1872) commit | commitdiff | tree | snapshot
2023-07-13 Markfix assert(a|z)/1 errors commit | commitdiff | tree | snapshot
2023-07-13 Mark ThomMerge pull request #1884 from triska/countall commit | commitdiff | tree | snapshot
2023-07-13 Markus TriskaADDED: countall/2, for compatibility with GNU Prolog. commit | commitdiff | tree | snapshot
2023-07-13 Markthrow permission_error in compile_assert when attemptin... commit | commitdiff | tree | snapshot
2023-07-13 Markarith_eval_by_metacall may receive a stack variable commit | commitdiff | tree | snapshot
2023-07-13 Markcorrect peek_code/2, don't set stream position in peek... commit | commitdiff | tree | snapshot
2023-07-13 Markcorrect peek_byte/2 bugs (#1882) commit | commitdiff | tree | snapshot
2023-07-13 Markimprove ground/1 performance (#1389) commit | commitdiff | tree | snapshot
2023-07-12 Markfix peek_byte/2 crash (#1882) commit | commitdiff | tree | snapshot
2023-07-12 Mark ThomMerge pull request #1878 from mthom/lookahead_indexing commit | commitdiff | tree | snapshot
2023-07-12 Markus TriskaENHANCED: improved determinism of member/2 lookahead_indexing origin/lookahead_indexing commit | commitdiff | tree | snapshot
2023-07-12 Markuse lookahead to skip inapplicable clauses (#1028,... commit | commitdiff | tree | snapshot
2023-07-12 Markremove unsafe unwrap in put_char (#1881) commit | commitdiff | tree | snapshot
2023-07-12 Markemit stream aliases as permission error culprits whenev... commit | commitdiff | tree | snapshot
2023-07-12 MarkRevert "Allow comparisons with stream terms" commit | commitdiff | tree | snapshot
2023-07-12 MarkRevert "add stream alias check to atom/1 (#1855)" commit | commitdiff | tree | snapshot
2023-07-12 MarkRevert "add stream alias processing to atom_chars/2... commit | commitdiff | tree | snapshot
2023-07-11 Markuse indexing functions to set num_cells in allocate_and... commit | commitdiff | tree | snapshot
2023-07-10 Markclean commented code from disjuncts.rs commit | commitdiff | tree | snapshot
2023-07-09 Markremove errant debug_hook from read_and_match commit | commitdiff | tree | snapshot
2023-07-09 Markus TriskaDOC: new section on applications of Scryer Prolog commit | commitdiff | tree | snapshot
2023-07-09 Markus Triskacorrect \\ to \, addressing #1865 commit | commitdiff | tree | snapshot
2023-07-09 Markrefine EOF handling more (#1873) commit | commitdiff | tree | snapshot
2023-07-09 Markrefine EOF handling commit | commitdiff | tree | snapshot
2023-07-09 Markfollow EOF action after open_parsing_stream in get_char... commit | commitdiff | tree | snapshot
2023-07-08 Markclarify EOF error across stream types and predicates... commit | commitdiff | tree | snapshot
2023-07-08 Mark ThomMerge pull request #1869 from triska/master commit | commitdiff | tree | snapshot
2023-07-08 Markus Triskaprint version more readably, addressing #1868 commit | commitdiff | tree | snapshot
2023-07-07 Marktreat unexpected EOF as incomplete reduction in bracket... commit | commitdiff | tree | snapshot
2023-07-07 Markinterpret '\u{0}' as end_of_file in get_char/1 commit | commitdiff | tree | snapshot
2023-07-07 Markadd stream alias processing to atom_chars/2, atom_codes/2 commit | commitdiff | tree | snapshot
2023-07-06 Mark ThomMerge pull request #1832 from aarroyoc/http-fixes commit | commitdiff | tree | snapshot
2023-07-06 Markadd stream alias check to atom/1 (#1855) commit | commitdiff | tree | snapshot
2023-07-06 Markadd scc_block to MachineState to avoid SCC cleanup... commit | commitdiff | tree | snapshot
2023-07-06 Markcorrect heap_print.rs tests commit | commitdiff | tree | snapshot
2023-07-05 Markshrink scope of control_entry_point catch, add CutPoint... commit | commitdiff | tree | snapshot
2023-07-05 Mark ThomMerge pull request #1864 from triska/double_quotes commit | commitdiff | tree | snapshot
2023-07-05 Markus Triskamake double_quotes write option not dependent on double... commit | commitdiff | tree | snapshot
2023-07-05 Mark ThomMerge pull request #1862 from mthom/iso_conformity_tests commit | commitdiff | tree | snapshot
2023-07-04 Markadd missing self.pos to peek_char slices (#1726) commit | commitdiff | tree | snapshot
2023-07-04 Markrevise iso_conformity_tests.pl in response to new ambig... iso_conformity_tests origin/iso_conformity_tests commit | commitdiff | tree | snapshot
2023-07-04 Markthrow lexer errors from devour_whitespace (#1778) commit | commitdiff | tree | snapshot
2023-07-04 Mark ThomMerge pull request #1861 from aarroyoc/fix-1855 commit | commitdiff | tree | snapshot
2023-07-04 Markwiden CharReader buffer (#1859) commit | commitdiff | tree | snapshot
2023-07-04 Adrián Arroyo... Allow comparisons with stream terms commit | commitdiff | tree | snapshot
2023-07-03 Mark ThomMerge pull request #1857 from triska/master commit | commitdiff | tree | snapshot
2023-07-03 Markus Triskaadvertise newly achieved strong syntactic conformance... commit | commitdiff | tree | snapshot
2023-07-03 Mark ThomMerge pull request #1850 from mthom/iso-conformity... commit | commitdiff | tree | snapshot
2023-07-03 Markupdate tests iso-conformity-tests origin/iso-conformity-tests commit | commitdiff | tree | snapshot
2023-07-03 Markcorrect tests #171 and #300 commit | commitdiff | tree | snapshot
2023-07-03 Markadd double_quotes write option for printing to strings... commit | commitdiff | tree | snapshot
2023-07-03 Markcorrect ISO conformity test #185 commit | commitdiff | tree | snapshot
2023-07-02 Markadd iso-conformity-tests.pl to test suite commit | commitdiff | tree | snapshot
2023-07-02 Markcorrect initialization_goals misnomer in iso-conformity... commit | commitdiff | tree | snapshot
2023-07-02 Markmake setup of test_166_167 pass commit | commitdiff | tree | snapshot
2023-07-02 Markcheck ambiguity of "'" against tail if atom token is... commit | commitdiff | tree | snapshot
2023-07-02 Markalways print a space between prefix operator and its... commit | commitdiff | tree | snapshot
2023-07-02 Markcorrect tests 259 and 304 of tests-pl/iso-conformity... commit | commitdiff | tree | snapshot
2023-07-02 Markintroduce tests-pl/iso-conformity-tests.pl commit | commitdiff | tree | snapshot
2023-07-02 Markremoving residual debugging comments from format.pl commit | commitdiff | tree | snapshot
2023-06-30 Markuse lexer to detect remaining layout in parse_number_fr... commit | commitdiff | tree | snapshot
2023-06-30 Mark ThomMerge pull request #1854 from triska/needs_bracketing commit | commitdiff | tree | snapshot
2023-06-30 Markus Triskaremove now unneeded check commit | commitdiff | tree | snapshot
2023-06-30 Markcheck that F in needs_bracketing/2 is an atom commit | commitdiff | tree | snapshot
2023-06-30 Markdo not enclose '(' as atom in brackets (#1487) commit | commitdiff | tree | snapshot
2023-06-30 Mark ThomMerge pull request #1852 from triska/needs_bracketing commit | commitdiff | tree | snapshot
2023-06-30 Markus Triskaremove unneeded case: only operator definitions should... commit | commitdiff | tree | snapshot
2023-06-30 Markus Triskaremove subsumed case: F == Value means Arity =:= 0... commit | commitdiff | tree | snapshot
2023-06-30 Markus Triskashorten needs_bracketing/2 commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust