projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
A few more miscellaneous uses of EnvObj (#7325)
[cvc5.git]
/
src
/
parser
/
2021-10-01
Andrew Reynolds
Fix ascription check for return types on ordinary funct...
tree
|
commitdiff
2021-10-01
Aina Niemetz
Rename SmtEngine to SolverEngine. (#7282)
tree
|
commitdiff
2021-09-30
Gereon Kremer
Refactor our static builds (#7251)
tree
|
commitdiff
2021-09-30
Andrew Reynolds
Simplify the syntax and representation of the separatio...
tree
|
commitdiff
2021-09-29
Abdalrhman Mohamed
Remove support for extended `(check-sat <term>)` comman...
tree
|
commitdiff
2021-09-29
Andrew Reynolds
Update the syntax for tuples in smt2 (#7265)
tree
|
commitdiff
2021-09-22
Mathias Preiner
Remove CVC language support (#7219)
tree
|
commitdiff
2021-09-22
Andrew Reynolds
Minimal fixing version for tuple update parsing (#7228)
tree
|
commitdiff
2021-09-14
Andrew Reynolds
Add get-difficulty to the API (#7194)
tree
|
commitdiff
2021-09-14
Andrew Reynolds
Support sygus version 2.1 command assume (#7081)
tree
|
commitdiff
2021-09-01
Gereon Kremer
No longer use direct access to options in driver (...
tree
|
commitdiff
2021-08-30
mudathirmahgoub
Add kind BAG_MAP and its type rule to bags (#6503)
tree
|
commitdiff
2021-08-27
Gereon Kremer
Handle languages as strings in driver (#7074)
tree
|
commitdiff
2021-08-26
Gereon Kremer
Consolidate language types (#7065)
tree
|
commitdiff
2021-08-23
Aina Niemetz
api: Require size argument for mkBitVector. (#6998)
tree
|
commitdiff
2021-08-20
Andrew Reynolds
Simplify how user-provided quantifier attributes are...
tree
|
commitdiff
2021-08-20
Andrew Reynolds
Support sygus standard command syntax set-feature ...
tree
|
commitdiff
2021-08-03
Andrew Reynolds
Remove "inUnsatCore" flag throughout (#6964)
tree
|
commitdiff
2021-07-07
Aina Niemetz
Rename operator pow2 to int.pow2. (#6849)
tree
|
commitdiff
2021-06-26
yoni206
pow2 -- final changes (#6800)
tree
|
commitdiff
2021-06-23
Haniel Barbosa
[parser] [hol] Fix parser check for allowing functions...
tree
|
commitdiff
2021-06-15
Gereon Kremer
Remove public option wrappers (#6716)
tree
|
commitdiff
2021-06-11
Haniel Barbosa
Better support for HOL parsing and set up (#6697)
tree
|
commitdiff
2021-06-03
Andrew Reynolds
Simplify automatic set-logic in smt2 parser (#6678)
tree
|
commitdiff
2021-06-02
Gereon Kremer
Move public wrapper functions out of options class...
tree
|
commitdiff
2021-05-27
Andres Noetzli
Fix `str.replace_re` and `str.replace_re_all` (#6615)
tree
|
commitdiff
2021-05-27
Aina Niemetz
FP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD...
tree
|
commitdiff
2021-05-21
Aina Niemetz
BV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589)
tree
|
commitdiff
2021-05-20
Gereon Kremer
Minor improvements to the API (#6585)
tree
|
commitdiff
2021-05-20
Gereon Kremer
Add more getters for api::Term (#6496)
tree
|
commitdiff
2021-05-19
Andres Noetzli
Improve handling of `:named` attributes (#6549)
tree
|
commitdiff
2021-05-14
Andres Noetzli
Decouple parser creation from input selection (#6533)
tree
|
commitdiff
2021-05-13
Andres Noetzli
Always parse streams with line buffer (#6532)
tree
|
commitdiff
2021-05-08
Andrew Reynolds
Add support for datatype update (#6449)
tree
|
commitdiff
2021-04-27
Gereon Kremer
Use std::hash for API types (#6432)
tree
|
commitdiff
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
tree
|
commitdiff
2021-04-20
Andrew Reynolds
Add instantiation pool feature to the API (#6358)
tree
|
commitdiff
2021-04-19
Gereon Kremer
Remove linking against gmp and cln in tests and parser...
tree
|
commitdiff
2021-04-15
Aina Niemetz
Rename occurrences of CVC4 to CVC5. (#6351)
tree
|
commitdiff
2021-04-14
Aina Niemetz
Rename public and private headers in src/include. ...
tree
|
commitdiff
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
tree
|
commitdiff
2021-04-10
Aina Niemetz
Rename CVC4_ macros to CVC5_. (#6327)
tree
|
commitdiff
2021-04-09
Aina Niemetz
Rename CVC4__ header guards to CVC5__. (#6326)
tree
|
commitdiff
2021-04-08
Andrew Reynolds
Initial support for parametric datatypes in sygus ...
tree
|
commitdiff
2021-04-06
Andrew Reynolds
Fix tptp parser for negative rational (#6297)
tree
|
commitdiff
2021-04-06
Aina Niemetz
New C++ Api: Rename and move headers. (#6292)
tree
|
commitdiff
2021-04-01
Andrew Reynolds
Fix type rule for to_real (#6257)
tree
|
commitdiff
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
tree
|
commitdiff
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
tree
|
commitdiff
2021-03-31
Gereon Kremer
Refactor GMP and Poly dependencies (#6245)
tree
|
commitdiff
2021-03-31
Gereon Kremer
Refactor SymFPU dependency (#6218)
tree
|
commitdiff
2021-03-30
Andrew Reynolds
Eliminate use of rational from tptp parser (#6239)
tree
|
commitdiff
2021-03-27
Gereon Kremer
Refactor ANTLR3 dependency (#6202)
tree
|
commitdiff
2021-03-18
Abdalrhman Mohamed
Eliminate more uses of SExpr. (#6149)
tree
|
commitdiff
2021-03-16
Mathias Preiner
cmake: Generate cvc4_export.h and set visibility to...
tree
|
commitdiff
2021-03-10
Mathias Preiner
Use Assert instead of assert. (#6095)
tree
|
commitdiff
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
tree
|
commitdiff
2021-03-06
Mathias Preiner
Remove SMT-LIB 2.5 and 2.0 support. (#6068)
tree
|
commitdiff
2021-03-03
mudathirmahgoub
Add tuple projection operator (#5904)
tree
|
commitdiff
2021-03-02
Gereon Kremer
Improve handling of utf8 encoded inputs (#5694)
tree
|
commitdiff
2021-03-02
Mathias Preiner
Add aarch64 (ARM64) cross-compile support. (#6033)
tree
|
commitdiff
2021-02-25
Mathias Preiner
Enable -Werror. (#5969)
tree
|
commitdiff
2021-02-08
Andrew Reynolds
Remove support for inst closure (#5874)
tree
|
commitdiff
2021-01-21
Andrew Reynolds
Add div, mod, abs in non-strict parsing mode (#5793)
tree
|
commitdiff
2021-01-20
Aina Niemetz
SMT2 parser: Do not add non-linear symbols for linear...
tree
|
commitdiff
2021-01-08
mudathirmahgoub
Add bags inference generator (#5731)
tree
|
commitdiff
2021-01-07
Haniel Barbosa
Remove dependency on expression layer in TPTP parser...
tree
|
commitdiff
2021-01-07
Haniel Barbosa
Fix warning in TPTP parser (#5752)
tree
|
commitdiff
2021-01-05
Andrew Reynolds
Remove a few miscellaneous references to the expr layer...
tree
|
commitdiff
2020-12-16
Andrew Reynolds
Use uint64 utility when parsing tuple selectors in...
tree
|
commitdiff
2020-12-03
Andrew Reynolds
Refactor handling of global declarations (#5577)
tree
|
commitdiff
2020-12-03
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-12-02
Aina Niemetz
Rename macro Message to CVC4Message. (#5576)
tree
|
commitdiff
2020-11-30
Abdalrhman Mohamed
Eliminate uses of SExpr from the parser. (#5496)
tree
|
commitdiff
2020-11-25
Andrew Reynolds
Use symbol manager for printing responses get-model...
tree
|
commitdiff
2020-11-20
Andrew Reynolds
Fix use of declaration sequence command in cvc parser...
tree
|
commitdiff
2020-11-19
Aina Niemetz
Include stddef.h (needed for size_t) in cvc4_public...
tree
|
commitdiff
2020-11-19
Andrew Reynolds
Use symbol manager for unsat cores (#5468)
tree
|
commitdiff
2020-11-18
Andrew Reynolds
Use symbol manager for get assignment (#5451)
tree
|
commitdiff
2020-11-16
Andrew Reynolds
Cleaning up scopes in preparation for symbol manager...
tree
|
commitdiff
2020-11-13
Andrew Reynolds
Add more features to symbol manager (#5434)
tree
|
commitdiff
2020-11-12
Andrew Reynolds
Make symbol manager context dependent (#5424)
tree
|
commitdiff
2020-11-11
Andrew Reynolds
Move symbol manager to src/expr/ (#5420)
tree
|
commitdiff
2020-11-10
Andrew Reynolds
Add proper support for the declare-heap command for...
tree
|
commitdiff
2020-11-09
Andrew Reynolds
Add symbol manager (#5380)
tree
|
commitdiff
2020-11-06
Andrew Reynolds
Simplify printing with respect to expression types...
tree
|
commitdiff
2020-11-05
mudathirmahgoub
Remove mkSingleton from the API (#5366)
tree
|
commitdiff
2020-11-02
Andrew Reynolds
Miscellaneous cleaning of parser (#5369)
tree
|
commitdiff
2020-10-30
Andrew Reynolds
Update api::Sort to use TypeNode instead of Type (...
tree
|
commitdiff
2020-10-29
mudathirmahgoub
Add mkInteger to the API (#5274)
tree
|
commitdiff
2020-10-28
Andrew Reynolds
Convert symbol table from Expr-level to Term-level...
tree
|
commitdiff
2020-10-27
Abdalrhman Mohamed
Refactor DeclareSygusVarCommand and SynthFunCommand...
tree
|
commitdiff
2020-10-27
mudathirmahgoub
Add DUPICATE_REMOVAL operator to bags (#5336)
tree
|
commitdiff
2020-10-09
Andres Noetzli
reset-assertions: Remove all non-global symbols in...
tree
|
commitdiff
2020-10-07
Aina Niemetz
New C++ API: Rename Term::isConst() to Term::isValue...
tree
|
commitdiff
2020-10-06
mudathirmahgoub
Add operators bag.from_set, bag.to_set to the theory...
tree
|
commitdiff
2020-10-04
mudathirmahgoub
Remove subtyping for sets theory (#5179)
tree
|
commitdiff
2020-09-23
Abdalrhman Mohamed
Refactor Commands to use the Public API. (#5105)
tree
|
commitdiff
2020-09-22
mudathirmahgoub
Add skeleton for theory of bags (multisets) (#5100)
tree
|
commitdiff
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
tree
|
commitdiff
next