Denis Merigoux
|
6ac46a0b8f
|
Unit tests for tutorial
|
2020-12-18 16:22:23 +01:00 |
|
Denis Merigoux
|
ea1611cd41
|
Flipped defaults to an exception-based structured
|
2020-12-18 15:59:15 +01:00 |
|
Denis Merigoux
|
81c464ea7e
|
Added labels and exceptions to surface syntax
|
2020-12-18 13:13:51 +01:00 |
|
Denis Merigoux
|
05b8a229b0
|
Better assertion failed message
|
2020-12-17 20:54:38 +01:00 |
|
Denis Merigoux
|
f1b1ef7992
|
Update test result
|
2020-12-17 20:13:19 +01:00 |
|
Denis Merigoux
|
4b7e17f999
|
Rewrote tutorial but struct access bug
|
2020-12-17 20:09:33 +01:00 |
|
Denis Merigoux
|
e33ea8d55c
|
Finished documentation
|
2020-12-14 18:09:38 +01:00 |
|
Denis Merigoux
|
ef38a6f5be
|
Added compiled formalization pdf
|
2020-12-14 17:12:12 +01:00 |
|
Denis Merigoux
|
6eabdb1356
|
Doc'ed Scopelang
|
2020-12-14 17:00:42 +01:00 |
|
Denis Merigoux
|
d5fc383dd2
|
Added ocamldoc, doc'ed Surface
|
2020-12-14 15:23:04 +01:00 |
|
Denis Merigoux
|
f282d9586b
|
Improved readmes
|
2020-12-14 10:59:15 +01:00 |
|
Denis Merigoux
|
1ddd46af55
|
Automatic unit test discovery, improved inclusion system
|
2020-12-11 21:17:01 +01:00 |
|
Denis Merigoux
|
4c219f81ff
|
Automatic unit test detection but needs normal include
|
2020-12-11 15:24:10 +01:00 |
|
Denis Merigoux
|
2fed7c23a0
|
Added logging
|
2020-12-11 10:51:46 +01:00 |
|
Denis Merigoux
|
8f8d322400
|
Fixed makefile wrangling
|
2020-12-10 18:21:48 +01:00 |
|
Denis Merigoux
|
c5048378a2
|
Removed duplicated CI target
|
2020-12-10 18:16:20 +01:00 |
|
Denis Merigoux
|
ebf14f6121
|
Added assertions, starting to execute section132
|
2020-12-10 18:11:43 +01:00 |
|
Denis Merigoux
|
26eff2a49f
|
Testing section 132
|
2020-12-10 16:58:32 +01:00 |
|
Denis Merigoux
|
a195a64677
|
Duration is number of days
|
2020-12-10 14:00:00 +01:00 |
|
Denis Merigoux
|
540057fe27
|
Updated parser error and some test
|
2020-12-10 11:53:55 +01:00 |
|
Denis Merigoux
|
5004ee12d2
|
Added duration literals but comparison buggy
|
2020-12-10 11:51:50 +01:00 |
|
Denis Merigoux
|
902c3f8d7d
|
Added date and durations handling
|
2020-12-10 11:35:56 +01:00 |
|
Denis Merigoux
|
0038a1ea2d
|
Updated example
|
2020-12-10 09:42:32 +01:00 |
|
Denis Merigoux
|
a4916208ba
|
amount -> money
|
2020-12-10 09:35:36 +01:00 |
|
Denis Merigoux
|
159901b993
|
Performing nearest rounding for money multiplication
|
2020-12-09 18:14:52 +01:00 |
|
Denis Merigoux
|
45684e124c
|
Better test harness and doc
|
2020-12-09 17:31:42 +01:00 |
|
Denis Merigoux
|
5deee89562
|
Run tests in paralell
|
2020-12-09 17:09:43 +01:00 |
|
Denis Merigoux
|
fe130f90c7
|
Update simple test
|
2020-12-09 16:51:03 +01:00 |
|
Denis Merigoux
|
b0b231b38a
|
Handles infinite precision
|
2020-12-09 16:45:23 +01:00 |
|
Denis Merigoux
|
be563a24f6
|
Defined operators for dec and money
|
2020-12-09 14:51:22 +01:00 |
|
Denis Merigoux
|
ae05498049
|
Added support for decimals
|
2020-12-09 12:20:20 +01:00 |
|
Denis Merigoux
|
2e928f5629
|
Fixed typing bug
|
2020-12-09 11:38:04 +01:00 |
|
Denis Merigoux
|
170bd7685f
|
Added error when a scope variable evaluates to empty
|
2020-12-09 11:23:03 +01:00 |
|
Denis Merigoux
|
5ff7d78a9e
|
Fixed various edge cases of enums
|
2020-12-09 10:36:09 +01:00 |
|
Denis Merigoux
|
5abb73157f
|
Fix content/type lexer issue in nv
|
2020-12-06 18:09:48 +01:00 |
|
Denis Merigoux
|
15247aa28a
|
Pass simple test with enums
|
2020-12-06 17:56:06 +01:00 |
|
Denis Merigoux
|
4da1c7f9c8
|
Implmemented enum desugaring but parser error
|
2020-12-06 17:48:15 +01:00 |
|
Denis Merigoux
|
9170630a6e
|
Added better test
|
2020-12-06 13:00:38 +01:00 |
|
Denis Merigoux
|
ee0cb1eefc
|
Preventing recursive type definitions
|
2020-12-06 12:32:36 +01:00 |
|
Denis Merigoux
|
8abe20849d
|
Passing simple test
|
2020-12-06 11:42:47 +01:00 |
|
Denis Merigoux
|
fb592fa735
|
Field and constructor names appear in default calculus
|
2020-12-05 18:12:53 +01:00 |
|
Denis Merigoux
|
70aa8ae2c1
|
Simple struct test passing
|
2020-12-05 17:27:08 +01:00 |
|
Denis Merigoux
|
ef5dd18bc7
|
Introduce intermediate typ structure with named structs and enums
|
2020-12-04 18:48:16 +01:00 |
|
Denis Merigoux
|
0f853909ef
|
Implemented name resolution
|
2020-12-04 18:02:49 +01:00 |
|
Denis Merigoux
|
b5af8d175e
|
Enum and struct context to fill in name resolution
|
2020-12-04 16:40:17 +01:00 |
|
Denis Merigoux
|
7e674fa69d
|
Tabs to spaces
|
2020-12-04 15:14:29 +01:00 |
|
Denis Merigoux
|
9c0a81c928
|
Merge branch 'master' into dev
|
2020-12-04 15:09:07 +01:00 |
|
Denis Merigoux
|
c4192a219f
|
Added translation scope -> dcalc in presence of ctx
|
2020-12-04 14:41:20 +01:00 |
|
Denis Merigoux
|
b170b043f1
|
Print structs and enums in scopelang
|
2020-12-03 21:29:22 +01:00 |
|
Denis Merigoux
|
77b4fdf312
|
Starting to add structs and enums to scope language
|
2020-12-03 21:02:28 +01:00 |
|