simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-14 14:56:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Commit graph

  • 1f36c9e02b qtest Simon Cruanes 2014-05-12 15:30:13 +02:00
  • fcde09ca24 start using qtest Simon Cruanes 2014-05-12 15:24:15 +02:00
  • 0fc209d4b3 moved some files into lwt/ subdir; use oasis setup-dynamic feature Simon Cruanes 2014-05-12 15:23:54 +02:00
  • 9edb610132 minor details Simon Cruanes 2014-05-12 14:57:28 +02:00
  • 88f006171f circular lists Simon Cruanes 2014-05-12 14:45:12 +02:00
  • 0375c0f721 KMP with sequences Simon Cruanes 2014-05-11 18:52:05 +02:00
  • cd35c46a58 KMP algorithm (as a functor on the string type) Simon Cruanes 2014-05-10 14:36:21 +02:00
  • 23a5dc1756 Cause: debugging experiment, tracking why values exist and actions were performed Simon Cruanes 2014-04-23 17:59:43 +02:00
  • e740f9ff63 quick tests Simon Cruanes 2014-04-19 01:27:34 +02:00
  • 097106d259 rational terms improved, with unification, equality, substitution and De Bruijn index Simon Cruanes 2014-04-19 01:27:21 +02:00
  • 3167afe929 merge Simon Cruanes 2014-04-18 23:54:52 +02:00
  • 65c4c05938 progress in BencodeStream.Encode, and basic features in Tell Simon Cruanes 2014-04-10 22:57:57 +02:00
  • 8404b167f5 rational terms with unification Simon Cruanes 2014-04-18 01:59:57 +02:00
  • 9c18698b22 preparation for Tell and BencodeStream Simon Cruanes 2014-04-10 19:36:26 +02:00
  • cfed1c44a9 build system Simon Cruanes 2014-04-09 00:22:52 +02:00
  • 10b72019d7 small draft for Ty (dynamic types) from a gist of Gabriel Scherer Simon Cruanes 2014-04-09 00:22:46 +02:00
  • ce7e44498a lift operators for CSM; interface to gen/sequence Simon Cruanes 2014-04-07 23:54:31 +02:00
  • 72efa794fe more instances and mutable automata Simon Cruanes 2014-04-07 23:03:01 +02:00
  • aec15be316 CSM is now a Mealy machine implementation Simon Cruanes 2014-04-07 22:22:37 +02:00
  • 86fa8eeb8f Iteratee (stoppable folds) Simon Cruanes 2014-03-31 22:54:49 +02:00
  • 629879ec25 Bidir module, early draft of bidirectional iterators Simon Cruanes 2014-03-21 23:38:57 +01:00
  • 4a68729485 iteration over Levenshtein indexes Simon Cruanes 2014-03-05 23:38:49 +01:00
  • 49dd2f9054 qchecks for Levenshtein Simon Cruanes 2014-03-05 22:44:41 +01:00
  • 054a83abfb bugfix in the translation NDA -> DFA in Levenshtein Simon Cruanes 2014-03-05 22:44:25 +01:00
  • b6310ae17d functor interface to Levenshtein automaton/index Simon Cruanes 2014-03-05 16:49:10 +01:00
  • c5473857f8 small example in lenvenshtein Simon Cruanes 2014-03-05 01:09:48 +01:00
  • 8e5cde6f29 trie for indexing strings, to be later retrieved using Lenvenshtein automaton, implemented (with add,remove,retrieve ops) Simon Cruanes 2014-03-05 00:45:53 +01:00
  • 99dfaecd64 better debug of DFA; fixed annoying bug (resizing array)! Simon Cruanes 2014-03-04 23:14:47 +01:00
  • 4af415cecd removed useless "rec" Simon Cruanes 2014-03-04 13:20:44 +01:00
  • ea92877a0a bugfixes and improved API (not implemented yet) for Levenshtein; some bugs remain in DFA construction Simon Cruanes 2014-03-04 01:01:41 +01:00
  • 387ec86560 Levenshtein automaton for fuzzy string searching Simon Cruanes 2014-03-03 23:09:56 +01:00
  • a2e0d85dca benchmark Conv.from (from json) Simon Cruanes 2014-03-02 16:06:33 +01:00
  • 3c4270b3a1 added a Conv.Point.t benchmark to bench_conv (recursive type) Simon Cruanes 2014-03-01 19:31:10 +01:00
  • d794b6f726 more efficient and simple serialization, using function combinators instead of a single GADT Simon Cruanes 2014-03-01 18:53:26 +01:00
  • 6718277501 moved futures into threads/ and updated oasis; added benchmark for Conv Simon Cruanes 2014-03-01 16:30:37 +01:00
  • 012447ef8b get rid of objects Simon Cruanes 2014-03-01 15:55:54 +01:00
  • e1b6277c72 changed encoding of sums for Json and Bencode Simon Cruanes 2014-03-01 14:00:29 +01:00
  • 2933db9f8e made Conv GADTs private, and simplified some internal code Simon Cruanes 2014-03-01 13:46:44 +01:00
  • 41d9caa830 added a sum type (lambda) and put point example into a module Simon Cruanes 2014-02-28 21:59:19 +01:00
  • ac0ff1b5ea added Bencode to Conv Simon Cruanes 2014-02-28 21:37:41 +01:00
  • c510c154e0 added S-expressions to Conv Simon Cruanes 2014-02-28 21:29:55 +01:00
  • 097a0ca2e2 hlist used for both tuples and sums Simon Cruanes 2014-02-27 02:41:55 +01:00
  • 8edb20ceee fixpoint operators for Conv Simon Cruanes 2014-02-27 01:17:10 +01:00
  • a523c63c7f added a conversion example: Json (with yojson type) Simon Cruanes 2014-02-27 00:45:23 +01:00
  • 898d2c0492 added basic variants (unit,bool,float); better support for sums with several arguments Simon Cruanes 2014-02-27 00:34:26 +01:00
  • 016a557a37 big update of Conv, with universal sources and sinks and GADTs for describing other sources and sinks Simon Cruanes 2014-02-27 00:02:31 +01:00
  • 57bb863f78 updated oasis to 4.xxx Simon Cruanes 2014-02-26 12:10:17 +01:00
  • 6459258942 Conv module, for flexible conversion between types (to be used for serialization?) Simon Cruanes 2014-02-26 12:09:37 +01:00
  • 391ddfc8cc disable doc for lwt Simon Cruanes 2014-02-10 16:03:56 +01:00
  • 1972f0f55d started refactoring Future Simon Cruanes 2014-02-07 23:47:00 +01:00
  • 11259c9297 cli options for benchs Simon Cruanes 2014-02-01 15:33:28 +01:00
  • a3b4e28295 richer api for Gen Simon Cruanes 2014-02-01 15:26:07 +01:00
  • 2936595dbb bugfix in Gen; make API change explicit for Gen.merge Simon Cruanes 2014-01-30 01:49:01 +01:00
  • 48ef226efd use a new interface, unit -> 'a option, for Gen. Simon Cruanes 2014-01-30 01:41:51 +01:00
  • 660b75e0b4 more functions in Lwt_automaton (automaton that reads/writes on a Unix FD) Simon Cruanes 2013-12-30 18:00:05 +01:00
  • 53d7c7cfb8 expose more functions in Automaton Simon Cruanes 2013-12-30 17:59:39 +01:00
  • 79e40e03a8 Lwt_automaton, for an interface with Lwt Simon Cruanes 2013-12-30 16:24:18 +01:00
  • be58673ba1 Automaton now with separate data types for their input and outputs Simon Cruanes 2013-12-30 16:18:07 +01:00
  • e3d5b78c5e more combinators for Automaton, changed some signatures Simon Cruanes 2013-12-30 13:52:44 +01:00
  • cf592e2c77 Automaton module, for finite automata Simon Cruanes 2013-12-30 12:20:28 +01:00
  • 74735a7ad9 moved cgi in a subdir (would not build with oasis 0.4 otherwise) Simon Cruanes 2013-12-30 12:20:05 +01:00
  • 7912fb24e1 VPTree interface vptree Simon Cruanes 2013-12-05 19:39:13 +01:00
  • 239f6af59f smallish parser for HGraph Simon Cruanes 2013-12-01 23:34:55 +01:00
  • aeaedd049a updated HGraph Simon Cruanes 2013-12-01 22:49:05 +01:00
  • 396a1779bf merged BV tests in tests/test_bv.ml Simon Cruanes 2013-11-26 17:41:02 +01:00
  • 79d4129d11 added BV.select/selecti (break api) functions Simon Cruanes 2013-11-26 15:46:40 +01:00
  • 8e6a648502 HGraph draft, a generalized hypergraph structure. Yay. Simon Cruanes 2013-11-25 17:47:34 +01:00
  • c829d1f7fe updated caches to handle exceptions Simon Cruanes 2013-11-20 12:33:59 +01:00
  • 20ac91f532 small fix in doc of Gen Simon Cruanes 2013-11-12 15:53:48 +01:00
  • 5ad2b2df83 doc Simon Cruanes 2013-11-11 23:30:48 +01:00
  • 11611894e9 heavy modification of Gen's API. Now the default 'a Gen.t is a transient, consumable generator of 'a, and 'a Gen.Restart.t can be used for restartable generators. Simon Cruanes 2013-11-11 23:04:10 +01:00
  • e36fc5275a use skew heap in Gen Simon Cruanes 2013-11-11 20:33:17 +01:00
  • 38257ddc50 fair cartesian product for Gen Simon Cruanes 2013-11-11 20:29:02 +01:00
  • ac1cd31f0a type declarations for the TTree associative structure Simon Cruanes 2013-11-08 00:20:29 +01:00
  • e5e95bb97b in bench, compare Map to hashtables Simon Cruanes 2013-11-07 23:59:39 +01:00
  • d7845e55c6 update of persistent hashtable Simon Cruanes 2013-11-05 15:50:41 +01:00
  • c2931edb4e some more tests Simon Cruanes 2013-10-29 00:59:34 +01:00
  • b202db7049 tests for PersistentHashtbl Simon Cruanes 2013-10-29 00:32:01 +01:00
  • 82c1ded882 updated QCheck Simon Cruanes 2013-10-29 00:31:42 +01:00
  • b9d38ff624 updated tests Simon Cruanes 2013-10-28 22:27:13 +01:00
  • 61ab1ab2cd updated PersistentHashtbl Simon Cruanes 2013-10-28 11:20:13 +01:00
  • f25d3bf7b5 gitignore Simon Cruanes 2013-10-28 11:04:39 +01:00
  • dd3320f4e8 update sequence Simon Cruanes 2013-10-20 22:03:10 +02:00
  • 7765e7599b updated _oasis and .gitignore Simon Cruanes 2013-10-20 19:54:58 +02:00
  • 25ea9bc8e4 specify a socket file in ToWeb Simon Cruanes 2013-10-18 23:52:22 +02:00
  • a860e67443 rewrote the HTTP encoding, and missing functions Simon Cruanes 2013-10-18 23:29:47 +02:00
  • 7313a258b4 use oasis to build files, splitted into libraries, including a Container module that packs everything; ToWeb module (depends on CamlGI) to expoert values on the web Simon Cruanes 2013-10-18 22:27:30 +02:00
  • 9dc91cec65 Show: printing combinators Simon Cruanes 2013-10-11 22:22:23 +02:00
  • fe86ffcbb8 Bencode: sequence bencode <-> sequence string; BencodeOnDisk: ability to write a list of values in one atomic operation Simon Cruanes 2013-10-09 19:01:19 +02:00
  • 204cb0dacb BencodeOnDisk module, to write Bencode values in a file in an append-only, concurrent manner Simon Cruanes 2013-10-09 18:40:45 +02:00
  • 0465040c7f implemented LazyGraph.from_enum, and added from_list (simple interface); LazyGraph.find_cycle can be used on cyclic graphs Simon Cruanes 2013-10-07 16:00:22 +02:00
  • ba49d959be fixed test_bij, definitely Simon Cruanes 2013-10-06 23:14:11 +02:00
  • e4bc1277a8 by default, use a constant random seed so that qcheck tests are repeatable Simon Cruanes 2013-10-05 13:09:31 +02:00
  • 9003d26a60 fixed test_bij Simon Cruanes 2013-10-05 12:24:55 +02:00
  • 3aae03b3dd QCheck: nicer output (with time and number of failures and unicode); also, infix operator for arbitrary ints Simon Cruanes 2013-10-04 23:50:53 +02:00
  • 3e46b3193d improvements in QCheck (monadic bind) Simon Cruanes 2013-10-04 15:19:47 +02:00
  • 3f9a33e1d0 updated doc Simon Cruanes 2013-10-04 14:50:39 +02:00
  • 4c46f9a697 updated QCheck, adding test/suite types, more Arbitrary, PP and Prop functions Simon Cruanes 2013-10-04 14:45:48 +02:00
  • b3c76eb897 bugfix in Sequence.take Simon Cruanes 2013-10-03 21:53:56 +02:00
  • 0f972ba6a2 reverse collatz graph; also export Heap Simon Cruanes 2013-10-03 21:53:45 +02:00