Repositorios git - scryer-prolog.git/shortlog

]> Repositorios git - scryer-prolog.git/shortlog

2021-03-02	Mark Thom	Merge pull request #849 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-03-02	Markus Triska	remove min_/3 and max_/3 which are also defined elsewhere	commit \| commitdiff \| tree \| snapshot
2021-03-02	Markus Triska	remove group_pairs_by_key/2, which is now provided...	commit \| commitdiff \| tree \| snapshot
2021-03-02	Mark Thom	warn when overwriting a predicate (#848)	commit \| commitdiff \| tree \| snapshot
2021-03-02	Mark Thom	do not check for non-unifiability in dif:attribute_goal...	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	Merge pull request #845 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-03-01	Markus Triska	explain the new occurs_check flag	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	use atom_chars to convert .scryerrc path string to...	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	use plain ! while interpreting control functors in...	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	apply expand_module_names to call(A) goals	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	suppress tabled/2 existence errors in tabling library...	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	Merge pull request #843 from mthom/rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	check that Module is an atom before calling Module...	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	wrap variable goals in module-expanded call/1	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	do not print error messages if .scryerrc[.pl] does...	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	print errors arising from term and goal expansion calls...	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	introduce bind_fn, use in applicable Fact/Query instruc...	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	pop non-composite terms from iter stack in is_cyclic_term	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	add error value to occurs_check prolog flag (#783)	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	Merge pull request #838 from Skgland/librarify	commit \| commitdiff \| tree \| snapshot
2021-02-28	Skgland	revert removal of PartialEq	commit \| commitdiff \| tree \| snapshot
2021-02-28	Skgland	move the signal handler to the binary	commit \| commitdiff \| tree \| snapshot
2021-02-28	Skgland	remove #[allow(dead_code)]	commit \| commitdiff \| tree \| snapshot
2021-02-28	Skgland	fix CI lib build with beta compiler	commit \| commitdiff \| tree \| snapshot
2021-02-28	Skgland	adjust ci	commit \| commitdiff \| tree \| snapshot
2021-02-28	Skgland	split into lib and bin	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	restore .scryerrc loading	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	add occurs_check flag (#309)	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	enable op declarations with lists of operands using...	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	add lines read from devour_whitespace (#836)	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	set compilation_target of assert loader to match that...	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	update the parser with the number of lines already...	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	implement logical update semantics for dynamic database...	commit \| commitdiff \| tree \| snapshot
2021-02-25	Mark Thom	Merge pull request #837 from triska/rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-02-25	Markus Triska	add entry for library(lambda)	commit \| commitdiff \| tree \| snapshot
2021-02-25	Markus Triska	omit internal residual goals for global_cardinality/2	commit \| commitdiff \| tree \| snapshot
2021-02-25	Markus Triska	remove unused attribute_goal/2	commit \| commitdiff \| tree \| snapshot
2021-02-25	Mark Thom	Merge pull request #835 from triska/lambda	commit \| commitdiff \| tree \| snapshot
2021-02-25	Markus Triska	adapt libraries and toplevel output to Scryer Prolog	commit \| commitdiff \| tree \| snapshot
2021-02-25	Markus Triska	use individual meta_predicate/1 declarations	commit \| commitdiff \| tree \| snapshot
2021-02-25	Markus Triska	ADDED: library(lambda) by Ulrich Neumerkel.	commit \| commitdiff \| tree \| snapshot
2021-02-23	Mark Thom	add copy_term_nat/2 (#795)	commit \| commitdiff \| tree \| snapshot
2021-02-23	Mark Thom	no longer delay verify_attributes for cut instructions...	commit \| commitdiff \| tree \| snapshot
2021-02-23	Mark Thom	no longer generate a choice point in bb_b_put/2 (#742)	commit \| commitdiff \| tree \| snapshot
2021-02-22	Mark Thom	consume whitespace before reading a term in loader...	commit \| commitdiff \| tree \| snapshot
2021-02-22	Mark Thom	extend existing local predicate skeletons in LoadState...	commit \| commitdiff \| tree \| snapshot
2021-02-22	Mark Thom	anonymize singleton variables in iso_ext.pl, charsio.pl	commit \| commitdiff \| tree \| snapshot
2021-02-22	Mark Thom	issue singleton variable warnings from loader.pl (...	commit \| commitdiff \| tree \| snapshot
2021-02-22	Mark Thom	wrap stream instances in one Rc<RefCell<..>>, use Ref...	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	Merge pull request #834 from aarroyoc/rebis-http	commit \| commitdiff \| tree \| snapshot
2021-02-21	Adrián Arroyo...	Fix typo	commit \| commitdiff \| tree \| snapshot
2021-02-21	Adrián Arroyo...	Use notoria's comment	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	Merge pull request #830 from aarroyoc/rebis-http	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	tweak bimetatrans_tests.pl	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	add set_prolog_flag to declarations recognized by loader.pl	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	correct comment before call meta_predicate declarations	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	add 'e' as evaluable functor for Euler's constant ...	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	use env::current_dir in Machine::current_dir (#833)	commit \| commitdiff \| tree \| snapshot
2021-02-20	Mark Thom	move to a local num-rug-adapter crate addressing #822	commit \| commitdiff \| tree \| snapshot
2021-02-19	Mark Thom	remove nl after top-level use_module (#818)	commit \| commitdiff \| tree \| snapshot
2021-02-19	Mark Thom	qualify command-line specified goals with user: (#820)	commit \| commitdiff \| tree \| snapshot
2021-02-19	Mark Thom	treat LocalCodePtr::Halt received at lookup_local_instr...	commit \| commitdiff \| tree \| snapshot
2021-02-19	Mark Thom	add qualified imports use_module library modules	commit \| commitdiff \| tree \| snapshot
2021-02-18	Adrián Arroyo...	Fix HTTP server to work on Rebis branch. Breaking change	commit \| commitdiff \| tree \| snapshot
2021-02-18	Mark Thom	Merge pull request #829 from aarroyoc/uuidv4	commit \| commitdiff \| tree \| snapshot
2021-02-18	Adrián Arroyo...	UUIDv4 generation	commit \| commitdiff \| tree \| snapshot
2021-02-18	Mark Thom	use add_dynamically_generated_module in get_or_insert_l...	commit \| commitdiff \| tree \| snapshot
2021-02-18	Mark Thom	add '$remove_module_exports' to loader.rs	commit \| commitdiff \| tree \| snapshot
2021-02-18	Mark Thom	Merge pull request #828 from triska/rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-02-18	Markus Triska	enable meta_predicate/1 declarations	commit \| commitdiff \| tree \| snapshot
2021-02-18	Mark Thom	Merge pull request #827 from triska/rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-02-18	Markus Triska	add appropriate meta_predicate/1 declarations	commit \| commitdiff \| tree \| snapshot
2021-02-18	Mark Thom	Merge pull request #826 from triska/rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-02-18	Markus Triska	add appropriate meta_predicate/1 declarations	commit \| commitdiff \| tree \| snapshot
2021-02-18	Mark Thom	Merge pull request #825 from tniessen/readme-typo-fix	commit \| commitdiff \| tree \| snapshot
2021-02-18	Tobias Nießen	instantianted -> instantiated	commit \| commitdiff \| tree \| snapshot
2021-02-18	Tobias Nießen	Fix typo in README	commit \| commitdiff \| tree \| snapshot
2021-02-18	Mark Thom	try to canonicalize to absolute path in current_dir...	commit \| commitdiff \| tree \| snapshot
2021-02-17	Mark Thom	restore support for tabling and delimited continuations...	commit \| commitdiff \| tree \| snapshot
2021-02-17	Mark Thom	add second term expansion to capture the addition of...	commit \| commitdiff \| tree \| snapshot
2021-02-17	Mark Thom	remove VNs variable from loader.pl	commit \| commitdiff \| tree \| snapshot
2021-02-17	Mark Thom	remove unnecessary cause of failure in parser, qualify...	commit \| commitdiff \| tree \| snapshot
2021-02-17	Mark Thom	add missing variable checks in various places	commit \| commitdiff \| tree \| snapshot
2021-02-17	Mark Thom	handle user:goal_expansion, but not Target:goal_expansi...	commit \| commitdiff \| tree \| snapshot
2021-02-17	Mark Thom	support discontiguous and multifile declarations	commit \| commitdiff \| tree \| snapshot
2021-02-14	Mark Thom	compile scoped clauses from loader.pl	commit \| commitdiff \| tree \| snapshot
2021-02-12	Mark Thom	remove vestigial uses of constant_eq	commit \| commitdiff \| tree \| snapshot
2021-02-12	Mark Thom	Box LoadStatePayload when storing it in the heap	commit \| commitdiff \| tree \| snapshot
2021-02-12	Mark Thom	remove unused is_internal function from indexing.rs	commit \| commitdiff \| tree \| snapshot
2021-02-12	Mark Thom	use machine-generated PartialEq instance for hashing...	commit \| commitdiff \| tree \| snapshot
2021-02-11	Mark Thom	update call/N indices in user-level code_dir in additio...	commit \| commitdiff \| tree \| snapshot
2021-02-11	Mark Thom	offset SwitchOnTerm's Internal indices only if the...	commit \| commitdiff \| tree \| snapshot
2021-02-11	Mark Thom	roll back extent of heap when loads are complete in...	commit \| commitdiff \| tree \| snapshot
2021-02-11	Mark Thom	use IndexMap over HashMap in prolog_parser	commit \| commitdiff \| tree \| snapshot
2021-02-10	Mark Thom	break out of the first inner loop if constants contains...	commit \| commitdiff \| tree \| snapshot
2021-02-10	Mark Thom	Merge pull request #813 from triska/rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-02-10	Mark Thom	reset merging_ptr offset before insertion of each overl...	commit \| commitdiff \| tree \| snapshot
2021-02-09	Mark Thom	check for control functors (,/;/->) before jumping...	commit \| commitdiff \| tree \| snapshot
2021-02-09	Mark Thom	qualify exception handling code in loader.pl (#809)	commit \| commitdiff \| tree \| snapshot
2021-02-09	Mark Thom	Merge branch 'rebis-dev' of https://github.com/mthom...	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom