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

2021-03-01	Aina Niemetz	google test: theory: Migrate theory_quantifiers_bv_inverter_...	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: util: Migrate bitvector_black. (#6015)	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: theory: Migrate theory_quantifiers_bv_instantia...	commit \| commitdiff \| tree
2021-03-01	Gereon Kremer	Refactor collection of debug and trace tags (#5996)	commit \| commitdiff \| tree
2021-03-01	Mathias Preiner	Make -Werror optional but enable it for CI. (#6032)	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: util: Migrate stats_black. (#6029)	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: util: Migrate real_algebraic_number_black...	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: util: Migrate rational_white. (#6027)	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: util: Migrate rational_black. (#6026)	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: util: Migrate output_black. (#6025)	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: util: Migrate integer_black. (#6023)	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: util: Migrate datatype_black. (#6019)	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: util: Migrate configuration_black. (#6018)	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: util: Migrate boolean_simplification_black...	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: util: Migrate array_store_all_white. ...	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: util: Migrate integer_white. (#6024)	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: theory: Migrate theory_strings_skolem_cache_bla...	commit \| commitdiff \| tree
2021-03-01	Aina Niemetz	google test: theory: Migrate theory_strings_word_white...	commit \| commitdiff \| tree
2021-02-27	Aina Niemetz	google test: util: Migrate exception_black. (#6020)	commit \| commitdiff \| tree
2021-02-27	Aina Niemetz	google test: util: Migrate check_white. (#6017)	commit \| commitdiff \| tree
2021-02-27	Aina Niemetz	google test: util: Migrate cardinality_black. (#6016)	commit \| commitdiff \| tree
2021-02-27	Aina Niemetz	google test: theory: Migrate theory_white. (#6006)	commit \| commitdiff \| tree
2021-02-26	Aina Niemetz	google test: theory: Migrate type_enumerator_white...	commit \| commitdiff \| tree
2021-02-26	Haniel Barbosa	Some formatting and better tracing in prop engine ...	commit \| commitdiff \| tree
2021-02-26	Aina Niemetz	google test: theory: Migrate theory_sets_type_rules_white...	commit \| commitdiff \| tree
2021-02-26	Aina Niemetz	google test: theory: Migrate theory_sets_type_enumerator_whi...	commit \| commitdiff \| tree
2021-02-26	Mathias Preiner	Fix -Werror issues with clang and use clang for debug...	commit \| commitdiff \| tree
2021-02-26	Aina Niemetz	google test: util: Migrate binary_heap_black. (#6012)	commit \| commitdiff \| tree
2021-02-26	Aina Niemetz	google test: util: Migrate assert_white. (#6011)	commit \| commitdiff \| tree
2021-02-26	Andrew Reynolds	Minor improvement and fix to smt2 printer (#6009)	commit \| commitdiff \| tree
2021-02-26	Andrew Reynolds	Optionally permit creation of non-flat function types...	commit \| commitdiff \| tree
2021-02-26	Gereon Kremer	Store Node instead of TNode (#5993)	commit \| commitdiff \| tree
2021-02-26	Andrew Reynolds	(proof-new) Fix regular expression unfolding under...	commit \| commitdiff \| tree
2021-02-25	Gereon Kremer	Move (optional) rewrite from TrustSubstitutionMap to...	commit \| commitdiff \| tree
2021-02-25	Andrew Reynolds	Move slow regressions to regress1 (#5999)	commit \| commitdiff \| tree
2021-02-25	yoni206	Datatypes lemmas: share only external types (#5997)	commit \| commitdiff \| tree
2021-02-25	Aina Niemetz	google test: Merge Node(Manager) fixtures. (#5998)	commit \| commitdiff \| tree
2021-02-25	Gereon Kremer	Add regression. (#5994)	commit \| commitdiff \| tree
2021-02-25	Aina Niemetz	google test: theory: Migrate theory_bv_white. (#5987)	commit \| commitdiff \| tree
2021-02-25	Aina Niemetz	google test: theory: Migrate theory_bv_rewriter_white...	commit \| commitdiff \| tree
2021-02-25	Aina Niemetz	google test: printer: Migrate smt2_printer_black. ...	commit \| commitdiff \| tree
2021-02-25	Mathias Preiner	Enable -Werror. (#5969)	commit \| commitdiff \| tree
2021-02-24	Aina Niemetz	google test: theory: Migrate theory_bags_type_rules_white...	commit \| commitdiff \| tree
2021-02-24	Aina Niemetz	google test: theory: Migrate theory_engine_white. ...	commit \| commitdiff \| tree
2021-02-24	Aina Niemetz	google test: theory: Migrate theory_black. (#5985)	commit \| commitdiff \| tree
2021-02-24	Gereon Kremer	Ensure static-learning adds rewritten assertions. ...	commit \| commitdiff \| tree
2021-02-24	Gereon Kremer	(proof-new) Add proofs for CAD solver (#5981)	commit \| commitdiff \| tree
2021-02-24	Aina Niemetz	google test: theory: Migrate sequences_rewriter_white...	commit \| commitdiff \| tree
2021-02-24	Aina Niemetz	google test: theory: Migrate theory_bags_normal_form_white...	commit \| commitdiff \| tree
2021-02-24	Aina Niemetz	google test: theory: Migrate logic_info_white. (#5973)	commit \| commitdiff \| tree
2021-02-24	Aina Niemetz	google test: theory: Migrate theory_bags_rewriter_white...	commit \| commitdiff \| tree
2021-02-24	Aina Niemetz	google test: theory: Migrate theory_arith_white. (...	commit \| commitdiff \| tree
2021-02-24	Aina Niemetz	google test: theory: Migrate evaluator_white. (#5972)	commit \| commitdiff \| tree
2021-02-24	Aina Niemetz	google test: prop: Migrate cnf_stream_white. (#5971)	commit \| commitdiff \| tree
2021-02-24	Andrew Reynolds	Add state and inference manager to inst match generator...	commit \| commitdiff \| tree
2021-02-24	Andrew Reynolds	Add interface to TheoryState for sort inference and...	commit \| commitdiff \| tree
2021-02-23	Mathias Preiner	Switch to C++17. (#5959)	commit \| commitdiff \| tree
2021-02-23	Aina Niemetz	google test: theory: Migrate regexp_operation_black...	commit \| commitdiff \| tree
2021-02-23	Aina Niemetz	google test: theory: Migrate strings_rewriter_white...	commit \| commitdiff \| tree
2021-02-23	Gereon Kremer	Add proof for mult sign lemma (#5966)	commit \| commitdiff \| tree
2021-02-23	Haniel Barbosa	[proof-new] Fix dangling pointer in SAT proof generation...	commit \| commitdiff \| tree
2021-02-23	Gereon Kremer	Add proof for monomial bounds check (#5965)	commit \| commitdiff \| tree
2021-02-23	Gereon Kremer	(proof-new) Add proof generator for CAD solver (#5964)	commit \| commitdiff \| tree
2021-02-23	Haniel Barbosa	[proof-new] Fix handling of removable clauses in proof...	commit \| commitdiff \| tree
2021-02-23	Gereon Kremer	Add trans secant proofs. (#5957)	commit \| commitdiff \| tree
2021-02-23	Andrew Reynolds	Explanation of failure for instantiate, use in enumerative...	commit \| commitdiff \| tree
2021-02-23	Aina Niemetz	google test: preprocessing: Migrate pass_bv_gauss_white...	commit \| commitdiff \| tree
2021-02-22	Andrew Reynolds	Eliminate raw use of output channel and valuation in...	commit \| commitdiff \| tree
2021-02-22	Andrew Reynolds	Move quantifiers attributes to quantifiers registry...	commit \| commitdiff \| tree
2021-02-22	Andrew Reynolds	(proof-new) Change proof-new option to proof (#5955)	commit \| commitdiff \| tree
2021-02-22	Gereon Kremer	(proof-new) Add proofs for exponential functions (...	commit \| commitdiff \| tree
2021-02-22	Andrew Reynolds	Require length-in-conclusion form for strings inferences...	commit \| commitdiff \| tree
2021-02-22	Andrew Reynolds	(proof-new) Option to automatically add SYMM steps...	commit \| commitdiff \| tree
2021-02-22	Haniel Barbosa	[proof-new] Optionally print conclusion in the AST...	commit \| commitdiff \| tree
2021-02-22	Aina Niemetz	google test: preprocessing: Migrate pass_foreign_theory_rewr...	commit \| commitdiff \| tree
2021-02-22	Gereon Kremer	Add the LazyTreeProofGenerator. (#5948)	commit \| commitdiff \| tree
2021-02-22	Gereon Kremer	(proof-new) Add new arithmetic kind INDEXED_ROOT_PREDICATE...	commit \| commitdiff \| tree
2021-02-22	Gereon Kremer	(proof-new) Add proofs for sine lemmas in the transcendental...	commit \| commitdiff \| tree
2021-02-22	Gereon Kremer	Cleanup in transcendental solver, add ApproximationBounds...	commit \| commitdiff \| tree
2021-02-22	Gereon Kremer	add pruneRedundantIntervals (#5950)	commit \| commitdiff \| tree
2021-02-22	Andrew Reynolds	Fix datatypes inference manager when proofs are enabled...	commit \| commitdiff \| tree
2021-02-19	Andrew Reynolds	Simplify interface to instantiate (#5926)	commit \| commitdiff \| tree
2021-02-19	Andrew Reynolds	Fill in missing inference ids in datatypes theory ...	commit \| commitdiff \| tree
2021-02-19	Andrew Reynolds	Refactoring theory inference process (#5920)	commit \| commitdiff \| tree
2021-02-19	Andrew Reynolds	Fix rewrite for contains over replace (#5924)	commit \| commitdiff \| tree
2021-02-19	Andrew Reynolds	Remove string stat for inferences (#5932)	commit \| commitdiff \| tree
2021-02-19	Gereon Kremer	Cleanup of inferences in arithmetic theory (#5927)	commit \| commitdiff \| tree
2021-02-19	Aina Niemetz	Add Gereon to AUTHORS list. (#5930)	commit \| commitdiff \| tree
2021-02-18	Gereon Kremer	Add statistic for InferenceId to TheoryInferenceManager...	commit \| commitdiff \| tree
2021-02-18	Gereon Kremer	Add InferenceIds for sets theory. (#5900)	commit \| commitdiff \| tree
2021-02-18	Gereon Kremer	New InferenceIds for BV theory (#5909)	commit \| commitdiff \| tree
2021-02-18	Andrew Reynolds	Document UF inferences (#5917)	commit \| commitdiff \| tree
2021-02-18	Andrew Reynolds	Eliminate non-static members in term util (#5919)	commit \| commitdiff \| tree
2021-02-18	Andrew Reynolds	Move first order model for full model check to own...	commit \| commitdiff \| tree
2021-02-17	Andrew Reynolds	Move methods from term util to quantifiers registry...	commit \| commitdiff \| tree
2021-02-17	Andrew Reynolds	Compute fact or lemma in datatypes prior to buffering...	commit \| commitdiff \| tree
2021-02-17	Gereon Kremer	Use InferenceId in sep theory. (#5912)	commit \| commitdiff \| tree
2021-02-17	Gereon Kremer	TheoryIds for UF theory. (#5901)	commit \| commitdiff \| tree
2021-02-17	Gereon Kremer	Add InferenceIds for theory of arrays (#5910)	commit \| commitdiff \| tree
2021-02-17	Gereon Kremer	Add InferenceId to buffered inference manager (#5911)	commit \| commitdiff \| tree
next

RSS Atom