]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2022-01-16 Markus Triskaretain the string "[]" as is, instead of converting... commit | commitdiff | tree | snapshot
2022-01-16 Mark Thomdeduplicate but do not sort anonymous variables in... commit | commitdiff | tree | snapshot
2022-01-15 Mark Thomadd missing cases to retract_clause (#1214) commit | commitdiff | tree | snapshot
2022-01-14 Mark Thomallow late dynamic declaration for predicates (#1205) commit | commitdiff | tree | snapshot
2022-01-14 Mark Thomput_complete_string should push the empty list to the... commit | commitdiff | tree | snapshot
2022-01-14 Mark Thomfix off-by-one error in DynamicIndexedChoice (#1210) commit | commitdiff | tree | snapshot
2022-01-14 Mark Thomfix syntax regressions (#1198, #1164) commit | commitdiff | tree | snapshot
2022-01-13 Mark Thomwrite plaintext and ciphertext directly to atoms (... commit | commitdiff | tree | snapshot
2022-01-13 Mark Thomdelimit partial strings around \x0\ commit | commitdiff | tree | snapshot
2022-01-13 Mark Thomserialize call_0 test (#1206) commit | commitdiff | tree | snapshot
2022-01-12 Mark ThomMerge pull request #1207 from triska/semi-deterministic commit | commitdiff | tree | snapshot
2022-01-12 Markus Triskadeterministic --> semi-deterministic commit | commitdiff | tree | snapshot
2022-01-12 Mark ThomMerge pull request #1199 from Skgland/do_not_gen_in_src commit | commitdiff | tree | snapshot
2022-01-12 Mark ThomMerge pull request #1195 from triska/rebis-dev-format-U commit | commitdiff | tree | snapshot
2022-01-12 Mark Thomevaluate floats referenced from the heap by tagged... commit | commitdiff | tree | snapshot
2022-01-12 Mark Thomexecute trust instead of retry at the end of dynamic... commit | commitdiff | tree | snapshot
2022-01-11 Mark Thomrecognize characters as separate from atoms in ''/7... commit | commitdiff | tree | snapshot
2022-01-11 Mark Thomrender [] as empty string in AtomOrString::as_str(... commit | commitdiff | tree | snapshot
2022-01-11 Mark Thomimprove between_/3 implementation (#1186, #1191) commit | commitdiff | tree | snapshot
2022-01-11 Mark Thomimitate Rc-style equality for TypedArenaPtr (#1190) commit | commitdiff | tree | snapshot
2022-01-11 Mark Thomcorrectly print [] functors (#1189) commit | commitdiff | tree | snapshot
2022-01-10 Skglandonly rerun build.rs when something in src/ has changed commit | commitdiff | tree | snapshot
2022-01-10 Skglanddon't genrate code in src/ commit | commitdiff | tree | snapshot
2022-01-10 Markus TriskaADDED: format specifier ~NL to limit the number of... commit | commitdiff | tree | snapshot
2022-01-10 Markus TriskaADDED: format specifier ~NU, using underscores to separ... commit | commitdiff | tree | snapshot
2022-01-10 Mark Thomcompare bigints by value not by pointer (#1183) commit | commitdiff | tree | snapshot
2022-01-09 Mark ThomMerge pull request #1160 from aarroyoc/add-ugraphs... commit | commitdiff | tree | snapshot
2022-01-09 Mark ThomMerge pull request #1182 from aarroyoc/sockets-arity commit | commitdiff | tree | snapshot
2022-01-09 Adrián Arroyo... remove TLS option in socket_client_open/3 commit | commitdiff | tree | snapshot
2022-01-08 Adrián Arroyo... fix socket_client_open/3 commit | commitdiff | tree | snapshot
2022-01-08 Mark Thomcorrect heap offsets in setup_call_cleanup tests commit | commitdiff | tree | snapshot
2022-01-08 Mark Thomunify current time as a complete string, not an atom... commit | commitdiff | tree | snapshot
2022-01-08 Mark Thomcorrect read/2 arity to 2 (#1171) commit | commitdiff | tree | snapshot
2022-01-08 Mark Thomcomplete handling of control operators in interpreted... commit | commitdiff | tree | snapshot
2022-01-07 Adrián Arroyo... Minor fixes commit | commitdiff | tree | snapshot
2022-01-07 Adrián Arroyo... Merge remote-tracking branch 'upstream/rebis-dev' into... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomadd version dependency information to README commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomupdate README.md commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomadd parser tests commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomflatten the instruction dispatch loop commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomrelocate most instruction routines from MachineState... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomremove LocalCodePtr::IndexingBuf commit | commitdiff | tree | snapshot
2022-01-07 Mark Thommodule-qualify incomplete goals in expand_goal/3 commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomdereference first argument of (is)/2 commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomgenerate heap_loc cells to refer to 0-arity atoms in... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomfix unify_float commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomdereference variables when looking for string terminators commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomproperly iterate over read terms in MachineState::read_term commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomget test suite working commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomfix printing of CStr's commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomremove skeletons from replaced modules commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomuse heap_loc to refer to 0-arity atom instead of str_loc commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomdefer installation of inference counter for call_with_i... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomfix bugs revealed by src/tests/builtins.pl commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomstart to retune testing infrastructure commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomfix off by one bug in system_calls commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomfix bug in error_form commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomfix various partial string bugs (copying using them... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomdetect attributed variables by properly detecting them... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomupgrade rustyline commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomdon't allow [] as a stream alias, restore domain error... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomkeep cursor position after writing to byte stream commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomfix stream errors commit | commitdiff | tree | snapshot
2022-01-07 Mark Thombreak from loop upon successful peek in peek_char/1... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thombreak from loop in get_code upon successful character... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomthrow instantiation error if Arity is a variable in... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomuse strip module in retract/1, a meta-predicate commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomrestore old thread_goals to fix top-level solutions... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomfix HeapPStrIter bug not recognizing nil focus if PStrL... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomfix number not recognizing floats commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomdetect module resolved cut in interpreted (,) commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomfix arg/3 bug commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomadd bounds check for attributed variables slice commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomtag DCG constructs with module names for proper resolution commit | commitdiff | tree | snapshot
2022-01-07 Mark Thombreak from get_char loop after successful char unification commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomunmark cell bits in occurs check commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomsupport comparison and unification of cyclic partial... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomgreatly reduce the number of goal expansions done in... commit | commitdiff | tree | snapshot
2022-01-07 Mark Thomuse new heap term representation commit | commitdiff | tree | snapshot
2022-01-07 Mark ThomMerge pull request #1156 from mthom/proper_var_list_ord... commit | commitdiff | tree | snapshot
2021-12-31 Adrián Arroyo... Add ugraphs library commit | commitdiff | tree | snapshot
2021-12-23 Mark Thomcreate read_term/3 variable lists in order of variable... proper_var_list_order_issue_1121 origin/proper_var_list_order_issue_1121 commit | commitdiff | tree | snapshot
2021-12-14 Mark ThomMerge pull request #1132 from triska/tls_library commit | commitdiff | tree | snapshot
2021-12-14 Mark ThomMerge pull request #1141 from triska/layout_text_sequence commit | commitdiff | tree | snapshot
2021-12-14 Mark ThomMerge pull request #1142 from triska/s commit | commitdiff | tree | snapshot
2021-12-14 Mark ThomMerge pull request #1143 from heydtn/patch-1 commit | commitdiff | tree | snapshot
2021-12-14 Mark ThomMerge pull request #1147 from triska/pio_improvements commit | commitdiff | tree | snapshot
2021-12-12 Markus TriskaENHANCED: Use newly available fast chars test from... commit | commitdiff | tree | snapshot
2021-12-09 Nate HeydtFix typo in abnf_lwsp/2 commit | commitdiff | tree | snapshot
2021-12-08 Markus Triskareport time with "s" instead of "seconds", in analogy... commit | commitdiff | tree | snapshot
2021-12-08 Markus TriskaENHANCED: support full layout text sequence (also comme... commit | commitdiff | tree | snapshot
2021-12-08 Markus Triskaremove redundant test: '\n' is a layout char. commit | commitdiff | tree | snapshot
2021-12-08 Mark ThomMerge pull request #1131 from triska/cpu_time commit | commitdiff | tree | snapshot
2021-12-05 Markus Triskause newly available predicates from library(tls) for... commit | commitdiff | tree | snapshot
2021-12-05 Markus TriskaADDED: library(tls), providing all predicates for TLS... commit | commitdiff | tree | snapshot
2021-12-05 Markus Triskaimplement tls_client_negotiate/3 for explicit negotiation commit | commitdiff | tree | snapshot
2021-12-05 Markus TriskaMODIFIED: Remove TLS-related predicates from library... commit | commitdiff | tree | snapshot
2021-12-04 Markus Triskawalltime --> CPU time commit | commitdiff | tree | snapshot
2021-12-04 Mark ThomMerge pull request #1129 from triska/tls_servers commit | commitdiff | tree | snapshot
2021-12-04 Mark ThomMerge pull request #1124 from triska/test_corrections commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust