22 Commits

Author	SHA1	Message	Date
Avi Dessauer	2d0d9b80d7	Fix: #522, Use eval_full to test examples	2022-01-05 09:28:45 -05:00
Mathieu Boespflug	b5bec72b44	Extraneous whitespace ... [skip ci]	2022-01-01 09:12:57 +02:00
Yann Hamdaoui	c0c2fda81d	Update examples/record-contract/record-contract.ncl	2021-12-29 20:12:58 +01:00
Yann Hamdaoui	644fc7fa7c	Update examples/record-contract/record-contract.ncl	2021-12-29 19:44:38 +01:00
Mathieu Boespflug	db72002e9e	Revert to camelCase names from Kubernetes schema ... Add a pointer to original example.	2021-12-29 18:08:31 +02:00
Mathieu Boespflug	b0e0311267	Switch to snake_case by convention for values ... This renames all builtins and standard library functions to conform to a snake case convention, as per decision recorded in #493. This also adapts examples and tests to this change. All functions have been renamed the way you'd expect, except the following: * `fromPred` -> `from_predicate` * `typeOf` -> `typeof` (like in C) * `fieldsOf` -> `fields` (the `_of` is redundant for a function) * `valuesOf` -> `values` (the `_of` is redundant for a function) Closes #493	2021-12-28 23:40:49 +02:00
Yann Hamdaoui	0c21532116	Allow dash in identifiers	2021-12-09 15:30:23 +01:00
silverraven691	fe783627cc	Flip strings.substring	2021-11-30 17:08:55 +01:00
silverraven691	42f9df51e1	Flip strings.isMatch	2021-11-30 17:08:55 +01:00
Yann Hamdaoui	c16fd3e1bd	Add blameWith and fromPred, update examples accordingly	2021-11-23 15:31:35 +01:00
Yann Hamdaoui	b4773add92	Remove useless parenthesis in tests and examples	2021-11-05 11:08:22 +01:00
Yann Hamdaoui	5d1b6a840a	Update README.md ... Fix typos	2021-09-14 15:07:14 +02:00
curiousleo	51226f3e19	unkown -> unknown	2021-07-05 17:27:54 +02:00
Yann Hamdaoui	039dab43be	Update README.md ... Fix typo	2021-05-17 21:06:52 +02:00
Yann Hamdaoui	9ecdf26df8	Update README.md	2021-05-04 16:35:08 +02:00
Yann Hamdaoui	6606e56567	Put each example in its own directory with a README	2021-04-28 18:37:11 +02:00
Yann Hamdaoui	9d4cb95da4	Improve comment in example	2021-04-19 11:29:38 +02:00
Yann Hamdaoui	91cbbbc202	Improve example contracts	2021-04-19 11:27:41 +02:00
Yann Hamdaoui	70848c3145	Improve README's formatting	2021-04-19 11:11:10 +02:00
Yann Hamdaoui	c95d14b88a	Fix tests: use new comma syntax in examples	2021-04-19 10:42:24 +02:00
Yann Hamdaoui	13e3ab10fb	Fix and upgrade examples	2021-04-19 10:11:50 +02:00
Yann Hamdaoui	703032317d	Overhaul the examples	2021-04-19 10:11:50 +02:00