├── .github ├── pull_request_template.md └── workflows │ ├── python-package.yml │ └── python-publish.yml ├── .gitignore ├── .upload_env.template ├── Harmony.g4 ├── HarmonyOnWindows.pdf ├── LICENSE ├── MANIFEST.in ├── Makefile ├── README.md ├── antlr-4.9.3-complete.jar ├── code ├── 2pc.hny ├── DinersCV2.hny ├── Peterson.hny ├── PetersonBroken.hny ├── PetersonInductive.hny ├── PetersonMethod.hny ├── RWqtest.hny ├── Up.hny ├── UpEnter.hny ├── UpLock.hny ├── Upf.hny ├── Upr.hny ├── abd.hny ├── abdtest.hny ├── abp.hny ├── abptest.hny ├── actor.hny ├── actortest.hny ├── atm.hny ├── atomicinc.hny ├── baddblwait.hny ├── bank.hny ├── bank1.hny ├── bank1safe.hny ├── bank2.hny ├── bank2bad.hny ├── bank3.hny ├── bank4.hny ├── barber.hny ├── barrier.hny ├── barrier1.hny ├── barrier_broken.hny ├── barrier_btest.hny ├── barrier_cv.hny ├── barrier_demo.hny ├── barrier_double.hny ├── barrier_once.hny ├── barrier_test.hny ├── barrier_test1.hny ├── barrier_test2.hny ├── bosco.hny ├── bosco2.hny ├── boundedbuffer.hny ├── boundedbuffer_hoare.hny ├── boundedbuffer_test1.hny ├── bsort.hny ├── byzbosco.hny ├── chain.hny ├── chain1.hny ├── chain2.hny ├── chainaction.hny ├── chainaction1.hny ├── chainaction2.hny ├── chainrepl.hny ├── clock.hny ├── consensus.hny ├── counter.hny ├── cs.hny ├── cs_behavior.hny ├── cs_onebit.hny ├── cs_peterson.hny ├── cs_swap.hny ├── csbarebones.hny ├── csonebit.hny ├── csonebitmulti.hny ├── diners.hny ├── diners_avoid.hny ├── diners_btest.hny ├── diners_cv.hny ├── diners_lock.hny ├── diners_order.hny ├── disk.hny ├── farmer.hny ├── file.hny ├── file_btest.hny ├── file_crash.hny ├── file_crash_inode.hny ├── file_inode.hny ├── gpu.hny ├── hanoi.hny ├── hanoi2.hny ├── harmony.html ├── hello1.hny ├── hello2.hny ├── hello3.hny ├── hello4.hny ├── hello5.hny ├── hello6.hny ├── hello7.hny ├── hello8.hny ├── hello9.hny ├── hoare.hny ├── hw.hny ├── knight.hny ├── ky.hny ├── ky2.hny ├── leader.hny ├── lin_q.hny ├── lock.hny ├── lock_demo.hny ├── lock_susp.hny ├── lock_tas.hny ├── lock_test1.hny ├── lock_test2.hny ├── lock_test3.hny ├── lock_ticket.hny ├── locks.hny ├── locks_btest.hny ├── lossy.hny ├── magic.hny ├── memory.hny ├── mersenne.hny ├── mesa.hny ├── multitest.hny ├── naiveFlags.hny ├── naiveLock.hny ├── naiveTurn.hny ├── needhamschroeder.hny ├── olb.hny ├── olb_btest.hny ├── olb_locks.hny ├── olb_test1.hny ├── paxos.hny ├── paxos3.hny ├── primes.hny ├── prog1.hny ├── prog2.hny ├── prog3.hny ├── prog4.hny ├── prog4enter.hny ├── prog4lock.hny ├── prog5.hny ├── prog6.hny ├── qbarrier.hny ├── qsort.hny ├── qsorttest.hny ├── queue.hny ├── queue_MS.hny ├── queue_block.hny ├── queue_block_cv.hny ├── queue_broken1.hny ├── queue_broken2.hny ├── queue_btest1.hny ├── queue_btest2.hny ├── queue_cas.hny ├── queue_direct.hny ├── queue_fix.hny ├── queue_lin.hny ├── queue_lock.hny ├── queue_nonatom.hny ├── queue_nonatom_seq.hny ├── queue_test.hny ├── queue_test1.hny ├── queue_test2.hny ├── queue_test3.hny ├── queue_test4.hny ├── queue_test5.hny ├── queue_test6.hny ├── queue_test_lin.hny ├── queue_test_seq.hny ├── register.hny ├── rollercoaster.hny ├── rsm.hny ├── rsmspec.hny ├── rwlock.hny ├── rwlock_btest.hny ├── rwlock_btest2.hny ├── rwlock_busy.hny ├── rwlock_cheat.hny ├── rwlock_cv.hny ├── rwlock_cv_fair.hny ├── rwlock_sbs.hny ├── rwlock_sbs_fair.hny ├── rwlock_test1.hny ├── seq_ex.hny ├── seq_q.hny ├── setobj.hny ├── setobj_btest.hny ├── setobj_linkedlist.hny ├── setobj_test1.hny ├── spinlock.hny ├── stack.hny ├── stack1.hny ├── stack2.hny ├── stack3.hny ├── stack4.hny ├── stacktest.hny ├── trap.hny ├── trap2.hny ├── trap3.hny ├── trap4.hny ├── trap5.hny ├── trap6.hny ├── triangle.hny ├── wal.hny └── xy.hny ├── compiler_integration_test.py ├── compose.pdf ├── diners.py ├── distributions ├── harmony-0.9.zip ├── harmony-1.0.zip ├── harmony-1.1.zip └── makedistr ├── doc-images ├── adding-new-path.png ├── find-c++-build-tools.png ├── first-pane.png ├── hover-new.png ├── press-install-c++-build-tools.png └── simple-graph-example.png ├── docs └── GrammarParser.md ├── h2py ├── harmony ├── harmony.bat ├── harmony_model_checker ├── charm │ ├── charm.c │ ├── charm.h │ ├── code.c │ ├── code.h │ ├── dfa.c │ ├── dfa.h │ ├── dfa2.h │ ├── dot.c │ ├── dot.h │ ├── fastrange.h │ ├── global.c │ ├── global.h │ ├── gnfa.c │ ├── gnfa.h │ ├── graph.c │ ├── graph.h │ ├── hashdict.c │ ├── hashdict.h │ ├── hashtab.h │ ├── head.h │ ├── iface │ ├── iface.obs │ │ ├── hashset.c │ │ ├── hashset.h │ │ ├── iface.c │ │ ├── iface.h │ │ ├── iface_graph.c │ │ ├── iface_graph.h │ │ ├── minheap.c │ │ ├── minheap.h │ │ ├── queue.c │ │ ├── queue.h │ │ ├── stack.c │ │ └── stack.h │ ├── ipi │ │ └── ipi.c │ ├── json.c │ ├── json.h │ ├── ops.c │ ├── ops.h │ ├── prefetcher.h │ ├── python_ext │ │ └── ext.c │ ├── sdict.c │ ├── sdict.h │ ├── spawn.h │ ├── strbuf.c │ ├── strbuf.h │ ├── thread.c │ ├── thread.h │ ├── value.c │ └── value.h ├── compile.py ├── config.py ├── dfacmp.py ├── exception.py ├── h2py │ ├── H2PyEnv.py │ ├── H2PyExprVisitor.py │ ├── H2PyStmtVisitor.py │ ├── h2py.py │ ├── h2py_runtime │ │ └── __init__.py │ └── util.py ├── harmony │ ├── AbstractASTVisitor.py │ ├── DumpASTVisitor.py │ ├── __init__.py │ ├── ast.py │ ├── bag_util.py │ ├── behavior.py │ ├── brief.py │ ├── charm.css │ ├── charm.js │ ├── code.py │ ├── genhtml.py │ ├── harmony.py │ ├── jsonstring.py │ ├── ops.py │ ├── scope.py │ ├── state.py │ ├── summarize.py │ ├── summary.py │ ├── tex.py │ ├── value.py │ └── verbose.py ├── iface.py ├── main.py ├── modules │ ├── __init__.py │ ├── action.hny │ ├── alloc.hny │ ├── bags.hny │ ├── hoare.hny │ ├── lists.hny │ ├── sets.hny │ ├── synch.hny │ ├── synchBusy.hny │ ├── synchImprecise.hny │ ├── synchS.hny │ └── thread.hny ├── parser │ ├── HarmonyErrorListener.py │ ├── HarmonyLexer.py │ ├── HarmonyParser.py │ ├── HarmonyVisitor.py │ ├── __init__.py │ ├── antlr_rule_visitor.py │ └── custom_denter.py └── util │ ├── __init__.py │ └── logger.py ├── heval ├── heval.py ├── install-test-pkg ├── manifest ├── nworkers.py ├── pyproject.toml ├── python ├── Up.py ├── UpMany.py ├── inc.py ├── incmany.py └── qtestpar.py ├── requirements.txt ├── runall.py ├── runall.scr ├── setup.py ├── test ├── Bakery.hny ├── Dekker.hny ├── DinersCVwrong.hny ├── DinersOrdered.hny ├── DinersVar.hny ├── EM.hny ├── InfLoop.hny ├── Lock.hny ├── NotLiveSym.hny ├── NotSaveSym.hny ├── PCbinsem.hny ├── PCcv.hny ├── PClock.hny ├── PetersonBadProof.hny ├── PetersonBroken.hny ├── PetersonOO.hny ├── RWbadlock.hny ├── RWhoare.hny ├── Sema.hny ├── Stop.hny ├── Szymanski.hny ├── Turn.hny ├── anonbosco.hny ├── anonbosco2.hny ├── anonbosco3.hny ├── barber.hny ├── barriertest.hny ├── benor.hny ├── bosco.hny ├── bound.hny ├── bound_chk1.hny ├── bound_chk2.hny ├── busywait.hny ├── byzbosco.hny ├── ctriangle.hny ├── dijkstra.hny ├── extqtest.hny ├── extqueue.hny ├── lst.hny ├── msort.hny ├── mutex.hny ├── pascal.hny ├── paxos.hny ├── poolmesa.hny ├── poolsbs.hny ├── pooltest.hny ├── qsort.hny ├── queue.hny ├── rdwr.hny ├── sorttest.hny ├── teahouse.hny └── test.hny ├── tests ├── __init__.py ├── resources │ └── h2py │ │ ├── addr_1.hny │ │ ├── addr_1.py │ │ ├── addr_2.hny │ │ ├── addr_2.py │ │ ├── addr_3.hny │ │ ├── addr_3.py │ │ ├── apply_1.hny │ │ ├── apply_1.py │ │ ├── binops.hny │ │ ├── binops.py │ │ ├── choose_1.hny │ │ ├── choose_1.py │ │ ├── dict.hny │ │ ├── dict.py │ │ ├── dict_assign.hny │ │ ├── dict_assign.py │ │ ├── func_1.hny │ │ ├── func_1.py │ │ ├── h2py_name_conflict.hny │ │ ├── h2py_name_conflict.py │ │ ├── h2py_name_conflict_2.hny │ │ ├── h2py_name_conflict_2.py │ │ ├── h2py_runtime │ │ ├── if_1.hny │ │ ├── if_1.py │ │ ├── if_elif_else.hny │ │ ├── if_elif_else.py │ │ ├── if_else.hny │ │ ├── if_else.py │ │ ├── imports.hny │ │ ├── imports.py │ │ ├── local_assign.hny │ │ ├── local_assign.py │ │ ├── local_assign_assert.hny │ │ ├── local_assign_assert.py │ │ ├── print.hny │ │ ├── print.py │ │ ├── ptr_apply_1.hny │ │ ├── ptr_apply_1.py │ │ ├── ptr_assign_1.hny │ │ ├── ptr_assign_1.py │ │ ├── ptr_assign_2.hny │ │ ├── ptr_assign_2.py │ │ ├── ptr_assign_3.hny │ │ ├── ptr_assign_3.py │ │ ├── ptr_assign_4.hny │ │ ├── ptr_assign_4.py │ │ ├── tuple_assign.hny │ │ ├── tuple_assign.py │ │ ├── var_1.hny │ │ ├── var_1.py │ │ ├── var_2.hny │ │ ├── var_2.py │ │ ├── while_1.hny │ │ └── while_1.py ├── test_h2py.py └── test_h2py_runtime.py └── webinstall /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/workflows/python-package.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/.github/workflows/python-package.yml -------------------------------------------------------------------------------- /.github/workflows/python-publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/.github/workflows/python-publish.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/.gitignore -------------------------------------------------------------------------------- /.upload_env.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/.upload_env.template -------------------------------------------------------------------------------- /Harmony.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/Harmony.g4 -------------------------------------------------------------------------------- /HarmonyOnWindows.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/HarmonyOnWindows.pdf -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/LICENSE -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/MANIFEST.in -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/README.md -------------------------------------------------------------------------------- /antlr-4.9.3-complete.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/antlr-4.9.3-complete.jar -------------------------------------------------------------------------------- /code/2pc.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/2pc.hny -------------------------------------------------------------------------------- /code/DinersCV2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/DinersCV2.hny -------------------------------------------------------------------------------- /code/Peterson.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/Peterson.hny -------------------------------------------------------------------------------- /code/PetersonBroken.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/PetersonBroken.hny -------------------------------------------------------------------------------- /code/PetersonInductive.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/PetersonInductive.hny -------------------------------------------------------------------------------- /code/PetersonMethod.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/PetersonMethod.hny -------------------------------------------------------------------------------- /code/RWqtest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/RWqtest.hny -------------------------------------------------------------------------------- /code/Up.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/Up.hny -------------------------------------------------------------------------------- /code/UpEnter.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/UpEnter.hny -------------------------------------------------------------------------------- /code/UpLock.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/UpLock.hny -------------------------------------------------------------------------------- /code/Upf.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/Upf.hny -------------------------------------------------------------------------------- /code/Upr.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/Upr.hny -------------------------------------------------------------------------------- /code/abd.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/abd.hny -------------------------------------------------------------------------------- /code/abdtest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/abdtest.hny -------------------------------------------------------------------------------- /code/abp.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/abp.hny -------------------------------------------------------------------------------- /code/abptest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/abptest.hny -------------------------------------------------------------------------------- /code/actor.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/actor.hny -------------------------------------------------------------------------------- /code/actortest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/actortest.hny -------------------------------------------------------------------------------- /code/atm.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/atm.hny -------------------------------------------------------------------------------- /code/atomicinc.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/atomicinc.hny -------------------------------------------------------------------------------- /code/baddblwait.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/baddblwait.hny -------------------------------------------------------------------------------- /code/bank.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/bank.hny -------------------------------------------------------------------------------- /code/bank1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/bank1.hny -------------------------------------------------------------------------------- /code/bank1safe.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/bank1safe.hny -------------------------------------------------------------------------------- /code/bank2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/bank2.hny -------------------------------------------------------------------------------- /code/bank2bad.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/bank2bad.hny -------------------------------------------------------------------------------- /code/bank3.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/bank3.hny -------------------------------------------------------------------------------- /code/bank4.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/bank4.hny -------------------------------------------------------------------------------- /code/barber.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/barber.hny -------------------------------------------------------------------------------- /code/barrier.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/barrier.hny -------------------------------------------------------------------------------- /code/barrier1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/barrier1.hny -------------------------------------------------------------------------------- /code/barrier_broken.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/barrier_broken.hny -------------------------------------------------------------------------------- /code/barrier_btest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/barrier_btest.hny -------------------------------------------------------------------------------- /code/barrier_cv.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/barrier_cv.hny -------------------------------------------------------------------------------- /code/barrier_demo.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/barrier_demo.hny -------------------------------------------------------------------------------- /code/barrier_double.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/barrier_double.hny -------------------------------------------------------------------------------- /code/barrier_once.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/barrier_once.hny -------------------------------------------------------------------------------- /code/barrier_test.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/barrier_test.hny -------------------------------------------------------------------------------- /code/barrier_test1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/barrier_test1.hny -------------------------------------------------------------------------------- /code/barrier_test2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/barrier_test2.hny -------------------------------------------------------------------------------- /code/bosco.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/bosco.hny -------------------------------------------------------------------------------- /code/bosco2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/bosco2.hny -------------------------------------------------------------------------------- /code/boundedbuffer.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/boundedbuffer.hny -------------------------------------------------------------------------------- /code/boundedbuffer_hoare.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/boundedbuffer_hoare.hny -------------------------------------------------------------------------------- /code/boundedbuffer_test1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/boundedbuffer_test1.hny -------------------------------------------------------------------------------- /code/bsort.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/bsort.hny -------------------------------------------------------------------------------- /code/byzbosco.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/byzbosco.hny -------------------------------------------------------------------------------- /code/chain.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/chain.hny -------------------------------------------------------------------------------- /code/chain1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/chain1.hny -------------------------------------------------------------------------------- /code/chain2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/chain2.hny -------------------------------------------------------------------------------- /code/chainaction.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/chainaction.hny -------------------------------------------------------------------------------- /code/chainaction1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/chainaction1.hny -------------------------------------------------------------------------------- /code/chainaction2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/chainaction2.hny -------------------------------------------------------------------------------- /code/chainrepl.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/chainrepl.hny -------------------------------------------------------------------------------- /code/clock.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/clock.hny -------------------------------------------------------------------------------- /code/consensus.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/consensus.hny -------------------------------------------------------------------------------- /code/counter.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/counter.hny -------------------------------------------------------------------------------- /code/cs.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/cs.hny -------------------------------------------------------------------------------- /code/cs_behavior.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/cs_behavior.hny -------------------------------------------------------------------------------- /code/cs_onebit.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/cs_onebit.hny -------------------------------------------------------------------------------- /code/cs_peterson.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/cs_peterson.hny -------------------------------------------------------------------------------- /code/cs_swap.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/cs_swap.hny -------------------------------------------------------------------------------- /code/csbarebones.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/csbarebones.hny -------------------------------------------------------------------------------- /code/csonebit.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/csonebit.hny -------------------------------------------------------------------------------- /code/csonebitmulti.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/csonebitmulti.hny -------------------------------------------------------------------------------- /code/diners.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/diners.hny -------------------------------------------------------------------------------- /code/diners_avoid.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/diners_avoid.hny -------------------------------------------------------------------------------- /code/diners_btest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/diners_btest.hny -------------------------------------------------------------------------------- /code/diners_cv.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/diners_cv.hny -------------------------------------------------------------------------------- /code/diners_lock.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/diners_lock.hny -------------------------------------------------------------------------------- /code/diners_order.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/diners_order.hny -------------------------------------------------------------------------------- /code/disk.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/disk.hny -------------------------------------------------------------------------------- /code/farmer.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/farmer.hny -------------------------------------------------------------------------------- /code/file.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/file.hny -------------------------------------------------------------------------------- /code/file_btest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/file_btest.hny -------------------------------------------------------------------------------- /code/file_crash.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/file_crash.hny -------------------------------------------------------------------------------- /code/file_crash_inode.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/file_crash_inode.hny -------------------------------------------------------------------------------- /code/file_inode.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/file_inode.hny -------------------------------------------------------------------------------- /code/gpu.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/gpu.hny -------------------------------------------------------------------------------- /code/hanoi.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/hanoi.hny -------------------------------------------------------------------------------- /code/hanoi2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/hanoi2.hny -------------------------------------------------------------------------------- /code/harmony.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/harmony.html -------------------------------------------------------------------------------- /code/hello1.hny: -------------------------------------------------------------------------------- 1 | print "hello world" 2 | -------------------------------------------------------------------------------- /code/hello2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/hello2.hny -------------------------------------------------------------------------------- /code/hello3.hny: -------------------------------------------------------------------------------- 1 | print choose { "hello", "world" } 2 | -------------------------------------------------------------------------------- /code/hello4.hny: -------------------------------------------------------------------------------- 1 | while choose { False, True }: 2 | print "hello world" 3 | -------------------------------------------------------------------------------- /code/hello5.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/hello5.hny -------------------------------------------------------------------------------- /code/hello6.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/hello6.hny -------------------------------------------------------------------------------- /code/hello7.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/hello7.hny -------------------------------------------------------------------------------- /code/hello8.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/hello8.hny -------------------------------------------------------------------------------- /code/hello9.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/hello9.hny -------------------------------------------------------------------------------- /code/hoare.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/hoare.hny -------------------------------------------------------------------------------- /code/hw.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/hw.hny -------------------------------------------------------------------------------- /code/knight.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/knight.hny -------------------------------------------------------------------------------- /code/ky.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/ky.hny -------------------------------------------------------------------------------- /code/ky2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/ky2.hny -------------------------------------------------------------------------------- /code/leader.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/leader.hny -------------------------------------------------------------------------------- /code/lin_q.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/lin_q.hny -------------------------------------------------------------------------------- /code/lock.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/lock.hny -------------------------------------------------------------------------------- /code/lock_demo.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/lock_demo.hny -------------------------------------------------------------------------------- /code/lock_susp.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/lock_susp.hny -------------------------------------------------------------------------------- /code/lock_tas.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/lock_tas.hny -------------------------------------------------------------------------------- /code/lock_test1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/lock_test1.hny -------------------------------------------------------------------------------- /code/lock_test2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/lock_test2.hny -------------------------------------------------------------------------------- /code/lock_test3.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/lock_test3.hny -------------------------------------------------------------------------------- /code/lock_ticket.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/lock_ticket.hny -------------------------------------------------------------------------------- /code/locks.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/locks.hny -------------------------------------------------------------------------------- /code/locks_btest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/locks_btest.hny -------------------------------------------------------------------------------- /code/lossy.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/lossy.hny -------------------------------------------------------------------------------- /code/magic.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/magic.hny -------------------------------------------------------------------------------- /code/memory.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/memory.hny -------------------------------------------------------------------------------- /code/mersenne.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/mersenne.hny -------------------------------------------------------------------------------- /code/mesa.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/mesa.hny -------------------------------------------------------------------------------- /code/multitest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/multitest.hny -------------------------------------------------------------------------------- /code/naiveFlags.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/naiveFlags.hny -------------------------------------------------------------------------------- /code/naiveLock.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/naiveLock.hny -------------------------------------------------------------------------------- /code/naiveTurn.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/naiveTurn.hny -------------------------------------------------------------------------------- /code/needhamschroeder.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/needhamschroeder.hny -------------------------------------------------------------------------------- /code/olb.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/olb.hny -------------------------------------------------------------------------------- /code/olb_btest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/olb_btest.hny -------------------------------------------------------------------------------- /code/olb_locks.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/olb_locks.hny -------------------------------------------------------------------------------- /code/olb_test1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/olb_test1.hny -------------------------------------------------------------------------------- /code/paxos.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/paxos.hny -------------------------------------------------------------------------------- /code/paxos3.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/paxos3.hny -------------------------------------------------------------------------------- /code/primes.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/primes.hny -------------------------------------------------------------------------------- /code/prog1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/prog1.hny -------------------------------------------------------------------------------- /code/prog2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/prog2.hny -------------------------------------------------------------------------------- /code/prog3.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/prog3.hny -------------------------------------------------------------------------------- /code/prog4.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/prog4.hny -------------------------------------------------------------------------------- /code/prog4enter.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/prog4enter.hny -------------------------------------------------------------------------------- /code/prog4lock.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/prog4lock.hny -------------------------------------------------------------------------------- /code/prog5.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/prog5.hny -------------------------------------------------------------------------------- /code/prog6.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/prog6.hny -------------------------------------------------------------------------------- /code/qbarrier.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/qbarrier.hny -------------------------------------------------------------------------------- /code/qsort.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/qsort.hny -------------------------------------------------------------------------------- /code/qsorttest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/qsorttest.hny -------------------------------------------------------------------------------- /code/queue.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue.hny -------------------------------------------------------------------------------- /code/queue_MS.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_MS.hny -------------------------------------------------------------------------------- /code/queue_block.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_block.hny -------------------------------------------------------------------------------- /code/queue_block_cv.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_block_cv.hny -------------------------------------------------------------------------------- /code/queue_broken1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_broken1.hny -------------------------------------------------------------------------------- /code/queue_broken2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_broken2.hny -------------------------------------------------------------------------------- /code/queue_btest1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_btest1.hny -------------------------------------------------------------------------------- /code/queue_btest2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_btest2.hny -------------------------------------------------------------------------------- /code/queue_cas.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_cas.hny -------------------------------------------------------------------------------- /code/queue_direct.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_direct.hny -------------------------------------------------------------------------------- /code/queue_fix.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_fix.hny -------------------------------------------------------------------------------- /code/queue_lin.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_lin.hny -------------------------------------------------------------------------------- /code/queue_lock.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_lock.hny -------------------------------------------------------------------------------- /code/queue_nonatom.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_nonatom.hny -------------------------------------------------------------------------------- /code/queue_nonatom_seq.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_nonatom_seq.hny -------------------------------------------------------------------------------- /code/queue_test.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_test.hny -------------------------------------------------------------------------------- /code/queue_test1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_test1.hny -------------------------------------------------------------------------------- /code/queue_test2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_test2.hny -------------------------------------------------------------------------------- /code/queue_test3.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_test3.hny -------------------------------------------------------------------------------- /code/queue_test4.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_test4.hny -------------------------------------------------------------------------------- /code/queue_test5.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_test5.hny -------------------------------------------------------------------------------- /code/queue_test6.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_test6.hny -------------------------------------------------------------------------------- /code/queue_test_lin.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_test_lin.hny -------------------------------------------------------------------------------- /code/queue_test_seq.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/queue_test_seq.hny -------------------------------------------------------------------------------- /code/register.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/register.hny -------------------------------------------------------------------------------- /code/rollercoaster.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/rollercoaster.hny -------------------------------------------------------------------------------- /code/rsm.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/rsm.hny -------------------------------------------------------------------------------- /code/rsmspec.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/rsmspec.hny -------------------------------------------------------------------------------- /code/rwlock.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/rwlock.hny -------------------------------------------------------------------------------- /code/rwlock_btest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/rwlock_btest.hny -------------------------------------------------------------------------------- /code/rwlock_btest2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/rwlock_btest2.hny -------------------------------------------------------------------------------- /code/rwlock_busy.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/rwlock_busy.hny -------------------------------------------------------------------------------- /code/rwlock_cheat.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/rwlock_cheat.hny -------------------------------------------------------------------------------- /code/rwlock_cv.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/rwlock_cv.hny -------------------------------------------------------------------------------- /code/rwlock_cv_fair.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/rwlock_cv_fair.hny -------------------------------------------------------------------------------- /code/rwlock_sbs.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/rwlock_sbs.hny -------------------------------------------------------------------------------- /code/rwlock_sbs_fair.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/rwlock_sbs_fair.hny -------------------------------------------------------------------------------- /code/rwlock_test1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/rwlock_test1.hny -------------------------------------------------------------------------------- /code/seq_ex.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/seq_ex.hny -------------------------------------------------------------------------------- /code/seq_q.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/seq_q.hny -------------------------------------------------------------------------------- /code/setobj.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/setobj.hny -------------------------------------------------------------------------------- /code/setobj_btest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/setobj_btest.hny -------------------------------------------------------------------------------- /code/setobj_linkedlist.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/setobj_linkedlist.hny -------------------------------------------------------------------------------- /code/setobj_test1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/setobj_test1.hny -------------------------------------------------------------------------------- /code/spinlock.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/spinlock.hny -------------------------------------------------------------------------------- /code/stack.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/stack.hny -------------------------------------------------------------------------------- /code/stack1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/stack1.hny -------------------------------------------------------------------------------- /code/stack2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/stack2.hny -------------------------------------------------------------------------------- /code/stack3.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/stack3.hny -------------------------------------------------------------------------------- /code/stack4.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/stack4.hny -------------------------------------------------------------------------------- /code/stacktest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/stacktest.hny -------------------------------------------------------------------------------- /code/trap.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/trap.hny -------------------------------------------------------------------------------- /code/trap2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/trap2.hny -------------------------------------------------------------------------------- /code/trap3.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/trap3.hny -------------------------------------------------------------------------------- /code/trap4.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/trap4.hny -------------------------------------------------------------------------------- /code/trap5.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/trap5.hny -------------------------------------------------------------------------------- /code/trap6.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/trap6.hny -------------------------------------------------------------------------------- /code/triangle.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/triangle.hny -------------------------------------------------------------------------------- /code/wal.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/wal.hny -------------------------------------------------------------------------------- /code/xy.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/code/xy.hny -------------------------------------------------------------------------------- /compiler_integration_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/compiler_integration_test.py -------------------------------------------------------------------------------- /compose.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/compose.pdf -------------------------------------------------------------------------------- /diners.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/diners.py -------------------------------------------------------------------------------- /distributions/harmony-0.9.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/distributions/harmony-0.9.zip -------------------------------------------------------------------------------- /distributions/harmony-1.0.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/distributions/harmony-1.0.zip -------------------------------------------------------------------------------- /distributions/harmony-1.1.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/distributions/harmony-1.1.zip -------------------------------------------------------------------------------- /distributions/makedistr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/distributions/makedistr -------------------------------------------------------------------------------- /doc-images/adding-new-path.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/doc-images/adding-new-path.png -------------------------------------------------------------------------------- /doc-images/find-c++-build-tools.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/doc-images/find-c++-build-tools.png -------------------------------------------------------------------------------- /doc-images/first-pane.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/doc-images/first-pane.png -------------------------------------------------------------------------------- /doc-images/hover-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/doc-images/hover-new.png -------------------------------------------------------------------------------- /doc-images/press-install-c++-build-tools.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/doc-images/press-install-c++-build-tools.png -------------------------------------------------------------------------------- /doc-images/simple-graph-example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/doc-images/simple-graph-example.png -------------------------------------------------------------------------------- /docs/GrammarParser.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/docs/GrammarParser.md -------------------------------------------------------------------------------- /h2py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/h2py -------------------------------------------------------------------------------- /harmony: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony -------------------------------------------------------------------------------- /harmony.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony.bat -------------------------------------------------------------------------------- /harmony_model_checker/charm/charm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/charm.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/charm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/charm.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/code.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/code.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/code.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/code.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/dfa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/dfa.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/dfa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/dfa.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/dfa2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/dfa2.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/dot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/dot.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/dot.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/dot.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/fastrange.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/fastrange.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/global.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/global.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/global.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/gnfa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/gnfa.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/gnfa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/gnfa.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/graph.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/graph.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/graph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/graph.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/hashdict.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/hashdict.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/hashdict.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/hashdict.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/hashtab.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/hashtab.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/head.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/head.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/iface: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/iface -------------------------------------------------------------------------------- /harmony_model_checker/charm/iface.obs/hashset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/iface.obs/hashset.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/iface.obs/hashset.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/iface.obs/hashset.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/iface.obs/iface.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/iface.obs/iface.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/iface.obs/iface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/iface.obs/iface.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/iface.obs/iface_graph.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/iface.obs/iface_graph.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/iface.obs/iface_graph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/iface.obs/iface_graph.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/iface.obs/minheap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/iface.obs/minheap.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/iface.obs/minheap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/iface.obs/minheap.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/iface.obs/queue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/iface.obs/queue.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/iface.obs/queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/iface.obs/queue.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/iface.obs/stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/iface.obs/stack.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/iface.obs/stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/iface.obs/stack.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/ipi/ipi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/ipi/ipi.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/json.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/json.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/json.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/json.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/ops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/ops.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/ops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/ops.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/prefetcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/prefetcher.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/python_ext/ext.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/python_ext/ext.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/sdict.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/sdict.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/sdict.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/sdict.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/spawn.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/spawn.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/strbuf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/strbuf.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/strbuf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/strbuf.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/thread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/thread.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/thread.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/thread.h -------------------------------------------------------------------------------- /harmony_model_checker/charm/value.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/value.c -------------------------------------------------------------------------------- /harmony_model_checker/charm/value.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/charm/value.h -------------------------------------------------------------------------------- /harmony_model_checker/compile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/compile.py -------------------------------------------------------------------------------- /harmony_model_checker/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/config.py -------------------------------------------------------------------------------- /harmony_model_checker/dfacmp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/dfacmp.py -------------------------------------------------------------------------------- /harmony_model_checker/exception.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/exception.py -------------------------------------------------------------------------------- /harmony_model_checker/h2py/H2PyEnv.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/h2py/H2PyEnv.py -------------------------------------------------------------------------------- /harmony_model_checker/h2py/H2PyExprVisitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/h2py/H2PyExprVisitor.py -------------------------------------------------------------------------------- /harmony_model_checker/h2py/H2PyStmtVisitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/h2py/H2PyStmtVisitor.py -------------------------------------------------------------------------------- /harmony_model_checker/h2py/h2py.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/h2py/h2py.py -------------------------------------------------------------------------------- /harmony_model_checker/h2py/h2py_runtime/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/h2py/h2py_runtime/__init__.py -------------------------------------------------------------------------------- /harmony_model_checker/h2py/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/h2py/util.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/AbstractASTVisitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/AbstractASTVisitor.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/DumpASTVisitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/DumpASTVisitor.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /harmony_model_checker/harmony/ast.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/ast.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/bag_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/bag_util.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/behavior.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/behavior.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/brief.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/brief.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/charm.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/charm.css -------------------------------------------------------------------------------- /harmony_model_checker/harmony/charm.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/charm.js -------------------------------------------------------------------------------- /harmony_model_checker/harmony/code.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/code.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/genhtml.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/genhtml.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/harmony.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/harmony.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/jsonstring.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/jsonstring.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/ops.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/ops.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/scope.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/scope.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/state.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/summarize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/summarize.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/summary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/summary.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/tex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/tex.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/value.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/value.py -------------------------------------------------------------------------------- /harmony_model_checker/harmony/verbose.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/harmony/verbose.py -------------------------------------------------------------------------------- /harmony_model_checker/iface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/iface.py -------------------------------------------------------------------------------- /harmony_model_checker/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/main.py -------------------------------------------------------------------------------- /harmony_model_checker/modules/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /harmony_model_checker/modules/action.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/modules/action.hny -------------------------------------------------------------------------------- /harmony_model_checker/modules/alloc.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/modules/alloc.hny -------------------------------------------------------------------------------- /harmony_model_checker/modules/bags.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/modules/bags.hny -------------------------------------------------------------------------------- /harmony_model_checker/modules/hoare.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/modules/hoare.hny -------------------------------------------------------------------------------- /harmony_model_checker/modules/lists.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/modules/lists.hny -------------------------------------------------------------------------------- /harmony_model_checker/modules/sets.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/modules/sets.hny -------------------------------------------------------------------------------- /harmony_model_checker/modules/synch.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/modules/synch.hny -------------------------------------------------------------------------------- /harmony_model_checker/modules/synchBusy.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/modules/synchBusy.hny -------------------------------------------------------------------------------- /harmony_model_checker/modules/synchImprecise.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/modules/synchImprecise.hny -------------------------------------------------------------------------------- /harmony_model_checker/modules/synchS.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/modules/synchS.hny -------------------------------------------------------------------------------- /harmony_model_checker/modules/thread.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/modules/thread.hny -------------------------------------------------------------------------------- /harmony_model_checker/parser/HarmonyErrorListener.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/parser/HarmonyErrorListener.py -------------------------------------------------------------------------------- /harmony_model_checker/parser/HarmonyLexer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/parser/HarmonyLexer.py -------------------------------------------------------------------------------- /harmony_model_checker/parser/HarmonyParser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/parser/HarmonyParser.py -------------------------------------------------------------------------------- /harmony_model_checker/parser/HarmonyVisitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/parser/HarmonyVisitor.py -------------------------------------------------------------------------------- /harmony_model_checker/parser/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /harmony_model_checker/parser/antlr_rule_visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/parser/antlr_rule_visitor.py -------------------------------------------------------------------------------- /harmony_model_checker/parser/custom_denter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/parser/custom_denter.py -------------------------------------------------------------------------------- /harmony_model_checker/util/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /harmony_model_checker/util/logger.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/harmony_model_checker/util/logger.py -------------------------------------------------------------------------------- /heval: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/heval -------------------------------------------------------------------------------- /heval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/heval.py -------------------------------------------------------------------------------- /install-test-pkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/install-test-pkg -------------------------------------------------------------------------------- /manifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/manifest -------------------------------------------------------------------------------- /nworkers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/nworkers.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/pyproject.toml -------------------------------------------------------------------------------- /python/Up.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/python/Up.py -------------------------------------------------------------------------------- /python/UpMany.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/python/UpMany.py -------------------------------------------------------------------------------- /python/inc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/python/inc.py -------------------------------------------------------------------------------- /python/incmany.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/python/incmany.py -------------------------------------------------------------------------------- /python/qtestpar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/python/qtestpar.py -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/requirements.txt -------------------------------------------------------------------------------- /runall.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/runall.py -------------------------------------------------------------------------------- /runall.scr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/runall.scr -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/setup.py -------------------------------------------------------------------------------- /test/Bakery.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/Bakery.hny -------------------------------------------------------------------------------- /test/Dekker.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/Dekker.hny -------------------------------------------------------------------------------- /test/DinersCVwrong.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/DinersCVwrong.hny -------------------------------------------------------------------------------- /test/DinersOrdered.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/DinersOrdered.hny -------------------------------------------------------------------------------- /test/DinersVar.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/DinersVar.hny -------------------------------------------------------------------------------- /test/EM.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/EM.hny -------------------------------------------------------------------------------- /test/InfLoop.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/InfLoop.hny -------------------------------------------------------------------------------- /test/Lock.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/Lock.hny -------------------------------------------------------------------------------- /test/NotLiveSym.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/NotLiveSym.hny -------------------------------------------------------------------------------- /test/NotSaveSym.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/NotSaveSym.hny -------------------------------------------------------------------------------- /test/PCbinsem.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/PCbinsem.hny -------------------------------------------------------------------------------- /test/PCcv.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/PCcv.hny -------------------------------------------------------------------------------- /test/PClock.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/PClock.hny -------------------------------------------------------------------------------- /test/PetersonBadProof.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/PetersonBadProof.hny -------------------------------------------------------------------------------- /test/PetersonBroken.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/PetersonBroken.hny -------------------------------------------------------------------------------- /test/PetersonOO.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/PetersonOO.hny -------------------------------------------------------------------------------- /test/RWbadlock.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/RWbadlock.hny -------------------------------------------------------------------------------- /test/RWhoare.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/RWhoare.hny -------------------------------------------------------------------------------- /test/Sema.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/Sema.hny -------------------------------------------------------------------------------- /test/Stop.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/Stop.hny -------------------------------------------------------------------------------- /test/Szymanski.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/Szymanski.hny -------------------------------------------------------------------------------- /test/Turn.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/Turn.hny -------------------------------------------------------------------------------- /test/anonbosco.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/anonbosco.hny -------------------------------------------------------------------------------- /test/anonbosco2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/anonbosco2.hny -------------------------------------------------------------------------------- /test/anonbosco3.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/anonbosco3.hny -------------------------------------------------------------------------------- /test/barber.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/barber.hny -------------------------------------------------------------------------------- /test/barriertest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/barriertest.hny -------------------------------------------------------------------------------- /test/benor.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/benor.hny -------------------------------------------------------------------------------- /test/bosco.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/bosco.hny -------------------------------------------------------------------------------- /test/bound.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/bound.hny -------------------------------------------------------------------------------- /test/bound_chk1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/bound_chk1.hny -------------------------------------------------------------------------------- /test/bound_chk2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/bound_chk2.hny -------------------------------------------------------------------------------- /test/busywait.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/busywait.hny -------------------------------------------------------------------------------- /test/byzbosco.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/byzbosco.hny -------------------------------------------------------------------------------- /test/ctriangle.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/ctriangle.hny -------------------------------------------------------------------------------- /test/dijkstra.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/dijkstra.hny -------------------------------------------------------------------------------- /test/extqtest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/extqtest.hny -------------------------------------------------------------------------------- /test/extqueue.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/extqueue.hny -------------------------------------------------------------------------------- /test/lst.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/lst.hny -------------------------------------------------------------------------------- /test/msort.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/msort.hny -------------------------------------------------------------------------------- /test/mutex.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/mutex.hny -------------------------------------------------------------------------------- /test/pascal.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/pascal.hny -------------------------------------------------------------------------------- /test/paxos.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/paxos.hny -------------------------------------------------------------------------------- /test/poolmesa.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/poolmesa.hny -------------------------------------------------------------------------------- /test/poolsbs.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/poolsbs.hny -------------------------------------------------------------------------------- /test/pooltest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/pooltest.hny -------------------------------------------------------------------------------- /test/qsort.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/qsort.hny -------------------------------------------------------------------------------- /test/queue.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/queue.hny -------------------------------------------------------------------------------- /test/rdwr.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/rdwr.hny -------------------------------------------------------------------------------- /test/sorttest.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/sorttest.hny -------------------------------------------------------------------------------- /test/teahouse.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/teahouse.hny -------------------------------------------------------------------------------- /test/test.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/test/test.hny -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/resources/h2py/addr_1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/addr_1.hny -------------------------------------------------------------------------------- /tests/resources/h2py/addr_1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/addr_1.py -------------------------------------------------------------------------------- /tests/resources/h2py/addr_2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/addr_2.hny -------------------------------------------------------------------------------- /tests/resources/h2py/addr_2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/addr_2.py -------------------------------------------------------------------------------- /tests/resources/h2py/addr_3.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/addr_3.hny -------------------------------------------------------------------------------- /tests/resources/h2py/addr_3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/addr_3.py -------------------------------------------------------------------------------- /tests/resources/h2py/apply_1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/apply_1.hny -------------------------------------------------------------------------------- /tests/resources/h2py/apply_1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/apply_1.py -------------------------------------------------------------------------------- /tests/resources/h2py/binops.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/binops.hny -------------------------------------------------------------------------------- /tests/resources/h2py/binops.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/binops.py -------------------------------------------------------------------------------- /tests/resources/h2py/choose_1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/choose_1.hny -------------------------------------------------------------------------------- /tests/resources/h2py/choose_1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/choose_1.py -------------------------------------------------------------------------------- /tests/resources/h2py/dict.hny: -------------------------------------------------------------------------------- 1 | x = { .y: 5, .z: 10 } 2 | print(x.y + x.z) -------------------------------------------------------------------------------- /tests/resources/h2py/dict.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/dict.py -------------------------------------------------------------------------------- /tests/resources/h2py/dict_assign.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/dict_assign.hny -------------------------------------------------------------------------------- /tests/resources/h2py/dict_assign.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/dict_assign.py -------------------------------------------------------------------------------- /tests/resources/h2py/func_1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/func_1.hny -------------------------------------------------------------------------------- /tests/resources/h2py/func_1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/func_1.py -------------------------------------------------------------------------------- /tests/resources/h2py/h2py_name_conflict.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/h2py_name_conflict.hny -------------------------------------------------------------------------------- /tests/resources/h2py/h2py_name_conflict.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/h2py_name_conflict.py -------------------------------------------------------------------------------- /tests/resources/h2py/h2py_name_conflict_2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/h2py_name_conflict_2.hny -------------------------------------------------------------------------------- /tests/resources/h2py/h2py_name_conflict_2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/h2py_name_conflict_2.py -------------------------------------------------------------------------------- /tests/resources/h2py/h2py_runtime: -------------------------------------------------------------------------------- 1 | ../../../harmony_model_checker/h2py/h2py_runtime -------------------------------------------------------------------------------- /tests/resources/h2py/if_1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/if_1.hny -------------------------------------------------------------------------------- /tests/resources/h2py/if_1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/if_1.py -------------------------------------------------------------------------------- /tests/resources/h2py/if_elif_else.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/if_elif_else.hny -------------------------------------------------------------------------------- /tests/resources/h2py/if_elif_else.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/if_elif_else.py -------------------------------------------------------------------------------- /tests/resources/h2py/if_else.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/if_else.hny -------------------------------------------------------------------------------- /tests/resources/h2py/if_else.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/if_else.py -------------------------------------------------------------------------------- /tests/resources/h2py/imports.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/imports.hny -------------------------------------------------------------------------------- /tests/resources/h2py/imports.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/imports.py -------------------------------------------------------------------------------- /tests/resources/h2py/local_assign.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/local_assign.hny -------------------------------------------------------------------------------- /tests/resources/h2py/local_assign.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/local_assign.py -------------------------------------------------------------------------------- /tests/resources/h2py/local_assign_assert.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/local_assign_assert.hny -------------------------------------------------------------------------------- /tests/resources/h2py/local_assign_assert.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/local_assign_assert.py -------------------------------------------------------------------------------- /tests/resources/h2py/print.hny: -------------------------------------------------------------------------------- 1 | print(5) -------------------------------------------------------------------------------- /tests/resources/h2py/print.py: -------------------------------------------------------------------------------- 1 | from h2py_runtime import * 2 | print(5) -------------------------------------------------------------------------------- /tests/resources/h2py/ptr_apply_1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/ptr_apply_1.hny -------------------------------------------------------------------------------- /tests/resources/h2py/ptr_apply_1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/ptr_apply_1.py -------------------------------------------------------------------------------- /tests/resources/h2py/ptr_assign_1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/ptr_assign_1.hny -------------------------------------------------------------------------------- /tests/resources/h2py/ptr_assign_1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/ptr_assign_1.py -------------------------------------------------------------------------------- /tests/resources/h2py/ptr_assign_2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/ptr_assign_2.hny -------------------------------------------------------------------------------- /tests/resources/h2py/ptr_assign_2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/ptr_assign_2.py -------------------------------------------------------------------------------- /tests/resources/h2py/ptr_assign_3.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/ptr_assign_3.hny -------------------------------------------------------------------------------- /tests/resources/h2py/ptr_assign_3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/ptr_assign_3.py -------------------------------------------------------------------------------- /tests/resources/h2py/ptr_assign_4.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/ptr_assign_4.hny -------------------------------------------------------------------------------- /tests/resources/h2py/ptr_assign_4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/ptr_assign_4.py -------------------------------------------------------------------------------- /tests/resources/h2py/tuple_assign.hny: -------------------------------------------------------------------------------- 1 | x, y = 3, 4 2 | print(x + y) -------------------------------------------------------------------------------- /tests/resources/h2py/tuple_assign.py: -------------------------------------------------------------------------------- 1 | from h2py_runtime import * 2 | (x, y) = (3, 4) 3 | print(x + y) -------------------------------------------------------------------------------- /tests/resources/h2py/var_1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/var_1.hny -------------------------------------------------------------------------------- /tests/resources/h2py/var_1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/var_1.py -------------------------------------------------------------------------------- /tests/resources/h2py/var_2.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/var_2.hny -------------------------------------------------------------------------------- /tests/resources/h2py/var_2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/var_2.py -------------------------------------------------------------------------------- /tests/resources/h2py/while_1.hny: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/while_1.hny -------------------------------------------------------------------------------- /tests/resources/h2py/while_1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/resources/h2py/while_1.py -------------------------------------------------------------------------------- /tests/test_h2py.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/test_h2py.py -------------------------------------------------------------------------------- /tests/test_h2py_runtime.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/tests/test_h2py_runtime.py -------------------------------------------------------------------------------- /webinstall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harmonylang/harmony/HEAD/webinstall --------------------------------------------------------------------------------