Skip to content

Actions: VCA-EPFL/dataflow-rewriter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
101 workflow runs
101 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add proof of abstraction CI #26: Commit 1fb8a47 pushed by ymherklotz
October 21, 2024 07:10 1m 56s main
main
October 21, 2024 07:10 1m 56s
Finish abstract_refines CI #25: Commit 63e1677 pushed by ymherklotz
October 20, 2024 17:16 1m 41s main
main
October 20, 2024 17:16 1m 41s
Fix inlining funtion CI #24: Commit fd9409f pushed by ymherklotz
October 19, 2024 10:31 2m 1s main
main
October 19, 2024 10:31 2m 1s
Add some more substitution lemmas CI #23: Commit 0933a31 pushed by ymherklotz
October 15, 2024 21:11 1m 28s main
main
October 15, 2024 21:11 1m 28s
Use smaller alternative implementation of abstract and concretise CI #22: Commit d4a8d14 pushed by ymherklotz
October 15, 2024 20:41 1m 58s main
main
October 15, 2024 20:41 1m 58s
Fix name of a single theorem CI #21: Commit 223afd4 pushed by ymherklotz
October 15, 2024 20:01 1m 31s main
main
October 15, 2024 20:01 1m 31s
Add abstraction function and documentation CI #20: Commit a39e0b2 pushed by ymherklotz
October 15, 2024 19:59 1m 27s main
main
October 15, 2024 19:59 1m 27s
Fix the build CI #19: Commit 31e0ac2 pushed by ymherklotz
October 15, 2024 19:28 1m 25s main
main
October 15, 2024 19:28 1m 25s
Add better substitution lemma for ExprLow CI #18: Commit ad22db2 pushed by ymherklotz
October 15, 2024 19:28 1m 25s main
main
October 15, 2024 19:28 1m 25s
Write approximate substitution lemmas for ExprHigh CI #17: Commit ef9862d pushed by ymherklotz
October 15, 2024 17:48 1m 36s main
main
October 15, 2024 17:48 1m 36s
Fix example due to getIO change CI #16: Commit 4528e61 pushed by ymherklotz
October 15, 2024 16:21 1m 39s main
main
October 15, 2024 16:21 1m 39s
Update substitution lemma and add refl/trans relations CI #15: Commit 2ece0b3 pushed by ymherklotz
October 15, 2024 14:20 1m 37s main
main
October 15, 2024 14:20 1m 37s
Finish refines_phi_transitive modulo some sorrys CI #14: Commit 7bce6ad pushed by ymherklotz
October 15, 2024 11:22 2m 7s main
main
October 15, 2024 11:22 2m 7s
Add mostly finished proof of refines_phi transitive CI #13: Commit 1bb8d90 pushed by ymherklotz
October 15, 2024 10:44 1m 33s main
main
October 15, 2024 10:44 1m 33s
Continue working on meta refinement proofs CI #12: Commit 188b4cb pushed by ymherklotz
October 15, 2024 08:21 1m 8s main
main
October 15, 2024 08:21 1m 8s
May actually be easier with Sigma type CI #11: Commit e0d8005 pushed by ymherklotz
October 14, 2024 18:37 1m 35s main
main
October 14, 2024 18:37 1m 35s
Add HVector file CI #10: Commit 0044029 pushed by ymherklotz
October 14, 2024 18:07 2m 7s main
main
October 14, 2024 18:07 2m 7s
Use dependent rewrites to reason about build_module' CI #9: Commit c93b392 pushed by ymherklotz
October 14, 2024 18:03 1m 9s main
main
October 14, 2024 18:03 1m 9s
Add substitution lemma and rename modules CI #8: Commit 0019e28 pushed by ymherklotz
October 11, 2024 07:01 2m 5s main
main
October 11, 2024 07:01 2m 5s
Add top-level refinement about original modules CI #7: Commit e5eb755 pushed by ymherklotz
October 10, 2024 09:17 1m 31s main
main
October 10, 2024 09:17 1m 31s
Remove unnecessary theorems CI #6: Commit ad0d5a9 pushed by ymherklotz
October 10, 2024 09:06 1m 57s main
main
October 10, 2024 09:06 1m 57s
Finish proof of merge completely CI #5: Commit bc01c53 pushed by ymherklotz
October 10, 2024 09:02 1m 51s main
main
October 10, 2024 09:02 1m 51s
Simplify the proof of Examples/Merge CI #4: Commit f1d9494 pushed by ymherklotz
October 7, 2024 20:54 1m 55s main
main
October 7, 2024 20:54 1m 55s
Remove Basic.lean from DataflowRewriter.lean CI #3: Commit f39e740 pushed by ymherklotz
October 4, 2024 09:44 2m 10s main
main
October 4, 2024 09:44 2m 10s
Add README CI #2: Commit 677c76b pushed by ymherklotz
October 4, 2024 09:38 1m 25s main
main
October 4, 2024 09:38 1m 25s