summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-02-27Merge branch 'master' into fixWShadowfixWShadowAndres Noetzli
2020-02-26Add support for is_digit and regular expression difference (#3828)Andrew Reynolds
2020-02-26Disable regression that times out on debug (#3833)Andrew Reynolds
2020-02-26Move fix for vacuous sygus types out of the parser (#3820)Andrew Reynolds
2020-02-26Initial work towards -Wshadow (#3817)Andrew Reynolds
2020-02-26Some initial work on using words (#3819)Andrew Reynolds
2020-02-26Infrastructure for tautological literals in nonlinear solver (#3795)Andrew Reynolds
2020-02-26Use side effect utility for non-linear lemmas (#3780)Andrew Reynolds
2020-02-26Fix regression (#3827)Andrew Reynolds
2020-02-26More fixes for printing sygus commands (#3812)Andrew Reynolds
2020-02-26Basic support for regular expression complement (#3437)Andrew Reynolds
2020-02-26fixAndres Noetzli
2020-02-26Refactor type ascriptions in the parser (#3825)Andrew Reynolds
2020-02-26Minor improvement to ParseOp (#3808)Andrew Reynolds
2020-02-26Merge branch 'master' into fixWShadowAndres Noetzli
2020-02-26Fix -Wshadow warnings in common headersAndres Noetzli
2020-02-26Use default consts when not using any const during grammar normalization (#3807)Andrew Reynolds
2020-02-26Fix node arity issue in reduction of int2bv (#3777)Andrew Reynolds
2020-02-26Move equivalence class info to its own file in strings (#3799)Andrew Reynolds
2020-02-26Support for witnessing choice in models (#3781)Andrew Reynolds
2020-02-26Remove portfolio leftovers (#3821)Andres Noetzli
2020-02-26Minor cleaning of smt2 parser (#3823)Andrew Reynolds
2020-02-25Embed mkAssociative utilities within the API. (#3801)Andrew Reynolds
2020-02-25Sets & Relations Java example (#3816)mudathirmahgoub
2020-02-25Sets & Relations Java example (#3816)mudathirmahgoub
2020-02-25remove redundant includes (#3815)yoni206
2020-02-24bv_to_int preprocessing passyoni206
2020-02-24Fixes for quantifiers documentation (#3811)Andrew Reynolds
2020-02-24Utilities for words (#3797)Andrew Reynolds
2020-02-24Convert parser input interface to api::Term (#3809)Andrew Reynolds
2020-02-24Fix bugs related to printing Sygus commands (#3804)Abdalrhman Mohamed
2020-02-24Add missing functions to new C++ API (#3769)Andrew Reynolds
2020-02-24Make lambda rewriter more robust (#3806)Andres Noetzli
2020-02-22Minor refactoring of equality notifications (#3798)Andrew Reynolds
2020-02-22RIP th_lra.plf (#3796)Alex Ozdemir
2020-02-22 Move check memberships to reg exp solver (#3793)Andrew Reynolds
2020-02-21Move cardinality inference scheme to base solver in strings (#3792)Andrew Reynolds
2020-02-21Dump boolean propagations and conflicts for decision tree org-mode viewer (#3...makaimann
2020-02-21Switch to th_lira.plf (#3741)Alex Ozdemir
2020-02-21New C++ API: Remove TOTAL kinds. (#3794)Aina Niemetz
2020-02-21Simple changes towards unicode string standard (#3791)Andrew Reynolds
2020-02-21Adding checks to the validation of 'bv-sat-solver' to ensure that the selecte...Andrew V. Jones
2020-02-21Split extended functions solver in strings (#3768)Andrew Reynolds
2020-02-21Remove IntReal tightening axioms from th_lira.plf (#3787)Alex Ozdemir
2020-02-20Remove front-end support for Chain (#3767)Andrew Reynolds
2020-02-20Remove unused code (#3782)Andres Noetzli
2020-02-20Minor removals (#3786)Andrew Reynolds
2020-02-20Remove parser from bindings (#3779)Andres Noetzli
2020-02-19resource manager: Add statistic for every resource. (#3772)Mathias Preiner
2020-02-19Fix symmetry breaking for multiple sygus types (#3775)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback