]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2018-09-14 Mark Thomstreamline inputs. commit | commitdiff | tree | snapshot
2018-09-13 Mark Thomprovisional #4 commit | commitdiff | tree | snapshot
2018-09-13 Mark Thomprovisional #3 commit | commitdiff | tree | snapshot
2018-09-13 Mark Thomprovisional changes #2 commit | commitdiff | tree | snapshot
2018-09-13 Mark Thomprovisional changes to module insertion commit | commitdiff | tree | snapshot
2018-09-11 Mark Thommove compile_listing body to dedicated function commit | commitdiff | tree | snapshot
2018-09-10 Mark Thommake use of read_term in the repl commit | commitdiff | tree | snapshot
2018-09-09 Mark Thomread modifications commit | commitdiff | tree | snapshot
2018-09-08 Mark Thomtransition to MachineCodeIndices internally commit | commitdiff | tree | snapshot
2018-09-08 Mark Thommake partial_string callable. commit | commitdiff | tree | snapshot
2018-09-06 Mark ThomMerge branch 'master' of http://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2018-09-06 Mark Thomadd permission error for attempts at redefining builtin... commit | commitdiff | tree | snapshot
2018-09-06 Mark Thombe more efficient in (,)/3 clause, correct (;)/3 commit | commitdiff | tree | snapshot
2018-09-06 Mark Thomcut properly in first (,)/3 clause commit | commitdiff | tree | snapshot
2018-09-06 Mark Thomcorrect comma implementation commit | commitdiff | tree | snapshot
2018-09-05 Mark Thomadd structural tests for partial strings, rename ast.rs commit | commitdiff | tree | snapshot
2018-09-05 Mark Thomthrow the correct error if the final reduce does not... commit | commitdiff | tree | snapshot
2018-09-04 Mark Thomupdate README commit | commitdiff | tree | snapshot
2018-09-04 Mark Thomedit README, ast, remove redundant modules commit | commitdiff | tree | snapshot
2018-09-04 Mark Thomfarm parser out to a crate, remove it as a git submodule. commit | commitdiff | tree | snapshot
2018-09-03 Mark Thomfixes to quoted commit | commitdiff | tree | snapshot
2018-09-03 Mark Thomcorrect print_var_eq bad ending check commit | commitdiff | tree | snapshot
2018-09-03 Mark Thomproperly handle character controls from ASCII to UTF... commit | commitdiff | tree | snapshot
2018-09-03 Mark Thomproperly handle character controls from ASCII to UTF... commit | commitdiff | tree | snapshot
2018-09-03 Mark Thomdo not unify partial strings unless they coincide in... commit | commitdiff | tree | snapshot
2018-09-03 Mark Thomdistinguish eq from structural_eq on strings commit | commitdiff | tree | snapshot
2018-09-03 Mark Thomfinalize support for partial strings commit | commitdiff | tree | snapshot
2018-09-02 Mark Thomadd info to README, prepare for partial strings commit | commitdiff | tree | snapshot
2018-09-01 Mark ThomMerge branch 'master' of http://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2018-09-01 Mark Thomadd (^) as an evaluable factor, re: #39 commit | commitdiff | tree | snapshot
2018-08-31 Mark Thomcorrect README commit | commitdiff | tree | snapshot
2018-08-31 Mark Thomallow continuable strings, re: #48 commit | commitdiff | tree | snapshot
2018-08-31 Mark Thomcorrect get_single_quoted_item, re: #48 commit | commitdiff | tree | snapshot
2018-08-30 Mark Thomadd slightly more descriptive syntax errors commit | commitdiff | tree | snapshot
2018-08-30 Mark Thomcorrect printing of lists when double_quotes is set... commit | commitdiff | tree | snapshot
2018-08-30 Mark Thomread predicate reads piecemeal data commit | commitdiff | tree | snapshot
2018-08-30 Mark Thomsplit error classification commit | commitdiff | tree | snapshot
2018-08-30 Mark Thomchars are atoms, trailing whitespace is acceptable. commit | commitdiff | tree | snapshot
2018-08-29 Mark Thomcorrect README commit | commitdiff | tree | snapshot
2018-08-29 Mark Thomcorrect README commit | commitdiff | tree | snapshot
2018-08-29 Mark Thomadd tests for string lists, structural equality on... commit | commitdiff | tree | snapshot
2018-08-28 Mark Thomuse reference to match on SyntaxError, re: #45 commit | commitdiff | tree | snapshot
2018-08-27 Mark Thomunify matching strings with different cursors. commit | commitdiff | tree | snapshot
2018-08-27 Mark Thomadd clean errors for read, re: #45 commit | commitdiff | tree | snapshot
2018-08-26 Mark Thommodify structural_eq_test commit | commitdiff | tree | snapshot
2018-08-25 Mark Thomequate chars with atoms consisting of chars commit | commitdiff | tree | snapshot
2018-08-23 Mark Thomsupport strings as char lists in term comparisons commit | commitdiff | tree | snapshot
2018-08-23 Mark Thomrevert is_undefined back to ref match, re: #44 commit | commitdiff | tree | snapshot
2018-08-22 Mark Thomupdate to handle strings as lists. commit | commitdiff | tree | snapshot
2018-08-21 Mark Thomadd string table, StringList representation commit | commitdiff | tree | snapshot
2018-08-21 Mark Thomadd StringList internal datatype commit | commitdiff | tree | snapshot
2018-08-19 Mark Thomadd some prolog flags, tabled strings commit | commitdiff | tree | snapshot
2018-08-13 Mark Thomget rid of dynamic lookup for commit | commitdiff | tree | snapshot
2018-08-13 Mark Thomget rid of dynamic lookup for commit | commitdiff | tree | snapshot
2018-08-10 Mark Thomprint equations lexographically by variable name, re... commit | commitdiff | tree | snapshot
2018-08-09 Mark Thomcomplete call_with_inference_limit/3 commit | commitdiff | tree | snapshot
2018-08-08 Mark Thomset CWILCallPolicy count field back to private commit | commitdiff | tree | snapshot
2018-08-08 Mark Thomadd call_with_inference_limit/3 commit | commitdiff | tree | snapshot
2018-08-04 Mark Thomrestore setup_call_cleanup/3 commit | commitdiff | tree | snapshot
2018-08-04 Mark Thomfail on parse error invoked by read/1 commit | commitdiff | tree | snapshot
2018-07-31 Mark Thomadd proceed to inlined instructions in tail position commit | commitdiff | tree | snapshot
2018-07-30 Mark Thomrealize full cheney in copier.rs commit | commitdiff | tree | snapshot
2018-07-25 Mark Thompreliminary read support commit | commitdiff | tree | snapshot
2018-07-25 Mark Thompreliminary read support commit | commitdiff | tree | snapshot
2018-07-17 Mark Thomadd numbered vars to writeq commit | commitdiff | tree | snapshot
2018-07-17 Mark Thommove print_constant logic to heap_print.rs commit | commitdiff | tree | snapshot
2018-07-15 Mark Thomadd support for quoted atoms to writeq commit | commitdiff | tree | snapshot
2018-07-12 Mark Thomupdate README commit | commitdiff | tree | snapshot
2018-07-09 Mark Thomadd tests for module resolution operator, README docume... commit | commitdiff | tree | snapshot
2018-07-08 Mark Thomfinalize the module resolution operator. commit | commitdiff | tree | snapshot
2018-07-05 Mark Thominclude builtins implicitly in every module. commit | commitdiff | tree | snapshot
2018-07-02 Mark Thomcomplete trimdown of listing compilation. commit | commitdiff | tree | snapshot
2018-06-25 Mark Thomprepare module code commit | commitdiff | tree | snapshot
2018-06-25 Mark Thomget rid of LocalMachineCodeIndex commit | commitdiff | tree | snapshot
2018-06-25 Mark Thomget rid of LocalMachineCodeIndex commit | commitdiff | tree | snapshot
2018-06-19 Mark Thomprepare for changes to relocation scheme commit | commitdiff | tree | snapshot
2018-06-17 Mark Thomprepare for updating the code_dir with each new predicate commit | commitdiff | tree | snapshot
2018-05-29 Mark Thomreorder print_constant comments for unsupported escape... commit | commitdiff | tree | snapshot
2018-05-29 Mark Thomprint chars somewhat appropriately. commit | commitdiff | tree | snapshot
2018-05-29 Mark Thomhacky workaround commit | commitdiff | tree | snapshot
2018-05-21 Mark Thomget rid of spurious warning, add type error for skip_ma... commit | commitdiff | tree | snapshot
2018-05-20 Mark Thomfix offsetting of heap in existence errors commit | commitdiff | tree | snapshot
2018-05-20 Mark Thomadd instantiation error to skip_max_list commit | commitdiff | tree | snapshot
2018-05-17 Mark Thomcorrect for use in earlier releases of rust. commit | commitdiff | tree | snapshot
2018-05-17 Mark Thomprint certain atoms in single quotes. commit | commitdiff | tree | snapshot
2018-05-17 Mark Thomuse lexer macros. commit | commitdiff | tree | snapshot
2018-05-16 Mark Thomremove no longer present items from predicate list commit | commitdiff | tree | snapshot
2018-05-16 Mark ThomMerge branch 'develop' commit | commitdiff | tree | snapshot
2018-05-16 Mark Thommajor refactor commit | commitdiff | tree | snapshot
2018-05-15 Mark Thommove SGC and call inference instructions over to System... commit | commitdiff | tree | snapshot
2018-05-14 Mark Thomremove IsClause commit | commitdiff | tree | snapshot
2018-05-13 Mark Thomadd (=..)/2, arg/3 commit | commitdiff | tree | snapshot
2018-05-13 Mark Thomswitch to machine implemented arg commit | commitdiff | tree | snapshot
2018-05-13 Mark Thomparse the list functor commit | commitdiff | tree | snapshot
2018-05-13 Mark Thomparse negative numbers properly, handle length errors... commit | commitdiff | tree | snapshot
2018-05-12 Mark Thomcorrect faulty bind (two tests now fail: conjunctive_qu... commit | commitdiff | tree | snapshot
2018-05-12 Mark Thomadd arg commit | commitdiff | tree | snapshot
2018-05-12 Mark Thomadd support for callable if-then and disjunct commit | commitdiff | tree | snapshot
2018-05-11 Mark Thomthrow exception when call-ing a system instruction. commit | commitdiff | tree | snapshot
2018-05-11 Mark Thomport remaining builtins to SystemClauseType commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust