658 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Dmitry Boulytchev	cc9f3d0ed9	Fixed ugly bug in Matcher	2020-08-25 23:21:39 +03:00
Dmitry Boulytchev	ac853957ae	Sexpr tags fixed	2020-08-25 16:09:43 +03:00
Dmitry Boulytchev	cbd715339f	Doc on flatten	2020-08-23 00:18:53 +03:00
Dmitry Boulytchev	f08cd8396f	Data/Random/Buffer, spec updated	2020-08-22 20:11:41 +03:00
Dmitry Boulytchev	94e4b16267	Updated spec	2020-08-10 20:55:10 +03:00
Dmitry Boulytchev	6f9d0850c7	Added test18 on cyclic equality	2020-08-07 21:40:51 +03:00
Dmitry Boulytchev	026158923f	Stdlib:Data	2020-08-06 14:56:41 +03:00
Dmitry Boulytchev	f6d4a475b4	Better eq	2020-08-04 15:48:20 +03:00
Dmitry Boulytchev	c3671a0a38	Better test30	2020-08-04 15:11:14 +03:00
Dmitry Boulytchev	c29ab4901f	Cyclic equal (alpha)	2020-08-02 23:56:21 +03:00
Dmitry Boulytchev	c73f43e817	Fixed AVL balance	2020-07-23 12:52:42 +03:00
Dmitry Boulytchev	9d0b8e811a	Cosmetics; probably a fix for regexps	2020-05-04 02:45:34 +03:00
Dmitry Boulytchev	423e4e7724	Syntax definition extension	2020-04-15 21:53:42 +03:00
Dmitry Boulytchev	86a67568c4	Spec for new syntax definitions	2020-04-13 04:28:43 +03:00
Dmitry Boulytchev	4386e6cfd0	Fixed syntac for syntax	2020-04-12 03:00:24 +03:00
Dmitry Boulytchev	690825f540	Better syntax syntax	2020-04-11 21:09:51 +03:00
Dmitry Boulytchev	7748144a8f	Fixed bug in tail-call optimization	2020-04-10 03:15:18 +03:00
Dmitry Boulytchev	b7ec1c2e63	Removed extra files	2020-03-23 00:51:00 +03:00
Dmitry Boulytchev	b1d851ff40	Tail-call optimization	2020-03-23 00:49:20 +03:00
Dmitry Boulytchev	eeab48ed33	Moved x86only tests into stdlib/regression	2020-03-22 21:58:11 +03:00
Dmitry Boulytchev	e4b34a3ec1	Bugfix in runtime and documentation	2020-03-21 13:05:14 +03:00
Dmitry Boulytchev	c084e57b27	Sync	2020-03-15 12:41:31 +03:00
Dmitry Boulytchev	5db12d7629	Bugfix in collections, better Ostap, more Stdlib, bugfix in runtime	2020-03-13 19:41:14 +03:00
Dmitry Boulytchev	78305d22b3	Cosmetics in stdlib/spec	2020-03-08 00:57:25 +03:00
Dmitry Boulytchev	50fc2e9f2a	Fixed test003	2020-02-28 18:32:19 +03:00
Dmitry Boulytchev	b276247fa6	Sync	2020-02-28 01:14:16 +03:00
Dmitry Boulytchev	a44ccbf2de	Merge branch '1.00' of github.com:JetBrains-Research/Lama-devel into 1.00	2020-02-28 01:11:40 +03:00
Dmitry Boulytchev	50c9e639d3	Typos in spec	2020-02-28 01:09:33 +03:00
danyabeerzun	d914f41dd3	revert changes	2020-02-27 18:49:38 +03:00
danyabeerzun	3af93358ad	revert	2020-02-27 18:48:10 +03:00
danyabeerzun	7d7fcd7549	fix test log file	2020-02-27 18:12:18 +03:00
danyabeerzun	fcc00bd801	fix warnings	2020-02-27 18:11:35 +03:00
Dmitry Boulytchev	ee4b1d5aa2	Added version info in README	2020-02-26 15:43:42 +03:00
Dmitry Boulytchev	fe963a15d7	Fixed bug in LreadLine	2020-02-25 01:19:15 +03:00
Dmitry Boulytchev	21a52fd58f	Better readLine	2020-02-25 00:58:17 +03:00
Dmitry Boulytchev	897af34aa9	Fixed bug in patters, pattern matching and tests	2020-02-24 01:08:09 +03:00
Dmitry Boulytchev	3e2c87d42f	-o option	2020-02-23 22:15:27 +03:00
Dmitry Boulytchev	fe5a93218b	Updated spec	2020-02-23 01:48:49 +03:00
Dmitry Boulytchev	939ca60940	Sync	2020-02-23 01:47:09 +03:00
Dmitry Boulytchev	19f53129e9	Sync	2020-02-23 01:45:52 +03:00
Dmitry Boulytchev	2c85715ae0	Fixed bugs in runtime; added stringInt	2020-02-23 01:36:30 +03:00
Dmitry Boulytchev	e0ad5aa89a	Merge remote-tracking branch 'Lama/1.00' into 1.00	2020-02-20 20:29:57 +03:00
Dmitry Boulytchev	395cb3f090	Makefile, opam	2020-02-20 20:27:21 +03:00
Dmitry Boulytchev	592bd954a9	Spec	2020-02-20 20:26:31 +03:00
Dmitry Boulytchev	7ebbf65bee	Spec	2020-02-20 20:25:29 +03:00
Dmitry Boulytchev	21d7a18981	Merge pull request #19 from Kakadu/1.00 ... Fix version in `opam` and polish `Makefile`	2020-02-20 20:13:06 +03:00
kakadu	a6be13ac7e	Polish Makefile a bit	2020-02-20 19:03:20 +03:00
kakadu	6dc7471587	Opam file updated for right version	2020-02-20 19:03:14 +03:00
Dmitry Boulytchev	6cf2b15d40	Fixed regression Makefile	2020-02-20 13:25:11 +03:00
Dmitry Boulytchev	5933f4c3b1	Cosmetics in stdlib	2020-02-20 12:43:52 +03:00