Commit Graph

159 Commits

Author SHA1 Message Date
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