tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-11-10 10:46:49 +03:00
Code Issues Projects Releases Wiki Activity
1,012 Commits 113 Branches 18 Tags 183 MiB
384bcfeb2b
Commit Graph

1012 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Yann Hamdaoui
61160f34a8 Add non-empty contract list 2021-04-07 20:10:02 +02:00
Yann Hamdaoui
e57bb043fe Add a generate primitive operator 2021-04-07 20:10:02 +02:00
Yann Hamdaoui
922b950231 Use better type for the comparison function in sort 2021-04-07 20:10:02 +02:00
Yann Hamdaoui
e4d162d3be Update lists stdlib to use the comma syntax 2021-04-07 20:10:02 +02:00
Yann Hamdaoui
ed7d7638bb
Merge pull request #341 from tweag/fix/tests-serialize 
[Fix]Fix tests, implement clippy's suggestion
 2021-04-07 20:10:01 +02:00
Yann Hamdaoui
0ba4685dad Implement clippy's suggestions 2021-04-07 19:50:50 +02:00
Yann Hamdaoui
6be0dca0ec Fix test, use new comma syntax 2021-04-07 19:49:49 +02:00
Eelco Dolstra
2d174ca409
Merge pull request #331 from tweag/task/tests-piecewise-def 
Add tests for record piecewise definitions
 2021-04-07 17:40:56 +02:00
Eelco Dolstra
4a441faaae
Merge pull request #328 from tweag/task/add-test-package-serialization 
Add test for serialization
 2021-04-07 17:39:32 +02:00
Eelco Dolstra
1dd7cdd281
Merge pull request #317 from tweag/syntax/full-annotations 
Full annotations
 2021-04-07 17:35:21 +02:00
Eelco Dolstra
b46699c528
Merge pull request #315 from tweag/task/remove-assume 
Remove assume from the AST, improve contract error reporting
 2021-04-07 17:34:10 +02:00
Eelco Dolstra
3a9fb9abb9
Merge pull request #314 from tweag/task/improve-metavalue-repr 
[Refactor]Improve metavalue representation and handling
 2021-04-07 17:29:44 +02:00
Yann Hamdaoui
dc337a0101
Merge pull request #340 from tweag/fix/nums-stdlib-syntax 
[Fix]Upgrade nums stdlib to use the comma syntax
 2021-04-06 09:56:32 +02:00
Yann Hamdaoui
e99fdea70b Upgrade nums stdlib to use the comma syntax 2021-04-05 19:54:52 +02:00
Yann Hamdaoui
207d4221a3 Always print fields on query 2021-04-02 12:08:54 +02:00
Yann Hamdaoui
4b5a4c267f Remove superfluous deepseq when querying 2021-04-02 11:55:02 +02:00
Yann Hamdaoui
9c18d01e9c Improve query evaluation and result reporting 2021-04-02 09:37:27 +02:00
Eelco Dolstra
3c52c3ac3f
Merge pull request #323 from tweag/feature/stdlib-num-recs-extension 
Add the nums stdlib
 2021-03-31 16:52:31 +02:00
Eelco Dolstra
a850418c88
Merge pull request #334 from tweag/task/update-readme 
Update README
 2021-03-31 16:51:31 +02:00
Yann Hamdaoui
6a8b211a41 Reintroduce command prefixs 2021-03-31 11:48:57 +02:00
Yann Hamdaoui
40b1efad44 Update README 2021-03-29 10:36:54 +02:00
Yann Hamdaoui
2e0f9e1981 Move record def tests in separate file, add tests 2021-03-25 11:47:59 +01:00
Yann Hamdaoui
9aaf2adf68 Add tests for piecewise record definitions 2021-03-25 11:42:31 +01:00
Yann Hamdaoui
45e3ec206f Add test of closurization by merge 2021-03-18 12:53:46 +01:00
Yann Hamdaoui
16956eb7b9 Add test for the interaction promise/default 2021-03-18 11:57:00 +01:00
Yann Hamdaoui
f804596a18 Temporarily disable import typechecking test 2021-03-18 11:57:00 +01:00
Yann Hamdaoui
d4704a312c Allow both type and meta annotations on bindings 2021-03-18 11:57:00 +01:00
Yann Hamdaoui
e2dcb538ad Formatting 2021-03-18 11:56:15 +01:00
Yann Hamdaoui
f8c4a21142 Remove %assume% from the syntax 2021-03-18 11:56:15 +01:00
Yann Hamdaoui
0efcfa5b1d Revert splitting assume in two operators 2021-03-18 11:56:15 +01:00
Yann Hamdaoui
c14954215c Also track arguments of sub-contracts 2021-03-18 11:56:15 +01:00
Yann Hamdaoui
ae54d9d108 Split assume op in two operators 2021-03-18 11:56:15 +01:00
Yann Hamdaoui
34a47f1bce Report arg of higher-order contracts violations 2021-03-18 11:56:15 +01:00
Yann Hamdaoui
7e0454fd5b Make assume a binary op that updates label info 2021-03-18 11:56:15 +01:00
Yann Hamdaoui
b8e1272c49 Squash applyCtr and Assume together 2021-03-18 11:56:15 +01:00
Yann Hamdaoui
2eefd577a7 Remove debug println statement 2021-03-18 11:55:14 +01:00
Eelco Dolstra
656ad29b9f
Merge pull request #326 from tweag/fix/static-string-delimiters 
Allow variable-length string delimiters for static strings
 2021-03-17 15:02:14 +01:00
Eelco Dolstra
8d39ed9d08
Merge pull request #327 from tweag/syntax/remove-semicolon 
[Syntax]Use comma instead of semicolon
 2021-03-17 14:41:15 +01:00
Yann Hamdaoui
7a11367f72 Remove semicolons from integration tests 2021-03-11 18:05:33 +01:00
Yann Hamdaoui
8099f1de60 Remove semicolons from unit tests 2021-03-11 18:05:15 +01:00
Yann Hamdaoui
d29053a8b0 Remove semicolon token from lexer 2021-03-11 18:04:48 +01:00
Yann Hamdaoui
6a734ab6a6 Update stdlib to semicolon-less syntax 2021-03-11 18:04:28 +01:00
Yann Hamdaoui
9db41efddc Get rid of semicolon in records, use comma instead 2021-03-11 18:04:02 +01:00
Yann Hamdaoui
7a70b1704b Allow variable-length string delimiters for static strings 2021-03-11 17:31:48 +01:00
Yann Hamdaoui
16b02c60c7 Fixes in the nums stdlib 2021-03-11 11:52:25 +01:00
Yann Hamdaoui
b23df115a1 Add the pow primop 2021-03-11 11:10:55 +01:00
Yann Hamdaoui
7a2b101f58 Add a nums stdlib 2021-03-11 10:44:36 +01:00
Yann Hamdaoui
ad376d3968 Formatting & clippy's suggestions 2021-03-08 19:13:52 +01:00
Yann Hamdaoui
190e2ec4e6 Fix typechecking of metavalues with type annotation 2021-03-08 17:02:31 +01:00
Yann Hamdaoui
3137899068 Add documentation, small fixes and formatting 2021-03-08 17:02:31 +01:00