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

2022-02-03	mudathirmahgoub	Add table.product operator (#8020)	commit \| commitdiff \| tree
2022-02-02	mudathirmahgoub	Update datatypes.rst (#8009)	commit \| commitdiff \| tree
2022-02-02	mudathirmahgoub	Fix parser issue with tuple_project operator (#8021)	commit \| commitdiff \| tree
2022-02-01	mudathirmahgoub	Add bag.filter operator (#8006)	commit \| commitdiff \| tree
2022-01-26	mudathirmahgoub	Add Card solver to bags (#7986)	commit \| commitdiff \| tree
2022-01-04	mudathirmahgoub	Add bag.member operator to theory of bags (#7857)	commit \| commitdiff \| tree
2022-01-04	mudathirmahgoub	Refactor bag solver (#7770)	commit \| commitdiff \| tree
2021-12-17	mudathirmahgoub	Remove Rewriter::rewrite from bags type enumerator...	commit \| commitdiff \| tree
2021-12-17	mudathirmahgoub	Add relations.cpp, relations.py examples (#7801)	commit \| commitdiff \| tree
2021-12-16	mudathirmahgoub	Add regression bags-of-bags-subtypes.smt2 (#7814)	commit \| commitdiff \| tree
2021-12-14	mudathirmahgoub	Fix cvc5-projects issue 358 (#7804)	commit \| commitdiff \| tree
2021-12-13	mudathirmahgoub	A more efficient implementation for bag.card operator...	commit \| commitdiff \| tree
2021-12-13	mudathirmahgoub	Update Relations.java (#7796)	commit \| commitdiff \| tree
2021-12-13	mudathirmahgoub	Fix cvc5-projects issues #358 and #375 (#7743)	commit \| commitdiff \| tree
2021-12-07	mudathirmahgoub	Fix some java documentation links (#7757)	commit \| commitdiff \| tree
2021-12-07	mudathirmahgoub	Add documentation for QuickStart.java (#7730)	commit \| commitdiff \| tree
2021-12-02	mudathirmahgoub	add bag.fold operator (#7718)	commit \| commitdiff \| tree
2021-12-01	mudathirmahgoub	Enable Java examples (#7702)	commit \| commitdiff \| tree
2021-11-23	mudathirmahgoub	Add rewrite rule for bag.card operator using bag.map...	commit \| commitdiff \| tree
2021-11-17	mudathirmahgoub	Update SimpleVC.java (#7647)	commit \| commitdiff \| tree
2021-11-16	mudathirmahgoub	Fix compile errors with java examples (#7646)	commit \| commitdiff \| tree
2021-11-15	mudathirmahgoub	Add documentation for theory_bags_type_rules.h (#7642)	commit \| commitdiff \| tree
2021-11-13	mudathirmahgoub	Fix type error for rewriting bag.map bag.union_disjoint...	commit \| commitdiff \| tree
2021-11-13	mudathirmahgoub	Add operator set.map to theory of sets (#7641)	commit \| commitdiff \| tree
2021-11-12	mudathirmahgoub	bags: Rename kinds with a more consistent naming scheme...	commit \| commitdiff \| tree
2021-11-10	mudathirmahgoub	Fix soundness issue of missing premises for count bag...	commit \| commitdiff \| tree
2021-11-08	mudathirmahgoub	expand bag.choose operator (#7481)	commit \| commitdiff \| tree
2021-11-03	mudathirmahgoub	Enable CI for Junit tests (#7436)	commit \| commitdiff \| tree
2021-10-31	mudathirmahgoub	Fix soundess issue for bags with negative multiplicity...	commit \| commitdiff \| tree
2021-10-31	mudathirmahgoub	Remove assertSkeleton for bag elements during model...	commit \| commitdiff \| tree
2021-10-27	mudathirmahgoub	Fix mac compile errors in sort.cpp (#7507)	commit \| commitdiff \| tree
2021-10-25	mudathirmahgoub	Add inference for count map (#7264)	commit \| commitdiff \| tree
2021-10-24	mudathirmahgoub	Delete redundant file option_Info.cpp (#7477)	commit \| commitdiff \| tree
2021-10-22	mudathirmahgoub	Refactor java package name from cvc5 to io.github.cvc5...	commit \| commitdiff \| tree
2021-10-22	mudathirmahgoub	Add missing methods to Solver.java (#7299)	commit \| commitdiff \| tree
2021-10-07	mudathirmahgoub	Add missing functions in Term.java (#7297)	commit \| commitdiff \| tree
2021-10-01	mudathirmahgoub	Update java examples using the new Java API (#7225)	commit \| commitdiff \| tree
2021-09-30	mudathirmahgoub	Finish the Java Api (#6396)	commit \| commitdiff \| tree
2021-09-29	mudathirmahgoub	Add Statistics and Stat to the Java API (#7243)	commit \| commitdiff \| tree
2021-09-29	mudathirmahgoub	Add Sort.java to the java API (#6382)	commit \| commitdiff \| tree
2021-09-10	mudathirmahgoub	Add Op.java to the java API (#6387)	commit \| commitdiff \| tree
2021-09-08	mudathirmahgoub	Add Datatype.java to the Java API (#6389)	commit \| commitdiff \| tree
2021-09-08	mudathirmahgoub	Add DatatypeConstructor.java, DatatypeConstructorDecl...	commit \| commitdiff \| tree
2021-09-01	mudathirmahgoub	Fixed TestTheoryWhiteBagsRewriter.map failure (#7103)	commit \| commitdiff \| tree
2021-08-30	mudathirmahgoub	Add kind BAG_MAP and its type rule to bags (#6503)	commit \| commitdiff \| tree
2021-08-20	mudathirmahgoub	Add Term.java to the Java API (#6330)	commit \| commitdiff \| tree
2021-07-22	mudathirmahgoub	Add std::vector<Term> Op:: getIndices() and operator...	commit \| commitdiff \| tree
2021-06-21	mudathirmahgoub	Add Grammar.java to the java API (#6388)	commit \| commitdiff \| tree
2021-05-18	mudathirmahgoub	Add Solver.java to the Java API (#6196)	commit \| commitdiff \| tree
2021-05-14	mudathirmahgoub	Add Result.java to the java API (#6385)	commit \| commitdiff \| tree
2021-05-10	mudathirmahgoub	Add doc to Kind.java (#6498)	commit \| commitdiff \| tree
2021-04-21	mudathirmahgoub	Add getNumIndices to Op (#6386)	commit \| commitdiff \| tree
2021-04-05	mudathirmahgoub	Add documentation for theory_bags_type_rules.h (#6268)	commit \| commitdiff \| tree
2021-03-20	mudathirmahgoub	Generate cvc/Kind.java for the java API (#6143)	commit \| commitdiff \| tree
2021-03-03	mudathirmahgoub	Add tuple projection operator (#5904)	commit \| commitdiff \| tree
2021-02-01	mudathirmahgoub	Fix BagsRewriter::rewriteUnionDisjoint (#5840)	commit \| commitdiff \| tree
2021-01-29	mudathirmahgoub	Add bag inferences for operators: intersection, duplicate_re...	commit \| commitdiff \| tree
2021-01-28	mudathirmahgoub	Remove regex header from cvc4cpp.cpp (#5826)	commit \| commitdiff \| tree
2021-01-25	mudathirmahgoub	Refactor bags::SolverState (#5783)	commit \| commitdiff \| tree
2021-01-25	mudathirmahgoub	rename InferInfo::d_newSkolem to InferInfo::d_skolems...	commit \| commitdiff \| tree
2021-01-09	mudathirmahgoub	Fix issue 5513 (#5757)	commit \| commitdiff \| tree
2021-01-08	mudathirmahgoub	Rename getAntecedent to getPremises (#5754)	commit \| commitdiff \| tree
2021-01-08	mudathirmahgoub	Add bags inference generator (#5731)	commit \| commitdiff \| tree
2020-12-16	mudathirmahgoub	Renamed InferInfo::getAntecedant to InferInfo::getAntecedent...	commit \| commitdiff \| tree
2020-11-21	mudathirmahgoub	Add posRewriteEqual to bags rewriter (#5498)	commit \| commitdiff \| tree
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