4b3148a | Danil Annenkov | 23 August 2022, 18:34:33 UTC | Update README: paper citation formatting | 23 August 2022, 18:34:33 UTC |
6105ff2 | Danil Annenkov | 23 August 2022, 18:33:20 UTC | Update papers: add JFP citation | 23 August 2022, 18:33:20 UTC |
059b29b | Danil Annenkov | 22 August 2022, 08:32:26 UTC | Fix coqdoc | 22 August 2022, 08:32:26 UTC |
19a28ac | Danil Annenkov | 22 August 2022, 07:20:03 UTC | Port ConCert to Coq 8.15 (#190) | 22 August 2022, 07:20:03 UTC |
e1b9eee | 4ever2 | 19 August 2022, 10:38:42 UTC | Disable dependency graph in CI (#188) | 19 August 2022, 10:38:42 UTC |
901d670 | Danil Annenkov | 18 August 2022, 19:10:33 UTC | Porting ConCert to Metacoq v1.0+8.14 (#187) | 18 August 2022, 19:10:33 UTC |
4723157 | 4ever2 | 01 July 2022, 10:46:10 UTC | Ignore files not used in build process (#186) | 01 July 2022, 10:46:10 UTC |
5e889ff | 4ever2 | 30 June 2022, 10:02:29 UTC | Add doc to opam file (#185) | 30 June 2022, 10:02:29 UTC |
cf11841 | 4ever2 | 27 June 2022, 19:44:01 UTC | Build dependency graphs in CI (#184) | 27 June 2022, 19:44:01 UTC |
4b15196 | 4ever2 | 26 June 2022, 20:27:39 UTC | Documentation improvements (#183) | 26 June 2022, 20:27:39 UTC |
eddf120 | 4ever2 | 24 June 2022, 13:23:39 UTC | Fix documentation header (#182) | 24 June 2022, 13:23:39 UTC |
b7d9c17 | 4ever2 | 24 June 2022, 12:42:49 UTC | Fix documentation TOC width (#181) | 24 June 2022, 12:42:49 UTC |
4de53ec | 4ever2 | 24 June 2022, 12:13:22 UTC | Fix documentation toc (#180) | 24 June 2022, 12:13:22 UTC |
fdf99c3 | 4ever2 | 23 June 2022, 14:04:08 UTC | Link external documentation (#179) | 23 June 2022, 14:04:08 UTC |
1ff2282 | 4ever2 | 23 June 2022, 13:19:14 UTC | Dependency graphs (#178) | 23 June 2022, 13:19:14 UTC |
2f83546 | 4ever2 | 22 June 2022, 19:41:01 UTC | Fix coqdocjs css (#177) | 22 June 2022, 19:41:01 UTC |
eade943 | 4ever2 | 22 June 2022, 17:42:38 UTC | Exclude AllTests.v from documentation (#176) | 22 June 2022, 17:42:38 UTC |
2bd5c5f | 4ever2 | 22 June 2022, 17:34:03 UTC | Fix broken links in documentation (#175) | 22 June 2022, 17:34:03 UTC |
217b35c | 4ever2 | 16 June 2022, 11:33:07 UTC | Rust arith remapping (#173) | 16 June 2022, 11:33:07 UTC |
c7554a2 | 4ever2 | 15 June 2022, 11:27:45 UTC | Extend CallFacts (#174) | 15 June 2022, 11:27:45 UTC |
25d6d8b | Danil Annenkov | 01 June 2022, 07:52:07 UTC | Update README.md | 01 June 2022, 07:52:07 UTC |
99c1381 | 4ever2 | 25 May 2022, 13:28:15 UTC | Dexter2 tests (#172) | 25 May 2022, 13:28:15 UTC |
3382e48 | 4ever2 | 24 May 2022, 20:50:09 UTC | Dexter1 tests (#171) | 24 May 2022, 20:50:09 UTC |
9b13381 | 4ever2 | 23 May 2022, 22:18:43 UTC | Refactor tests (#170) | 23 May 2022, 22:18:43 UTC |
a6da977 | 4ever2 | 22 May 2022, 22:33:15 UTC | Rename Dexter contract (#169) | 22 May 2022, 22:33:15 UTC |
a136989 | 4ever2 | 21 May 2022, 13:00:05 UTC | Fix Dexter tests (#168) | 21 May 2022, 13:00:05 UTC |
c298332 | 4ever2 | 17 May 2022, 18:41:51 UTC | Add missing opam fields (#167) | 17 May 2022, 18:41:51 UTC |
2ddc4a3 | Christian Weis | 17 May 2022, 09:45:18 UTC | Upgrade fa2 interface (#164) | 17 May 2022, 09:45:18 UTC |
0586e06 | 4ever2 | 11 May 2022, 12:39:26 UTC | Make max action generation attempts configurable (#165) | 11 May 2022, 12:39:26 UTC |
3e2099f | Danil Annenkov | 06 May 2022, 12:47:43 UTC | [CameLIGO] Remove init wrapper (#161) | 06 May 2022, 12:47:43 UTC |
151774c | 4ever2 | 06 May 2022, 12:45:05 UTC | Time tests (#162) | 06 May 2022, 12:45:05 UTC |
8550e28 | Danil Annenkov | 05 May 2022, 19:03:38 UTC | Add a variable shadowing test for CameLIGO (#159) | 05 May 2022, 19:03:38 UTC |
83cdd00 | Danil Annenkov | 05 May 2022, 13:45:22 UTC | Pin concordium-std to version 2.0.0 (#160) | 05 May 2022, 13:45:22 UTC |
98a3d53 | 4ever2 | 28 April 2022, 19:06:46 UTC | Fix cameligo contract wrapper (#158) | 28 April 2022, 19:06:46 UTC |
d069920 | 4ever2 | 27 April 2022, 12:51:30 UTC | Update links (#155) | 27 April 2022, 12:51:30 UTC |
dfe6c4b | 4ever2 | 27 April 2022, 11:36:07 UTC | Split example files (#154) | 27 April 2022, 11:36:07 UTC |
51b1ce7 | 4ever2 | 27 April 2022, 09:19:25 UTC | Test framework improvements (#153) | 27 April 2022, 09:19:25 UTC |
ec565e0 | Bas Spitters | 16 April 2022, 17:10:30 UTC | Update README.md | 16 April 2022, 17:10:30 UTC |
d6a01aa | 4ever2 | 07 April 2022, 18:53:34 UTC | Dexter2 set_delegate remap (#152) * Remove implicit serializable argument from FA2, FA1.2 and Dexter2 message definitions * Fix FA2 callback show instance * Rename init and receive in Dexter2 lqt and CPMM contracts as a workaround to coq extraction bug * Move null_address and set_delegate_call parameters to into module type * Remap set_delegate_call to Tezos operation in Dexter2 CPMM extraction * Remap key_hash type | 07 April 2022, 18:53:34 UTC |
4815305 | Danil Annenkov | 28 March 2022, 09:15:22 UTC | CameLIGO extraction update (#151) fix printing recursive functions; fix params of polymorphic functions; fix tez subtraction; update ligo compiler; fix type annotations. | 28 March 2022, 09:15:22 UTC |
0399316 | 4ever2 | 18 March 2022, 15:21:17 UTC | Add more general FA1.2 token implementation. (#148) | 18 March 2022, 15:21:17 UTC |
02d8473 | 4ever2 | 18 March 2022, 12:48:42 UTC | Move examples (#147) | 18 March 2022, 12:48:42 UTC |
14579e0 | Danil Annenkov | 15 March 2022, 09:47:08 UTC | Add inner and mutual fixpoint examples to Rust extraction (#145) | 15 March 2022, 09:47:08 UTC |
12fdfdf | 4ever2 | 08 March 2022, 13:52:38 UTC | Clean up imports (#144) | 08 March 2022, 13:52:38 UTC |
77bdbed | 4ever2 | 28 February 2022, 11:27:27 UTC | FA2 callback changes (#143) | 28 February 2022, 11:27:27 UTC |
a31b0f4 | 4ever2 | 28 February 2022, 10:53:53 UTC | Split printing of serialized values (#142) | 28 February 2022, 10:53:53 UTC |
db1125b | 4ever2 | 25 February 2022, 11:35:12 UTC | BAT contract (#141) | 25 February 2022, 11:35:12 UTC |
aebe2ac | 4ever2 | 25 February 2022, 10:33:42 UTC | Build workflow improvements (#140) | 25 February 2022, 10:33:42 UTC |
356b40f | 4ever2 | 15 February 2022, 09:30:21 UTC | Fix build process (#138) | 15 February 2022, 09:30:21 UTC |
20bf24a | 4ever2 | 09 February 2022, 06:19:01 UTC | Update CameLIGOPretty.v (#137) (cherry picked from commit 8228ffd979588781fc86f7a393749f7d0e51ef4c) | 09 February 2022, 06:25:03 UTC |
84cbd69 | Danil Annenkov | 08 February 2022, 12:17:32 UTC | Define liquidity token inteface; generalise the invariant proof to work for any contract satisfying the interface (#136) | 08 February 2022, 12:17:32 UTC |
0d9cae6 | 4ever2 | 02 February 2022, 14:11:36 UTC | Pin coq-stdpp to version 1.5.0 (#135) | 02 February 2022, 14:11:36 UTC |
c4afa74 | Danil Annenkov | 02 February 2022, 13:03:43 UTC | Update ligo compiler to v0.34.0 (includes a bug fix) (#134) | 02 February 2022, 13:03:43 UTC |
5925263 | Danil Annenkov | 02 February 2022, 12:21:08 UTC | Dexter 2: move files, readme, clean up printing (#133) | 02 February 2022, 12:21:08 UTC |
c87eeb3 | 4ever2 | 01 February 2022, 08:27:10 UTC | Dexter2 safety proofs (#132) | 01 February 2022, 08:27:10 UTC |
a7983df | Danil Annenkov | 31 January 2022, 12:18:39 UTC | Extract Dexter 2 Liquidity token (#130) | 31 January 2022, 12:18:39 UTC |
718bc53 | Danil Annenkov | 24 January 2022, 14:09:31 UTC | Extraction of Dexter 2 CPMM (#129) | 24 January 2022, 14:09:31 UTC |
1f3ec76 | Danil Annenkov | 06 January 2022, 15:21:03 UTC | Add permission control to CIS1; implement permission check in wccd (#128) | 06 January 2022, 15:21:03 UTC |
27bc4c7 | Danil Annenkov | 06 January 2022, 11:07:55 UTC | Implementation of the Concordium's ccd wrapper token (cis1-wccd) and proofs of compliance with CIS1 (#127) | 06 January 2022, 11:07:55 UTC |
d140acf | 4ever2 | 21 December 2021, 15:19:43 UTC | Dexter2 implementation changes (#125) | 21 December 2021, 15:19:43 UTC |
9c7469d | 4ever2 | 20 December 2021, 20:31:57 UTC | Fix typos in CIS1Spec (#126) | 20 December 2021, 20:31:57 UTC |
f76a8f8 | 4ever2 | 20 December 2021, 20:31:22 UTC | Eip20 proofs (#124) * EIP20 changes * Make comments compatible with coqdoc in EIP20Token.v | 20 December 2021, 20:31:22 UTC |
cd3c65b | 4ever2 | 16 December 2021, 08:03:11 UTC | Destruct chain step fix (#123) * Add origin to destuct_chain_step ltac | 16 December 2021, 08:03:11 UTC |
81eda74 | Danil Annenkov | 07 December 2021, 12:21:05 UTC | Move coqdocjs and toc to separate dirs; add toc license; update readme | 07 December 2021, 12:21:05 UTC |
fa51dd0 | Danil Annenkov | 07 December 2021, 10:12:19 UTC | CIS-1: Concordium Token Standard (#121) | 07 December 2021, 10:12:19 UTC |
4a5916f | Julin S | 04 December 2021, 11:37:25 UTC | Fix typo in comment (#122) Fix a tiny typo in comments | 04 December 2021, 11:37:25 UTC |
523e743 | Danil Annenkov | 18 October 2021, 12:02:41 UTC | Cleaned up imports using coq-tools and some manual fixes (closes #102) (#120) Cleaned up imports using coq-tools and some manual fixes; fully qualified paths for imports (closes #102) | 18 October 2021, 12:02:41 UTC |
d1544cc | Danil Annenkov | 12 October 2021, 09:49:00 UTC | Add call origin (#119) Add origin for calls: the call origin is available in `ContractCallContext` and also in `DeploymentInfo` and `ContractCallInfo` (closes #118) | 12 October 2021, 09:49:00 UTC |
f579970 | Danil Annenkov | 23 September 2021, 09:23:44 UTC | Nitpicks on proof automation in Dexter2 | 23 September 2021, 09:23:44 UTC |
a67bdf2 | 4ever2 | 22 September 2021, 06:22:06 UTC | Dexter2 (#116) Add Dexter2 implementation | 22 September 2021, 06:22:06 UTC |
67e9f2c | Danil | 02 September 2021, 20:48:16 UTC | Uncomment extraction of the counter with subset types | 02 September 2021, 20:48:16 UTC |
1fce313 | Danil | 02 September 2021, 20:47:19 UTC | Update README: extend the project structure description | 02 September 2021, 20:47:19 UTC |
112c56d | Danil | 01 September 2021, 13:46:14 UTC | Update README; process extraction resutls by default | 01 September 2021, 13:46:14 UTC |
20b1878 | Danil | 01 September 2021, 09:28:04 UTC | CI: push only the extraction resutls from the master branch of the mainrepo | 01 September 2021, 09:28:04 UTC |
8b3608f | Danil | 31 August 2021, 13:00:28 UTC | CI: don't push the extraction results on pull requests. | 31 August 2021, 13:00:28 UTC |
1da9986 | Danil | 31 August 2021, 11:56:28 UTC | CI: uncomment pushing the extraction results | 31 August 2021, 11:56:28 UTC |
41c4970 | Danil | 31 August 2021, 10:32:21 UTC | Merge remote-tracking branch 'upstream/master' | 31 August 2021, 10:32:21 UTC |
3b276fd | Danil Annenkov | 31 August 2021, 10:14:31 UTC | CI config for building extraction (#114) Use a Docker image with compilers; compile extraction output on build | 31 August 2021, 10:14:31 UTC |
b87b18d | Danil | 31 August 2021, 09:03:43 UTC | Comment out push to the extraction repo for now | 31 August 2021, 09:03:43 UTC |
2846033 | Danil | 31 August 2021, 07:25:07 UTC | CI: add git username | 31 August 2021, 07:25:07 UTC |
351ca9e | Danil | 30 August 2021, 11:11:48 UTC | Remove feature(unsigned_abs) from Rust extraction prelude; uncomment the rest of the contract extraction examples | 30 August 2021, 11:11:48 UTC |
97624a1 | Danil | 30 August 2021, 10:04:53 UTC | Test rust extraction; fix gitignore | 30 August 2021, 10:04:53 UTC |
22b32d4 | Danil | 25 August 2021, 12:25:53 UTC | Add cargo to PATH in build.yml | 25 August 2021, 12:26:16 UTC |
63bfd88 | Danil | 25 August 2021, 10:56:38 UTC | CI: debug | 25 August 2021, 10:56:38 UTC |
fcc4ed3 | Danil | 24 August 2021, 13:57:34 UTC | CI: debug | 24 August 2021, 13:57:34 UTC |
196faea | Danil | 24 August 2021, 13:55:13 UTC | CI: remove sudo; debug | 24 August 2021, 13:55:13 UTC |
fe05553 | Danil | 24 August 2021, 12:57:37 UTC | CI: Try with sudo again | 24 August 2021, 12:57:37 UTC |
02d6508 | Danil | 24 August 2021, 11:53:41 UTC | CI: redirect liquidity stderr to a file; Docker: configure git to fetch through https | 24 August 2021, 11:53:41 UTC |
e60f39d | Danil | 23 August 2021, 20:34:40 UTC | Forgot to include build config :) | 23 August 2021, 20:34:40 UTC |
cb11643 | Danil | 23 August 2021, 19:57:00 UTC | CI: move testing back to the build step;comment out ERC20 extraction to Liquidity | 23 August 2021, 19:57:00 UTC |
6dc3d6d | Danil | 23 August 2021, 16:26:10 UTC | Debug CI | 23 August 2021, 16:26:10 UTC |
a5263c5 | Danil | 23 August 2021, 14:57:21 UTC | More opam-related fixes | 23 August 2021, 14:57:21 UTC |
ed669c9 | Danil | 23 August 2021, 14:17:49 UTC | Add setting opam env variables in the testing step of CI | 23 August 2021, 14:17:49 UTC |
2c911d8 | Danil | 23 August 2021, 13:27:15 UTC | Add some sudos to the build.yaml | 23 August 2021, 13:27:15 UTC |
1625478 | Danil | 23 August 2021, 11:30:12 UTC | Try fixing the build | 23 August 2021, 11:30:12 UTC |
d8cfcef | Danil | 21 August 2021, 13:47:36 UTC | Test extraction as a separate step after build | 21 August 2021, 13:47:36 UTC |
6e393ea | Danil | 20 August 2021, 13:52:02 UTC | Add views for the Elm web app | 20 August 2021, 13:52:02 UTC |
eb4c278 | Danil | 20 August 2021, 13:09:38 UTC | Add tests dir placeholder for elm extraction | 20 August 2021, 13:09:38 UTC |
1580353 | Danil | 20 August 2021, 12:29:20 UTC | Add src folder placeholder for elm | 20 August 2021, 12:29:20 UTC |
1d6d429 | Danil | 20 August 2021, 11:43:10 UTC | Fix a typo in build.yaml | 20 August 2021, 11:43:10 UTC |