]> 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-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
2018-05-11 Mark Thommake system calls exempt from call policy. commit | commitdiff | tree | snapshot
2018-05-11 Mark Thomadd more tests that pass. commit | commitdiff | tree | snapshot
2018-05-10 Mark Thomadd catch/throw support, make exceptions and arithmetic... commit | commitdiff | tree | snapshot
2018-05-10 Mark Thomeliminate need for embedded, handwritten WAM code. commit | commitdiff | tree | snapshot
2018-05-09 Mark Thomshift to builtins commit | commitdiff | tree | snapshot
2018-05-08 Mark Thomadd system call preliminaries commit | commitdiff | tree | snapshot
2018-05-08 Mark Thomsystem calls preliminary commit | commitdiff | tree | snapshot
2018-05-08 Mark Thomadd system call preliminaries commit | commitdiff | tree | snapshot
2018-05-07 Mark Thomrecord cyclic terms in printer commit | commitdiff | tree | snapshot
2018-05-07 Mark Thomstreamline variable search in heap_print.rs commit | commitdiff | tree | snapshot
2018-05-05 Mark Thomsimplify detection of cycles in printer commit | commitdiff | tree | snapshot
2018-05-05 Mark Thomproperly handle cyclic terms in the printer. commit | commitdiff | tree | snapshot
2018-05-05 Mark Thomadd support for printing cyclic terms. commit | commitdiff | tree | snapshot
2018-05-05 Mark Thomadd access to HeapVarDict to the printer. commit | commitdiff | tree | snapshot
2018-05-05 Mark Thomset up heap_var Cow in heap_print.rs commit | commitdiff | tree | snapshot
2018-05-05 Mark Thomabbreviate names in heap_iter.rs commit | commitdiff | tree | snapshot
2018-05-04 Mark Thomcorrect the copier's mishandling of cyclic lists commit | commitdiff | tree | snapshot
2018-05-04 Mark Thomfix errors emitted by sort and keysort, add tests,... commit | commitdiff | tree | snapshot
2018-05-03 Mark ThomMerge branch 'master' of http://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2018-05-03 Mark Thomcorrect sort/keysort refusing [] commit | commitdiff | tree | snapshot
2018-05-03 Mark Thomcorrect keysort type error (re: #34) commit | commitdiff | tree | snapshot
2018-05-03 Mark Thomremove unnecessary store/deref in keysort error checking commit | commitdiff | tree | snapshot
2018-05-03 Mark Thomfix keysort error detection bugs commit | commitdiff | tree | snapshot
2018-05-03 Mark Thomadd proper error messages for keysort and sort, (re... commit | commitdiff | tree | snapshot
2018-05-03 Mark Thomadd error handling appartus commit | commitdiff | tree | snapshot
2018-05-02 Mark ThomMerge branch 'master' of http://github.com/mthom/rusty... commit | commitdiff | tree | snapshot
2018-05-02 Mark Thommove existence_error function in machine_st_impl.rs commit | commitdiff | tree | snapshot
2018-05-01 Mark Thomclean up detect_cycles commit | commitdiff | tree | snapshot
2018-05-01 Mark Thomhandle non-list cases in '', add '' as a built-in ... commit | commitdiff | tree | snapshot
2018-04-30 Mark Thomadd '', type checking for incomplete lists in sort... commit | commitdiff | tree | snapshot
2018-04-26 Mark ThomMerge branch 'master' of http://github.com/mthom/rusty... commit | commitdiff | tree | snapshot
2018-04-26 Mark Thomskip_max_list preliminaries commit | commitdiff | tree | snapshot
2018-04-25 Mark Thomproperly support module imports from within modules. commit | commitdiff | tree | snapshot
2018-04-25 Mark Thomadd other declarations properly commit | commitdiff | tree | snapshot
2018-04-23 Mark Thomprotect imported predicates from being overwritten... commit | commitdiff | tree | snapshot
2018-04-20 Mark Thomchange modules when updating code index (re: issue... commit | commitdiff | tree | snapshot
2018-04-19 Mark Thommetacall always hashes in user (re: issue #27) commit | commitdiff | tree | snapshot
2018-04-19 Mark Thommake module code entries immutable (re: issue #27) commit | commitdiff | tree | snapshot
2018-04-18 Mark Thomcorrect-ish definition of reverse. commit | commitdiff | tree | snapshot
2018-04-18 Mark Thomcorrect-ish definition of reverse. commit | commitdiff | tree | snapshot
2018-04-17 Mark Thomadd predicate existence errors for failed metacalls. commit | commitdiff | tree | snapshot
2018-04-17 Mark Thomprint characters correctly commit | commitdiff | tree | snapshot
2018-04-17 Mark Thomadd functional notation for operators. commit | commitdiff | tree | snapshot
2018-04-14 Mark Thomupdate to lexer error handling. commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust