git.libre-soc.org Git - cvc5.git/search

2020-11-06	mudathirmahgoub	Fix issue #5342 (#5349)	commit \| commitdiff \| tree
2020-11-05	mudathirmahgoub	Remove mkSingleton from the API (#5366)	commit \| commitdiff \| tree
2020-10-29	mudathirmahgoub	Add mkInteger to the API (#5274)	commit \| commitdiff \| tree
2020-10-27	mudathirmahgoub	Add DUPICATE_REMOVAL operator to bags (#5336)	commit \| commitdiff \| tree
2020-10-24	mudathirmahgoub	Fix issue 5271 (#5335)	commit \| commitdiff \| tree
2020-10-22	mudathirmahgoub	Fix issue 5309 (#5327)	commit \| commitdiff \| tree
2020-10-21	mudathirmahgoub	Implement bags evaluator (#5322)	commit \| commitdiff \| tree
2020-10-21	mudathirmahgoub	Add operator MakeBagOp for constructing bags (#5209)	commit \| commitdiff \| tree
2020-10-14	mudathirmahgoub	Fix issue #5269 (#5270)	commit \| commitdiff \| tree
2020-10-06	mudathirmahgoub	Add operators bag.from_set, bag.to_set to the theory...	commit \| commitdiff \| tree
2020-10-06	mudathirmahgoub	Remove subtyping for sets (#5205)	commit \| commitdiff \| tree
2020-10-04	mudathirmahgoub	Remove subtyping for sets theory (#5179)	commit \| commitdiff \| tree
2020-09-29	mudathirmahgoub	Fix bags headers (#5165)	commit \| commitdiff \| tree
2020-09-28	mudathirmahgoub	Implement bags rewriter (#5132)	commit \| commitdiff \| tree
2020-09-22	mudathirmahgoub	Add skeleton for theory of bags (multisets) (#5100)	commit \| commitdiff \| tree
2020-09-09	mudathirmahgoub	Add is_singleton operator to the theory of sets (#5033)	commit \| commitdiff \| tree
2020-05-23	mudathirmahgoub	remove unused field d_emp_exp in TheorySetsPrivate...	commit \| commitdiff \| tree
2020-05-19	mudathirmahgoub	Renamed operator CHOICE to WITNESS (#4207)	commit \| commitdiff \| tree
2020-04-08	mudathirmahgoub	Added CHOOSE operator for sets (#4211)	commit \| commitdiff \| tree
2020-03-30	mudathirmahgoub	Frontend support for the choice operator (#4175)	commit \| commitdiff \| tree
2020-03-03	mudathirmahgoub	Refactoring and cleaning the type enumerator for sets...	commit \| commitdiff \| tree
2020-02-25	mudathirmahgoub	Sets & Relations Java example (#3816)	commit \| commitdiff \| tree
2020-02-25	mudathirmahgoub	Sets & Relations Java example (#3816)	commit \| commitdiff \| tree
2020-02-07	mudathirmahgoub	Univeset Cardinality constraints for infinite types...	commit \| commitdiff \| tree
2020-02-04	mudathirmahgoub	Update INSTALL.md (#3714)	commit \| commitdiff \| tree
2020-02-03	mudathirmahgoub	Fix cardinality of uninterpreted types when univset...	commit \| commitdiff \| tree
2020-01-08	mudathirmahgoub	Universe set cardinality for finite types with finite...	commit \| commitdiff \| tree

RSS Atom