Galfour
|
eaf749cbc5
|
refactor: mini_c expression built and access through combinators
|
2019-04-19 07:59:16 +00:00 |
|
Galfour
|
0521c3d3b7
|
test closure and higher order function
|
2019-04-18 21:29:35 +00:00 |
|
Galfour
|
ef4a5030fa
|
closure
|
2019-04-18 17:04:44 +00:00 |
|
Galfour
|
3515730d9f
|
add simple closures
|
2019-04-18 09:08:39 +00:00 |
|
Galfour
|
079e997cc4
|
tmp
|
2019-04-17 22:53:43 +00:00 |
|
Galfour
|
c74e2846df
|
fix free_variables bug
|
2019-04-17 22:02:11 +00:00 |
|
Galfour
|
d97f546b45
|
tmp: some error
|
2019-04-17 16:46:32 +00:00 |
|
Galfour
|
5131ac0024
|
centralize declarations ; prompt questions
|
2019-04-17 08:24:21 +00:00 |
|
Galfour
|
d72d60a08d
|
add alternative definition for operation typing
|
2019-04-16 15:59:28 +00:00 |
|
Xavier Clerc
|
2df862bdbf
|
v0.13-preview.120.32+18
|
2019-04-16 09:38:08 +01:00 |
|
Galfour
|
49c44f9721
|
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos
|
2019-04-15 17:42:15 +00:00 |
|
Galfour
|
126b62b18e
|
better mini_c instructions
|
2019-04-15 17:42:06 +00:00 |
|
Georges Dupéron
|
f8090e4b3e
|
Threaded the srcloc for top-level declarations until transpiler.ml
|
2019-04-15 18:32:43 +02:00 |
|
Georges Dupéron
|
e2ef15a9b9
|
Moved Pos and Region to lib_utils so that source locations in lib_utils may use those.
|
2019-04-15 15:44:08 +02:00 |
|
Galfour
|
5b577c1fa4
|
tmp
|
2019-04-15 11:38:05 +00:00 |
|
Galfour
|
c2dd795287
|
tmp
|
2019-04-15 11:20:20 +00:00 |
|
Galfour
|
fc544bacf9
|
simplify environments
|
2019-04-15 10:55:05 +00:00 |
|
Galfour
|
0522d922c2
|
separate declaration from assignment at mini_c and ast_typed level
|
2019-04-15 07:23:41 +00:00 |
|
Galfour
|
68f37e14aa
|
rename Mini_c statements
|
2019-04-15 05:26:04 +00:00 |
|
Galfour
|
1007bfda1e
|
add counter
|
2019-04-14 21:45:36 +00:00 |
|
Galfour
|
3e6e96644c
|
add list (partial)
|
2019-04-14 12:02:45 +00:00 |
|
Galfour
|
7ca28cb34a
|
bin
|
2019-04-13 22:19:07 +00:00 |
|
Christian Rinderknecht
|
cc4138fc2c
|
Removed dependency of ParserLog upon EvalOpt.
|
2019-04-13 20:20:06 +02:00 |
|
Christian Rinderknecht
|
c7503e3285
|
Added back export of print_path.
|
2019-04-13 19:54:33 +02:00 |
|
Christian Rinderknecht
|
6bf9dc9003
|
Removed last dependency on EvalOpt from AST.
|
2019-04-13 19:46:03 +02:00 |
|
Christian Rinderknecht
|
73b6c58aa5
|
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos
|
2019-04-13 19:20:49 +02:00 |
|
Christian Rinderknecht
|
ff81184c4c
|
Removed last dependency of Lexer on EvalOpt.
Renamed field "record_name" into "struct_name" in AST.
|
2019-04-13 19:20:19 +02:00 |
|
Christian Rinderknecht
|
d8d2d79e9d
|
Removed last dependency of Lexer on EvalOpt.
|
2019-04-13 19:19:36 +02:00 |
|
Christian Rinderknecht
|
fd5bee397b
|
Changed signature of [Lexer.S] so the implementation of [print_error]
does not depend on [EvalOpt].
|
2019-04-13 18:34:29 +02:00 |
|
Christian Rinderknecht
|
4d61ac0a13
|
Moved logging from Lexer to LexerLog.
|
2019-04-13 18:13:05 +02:00 |
|
Galfour
|
df84763eb2
|
basic bin
|
2019-04-13 13:26:13 +00:00 |
|
Galfour
|
9ac9fdd562
|
minimal liquidity integration
|
2019-04-13 08:59:32 +00:00 |
|
Galfour
|
87a0d8818b
|
integrate liquidity
|
2019-04-12 22:07:31 +00:00 |
|
Galfour
|
2499222b46
|
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos
|
2019-04-12 19:32:16 +00:00 |
|
Galfour
|
b106ee5186
|
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos
|
2019-04-12 19:32:06 +00:00 |
|
Georges Dupéron
|
e4ca6608bb
|
Structured error messages with JSON, for now the pretty-printers are badly written but can easily be refactored.
|
2019-04-12 19:45:52 +02:00 |
|
Galfour
|
f6bfa1e049
|
extend with annots
|
2019-04-12 16:28:12 +00:00 |
|
Georges Dupéron
|
47eed300e9
|
simple_error, simple_fail and asserts should take strings as arguments, not thunks
|
2019-04-12 16:55:04 +02:00 |
|
Galfour
|
badda06e7b
|
start simplify liquidity
|
2019-04-12 13:30:11 +00:00 |
|
Galfour
|
71307ce626
|
merge
|
2019-04-12 06:53:05 +00:00 |
|
Galfour
|
372c488dd7
|
parse sample file
|
2019-04-11 23:16:14 +00:00 |
|
Georges Dupéron
|
dffdc766fc
|
Lazy construction of error and trace messages so that the happy path is faster
|
2019-04-11 18:56:36 +02:00 |
|
Galfour
|
c0b5ad05cf
|
refactor mini_c
|
2019-04-10 12:47:55 +00:00 |
|
Galfour
|
6bca49fb8b
|
more heaps
|
2019-04-10 12:09:32 +00:00 |
|
Galfour
|
c8bd6c8893
|
add map update
|
2019-04-10 09:28:52 +00:00 |
|
Galfour
|
95d901a43d
|
tmp
|
2019-04-09 20:42:04 +00:00 |
|
Galfour
|
55622c3c1b
|
add loop ; fix bug in sub-scope affectation
|
2019-04-09 13:25:14 +00:00 |
|
Galfour
|
2eeea19ecb
|
non-atomic commit: refactor ; add Nat to lexer and parser ; improve multifix ; start heap tests
|
2019-04-09 09:05:08 +00:00 |
|
Galfour
|
d98f92ce9c
|
more housekeeping ; add programs to multifix-parser
|
2019-04-07 16:29:14 +00:00 |
|
Galfour
|
d12ec7d4eb
|
housekeeping
|
2019-04-07 14:01:50 +00:00 |
|