]> 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-09-04 Mark ThomMerge pull request #1990 from triska/clpb_max commit | commitdiff | tree | snapshot
2023-09-03 Markus Triskaupdate answer commit | commitdiff | tree | snapshot
2023-09-03 Markus Triskauntabify commit | commitdiff | tree | snapshot
2023-09-03 Markus Triskaremove clpb_max/1 attribute for residual goal projection commit | commitdiff | tree | snapshot
2023-09-03 Mark ThomMerge pull request #1988 from triska/answer_write_options commit | commitdiff | tree | snapshot
2023-09-03 Mark ThomMerge pull request #1989 from triska/mention_binaries commit | commitdiff | tree | snapshot
2023-09-03 Markus Triskamention precompiled binaries commit | commitdiff | tree | snapshot
2023-09-03 Markus TriskaADDED: New Prolog flag, answer_write_options. commit | commitdiff | tree | snapshot
2023-08-29 Markrefine is/2 compilation so errors are thrown when expec... commit | commitdiff | tree | snapshot
2023-08-29 Markdon't compile is instruction if bound to anonymous... commit | commitdiff | tree | snapshot
2023-08-28 Markupdate Cargo.toml version numbers and bump version... v0.9.2 commit | commitdiff | tree | snapshot
2023-08-27 Mark ThomMerge pull request #1978 from aarroyoc/ci-32-bits commit | commitdiff | tree | snapshot
2023-08-27 Mark ThomMerge pull request #1979 from triska/normalize_space commit | commitdiff | tree | snapshot
2023-08-27 Adrián Arroyo... 32 bit CI for Linux commit | commitdiff | tree | snapshot
2023-08-27 Markus Triskareplace adjacent whitespace characters with a single... commit | commitdiff | tree | snapshot
2023-08-27 Markus TriskaENHANCED: rudimentary implementation of normalize_space commit | commitdiff | tree | snapshot
2023-08-25 Mark ThomMerge pull request #1972 from rujialiu/32-bit-support commit | commitdiff | tree | snapshot
2023-08-24 Rujia Liu32-bit system support, addressing all (at most) 4GB... commit | commitdiff | tree | snapshot
2023-08-22 Mark ThomMerge pull request #1973 from triska/clpz commit | commitdiff | tree | snapshot
2023-08-22 Markus Triskaattach more propagators before starting propagation commit | commitdiff | tree | snapshot
2023-08-22 Markus Triskaremove optional (+)/1 prefix in get_atts/2 and put_atts... commit | commitdiff | tree | snapshot
2023-08-22 Markus Triskause pneq/2 commit | commitdiff | tree | snapshot
2023-08-22 Markus Triskaenforce same queue in more constraints commit | commitdiff | tree | snapshot
2023-08-22 Markus Triskaappend the entire queues instead of inserting each... commit | commitdiff | tree | snapshot
2023-08-21 Markus Triskaadapt query to Scryer Prolog commit | commitdiff | tree | snapshot
2023-08-21 Markus Triskaupdate answers commit | commitdiff | tree | snapshot
2023-08-21 Markus Triskause can_be/2 commit | commitdiff | tree | snapshot
2023-08-21 Mark ThomMerge pull request #1967 from rujialiu/optional-features commit | commitdiff | tree | snapshot
2023-08-21 Rujia LiuAllow users to disable optional features. Needed for... commit | commitdiff | tree | snapshot
2023-08-20 Mark ThomMerge pull request #1968 from rujialiu/atom-64bit commit | commitdiff | tree | snapshot
2023-08-20 Mark ThomMerge pull request #1970 from triska/crrl commit | commitdiff | tree | snapshot
2023-08-20 Markus TriskaENHANCED: more extensive type checking in curve25519_sc... commit | commitdiff | tree | snapshot
2023-08-20 Markus Triskaswitch to using crrl for scalar multiplication on Curve... commit | commitdiff | tree | snapshot
2023-08-20 Rujia LiuMake Atom 64-bit regardless of architecture commit | commitdiff | tree | snapshot
2023-08-17 Mark ThomMerge pull request #1964 from triska/master commit | commitdiff | tree | snapshot
2023-08-17 Markus Triskause newly available double_quotes/1 write option in... commit | commitdiff | tree | snapshot
2023-08-14 Mark ThomMerge pull request #1963 from triska/master commit | commitdiff | tree | snapshot
2023-08-14 Markus TriskaENHANCED: domain error in zcompare/3 (#1723) commit | commitdiff | tree | snapshot
2023-08-12 Mark ThomMerge pull request #1961 from triska/succ commit | commitdiff | tree | snapshot
2023-08-11 Markus Triskareorder tests, per https://github.com/mthom/scryer... commit | commitdiff | tree | snapshot
2023-08-11 Markus TriskaADDED: succ/2, part of the Prologue for Prolog commit | commitdiff | tree | snapshot
2023-08-06 Markshed CodeIndex for control predicates in disjuncts... commit | commitdiff | tree | snapshot
2023-08-05 Markretract discontiguous non-multifile predicates between... commit | commitdiff | tree | snapshot
2023-08-04 Mark ThomMerge pull request #1950 from triska/chars_si commit | commitdiff | tree | snapshot
2023-08-04 Markus TriskaENHANCED: more efficient chars_si/1, using specialized... commit | commitdiff | tree | snapshot
2023-08-04 Mark ThomMerge pull request #1948 from triska/chars_si commit | commitdiff | tree | snapshot
2023-08-03 Markus Triskaadd character_si/1 and use it to correct chars_si/1 commit | commitdiff | tree | snapshot
2023-08-03 Markallocate negator results in arena (#1898) commit | commitdiff | tree | snapshot
2023-08-02 Mark ThomMerge pull request #1943 from triska/dead_skeleton commit | commitdiff | tree | snapshot
2023-08-02 Markus TriskaFIXED: do not attach constraint if the propagator is... commit | commitdiff | tree | snapshot
2023-07-31 Mark ThomMerge pull request #1938 from triska/remove_auxiliary_c... commit | commitdiff | tree | snapshot
2023-07-31 Mark ThomMerge pull request #1939 from triska/oncology_trial_design commit | commitdiff | tree | snapshot
2023-07-31 Markus Triskabetter wording, applying the feedback from @dcnorris... commit | commitdiff | tree | snapshot
2023-07-31 Markus TriskaENHANCED: forget auxiliary constraints set up by the... commit | commitdiff | tree | snapshot
2023-07-29 Mark ThomMerge pull request #1929 from Skgland/master commit | commitdiff | tree | snapshot
2023-07-29 Bennet Bleßmannfix spelling commit | commitdiff | tree | snapshot
2023-07-29 Bennet Bleßmannhandle atom table resize commit | commitdiff | tree | snapshot
2023-07-27 Bennet Bleßmanndetect and prevent² concurrent AtomTable use commit | commitdiff | tree | snapshot
2023-07-27 Mark ThomMerge pull request #1927 from triska/ascii_punctuation commit | commitdiff | tree | snapshot
2023-07-27 Markus TriskaFIXED: correct handling of ascii_punctuation in char_ty... commit | commitdiff | tree | snapshot
2023-07-26 Marksimplify and correct prefix-bracket spacing in heap_pri... commit | commitdiff | tree | snapshot
2023-07-25 Markoverwrite code indices of dynamic_undefined predicates... commit | commitdiff | tree | snapshot
2023-07-25 Mark ThomMerge pull request #1907 from coasys/dashu commit | commitdiff | tree | snapshot
2023-07-25 Marktrack the parent operator of the current operator in... commit | commitdiff | tree | snapshot
2023-07-24 MarkMerge branch 'dashu' of https://github.com/coasys/scrye... coasys-dashu origin/coasys-dashu commit | commitdiff | tree | snapshot
2023-07-24 Fayeed Pawaskarupdated cargo to use git commit | commitdiff | tree | snapshot
2023-07-24 Fayeed PawaskarFixed warnings commit | commitdiff | tree | snapshot
2023-07-24 Fayeed PawaskarFixed stackoverflow error commit | commitdiff | tree | snapshot
2023-07-24 Fayeed Pawaskarremove rug completely commit | commitdiff | tree | snapshot
2023-07-24 Fayeed Pawaskarfix all the move errors commit | commitdiff | tree | snapshot
2023-07-23 Markpop both pending redirections in format_bar_separator_o... commit | commitdiff | tree | snapshot
2023-07-23 Markfix list abbreviation (#1901) commit | commitdiff | tree | snapshot
2023-07-23 Markremove EMIT_NEWLINE (#1900) commit | commitdiff | tree | snapshot
2023-07-23 Markuse ExitCode when halting so Drop is called, close... commit | commitdiff | tree | snapshot
2023-07-22 Mark ThomMerge pull request #1050 from pmoura/add_float_integer_... commit | commitdiff | tree | snapshot
2023-07-22 Markadditional write fixes, use rustyline 12.0.0 (#1876... commit | commitdiff | tree | snapshot
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 MarkMerge branch 'add_float_integer_part_and_float_fraction... pmoura-add_float_integer_part_and_float_fractional_part_standard_functions origin/pmoura-add_float_integer_part_and_float_fractional_part_standard_functions 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-21 Nicolas LuckExplicitly dereference pointer to avoid calling neg... commit | commitdiff | tree | snapshot
2023-07-21 Fayeed PawaskarFixed missing functionality in dashu with their methods... 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-17 Fayeed Pawaskarwip dashu move commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust