michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • ab81a57d86 Add test cases for format Soonho Kong 2013-07-23 16:20:44 -0700
  • 03b1ce643e Restructure format, add group and flatten Soonho Kong 2013-07-23 16:21:04 -0700
  • 71638a8ad4 Add pretty-print: format.cpp, format.h Soonho Kong 2013-07-22 18:30:25 -0700
  • 03740ca77a Update .travis.yml to extend build matrix with/without tcmalloc Soonho Kong 2013-07-23 09:50:42 -0700
  • eb60e8054e Update the build image in README.md Soonho Kong 2013-07-22 10:25:49 -0700
  • f00d8c4683 Fix bug in max_sharing Leonardo de Moura 2013-07-23 09:18:18 -0700
  • dd74284fdc Cleanup eq_functor Leonardo de Moura 2013-07-23 09:12:15 -0700
  • 79d00f4d78 Rename max_sharing files Leonardo de Moura 2013-07-23 09:01:54 -0700
  • 5aa25a635f Add max_shared flag to expr_cell. Improve app constructor. Leonardo de Moura 2013-07-23 08:59:39 -0700
  • 2a9d0de57b Add max_shared: function for computing maximally shared expressions. Leonardo de Moura 2013-07-22 19:31:27 -0700
  • aed8a07c1b Add sexpr test Leonardo de Moura 2013-07-22 19:02:11 -0700
  • e6a694ebcc Add expr test Leonardo de Moura 2013-07-22 17:58:28 -0700
  • 06320c8615 Replace expr == with recursive function. Add goodies for traversing expressions. Leonardo de Moura 2013-07-22 16:40:17 -0700
  • c4cd6c4f84 Add tests for kernel expression Leonardo de Moura 2013-07-22 13:04:27 -0700
  • c32dfe22b6 Add expressions (dependent type theory) Leonardo de Moura 2013-07-22 04:03:46 -0700
  • a2e72dbd92 Rename get_kind() -> kind() Leonardo de Moura 2013-07-22 04:14:01 -0700
  • 34ebbb2727 Update README.md to include build-status image Soonho Kong 2013-07-22 06:36:19 -0700
  • bffe36a37f Add .travis.yml Soonho Kong 2013-07-22 06:36:02 -0700
  • 03cc3739d4 Fix bugs in mpbq. Leonardo de Moura 2013-07-21 20:12:04 -0700
  • 24cf1a7c3d Add cmp (total order) for sexpr Leonardo de Moura 2013-07-21 17:05:32 -0700
  • f6e18045f3 Add eqp (pointer equality) tests Leonardo de Moura 2013-07-21 15:59:10 -0700
  • 9e966a0e57 Add total order for hierarchical names Leonardo de Moura 2013-07-21 15:56:18 -0700
  • ecb7316943 Fix bugs in hierarchical names module. Add unit tests. Leonardo de Moura 2013-07-21 15:08:14 -0700
  • ecc8e8f813 Improve consistency of unit tests names Leonardo de Moura 2013-07-21 14:52:20 -0700
  • 8af56394cc Add foreach for S-expression lists Leonardo de Moura 2013-07-21 14:32:36 -0700
  • b8315e5593 Fix ambiguous overloads. Improve == test for sexprs. Remove redundant code Leonardo de Moura 2013-07-21 14:25:56 -0700
  • 80d8fdbf48 Fix tests exit code Leonardo de Moura 2013-07-20 18:04:05 -0700
  • 403e6a141b Add useful goodies for S-expressions Leonardo de Moura 2013-07-20 18:01:10 -0700
  • 05991c827b Add S-expressions Leonardo de Moura 2013-07-20 14:19:36 -0700
  • eda1a337de Add more tests Leonardo de Moura 2013-07-20 14:18:22 -0700
  • f71fdea42e Add hash goodies, and name::hash() Leonardo de Moura 2013-07-20 14:15:54 -0700
  • f7e59366ea Add neg, div, power to interval. Fix bug in -= operator at interval. Add some unit tests for interval class Leonardo de Moura 2013-07-19 19:24:38 -0700
  • 63e596885c Add support for (soft) interrupts Leonardo de Moura 2013-07-19 19:12:55 -0700
  • 272089044e Add power operator to numeric_traits Leonardo de Moura 2013-07-19 16:58:56 -0700
  • d75d6d4684 Add power operator to mpq Leonardo de Moura 2013-07-19 16:50:50 -0700
  • a0908ba3c5 Add missing library, the interval library contains the explicit instantiation of interval<mpq> and interval<double> Leonardo de Moura 2013-07-19 14:18:18 -0700
  • 6e6d83d46c Add precise() to numeric_traits Leonardo de Moura 2013-07-19 10:42:19 -0700
  • c581990f67 Clean white-spaces Leonardo de Moura 2013-07-19 10:29:33 -0700
  • 7f3bd4f254 Add inv method to interval Leonardo de Moura 2013-07-19 09:47:26 -0700
  • a376e478f8 Fix friend issues in mpq/mpz Soonho Kong 2013-07-19 09:34:58 -0700
  • a169837a3e Add separate cmake files for GMP and Tcmalloc Soonho Kong 2013-07-18 17:52:56 -0700
  • 4e3dc83621 have separate cmake files for GMP and Tcmalloc Leonardo de Moura 2013-07-19 10:04:00 -0700
  • 5063c8cfa1 Add interval template Leonardo de Moura 2013-07-18 20:21:41 -0700
  • d3f5e34d08 Add numerics/numeric_traits.cpp Leonardo de Moura 2013-07-18 17:44:05 -0700
  • 03802b2e4d Add instructions for clang, use markdown format Soonho Kong 2013-07-18 14:31:17 -0700
  • 2db2383b09 Add goodies for extended numerals Leonardo de Moura 2013-07-18 17:41:21 -0700
  • 7dbd87e382 Add numeric_traits Leonardo de Moura 2013-07-18 17:39:44 -0700
  • 52bd8b8b52 Add verbosity stream Leonardo de Moura 2013-07-18 16:01:04 -0700
  • 5de8b3a8ee Add support for tcmalloc Leonardo de Moura 2013-07-18 15:10:31 -0700
  • 8353181fd1 Add basic mpq tests Leonardo de Moura 2013-07-18 11:10:15 -0700
  • 0198d73428 Fix compilation bug Leonardo de Moura 2013-07-18 09:12:21 -0700
  • e559bf73a9 Add basic testing infrastructure using CTest Leonardo de Moura 2013-07-18 09:12:07 -0700
  • 8cce4b10c5 Add CMakeLists.txt to numerics module Leonardo de Moura 2013-07-17 14:34:42 -0700
  • 4ccf770b64 Move mpz, mpq and mpbq to numerics directory Leonardo de Moura 2013-07-17 14:33:00 -0700
  • d028041135 Add methods to mpz, mpq, mpbq Leonardo de Moura 2013-07-17 14:24:35 -0700
  • 88b49ec21f Add thread_local test Leonardo de Moura 2013-07-17 12:43:28 -0700
  • eaa76ee9d2 Add missing operators to mpz, mpq, mpbq. Add pp functions for debugging Leonardo de Moura 2013-07-17 12:43:05 -0700
  • c0f9f06d70 Set clang++ as default compiler. Add -pthread as a linker flag Leonardo de Moura 2013-07-17 12:41:28 -0700
  • d72f24a5e5 Add gtags files to .gitignore Leonardo de Moura 2013-07-17 12:40:31 -0700
  • 1448dd5098 Update .gitignore Leonardo de Moura 2013-07-16 22:34:54 -0700
  • 501f63e27d Add build instructions. Improve build. Leonardo de Moura 2013-07-16 22:11:48 -0700
  • 139f4f2a7f Add simple build system based on cmake Leonardo de Moura 2013-07-16 22:10:18 -0700
  • e9c9974ee0 Reorganize methods. Remove num_macros.h. Add binary rationals mpbq. Leonardo de Moura 2013-07-16 18:26:33 -0700
  • c6e68289da Fix cygwin problems Leonardo de Moura 2013-07-16 17:38:51 -0700
  • e7bfd9a77d Add missing operators Leonardo de Moura 2013-07-16 17:20:24 -0700
  • 5c76cac9b1 Add wrapper for GMP mpq numbers Leonardo de Moura 2013-07-16 15:54:36 -0700
  • 31563b95bd Add wrapper from GMP mpz numbers Leonardo de Moura 2013-07-16 13:11:24 -0700
  • 5a0801789b Add GMP initialization Leonardo de Moura 2013-07-16 10:29:17 -0700
  • c7a1623d27 Add README file Leonardo de Moura 2013-07-16 10:20:06 -0700
  • 3eaf8dea2a Make reference counting thread safe Leonardo de Moura 2013-07-16 10:11:14 -0700
  • 146f215614 Add LICENSE file Leonardo de Moura 2013-07-15 18:55:48 -0700
  • 763b79e0aa Add basic .gitignore file Leonardo de Moura 2013-07-15 18:45:12 -0700
  • 4f5cafdebf Add support files Leonardo de Moura 2013-07-15 18:43:32 -0700