Frédéric Bour
|
7c6ff8db19
|
Extend logical sequences, begin formalisation of arrays
|
2021-12-31 15:44:29 +01:00 |
Frédéric Bour
|
53c983eeee
|
Correction des liens dans le README
|
2021-12-31 15:43:05 +01:00 |
Frédéric Bour
|
398eed84ae
|
Rework pattern translation
|
2021-12-31 10:14:47 +01:00 |
Frédéric Bour
|
ebae4c8369
|
Wip cleanup transl_pat
|
2021-12-28 15:24:40 +01:00 |
Frédéric Bour
|
37ff67a350
|
Translate queue example to logical sequences
|
2021-12-27 21:09:56 +01:00 |
Frédéric Bour
|
c9a47931b6
|
Fixing support for sequences
|
2021-12-27 21:09:34 +01:00 |
Frédéric Bour
|
0e15bbd7d2
|
Getting closer to working sequences
|
2021-12-27 19:43:52 +01:00 |
Frédéric Bour
|
6606cc1082
|
Less debug printf
|
2021-12-27 15:06:24 +01:00 |
Frédéric Bour
|
609a3692d4
|
Introduce sequences
|
2021-12-27 14:09:41 +01:00 |
Frédéric Bour
|
8247d53736
|
Minor cleanup
|
2021-12-27 14:09:21 +01:00 |
Frédéric Bour
|
a0857d6399
|
More cleanup
|
2021-12-27 12:32:55 +01:00 |
Frédéric Bour
|
c869879c6d
|
Make things less generic :-)
|
2021-12-27 11:37:18 +01:00 |
Frédéric Bour
|
c7b93aa0d6
|
More cleanup
|
2021-12-27 11:14:15 +01:00 |
Frédéric Bour
|
ed03f6eb48
|
Simplify value model
|
2021-12-24 11:53:28 +01:00 |
Frédéric Bour
|
1126d73f2c
|
Sequences
|
2021-12-22 15:46:31 +01:00 |
Frédéric Bour
|
fcda2b7bbe
|
Typos in zml.md
|
2021-11-29 22:38:02 +01:00 |
Frédéric Bour
|
cd5bbed57b
|
doc: ajout d'une section intuition, corrections mineures
|
2021-03-30 13:29:15 +02:00 |
Frédéric Bour
|
0a2c081e4f
|
Document sur le design de zml
|
2021-03-30 12:32:51 +02:00 |
Frédéric Bour
|
fb15ba2490
|
Add readme
|
2021-03-30 12:28:43 +02:00 |
Frédéric Bour
|
6e19b4d4fa
|
Restructure repository
|
2021-03-30 11:10:02 +02:00 |
Frédéric Bour
|
2edb71522e
|
Congre: congruence closure library
|
2021-03-21 12:08:44 +01:00 |
Frédéric Bour
|
eb87df4261
|
vendor a wip congruence closure library
|
2021-03-20 22:35:55 +01:00 |
Frédéric Bour
|
35ec64804a
|
vendor ztl library
|
2021-03-20 22:35:26 +01:00 |
Frédéric Bour
|
faa1520c29
|
forgotten: quick'n'dirty unification for debug info
|
2021-03-20 22:35:15 +01:00 |
Frédéric Bour
|
5f05d3e22a
|
WIP path condition reconstruction
|
2021-03-20 19:50:42 +01:00 |
Frédéric Bour
|
47df959575
|
Prepare for printing refactor
|
2021-03-10 15:39:17 +01:00 |
Frédéric Bour
|
623ce3fa17
|
implement parallel effect rejection
|
2021-03-07 21:11:56 +01:00 |
Frédéric Bour
|
a4a6cfca40
|
Start working on parallel effects preventions
|
2021-03-07 20:33:52 +01:00 |
Frédéric Bour
|
7949da8b9c
|
Less printf-debugging
|
2021-03-07 20:33:52 +01:00 |
Frédéric Bour
|
fb4b5b0a81
|
(remove trailing spaces)
|
2021-03-07 20:33:52 +01:00 |
Frédéric Bour
|
15e8168cb4
|
Represent anonymous aliases when printing context
Use "anonymous variables" noted %i to represent aliases when printing
context.
|
2021-03-07 20:32:52 +01:00 |
Frédéric Bour
|
495cce1b57
|
update TODO
|
2021-03-07 20:27:33 +01:00 |
Frédéric Bour
|
693a9a2ec0
|
Don't drop continuations after effect
|
2021-03-03 17:03:59 +01:00 |
Frédéric Bour
|
064da62728
|
debugging...
|
2021-03-03 17:03:59 +01:00 |
Frédéric Bour
|
ff6e06eb6c
|
WIP
|
2021-03-03 17:03:59 +01:00 |
Frédéric Bour
|
f141d8b80d
|
Refactor programs and purity analysis
|
2021-03-03 17:03:59 +01:00 |
Frédéric Bour
|
1d460c1798
|
() :-)
|
2021-03-03 16:17:52 +01:00 |
Frédéric Bour
|
912a22dfb5
|
Fix queue example
|
2021-03-02 12:27:59 +01:00 |
Frédéric Bour
|
c9a8232ebe
|
Context printer: consider types when looking for aliases
|
2021-03-02 12:26:41 +01:00 |
Frédéric Bour
|
54039d96e5
|
Tweak debug printing
|
2021-03-02 12:25:43 +01:00 |
Frédéric Bour
|
3464249031
|
update example
|
2021-03-01 22:05:30 +01:00 |
Frédéric Bour
|
502e41d439
|
Fixup / improve printing
|
2021-03-01 22:05:18 +01:00 |
Frédéric Bour
|
c9fe134939
|
Fix translation of patterns
|
2021-03-01 22:03:18 +01:00 |
Frédéric Bour
|
b5cff8390f
|
Substitute types in value summary to fix printing
|
2021-03-01 19:41:02 +01:00 |
Frédéric Bour
|
bd0cd38332
|
Minor simplifications
|
2021-03-01 19:40:40 +01:00 |
Frédéric Bour
|
e9fd309c8a
|
Add support for @open/@close
|
2021-03-01 19:39:55 +01:00 |
Frédéric Bour
|
c49cf12839
|
Minor tweaks / debug printing
|
2021-03-01 19:39:09 +01:00 |
Frédéric Bour
|
d6728aa615
|
Allow explicit typing of generic applications
|
2021-03-01 19:37:50 +01:00 |
Frédéric Bour
|
1dda7d01f6
|
Start working on queue example
|
2021-03-01 19:36:30 +01:00 |
Frédéric Bour
|
4b22c5fc3d
|
tweak examples (goal: statically checked mutable queue)
|
2021-02-28 21:40:34 +01:00 |