646 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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
Dmitry Boulytchev	7fd85f27ef	Cosmetics in spec	2020-02-19 21:21:18 +03:00
Dmitry Boulytchev	23005a8512	Better readme	2020-02-19 20:13:37 +03:00
Dmitry Boulytchev	f46d0f423c	Spec	2020-02-19 20:11:58 +03:00
Dmitry Boulytchev	c01416cc6c	Removing doc	2020-02-19 19:57:21 +03:00
Dmitry Boulytchev	0f8213ae7d	Moved spec	2020-02-19 19:56:47 +03:00
Dmitry Boulytchev	a812851efd	Added missing files	2020-02-19 19:45:44 +03:00
Dmitry Boulytchev	372b66aee8	Added missing files	2020-02-19 17:43:44 +03:00
Dmitry Boulytchev	8521ff30fa	Pre-sources	2020-02-19 17:15:14 +03:00
Dmitry Boulytchev	9140263a3f	Sync	2020-02-19 16:29:29 +03:00
Dmitry Boulytchev	3b94e30eaa	Better readme	2020-02-19 15:30:33 +03:00
Dmitry Boulytchev	f8ce0b2c92	Better tutorial	2020-02-19 15:29:19 +03:00
Dmitry Boulytchev	b0e5bc26e3	Added tutorial	2020-02-19 15:28:29 +03:00