Skip to content
This repository has been archived by the owner on Sep 7, 2023. It is now read-only.

Q*cert upgrade & new built-in operators #623

Merged
merged 10 commits into from
Jun 21, 2019
Merged

Q*cert upgrade & new built-in operators #623

merged 10 commits into from
Jun 21, 2019

Conversation

jeromesimeon
Copy link
Member

No description provided.

@coveralls
Copy link

coveralls commented Jun 21, 2019 •
edited
Loading

Coverage Status

Coverage remained the same at 99.119% when pulling d54a4c4 on jeromesimeon:js-release-0.8.6 into d40bb62 on accordproject:master.

@jeromesimeon jeromesimeon force-pushed the js-release-0.8.6 branch 4 times, most recently from 6eda644 to 5667eb5 Compare June 21, 2019 14:12
@jeromesimeon
(chore) Upgrade to Q*cert 1.3.0 + Various fixes
39405f2 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
(fix) Code generation for arraysubtract back in the correct order
7a5bfe5 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
(feature) Support for array index e1[e2] returning an optional value
ca0ee94 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
(feature) Add string length function to Stdlib
d5db6a0 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
test(commands) Single-pass testing, as in Cicero
f1366e3 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
test(license) now passes LICENSE check
e756678 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
ci(opam) Switch to OCaml 4.07.1
dee0303 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
ci(fix) install.sh added to exclude list
3a82b92 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
ci(Circle) Another tweak to the opam switch
03f2c67 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon
build(fix) LICENSE check and opam switch
d54a4c4 
Signed-off-by: Jerome Simeon <[email protected]>
@jeromesimeon jeromesimeon merged commit fcf41ef into accordproject:master Jun 21, 2019
This was referenced Jun 23, 2019
Closed
Closed
@jolanglinais jolanglinais mentioned this pull request Oct 30, 2019
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jeromesimeon @coveralls