summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-08-10Simplify how defined functions are tracked during parsing (#3177)Andrew Reynolds
2019-08-10Add option to only dump unsolved queries for --sygus-query-gen (#3173)Andrew Reynolds
2019-08-08Reorganize includes for quantifiers engine (#3169)Andrew Reynolds
2019-08-08Add subdirectories to contrib for competition scripts (#3164)Andrew Reynolds
2019-08-08Fix issues with Ninja build system and add configure option. (#3166)Mathias Preiner
2019-08-07New C++ API: Add checks and tests for push/pop. (#3121)Aina Niemetz
2019-08-07New C++ API: Introduce macros for try-catch blocks in Solver. (#3121)Aina Niemetz
2019-08-06New C++ API: Fix branch prediction in CHECK macros. (#3161)Aina Niemetz
2019-08-06Properly parse qualified identifiers (#3111)Andrew Reynolds
2019-08-06Scripts for CASC-27 (#3163)Haniel Barbosa
2019-08-05Fix drat signature wrt side condition return types. (#3160)Andrew Reynolds
2019-08-05Remove forward declarations in quantifiers engine (#3156)Andrew Reynolds
2019-08-04Fix regression script for incremental SMT-LIB v2 benchmarks. (#3155)Mathias Preiner
2019-08-03Fix printing issue related to nested quotes (#3154)Andrew Reynolds
2019-08-03Collapse @ chains in SMT2 printer (#3140)Haniel Barbosa
2019-08-02Update CaDiCaL to version 1.0.3. (#3137)Mathias Preiner
2019-08-02Flip the polarity of the argument of get-abduct (#3153)Andrew Reynolds
2019-08-02Add better Python detection for contrib scripts. (#3150)Mathias Preiner
2019-08-02 Move basic sygus enumerator to its own file (#3149)Andrew Reynolds
2019-08-02Remove simplification specialized for sygus si solution reconstruction (#3147)Andrew Reynolds
2019-08-02Support default sygus grammar for strings (#3148)Andrew Reynolds
2019-08-02Throw option exception when track inst lemmas is not used (#3145)Andrew Reynolds
2019-08-02Fix solution filtering for streaming abducts (#3143)Andrew Reynolds
2019-08-01Fix BVGauss unit tests. (#3142)Mathias Preiner
2019-08-01Enable sygus logic when produce-abducts is true (#3144)Andrew Reynolds
2019-08-01Use python realpath instead of relying on shell realpath (#3117)makaimann
2019-08-01Fix memory leak in rewriter (debug mode). (#3141)Mathias Preiner
2019-08-01Move some generic utilities out of quantifiers (#3139)Andrew Reynolds
2019-08-01 Regular expression intersection modes (#3134)Andrew Reynolds
2019-07-31Parsing THF and adding several regressions (#3131)Haniel Barbosa
2019-07-31adding bv_gauss unit test to build files (#3135)yoni206
2019-07-31Add some missing cases in evaluator (#3133)Andrew Reynolds
2019-07-31Eager conflict detection in strings based on constant prefix/suffix (#3110)Andrew Reynolds
2019-07-30 Track solver execution mode (#3132)Andrew Reynolds
2019-07-30Code to activate hoelim preprocessing pass (#3129)Haniel Barbosa
2019-07-30Minor improvement for rewriter for str.replace (#3124)Andrew Reynolds
2019-07-30 Handle RE intersections modulo equality (#3120)Andrew Reynolds
2019-07-30Remove hard coded option for TPTP regressions in run_regression (#3128)Haniel Barbosa
2019-07-29Model blocker feature (#3112)Andrew Reynolds
2019-07-29Support get-abduct smt2 command (#3122)Andrew Reynolds
2019-07-29Fix match trie for polymorphic operators (#3125)Andrew Reynolds
2019-07-29Refactoring of bit-vector elimination rules (#3105)yoni206
2019-07-27Minor improvement to term canonizer (#3123)Andrew Reynolds
2019-07-25Input user grammar in sygus abduct (#3119)Andrew Reynolds
2019-07-25Split infer info data structure in strings (#3107)Andrew Reynolds
2019-07-24adding runscripts for syguscomp2019 (#3118)Haniel Barbosa
2019-07-24Minor refactoring of regexp operation (#3116)Andrew Reynolds
2019-07-24 Fix null node when using no-strings-lazy-pp (#3114)Andrew Reynolds
2019-07-24 Move string util functions (#3115)Andrew Reynolds
2019-07-23Fix sygus datatype parsing in sygus v1 format (#3113)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback