| 2022-02-26 |
Mark Thom | pop pstr offsets from iterator stack in printer (#1290) |
commit | commitdiff | tree | snapshot |
| 2022-02-26 |
Mark Thom | unify '' to [] in unify_complete_string (#1292, #1288) |
commit | commitdiff | tree | snapshot |
| 2022-02-23 |
Mark Thom | recognize [] as equivalent to "" in unify_atom (#1288) |
commit | commitdiff | tree | snapshot |
| 2022-02-22 |
Mark Thom | Merge pull request #1287 from triska/rebis-dev-sgml |
commit | commitdiff | tree | snapshot |
| 2022-02-22 |
Markus Triska | use newly available get_n_chars/3 from library(charsio) |
commit | commitdiff | tree | snapshot |
| 2022-02-22 |
Markus Triska | FIXED: library(sgml): load_html/3 and load_xml/3 now... |
commit | commitdiff | tree | snapshot |
| 2022-02-21 |
Mark Thom | correct '$skip_max_list/4' for non-lists (#1276) |
commit | commitdiff | tree | snapshot |
| 2022-02-19 |
Mark Thom | update setup_call_cleanup tests |
commit | commitdiff | tree | snapshot |
| 2022-02-19 |
Mark Thom | adjust dynamic external indices upon retraction, reset... |
commit | commitdiff | tree | snapshot |
| 2022-02-19 |
Mark Thom | throw instantiation_error on variables from (#1283) |
commit | commitdiff | tree | snapshot |
| 2022-02-19 |
Mark Thom | delay callable errors in control predicates (#1282) |
commit | commitdiff | tree | snapshot |
| 2022-02-16 |
Mark Thom | build CStr's to vars in write_literal_to_var (#1284) |
commit | commitdiff | tree | snapshot |
| 2022-02-15 |
Mark Thom | don't unify module-qualified variables to ! (#1281) |
commit | commitdiff | tree | snapshot |
| 2022-02-12 |
Mark Thom | use VecDeque for generating indices during code generat... |
commit | commitdiff | tree | snapshot |
| 2022-02-12 |
Mark Thom | add missing fact to beginning of tmember_t/3 (#1275) |
commit | commitdiff | tree | snapshot |
| 2022-02-09 |
Mark Thom | group predicate subsequences by first instantiated... |
commit | commitdiff | tree | snapshot |
| 2022-02-07 |
Mark Thom | print bounded depth partial strings correctly |
commit | commitdiff | tree | snapshot |
| 2022-02-07 |
Mark Thom | update setup_call_cleanup tests |
commit | commitdiff | tree | snapshot |
| 2022-02-07 |
Mark Thom | use printer cycle detection when printing partial strin... |
commit | commitdiff | tree | snapshot |
| 2022-02-06 |
Mark Thom | reference partial strings properly in read_term (#1271) |
commit | commitdiff | tree | snapshot |
| 2022-02-06 |
Mark Thom | fix write_canonical on strings (#1233) |
commit | commitdiff | tree | snapshot |
| 2022-02-06 |
Mark Thom | fix '$skip_max_list'/4 (#1260) |
commit | commitdiff | tree | snapshot |
| 2022-02-06 |
Mark Thom | fix float formatting (#1233, #1258) |
commit | commitdiff | tree | snapshot |
| 2022-02-01 |
Mark Thom | reset instruction pointers with calls, make HCPrinter... |
commit | commitdiff | tree | snapshot |
| 2022-02-01 |
Mark Thom | count cycle lengths in skip_max_list_cycle (#1260) |
commit | commitdiff | tree | snapshot |
| 2022-02-01 |
Mark Thom | tag length/2 as the source of finite_memory errors... |
commit | commitdiff | tree | snapshot |
| 2022-01-30 |
Mark Thom | Merge pull request #1257 from mthom/rebis-dev_improved... |
commit | commitdiff | tree | snapshot |
| 2022-01-29 |
Mark Thom | add range check to arg/3 (#1250) rebis-dev_improved-length origin/rebis-dev_improved-length |
commit | commitdiff | tree | snapshot |
| 2022-01-29 |
Mark Thom | improve '$skip_max_list'/4 and length/2 (#1023, #110) |
commit | commitdiff | tree | snapshot |
| 2022-01-28 |
Mark Thom | Merge pull request #1254 from triska/valid_dotdotdot |
commit | commitdiff | tree | snapshot |
| 2022-01-28 |
Markus Triska | ENHANCED: Make toplevel output a Prolog term that can... |
commit | commitdiff | tree | snapshot |
| 2022-01-27 |
Mark Thom | inline store & deref calls in '' (#1176) |
commit | commitdiff | tree | snapshot |
| 2022-01-27 |
Mark Thom | use expand_goal directly for existential-qualified... |
commit | commitdiff | tree | snapshot |
| 2022-01-26 |
Mark Thom | don't read into the heap while incrementing self.s... |
commit | commitdiff | tree | snapshot |
| 2022-01-22 |
Mark Thom | lazily throw exceptions of dcg_body from goal-expanded... |
commit | commitdiff | tree | snapshot |
| 2022-01-21 |
Mark Thom | recognize []/N as callable (#1241, #989) |
commit | commitdiff | tree | snapshot |
| 2022-01-21 |
Mark Thom | expand phrase/{2,3} using dcg_body whenever possible |
commit | commitdiff | tree | snapshot |
| 2022-01-21 |
Mark Thom | module-qualify callables more liberally but not for... |
commit | commitdiff | tree | snapshot |
| 2022-01-20 |
Mark Thom | dereference car of Lis in HeapPStRIter::step (#1238) |
commit | commitdiff | tree | snapshot |
| 2022-01-20 |
Mark Thom | throw errors from phrase/{2,3} where expected (#1220) |
commit | commitdiff | tree | snapshot |
| 2022-01-20 |
Mark Thom | streamline and fix phrase/{2,3} (#1237) |
commit | commitdiff | tree | snapshot |
| 2022-01-20 |
Mark Thom | Merge pull request #1236 from triska/omit-module-prefix |
commit | commitdiff | tree | snapshot |
| 2022-01-19 |
Markus Triska | omit module prefix, because the goals are already modul... |
commit | commitdiff | tree | snapshot |
| 2022-01-19 |
Mark Thom | Merge pull request #1235 from triska/better-initializat... |
commit | commitdiff | tree | snapshot |
| 2022-01-19 |
Markus Triska | ENHANCED: more specific warning when initialization... |
commit | commitdiff | tree | snapshot |
| 2022-01-19 |
Mark Thom | Merge pull request #1234 from aarroyoc/ctrld |
commit | commitdiff | tree | snapshot |
| 2022-01-19 |
Mark Thom | print -0.0 as 0.0 (#1164) |
commit | commitdiff | tree | snapshot |
| 2022-01-19 |
Mark Thom | throw error instead of overwriting builtin export ... |
commit | commitdiff | tree | snapshot |
| 2022-01-19 |
Mark Thom | remove 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 Thom | fix floor for f64 (#1223) |
commit | commitdiff | tree | snapshot |
| 2022-01-18 |
Mark Thom | include library(error) in toplevel.pl (#1226) |
commit | commitdiff | tree | snapshot |
| 2022-01-18 |
Mark Thom | clear alias in close before resetting the stream to... |
commit | commitdiff | tree | snapshot |
| 2022-01-18 |
Mark Thom | Merge pull request #1232 from triska/toplevel_read_from... |
commit | commitdiff | tree | snapshot |
| 2022-01-18 |
Markus Triska | FIXED: toplevel to use (newly renamed) read_from_chars/2 |
commit | commitdiff | tree | snapshot |
| 2022-01-18 |
Mark Thom | Merge pull request #1228 from triska/charsio-read-renames |
commit | commitdiff | tree | snapshot |
| 2022-01-18 |
Mark Thom | Merge pull request #1229 from triska/faster_decryption |
commit | commitdiff | tree | snapshot |
| 2022-01-17 |
Markus Triska | ENHANCED: library(crypto): Retain a compact internal... |
commit | commitdiff | tree | snapshot |
| 2022-01-17 |
Markus Triska | MODIFIED: library(charsio): read_n_chars/3 is now calle... |
commit | commitdiff | tree | snapshot |
| 2022-01-17 |
Markus Triska | MODIFIED: library(charsio): read_term_from_chars/2... |
commit | commitdiff | tree | snapshot |
| 2022-01-17 |
Mark Thom | dereference second argument of '/2 |
commit | commitdiff | tree | snapshot |
| 2022-01-16 |
Mark Thom | Merge pull request #1224 from triska/working_directory |
commit | commitdiff | tree | snapshot |
| 2022-01-16 |
Markus Triska | correct reference to '$working_directory'/2 |
commit | commitdiff | tree | snapshot |
| 2022-01-16 |
Mark Thom | Merge pull request #1222 from triska/retain_string_of_nil |
commit | commitdiff | tree | snapshot |
| 2022-01-16 |
Markus Triska | retain the string "[]" as is, instead of converting... |
commit | commitdiff | tree | snapshot |
| 2022-01-16 |
Mark Thom | deduplicate but do not sort anonymous variables in... |
commit | commitdiff | tree | snapshot |
| 2022-01-15 |
Mark Thom | add missing cases to retract_clause (#1214) |
commit | commitdiff | tree | snapshot |
| 2022-01-14 |
Mark Thom | allow late dynamic declaration for predicates (#1205) |
commit | commitdiff | tree | snapshot |
| 2022-01-14 |
Mark Thom | put_complete_string should push the empty list to the... |
commit | commitdiff | tree | snapshot |
| 2022-01-14 |
Mark Thom | fix off-by-one error in DynamicIndexedChoice (#1210) |
commit | commitdiff | tree | snapshot |
| 2022-01-14 |
Mark Thom | fix syntax regressions (#1198, #1164) |
commit | commitdiff | tree | snapshot |
| 2022-01-13 |
Mark Thom | write plaintext and ciphertext directly to atoms (... |
commit | commitdiff | tree | snapshot |
| 2022-01-13 |
Mark Thom | delimit partial strings around \x0\ |
commit | commitdiff | tree | snapshot |
| 2022-01-13 |
Mark Thom | serialize call_0 test (#1206) |
commit | commitdiff | tree | snapshot |
| 2022-01-12 |
Mark Thom | Merge pull request #1207 from triska/semi-deterministic |
commit | commitdiff | tree | snapshot |
| 2022-01-12 |
Markus Triska | deterministic --> semi-deterministic |
commit | commitdiff | tree | snapshot |
| 2022-01-12 |
Mark Thom | Merge pull request #1199 from Skgland/do_not_gen_in_src |
commit | commitdiff | tree | snapshot |
| 2022-01-12 |
Mark Thom | Merge pull request #1195 from triska/rebis-dev-format-U |
commit | commitdiff | tree | snapshot |
| 2022-01-12 |
Mark Thom | evaluate floats referenced from the heap by tagged... |
commit | commitdiff | tree | snapshot |
| 2022-01-12 |
Mark Thom | execute trust instead of retry at the end of dynamic... |
commit | commitdiff | tree | snapshot |
| 2022-01-11 |
Mark Thom | recognize characters as separate from atoms in ''/7... |
commit | commitdiff | tree | snapshot |
| 2022-01-11 |
Mark Thom | render [] as empty string in AtomOrString::as_str(... |
commit | commitdiff | tree | snapshot |
| 2022-01-11 |
Mark Thom | improve between_/3 implementation (#1186, #1191) |
commit | commitdiff | tree | snapshot |
| 2022-01-11 |
Mark Thom | imitate Rc-style equality for TypedArenaPtr (#1190) |
commit | commitdiff | tree | snapshot |
| 2022-01-11 |
Mark Thom | correctly print [] functors (#1189) |
commit | commitdiff | tree | snapshot |
| 2022-01-10 |
Skgland | only rerun build.rs when something in src/ has changed |
commit | commitdiff | tree | snapshot |
| 2022-01-10 |
Skgland | don't genrate code in src/ |
commit | commitdiff | tree | snapshot |
| 2022-01-10 |
Markus Triska | ADDED: format specifier ~NL to limit the number of... |
commit | commitdiff | tree | snapshot |
| 2022-01-10 |
Markus Triska | ADDED: format specifier ~NU, using underscores to separ... |
commit | commitdiff | tree | snapshot |
| 2022-01-10 |
Mark Thom | compare bigints by value not by pointer (#1183) |
commit | commitdiff | tree | snapshot |
| 2022-01-09 |
Mark Thom | Merge pull request #1160 from aarroyoc/add-ugraphs... |
commit | commitdiff | tree | snapshot |
| 2022-01-09 |
Mark Thom | Merge 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 Thom | correct heap offsets in setup_call_cleanup tests |
commit | commitdiff | tree | snapshot |
| 2022-01-08 |
Mark Thom | unify current time as a complete string, not an atom... |
commit | commitdiff | tree | snapshot |
| 2022-01-08 |
Mark Thom | correct read/2 arity to 2 (#1171) |
commit | commitdiff | tree | snapshot |
| 2022-01-08 |
Mark Thom | complete 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 |
| next |
projects / scryer-prolog.git / shortlog