]> 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-02-01 Mark Thomtag length/2 as the source of finite_memory errors... commit | commitdiff | tree | snapshot
2022-01-30 Mark ThomMerge pull request #1257 from mthom/rebis-dev_improved... commit | commitdiff | tree | snapshot
2022-01-29 Mark Thomadd range check to arg/3 (#1250) rebis-dev_improved-length origin/rebis-dev_improved-length commit | commitdiff | tree | snapshot
2022-01-29 Mark Thomimprove '$skip_max_list'/4 and length/2 (#1023, #110) commit | commitdiff | tree | snapshot
2022-01-28 Mark ThomMerge pull request #1254 from triska/valid_dotdotdot commit | commitdiff | tree | snapshot
2022-01-28 Markus TriskaENHANCED: Make toplevel output a Prolog term that can... commit | commitdiff | tree | snapshot
2022-01-27 Mark Thominline store & deref calls in '' (#1176) commit | commitdiff | tree | snapshot
2022-01-27 Mark Thomuse expand_goal directly for existential-qualified... commit | commitdiff | tree | snapshot
2022-01-26 Mark Thomdon't read into the heap while incrementing self.s... commit | commitdiff | tree | snapshot
2022-01-22 Mark Thomlazily throw exceptions of dcg_body from goal-expanded... commit | commitdiff | tree | snapshot
2022-01-21 Mark Thomrecognize []/N as callable (#1241, #989) commit | commitdiff | tree | snapshot
2022-01-21 Mark Thomexpand phrase/{2,3} using dcg_body whenever possible commit | commitdiff | tree | snapshot
2022-01-21 Mark Thommodule-qualify callables more liberally but not for... commit | commitdiff | tree | snapshot
2022-01-20 Mark Thomdereference car of Lis in HeapPStRIter::step (#1238) commit | commitdiff | tree | snapshot
2022-01-20 Mark Thomthrow errors from phrase/{2,3} where expected (#1220) commit | commitdiff | tree | snapshot
2022-01-20 Mark Thomstreamline and fix phrase/{2,3} (#1237) commit | commitdiff | tree | snapshot
2022-01-20 Mark ThomMerge pull request #1236 from triska/omit-module-prefix commit | commitdiff | tree | snapshot
2022-01-19 Markus Triskaomit module prefix, because the goals are already modul... commit | commitdiff | tree | snapshot
2022-01-19 Mark ThomMerge pull request #1235 from triska/better-initializat... commit | commitdiff | tree | snapshot
2022-01-19 Markus TriskaENHANCED: more specific warning when initialization... commit | commitdiff | tree | snapshot
2022-01-19 Mark ThomMerge pull request #1234 from aarroyoc/ctrld commit | commitdiff | tree | snapshot
2022-01-19 Mark Thomprint -0.0 as 0.0 (#1164) commit | commitdiff | tree | snapshot
2022-01-19 Mark Thomthrow error instead of overwriting builtin export ... commit | commitdiff | tree | snapshot
2022-01-19 Mark Thomremove number/3 from arithmetic.pl (#1170) commit | commitdiff | tree | snapshot
2022-01-18 Adrián Arroyo... Fix Ctrl-D (#1168) commit | commitdiff | tree | snapshot
2022-01-18 Mark Thomfix floor for f64 (#1223) commit | commitdiff | tree | snapshot
2022-01-18 Mark Thominclude library(error) in toplevel.pl (#1226) commit | commitdiff | tree | snapshot
2022-01-18 Mark Thomclear alias in close before resetting the stream to... commit | commitdiff | tree | snapshot
2022-01-18 Mark ThomMerge pull request #1232 from triska/toplevel_read_from... commit | commitdiff | tree | snapshot
2022-01-18 Markus TriskaFIXED: toplevel to use (newly renamed) read_from_chars/2 commit | commitdiff | tree | snapshot
2022-01-18 Mark ThomMerge pull request #1228 from triska/charsio-read-renames commit | commitdiff | tree | snapshot
2022-01-18 Mark ThomMerge pull request #1229 from triska/faster_decryption commit | commitdiff | tree | snapshot
2022-01-17 Markus TriskaENHANCED: library(crypto): Retain a compact internal... commit | commitdiff | tree | snapshot
2022-01-17 Markus TriskaMODIFIED: library(charsio): read_n_chars/3 is now calle... commit | commitdiff | tree | snapshot
2022-01-17 Markus TriskaMODIFIED: library(charsio): read_term_from_chars/2... commit | commitdiff | tree | snapshot
2022-01-17 Mark Thomdereference second argument of '/2 commit | commitdiff | tree | snapshot
2022-01-16 Mark ThomMerge pull request #1224 from triska/working_directory commit | commitdiff | tree | snapshot
2022-01-16 Markus Triskacorrect reference to '$working_directory'/2 commit | commitdiff | tree | snapshot
2022-01-16 Mark ThomMerge pull request #1222 from triska/retain_string_of_nil commit | commitdiff | tree | snapshot
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
next
FORK: A modern Prolog implementation written mostly in Rust