├── .gitignore ├── GA ├── GA-enumerator.rkt ├── GA-forwardbackward.rkt ├── GA-inverse.rkt ├── GA-machine.rkt ├── GA-ops-racket.rkt ├── GA-ops-rosette.rkt ├── GA-parser.rkt ├── GA-printer.rkt ├── GA-simulator-racket.rkt ├── GA-simulator-rosette.rkt ├── GA-stochastic.rkt ├── GA-symbolic.rkt ├── GA-validator.rkt ├── data-ex │ └── inputs ├── data-fff │ └── inputs ├── data-fir │ ├── inputs │ └── program ├── data-iii2 │ └── inputs ├── data-interp │ ├── inputs │ └── program ├── data-rrotate │ ├── inputs │ └── program ├── main.rkt ├── optimize.rkt ├── programs │ ├── complexA.rkt │ ├── complexA.s │ ├── complexA.s.info │ ├── complexB.rkt │ ├── complexB.s │ ├── complexB.s.info │ ├── complexC.rkt │ ├── complexC.s │ ├── complexC.s.info │ ├── fff.s │ ├── fff.s.info │ ├── fff_ex.s │ ├── fir.s │ ├── fir.s.info │ ├── ggg.s │ ├── ggg.s.info │ ├── hhh.s │ ├── hhh.s.info │ ├── iii.rkt │ ├── iii.s │ ├── iii.s.info │ ├── iii_ex.s │ ├── iii_ex.s.info │ ├── interp.rkt │ ├── interp.s │ ├── interp.s.info │ ├── interp_large.s │ ├── interp_large.s.info │ ├── p13_sign.s │ ├── p13_sign.s.info │ ├── p14_floor.s │ ├── p14_floor.s.info │ ├── p15_ceil.s │ ├── p15_ceil.s.info │ ├── p17_off_right.s │ ├── p17_off_right.s.info │ ├── p23_count.s │ ├── p23_count.s.info │ ├── p24_roundpower.s │ ├── p24_roundpower.s.info │ ├── roundpower.s │ ├── roundpower.s.info │ ├── rrotate.rkt │ ├── rrotate.s │ ├── rrotate.s.info │ ├── run.rkt │ ├── shaf.rkt │ ├── shaf.s │ ├── shaf.s.info │ ├── shag.s │ ├── shag.s.info │ ├── zero.s │ ├── zero.s.info │ ├── zero2.s │ └── zero2.s.info ├── run.sh ├── run1.sh ├── test-liveness.rkt ├── test-optimizer.rkt ├── test-regression.rkt ├── test-search.rkt ├── test-simulator.rkt ├── test-solver.rkt └── test.rkt ├── LICENSE ├── Makefile ├── README.md ├── TODO ├── arm ├── alive │ ├── 186.rkt │ ├── 242.rkt │ ├── 255.rkt │ ├── 274.rkt │ ├── note │ ├── run.sh │ └── test-search.rkt ├── arm-enumerator.rkt ├── arm-forwardbackward.rkt ├── arm-inverse.rkt ├── arm-machine.rkt ├── arm-parser.rkt ├── arm-printer.rkt ├── arm-simulator-racket.rkt ├── arm-simulator-rosette.rkt ├── arm-stochastic.rkt ├── arm-symbolic.rkt ├── arm-validator.rkt ├── generate-inputs.rkt ├── main.rkt ├── optimize.rkt ├── programs │ ├── div.s │ ├── fir_ex.s │ ├── fir_ex.s.info │ ├── fir_l5.s │ ├── fir_l5.s.info │ ├── nibble_l11a.s │ ├── nibble_l11a.s.info │ ├── nibble_l11b.s │ ├── nibble_l11b.s.info │ ├── nibble_read.s │ ├── nibble_read.s.info │ ├── nibble_write.s │ ├── nibble_write.s.info │ ├── p10_nlz_eq.s │ ├── p10_nlz_eq.s.info │ ├── p10_nlz_eq_o0.s │ ├── p10_nlz_eq_o0.s.info │ ├── p10_trail.s │ ├── p11_nlz_lt.s │ ├── p11_nlz_lt.s.info │ ├── p11_nlz_lt_o0.s │ ├── p11_nlz_lt_o0.s.info │ ├── p12_nlz_le.s │ ├── p12_nlz_le.s.info │ ├── p12_nlz_le_o0.s │ ├── p12_nlz_le_o0.s.info │ ├── p13_sign.s │ ├── p13_sign.s.info │ ├── p13_sign_o0.s │ ├── p13_sign_o0.s.info │ ├── p14_floor_avg.s │ ├── p14_floor_avg.s.info │ ├── p14_floor_avg_o0.s │ ├── p14_floor_avg_o0.s.info │ ├── p14_p15_p17_p21_o0.s │ ├── p15_ceil_avg.s │ ├── p15_ceil_avg.s.info │ ├── p15_ceil_avg_o0.s │ ├── p15_ceil_avg_o0.s.info │ ├── p16_max.s │ ├── p16_max.s.info │ ├── p16_max_o0.s │ ├── p16_max_o0.s.info │ ├── p17_off_right.s │ ├── p17_off_right.s.info │ ├── p17_off_right_o0.s │ ├── p17_off_right_o0.s.info │ ├── p17_p21.s │ ├── p17_p21_o0.s │ ├── p18_is_power.s │ ├── p18_is_power.s.info │ ├── p18_is_power_o0.s │ ├── p18_is_power_o0.s.info │ ├── p19_exchange.s │ ├── p19_exchange.s.info │ ├── p19_exchange_o0.s │ ├── p19_exchange_o0.s.info │ ├── p20_next_higher.s │ ├── p20_next_higher.s.info │ ├── p20_next_higher_o0.s │ ├── p20_next_higher_o0.s.info │ ├── p21_cycle.s │ ├── p21_cycle.s.info │ ├── p21_cycle_o0.s │ ├── p21_cycle_o0.s.info │ ├── p22_parity.s │ ├── p22_parity.s.info │ ├── p22_parity_o0.s │ ├── p22_parity_o0.s.info │ ├── p23_count.s │ ├── p23_count.s.info │ ├── p23_count_o0.s │ ├── p23_count_o0.s.info │ ├── p24_roundpower.s │ ├── p24_roundpower.s.info │ ├── p24_roundpower2.s │ ├── p24_roundpower2.s.info │ ├── p24_roundpower_o0.s │ ├── p24_roundpower_o0.s.info │ ├── p25_smmul.s │ ├── p25_smmul.s.info │ ├── p25_smmul_o0.s │ ├── p25_smmul_o0.s.info │ ├── rl_TxRateMatch_5.s │ ├── rl_TxRateMatch_5.s.info │ ├── rl_bitarray_2.s │ ├── rl_bitarray_2.s.info │ ├── rl_bitcnt_2_0.s │ ├── rl_bitcnt_2_0.s.info │ ├── rl_susan_155.s │ ├── rl_susan_155.s.info │ ├── rl_susan_391.s │ ├── rl_susan_391.s.info │ ├── rl_susan_391_extract.s │ ├── rl_susan_391_extract.s.info │ ├── rl_susan_391_extract2.s │ ├── rl_susan_391_extract2.s.info │ ├── rm_TxRateMatch_5a.s │ ├── rm_TxRateMatch_5a.s.info │ ├── rm_TxRateMatch_5b.s │ ├── rm_TxRateMatch_5b.s.info │ ├── rm_TxRateMatch_98.s │ ├── rm_TxRateMatch_98.s.info │ ├── rm_bitarray_1.s │ ├── rm_bitarray_1.s.info │ ├── rm_bitarray_3.s │ ├── rm_bitarray_3.s.info │ ├── rm_bitcnts_2.s │ ├── rm_bitcnts_2.s.info │ ├── rm_isqrt_1.s │ ├── rm_isqrt_1.s.info │ ├── rs_Descramble_9a.s │ ├── rs_Descramble_9a.s.info │ ├── rs_TxRateMatch_98a.s │ ├── rs_TxRateMatch_98a.s.info │ ├── sha_ex.s │ ├── sha_ex.s.info │ ├── sha_l2.s │ ├── sha_l2.s.info │ ├── sha_l3.s │ ├── sha_l3.s.info │ ├── sha_l4.s │ ├── sha_l4.s.info │ ├── test.sh │ ├── wb_descram9a.s │ ├── wb_txrate5a.s │ └── wb_txrate5b.s ├── run.sh ├── run_apps.sh ├── run_enum.sh ├── run_hybrid.sh ├── run_real.sh ├── run_stoch_o.sh ├── run_stoch_s.sh ├── run_sym.sh ├── run_test.sh ├── test-regression.rkt ├── test-search.rkt ├── test-simulator.rkt └── test-solver.rkt ├── configure.py ├── decomposer.rkt ├── documentation ├── add-more-instructions.md ├── advanced-usage.md ├── new-isa.md └── special-objects.md ├── enumerator.rkt ├── fitness-learner.rkt ├── forwardbackward.rkt ├── inst.rkt ├── inverse.rkt ├── llvm ├── llvm-enumerator.rkt ├── llvm-forwardbackward.rkt ├── llvm-inverse.rkt ├── llvm-machine.rkt ├── llvm-parser.rkt ├── llvm-printer.rkt ├── llvm-simulator-racket.rkt ├── llvm-simulator-rosette.rkt ├── llvm-stochastic.rkt ├── llvm-symbolic.rkt ├── llvm-validator.rkt ├── main.rkt ├── optimize.rkt ├── programs │ ├── clear3bits.ll │ ├── clear3bits.ll.info │ ├── loadstore.ll │ ├── loadstore.ll.info │ ├── p24.ll │ ├── p24.ll.info │ ├── vector1.ll │ └── vector1.ll.info ├── test-regression.rkt ├── test-search.rkt ├── test-simulator.rkt └── test-solver.rkt ├── machine.rkt ├── memory-racket.rkt ├── memory-rosette.rkt ├── ops-racket.rkt ├── ops-rosette.rkt ├── parallel-driver.rkt ├── parser.rkt ├── printer.rkt ├── queue-racket.rkt ├── queue-rosette.rkt ├── setup.py ├── simulator-racket.rkt ├── simulator-rosette.rkt ├── simulator.rkt ├── special.rkt ├── stat.rkt ├── stat ├── correlation.py ├── graph.py └── plot.py ├── stochastic.rkt ├── symbolic.rkt ├── template ├── class-constructor.rkt ├── class.rkt ├── forwardbackward.rkt ├── machine.rkt ├── main.rkt ├── optimize.rkt ├── parser.rkt ├── printer.rkt ├── simulator-racket.rkt ├── simulator-rosette.rkt ├── stochastic.rkt ├── symbolic.rkt ├── test-search.rkt └── test-simulator.rkt └── validator.rkt /.gitignore: -------------------------------------------------------------------------------- 1 | compiled 2 | *~ 3 | vpe 4 | path.rkt 5 | .DS_Store -------------------------------------------------------------------------------- /GA/GA-enumerator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/GA-enumerator.rkt -------------------------------------------------------------------------------- /GA/GA-forwardbackward.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/GA-forwardbackward.rkt -------------------------------------------------------------------------------- /GA/GA-inverse.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/GA-inverse.rkt -------------------------------------------------------------------------------- /GA/GA-machine.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/GA-machine.rkt -------------------------------------------------------------------------------- /GA/GA-ops-racket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/GA-ops-racket.rkt -------------------------------------------------------------------------------- /GA/GA-ops-rosette.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/GA-ops-rosette.rkt -------------------------------------------------------------------------------- /GA/GA-parser.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/GA-parser.rkt -------------------------------------------------------------------------------- /GA/GA-printer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/GA-printer.rkt -------------------------------------------------------------------------------- /GA/GA-simulator-racket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/GA-simulator-racket.rkt -------------------------------------------------------------------------------- /GA/GA-simulator-rosette.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/GA-simulator-rosette.rkt -------------------------------------------------------------------------------- /GA/GA-stochastic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/GA-stochastic.rkt -------------------------------------------------------------------------------- /GA/GA-symbolic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/GA-symbolic.rkt -------------------------------------------------------------------------------- /GA/GA-validator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/GA-validator.rkt -------------------------------------------------------------------------------- /GA/data-ex/inputs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/data-ex/inputs -------------------------------------------------------------------------------- /GA/data-fff/inputs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/data-fff/inputs -------------------------------------------------------------------------------- /GA/data-fir/inputs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/data-fir/inputs -------------------------------------------------------------------------------- /GA/data-fir/program: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/data-fir/program -------------------------------------------------------------------------------- /GA/data-iii2/inputs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/data-iii2/inputs -------------------------------------------------------------------------------- /GA/data-interp/inputs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/data-interp/inputs -------------------------------------------------------------------------------- /GA/data-interp/program: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/data-interp/program -------------------------------------------------------------------------------- /GA/data-rrotate/inputs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/data-rrotate/inputs -------------------------------------------------------------------------------- /GA/data-rrotate/program: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/data-rrotate/program -------------------------------------------------------------------------------- /GA/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/main.rkt -------------------------------------------------------------------------------- /GA/optimize.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/optimize.rkt -------------------------------------------------------------------------------- /GA/programs/complexA.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/complexA.rkt -------------------------------------------------------------------------------- /GA/programs/complexA.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/complexA.s -------------------------------------------------------------------------------- /GA/programs/complexA.s.info: -------------------------------------------------------------------------------- 1 | data 2 2 | - 3 | data-rrotate/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/complexB.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/complexB.rkt -------------------------------------------------------------------------------- /GA/programs/complexB.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/complexB.s -------------------------------------------------------------------------------- /GA/programs/complexB.s.info: -------------------------------------------------------------------------------- 1 | data 2 2 | - 3 | data-iii2/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/complexC.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/complexC.rkt -------------------------------------------------------------------------------- /GA/programs/complexC.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/complexC.s -------------------------------------------------------------------------------- /GA/programs/complexC.s.info: -------------------------------------------------------------------------------- 1 | data 2 2 | - 3 | data-iii2/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/fff.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/fff.s -------------------------------------------------------------------------------- /GA/programs/fff.s.info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/fff.s.info -------------------------------------------------------------------------------- /GA/programs/fff_ex.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/fff_ex.s -------------------------------------------------------------------------------- /GA/programs/fir.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/fir.s -------------------------------------------------------------------------------- /GA/programs/fir.s.info: -------------------------------------------------------------------------------- 1 | data 1,a,memory 2 | <= 65535 3 | data-fir/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/ggg.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/ggg.s -------------------------------------------------------------------------------- /GA/programs/ggg.s.info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/ggg.s.info -------------------------------------------------------------------------------- /GA/programs/hhh.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/hhh.s -------------------------------------------------------------------------------- /GA/programs/hhh.s.info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/hhh.s.info -------------------------------------------------------------------------------- /GA/programs/iii.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/iii.rkt -------------------------------------------------------------------------------- /GA/programs/iii.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/iii.s -------------------------------------------------------------------------------- /GA/programs/iii.s.info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/iii.s.info -------------------------------------------------------------------------------- /GA/programs/iii_ex.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/iii_ex.s -------------------------------------------------------------------------------- /GA/programs/iii_ex.s.info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/iii_ex.s.info -------------------------------------------------------------------------------- /GA/programs/interp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/interp.rkt -------------------------------------------------------------------------------- /GA/programs/interp.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/interp.s -------------------------------------------------------------------------------- /GA/programs/interp.s.info: -------------------------------------------------------------------------------- 1 | data 2 2 | - 3 | data-interp/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/interp_large.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/interp_large.s -------------------------------------------------------------------------------- /GA/programs/interp_large.s.info: -------------------------------------------------------------------------------- 1 | data 3,memory 2 | - 3 | data-interp-large/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/p13_sign.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/p13_sign.s -------------------------------------------------------------------------------- /GA/programs/p13_sign.s.info: -------------------------------------------------------------------------------- 1 | data 2,return 1 2 | - 3 | data-iii2/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/p14_floor.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/p14_floor.s -------------------------------------------------------------------------------- /GA/programs/p14_floor.s.info: -------------------------------------------------------------------------------- 1 | data 2,return 1 2 | - 3 | data-iii2/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/p15_ceil.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/p15_ceil.s -------------------------------------------------------------------------------- /GA/programs/p15_ceil.s.info: -------------------------------------------------------------------------------- 1 | data 2,return 1 2 | - 3 | data-iii2/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/p17_off_right.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/p17_off_right.s -------------------------------------------------------------------------------- /GA/programs/p17_off_right.s.info: -------------------------------------------------------------------------------- 1 | data 2,return 1 2 | - 3 | data-iii2/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/p23_count.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/p23_count.s -------------------------------------------------------------------------------- /GA/programs/p23_count.s.info: -------------------------------------------------------------------------------- 1 | data 2,return 1 2 | - 3 | data-iii2/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/p24_roundpower.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/p24_roundpower.s -------------------------------------------------------------------------------- /GA/programs/p24_roundpower.s.info: -------------------------------------------------------------------------------- 1 | data 2,return 1 2 | - 3 | data-fff/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/roundpower.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/roundpower.s -------------------------------------------------------------------------------- /GA/programs/roundpower.s.info: -------------------------------------------------------------------------------- 1 | data 2 2 | - 3 | data-fff/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/rrotate.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/rrotate.rkt -------------------------------------------------------------------------------- /GA/programs/rrotate.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/rrotate.s -------------------------------------------------------------------------------- /GA/programs/rrotate.s.info: -------------------------------------------------------------------------------- 1 | data 2,return 1 2 | - 3 | data-rrotate/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/run.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/run.rkt -------------------------------------------------------------------------------- /GA/programs/shaf.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/shaf.rkt -------------------------------------------------------------------------------- /GA/programs/shaf.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/shaf.s -------------------------------------------------------------------------------- /GA/programs/shaf.s.info: -------------------------------------------------------------------------------- 1 | data 2,return 1 2 | - 3 | data-iii2/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/shag.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/shag.s -------------------------------------------------------------------------------- /GA/programs/shag.s.info: -------------------------------------------------------------------------------- 1 | data 2,return 1 2 | - 3 | data-iii2/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/zero.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/zero.s -------------------------------------------------------------------------------- /GA/programs/zero.s.info: -------------------------------------------------------------------------------- 1 | data 1 2 | - 3 | data-fff/inputs 4 | -------------------------------------------------------------------------------- /GA/programs/zero2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/programs/zero2.s -------------------------------------------------------------------------------- /GA/programs/zero2.s.info: -------------------------------------------------------------------------------- 1 | data 1 2 | <= 65535 3 | data-fff/inputs 4 | -------------------------------------------------------------------------------- /GA/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/run.sh -------------------------------------------------------------------------------- /GA/run1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/run1.sh -------------------------------------------------------------------------------- /GA/test-liveness.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/test-liveness.rkt -------------------------------------------------------------------------------- /GA/test-optimizer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/test-optimizer.rkt -------------------------------------------------------------------------------- /GA/test-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/test-regression.rkt -------------------------------------------------------------------------------- /GA/test-search.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/test-search.rkt -------------------------------------------------------------------------------- /GA/test-simulator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/test-simulator.rkt -------------------------------------------------------------------------------- /GA/test-solver.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/test-solver.rkt -------------------------------------------------------------------------------- /GA/test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/GA/test.rkt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- 1 | install: 2 | python configure.py 3 | 4 | clean: 5 | ls 6 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/README.md -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/TODO -------------------------------------------------------------------------------- /arm/alive/186.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/alive/186.rkt -------------------------------------------------------------------------------- /arm/alive/242.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/alive/242.rkt -------------------------------------------------------------------------------- /arm/alive/255.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/alive/255.rkt -------------------------------------------------------------------------------- /arm/alive/274.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/alive/274.rkt -------------------------------------------------------------------------------- /arm/alive/note: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/alive/note -------------------------------------------------------------------------------- /arm/alive/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/alive/run.sh -------------------------------------------------------------------------------- /arm/alive/test-search.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/alive/test-search.rkt -------------------------------------------------------------------------------- /arm/arm-enumerator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/arm-enumerator.rkt -------------------------------------------------------------------------------- /arm/arm-forwardbackward.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/arm-forwardbackward.rkt -------------------------------------------------------------------------------- /arm/arm-inverse.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/arm-inverse.rkt -------------------------------------------------------------------------------- /arm/arm-machine.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/arm-machine.rkt -------------------------------------------------------------------------------- /arm/arm-parser.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/arm-parser.rkt -------------------------------------------------------------------------------- /arm/arm-printer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/arm-printer.rkt -------------------------------------------------------------------------------- /arm/arm-simulator-racket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/arm-simulator-racket.rkt -------------------------------------------------------------------------------- /arm/arm-simulator-rosette.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/arm-simulator-rosette.rkt -------------------------------------------------------------------------------- /arm/arm-stochastic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/arm-stochastic.rkt -------------------------------------------------------------------------------- /arm/arm-symbolic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/arm-symbolic.rkt -------------------------------------------------------------------------------- /arm/arm-validator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/arm-validator.rkt -------------------------------------------------------------------------------- /arm/generate-inputs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/generate-inputs.rkt -------------------------------------------------------------------------------- /arm/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/main.rkt -------------------------------------------------------------------------------- /arm/optimize.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/optimize.rkt -------------------------------------------------------------------------------- /arm/programs/div.s: -------------------------------------------------------------------------------- 1 | 2 | bl __aeabi_idiv 3 | mov r3, r0 4 | -------------------------------------------------------------------------------- /arm/programs/fir_ex.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/fir_ex.s -------------------------------------------------------------------------------- /arm/programs/fir_ex.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 3 | -------------------------------------------------------------------------------- /arm/programs/fir_l5.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/fir_l5.s -------------------------------------------------------------------------------- /arm/programs/fir_l5.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 3 | -------------------------------------------------------------------------------- /arm/programs/nibble_l11a.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/nibble_l11a.s -------------------------------------------------------------------------------- /arm/programs/nibble_l11a.s.info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/nibble_l11a.s.info -------------------------------------------------------------------------------- /arm/programs/nibble_l11b.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/nibble_l11b.s -------------------------------------------------------------------------------- /arm/programs/nibble_l11b.s.info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/nibble_l11b.s.info -------------------------------------------------------------------------------- /arm/programs/nibble_read.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/nibble_read.s -------------------------------------------------------------------------------- /arm/programs/nibble_read.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 3 | -------------------------------------------------------------------------------- /arm/programs/nibble_write.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/nibble_write.s -------------------------------------------------------------------------------- /arm/programs/nibble_write.s.info: -------------------------------------------------------------------------------- 1 | 2 2 | 1,2,3 3 | -------------------------------------------------------------------------------- /arm/programs/p10_nlz_eq.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p10_nlz_eq.s -------------------------------------------------------------------------------- /arm/programs/p10_nlz_eq.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 -------------------------------------------------------------------------------- /arm/programs/p10_nlz_eq_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p10_nlz_eq_o0.s -------------------------------------------------------------------------------- /arm/programs/p10_nlz_eq_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 -------------------------------------------------------------------------------- /arm/programs/p10_trail.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p10_trail.s -------------------------------------------------------------------------------- /arm/programs/p11_nlz_lt.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p11_nlz_lt.s -------------------------------------------------------------------------------- /arm/programs/p11_nlz_lt.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 -------------------------------------------------------------------------------- /arm/programs/p11_nlz_lt_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p11_nlz_lt_o0.s -------------------------------------------------------------------------------- /arm/programs/p11_nlz_lt_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 -------------------------------------------------------------------------------- /arm/programs/p12_nlz_le.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p12_nlz_le.s -------------------------------------------------------------------------------- /arm/programs/p12_nlz_le.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 1,2 -------------------------------------------------------------------------------- /arm/programs/p12_nlz_le_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p12_nlz_le_o0.s -------------------------------------------------------------------------------- /arm/programs/p12_nlz_le_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 1,2 -------------------------------------------------------------------------------- /arm/programs/p13_sign.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p13_sign.s -------------------------------------------------------------------------------- /arm/programs/p13_sign.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p13_sign_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p13_sign_o0.s -------------------------------------------------------------------------------- /arm/programs/p13_sign_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p14_floor_avg.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p14_floor_avg.s -------------------------------------------------------------------------------- /arm/programs/p14_floor_avg.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 -------------------------------------------------------------------------------- /arm/programs/p14_floor_avg_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p14_floor_avg_o0.s -------------------------------------------------------------------------------- /arm/programs/p14_floor_avg_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 -------------------------------------------------------------------------------- /arm/programs/p14_p15_p17_p21_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p14_p15_p17_p21_o0.s -------------------------------------------------------------------------------- /arm/programs/p15_ceil_avg.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p15_ceil_avg.s -------------------------------------------------------------------------------- /arm/programs/p15_ceil_avg.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 -------------------------------------------------------------------------------- /arm/programs/p15_ceil_avg_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p15_ceil_avg_o0.s -------------------------------------------------------------------------------- /arm/programs/p15_ceil_avg_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 -------------------------------------------------------------------------------- /arm/programs/p16_max.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p16_max.s -------------------------------------------------------------------------------- /arm/programs/p16_max.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 -------------------------------------------------------------------------------- /arm/programs/p16_max_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p16_max_o0.s -------------------------------------------------------------------------------- /arm/programs/p16_max_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 -------------------------------------------------------------------------------- /arm/programs/p17_off_right.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p17_off_right.s -------------------------------------------------------------------------------- /arm/programs/p17_off_right.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p17_off_right_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p17_off_right_o0.s -------------------------------------------------------------------------------- /arm/programs/p17_off_right_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p17_p21.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p17_p21.s -------------------------------------------------------------------------------- /arm/programs/p17_p21_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p17_p21_o0.s -------------------------------------------------------------------------------- /arm/programs/p18_is_power.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p18_is_power.s -------------------------------------------------------------------------------- /arm/programs/p18_is_power.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p18_is_power_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p18_is_power_o0.s -------------------------------------------------------------------------------- /arm/programs/p18_is_power_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p19_exchange.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p19_exchange.s -------------------------------------------------------------------------------- /arm/programs/p19_exchange.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1,2 -------------------------------------------------------------------------------- /arm/programs/p19_exchange_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p19_exchange_o0.s -------------------------------------------------------------------------------- /arm/programs/p19_exchange_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1,2 -------------------------------------------------------------------------------- /arm/programs/p20_next_higher.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p20_next_higher.s -------------------------------------------------------------------------------- /arm/programs/p20_next_higher.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p20_next_higher_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p20_next_higher_o0.s -------------------------------------------------------------------------------- /arm/programs/p20_next_higher_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p21_cycle.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p21_cycle.s -------------------------------------------------------------------------------- /arm/programs/p21_cycle.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1,2,3 -------------------------------------------------------------------------------- /arm/programs/p21_cycle_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p21_cycle_o0.s -------------------------------------------------------------------------------- /arm/programs/p21_cycle_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1,2,3 -------------------------------------------------------------------------------- /arm/programs/p22_parity.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p22_parity.s -------------------------------------------------------------------------------- /arm/programs/p22_parity.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p22_parity_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p22_parity_o0.s -------------------------------------------------------------------------------- /arm/programs/p22_parity_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p23_count.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p23_count.s -------------------------------------------------------------------------------- /arm/programs/p23_count.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p23_count_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p23_count_o0.s -------------------------------------------------------------------------------- /arm/programs/p23_count_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p24_roundpower.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p24_roundpower.s -------------------------------------------------------------------------------- /arm/programs/p24_roundpower.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p24_roundpower2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p24_roundpower2.s -------------------------------------------------------------------------------- /arm/programs/p24_roundpower2.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p24_roundpower_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p24_roundpower_o0.s -------------------------------------------------------------------------------- /arm/programs/p24_roundpower_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 -------------------------------------------------------------------------------- /arm/programs/p25_smmul.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p25_smmul.s -------------------------------------------------------------------------------- /arm/programs/p25_smmul.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 -------------------------------------------------------------------------------- /arm/programs/p25_smmul_o0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/p25_smmul_o0.s -------------------------------------------------------------------------------- /arm/programs/p25_smmul_o0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0,1 -------------------------------------------------------------------------------- /arm/programs/rl_TxRateMatch_5.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rl_TxRateMatch_5.s -------------------------------------------------------------------------------- /arm/programs/rl_TxRateMatch_5.s.info: -------------------------------------------------------------------------------- 1 | 1 2 | 0,2,4,5 3 | -------------------------------------------------------------------------------- /arm/programs/rl_bitarray_2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rl_bitarray_2.s -------------------------------------------------------------------------------- /arm/programs/rl_bitarray_2.s.info: -------------------------------------------------------------------------------- 1 | 1,2 2 | 1,2,0 3 | -------------------------------------------------------------------------------- /arm/programs/rl_bitcnt_2_0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rl_bitcnt_2_0.s -------------------------------------------------------------------------------- /arm/programs/rl_bitcnt_2_0.s.info: -------------------------------------------------------------------------------- 1 | 0 2 | 0 3 | -------------------------------------------------------------------------------- /arm/programs/rl_susan_155.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rl_susan_155.s -------------------------------------------------------------------------------- /arm/programs/rl_susan_155.s.info: -------------------------------------------------------------------------------- 1 | 4 2 | 0,2,3,4,5,9 3 | -------------------------------------------------------------------------------- /arm/programs/rl_susan_391.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rl_susan_391.s -------------------------------------------------------------------------------- /arm/programs/rl_susan_391.s.info: -------------------------------------------------------------------------------- 1 | 1,2,3,4,5,7,8,9,10,11,12 2 | 6,10 -------------------------------------------------------------------------------- /arm/programs/rl_susan_391_extract.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rl_susan_391_extract.s -------------------------------------------------------------------------------- /arm/programs/rl_susan_391_extract.s.info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rl_susan_391_extract.s.info -------------------------------------------------------------------------------- /arm/programs/rl_susan_391_extract2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rl_susan_391_extract2.s -------------------------------------------------------------------------------- /arm/programs/rl_susan_391_extract2.s.info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rl_susan_391_extract2.s.info -------------------------------------------------------------------------------- /arm/programs/rm_TxRateMatch_5a.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rm_TxRateMatch_5a.s -------------------------------------------------------------------------------- /arm/programs/rm_TxRateMatch_5a.s.info: -------------------------------------------------------------------------------- 1 | 1,3 2 | 1 3 | -------------------------------------------------------------------------------- /arm/programs/rm_TxRateMatch_5b.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rm_TxRateMatch_5b.s -------------------------------------------------------------------------------- /arm/programs/rm_TxRateMatch_5b.s.info: -------------------------------------------------------------------------------- 1 | 1 2 | 2,3,4,6 3 | -------------------------------------------------------------------------------- /arm/programs/rm_TxRateMatch_98.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rm_TxRateMatch_98.s -------------------------------------------------------------------------------- /arm/programs/rm_TxRateMatch_98.s.info: -------------------------------------------------------------------------------- 1 | 2,3 2 | 1,2,3,4,5 3 | 4 | -------------------------------------------------------------------------------- /arm/programs/rm_bitarray_1.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rm_bitarray_1.s -------------------------------------------------------------------------------- /arm/programs/rm_bitarray_1.s.info: -------------------------------------------------------------------------------- 1 | 0,2 2 | 0,1 3 | 4 | -------------------------------------------------------------------------------- /arm/programs/rm_bitarray_3.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rm_bitarray_3.s -------------------------------------------------------------------------------- /arm/programs/rm_bitarray_3.s.info: -------------------------------------------------------------------------------- 1 | 2,3 2 | 1,2,5 3 | -------------------------------------------------------------------------------- /arm/programs/rm_bitcnts_2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rm_bitcnts_2.s -------------------------------------------------------------------------------- /arm/programs/rm_bitcnts_2.s.info: -------------------------------------------------------------------------------- 1 | 0,1 2 | 2,3,4 3 | -------------------------------------------------------------------------------- /arm/programs/rm_isqrt_1.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rm_isqrt_1.s -------------------------------------------------------------------------------- /arm/programs/rm_isqrt_1.s.info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rm_isqrt_1.s.info -------------------------------------------------------------------------------- /arm/programs/rs_Descramble_9a.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rs_Descramble_9a.s -------------------------------------------------------------------------------- /arm/programs/rs_Descramble_9a.s.info: -------------------------------------------------------------------------------- 1 | 2 2 | 1,2 3 | -------------------------------------------------------------------------------- /arm/programs/rs_TxRateMatch_98a.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/rs_TxRateMatch_98a.s -------------------------------------------------------------------------------- /arm/programs/rs_TxRateMatch_98a.s.info: -------------------------------------------------------------------------------- 1 | 2,3 2 | 0,2,3,4 3 | -------------------------------------------------------------------------------- /arm/programs/sha_ex.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/sha_ex.s -------------------------------------------------------------------------------- /arm/programs/sha_ex.s.info: -------------------------------------------------------------------------------- 1 | flag 2 | 0,1 3 | -------------------------------------------------------------------------------- /arm/programs/sha_l2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/sha_l2.s -------------------------------------------------------------------------------- /arm/programs/sha_l2.s.info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/sha_l2.s.info -------------------------------------------------------------------------------- /arm/programs/sha_l3.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/sha_l3.s -------------------------------------------------------------------------------- /arm/programs/sha_l3.s.info: -------------------------------------------------------------------------------- 1 | 2 2 | 0,4,5 3 | -------------------------------------------------------------------------------- /arm/programs/sha_l4.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/sha_l4.s -------------------------------------------------------------------------------- /arm/programs/sha_l4.s.info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/sha_l4.s.info -------------------------------------------------------------------------------- /arm/programs/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/test.sh -------------------------------------------------------------------------------- /arm/programs/wb_descram9a.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/wb_descram9a.s -------------------------------------------------------------------------------- /arm/programs/wb_txrate5a.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/wb_txrate5a.s -------------------------------------------------------------------------------- /arm/programs/wb_txrate5b.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/programs/wb_txrate5b.s -------------------------------------------------------------------------------- /arm/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/run.sh -------------------------------------------------------------------------------- /arm/run_apps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/run_apps.sh -------------------------------------------------------------------------------- /arm/run_enum.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/run_enum.sh -------------------------------------------------------------------------------- /arm/run_hybrid.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/run_hybrid.sh -------------------------------------------------------------------------------- /arm/run_real.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/run_real.sh -------------------------------------------------------------------------------- /arm/run_stoch_o.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/run_stoch_o.sh -------------------------------------------------------------------------------- /arm/run_stoch_s.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/run_stoch_s.sh -------------------------------------------------------------------------------- /arm/run_sym.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/run_sym.sh -------------------------------------------------------------------------------- /arm/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/run_test.sh -------------------------------------------------------------------------------- /arm/test-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/test-regression.rkt -------------------------------------------------------------------------------- /arm/test-search.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/test-search.rkt -------------------------------------------------------------------------------- /arm/test-simulator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/test-simulator.rkt -------------------------------------------------------------------------------- /arm/test-solver.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/arm/test-solver.rkt -------------------------------------------------------------------------------- /configure.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/configure.py -------------------------------------------------------------------------------- /decomposer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/decomposer.rkt -------------------------------------------------------------------------------- /documentation/add-more-instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/documentation/add-more-instructions.md -------------------------------------------------------------------------------- /documentation/advanced-usage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/documentation/advanced-usage.md -------------------------------------------------------------------------------- /documentation/new-isa.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/documentation/new-isa.md -------------------------------------------------------------------------------- /documentation/special-objects.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/documentation/special-objects.md -------------------------------------------------------------------------------- /enumerator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/enumerator.rkt -------------------------------------------------------------------------------- /fitness-learner.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/fitness-learner.rkt -------------------------------------------------------------------------------- /forwardbackward.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/forwardbackward.rkt -------------------------------------------------------------------------------- /inst.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/inst.rkt -------------------------------------------------------------------------------- /inverse.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/inverse.rkt -------------------------------------------------------------------------------- /llvm/llvm-enumerator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/llvm-enumerator.rkt -------------------------------------------------------------------------------- /llvm/llvm-forwardbackward.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/llvm-forwardbackward.rkt -------------------------------------------------------------------------------- /llvm/llvm-inverse.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/llvm-inverse.rkt -------------------------------------------------------------------------------- /llvm/llvm-machine.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/llvm-machine.rkt -------------------------------------------------------------------------------- /llvm/llvm-parser.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/llvm-parser.rkt -------------------------------------------------------------------------------- /llvm/llvm-printer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/llvm-printer.rkt -------------------------------------------------------------------------------- /llvm/llvm-simulator-racket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/llvm-simulator-racket.rkt -------------------------------------------------------------------------------- /llvm/llvm-simulator-rosette.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/llvm-simulator-rosette.rkt -------------------------------------------------------------------------------- /llvm/llvm-stochastic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/llvm-stochastic.rkt -------------------------------------------------------------------------------- /llvm/llvm-symbolic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/llvm-symbolic.rkt -------------------------------------------------------------------------------- /llvm/llvm-validator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/llvm-validator.rkt -------------------------------------------------------------------------------- /llvm/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/main.rkt -------------------------------------------------------------------------------- /llvm/optimize.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/optimize.rkt -------------------------------------------------------------------------------- /llvm/programs/clear3bits.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/programs/clear3bits.ll -------------------------------------------------------------------------------- /llvm/programs/clear3bits.ll.info: -------------------------------------------------------------------------------- 1 | %out 2 | 3 | -------------------------------------------------------------------------------- /llvm/programs/loadstore.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/programs/loadstore.ll -------------------------------------------------------------------------------- /llvm/programs/loadstore.ll.info: -------------------------------------------------------------------------------- 1 | 2 | 3 | -------------------------------------------------------------------------------- /llvm/programs/p24.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/programs/p24.ll -------------------------------------------------------------------------------- /llvm/programs/p24.ll.info: -------------------------------------------------------------------------------- 1 | %out 2 | 3 | -------------------------------------------------------------------------------- /llvm/programs/vector1.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/programs/vector1.ll -------------------------------------------------------------------------------- /llvm/programs/vector1.ll.info: -------------------------------------------------------------------------------- 1 | 2 | %out 3 | -------------------------------------------------------------------------------- /llvm/test-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/test-regression.rkt -------------------------------------------------------------------------------- /llvm/test-search.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/test-search.rkt -------------------------------------------------------------------------------- /llvm/test-simulator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/test-simulator.rkt -------------------------------------------------------------------------------- /llvm/test-solver.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/llvm/test-solver.rkt -------------------------------------------------------------------------------- /machine.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/machine.rkt -------------------------------------------------------------------------------- /memory-racket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/memory-racket.rkt -------------------------------------------------------------------------------- /memory-rosette.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/memory-rosette.rkt -------------------------------------------------------------------------------- /ops-racket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/ops-racket.rkt -------------------------------------------------------------------------------- /ops-rosette.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/ops-rosette.rkt -------------------------------------------------------------------------------- /parallel-driver.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/parallel-driver.rkt -------------------------------------------------------------------------------- /parser.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/parser.rkt -------------------------------------------------------------------------------- /printer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/printer.rkt -------------------------------------------------------------------------------- /queue-racket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/queue-racket.rkt -------------------------------------------------------------------------------- /queue-rosette.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/queue-rosette.rkt -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/setup.py -------------------------------------------------------------------------------- /simulator-racket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/simulator-racket.rkt -------------------------------------------------------------------------------- /simulator-rosette.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/simulator-rosette.rkt -------------------------------------------------------------------------------- /simulator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/simulator.rkt -------------------------------------------------------------------------------- /special.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/special.rkt -------------------------------------------------------------------------------- /stat.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/stat.rkt -------------------------------------------------------------------------------- /stat/correlation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/stat/correlation.py -------------------------------------------------------------------------------- /stat/graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/stat/graph.py -------------------------------------------------------------------------------- /stat/plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/stat/plot.py -------------------------------------------------------------------------------- /stochastic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/stochastic.rkt -------------------------------------------------------------------------------- /symbolic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/symbolic.rkt -------------------------------------------------------------------------------- /template/class-constructor.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/class-constructor.rkt -------------------------------------------------------------------------------- /template/class.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/class.rkt -------------------------------------------------------------------------------- /template/forwardbackward.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/forwardbackward.rkt -------------------------------------------------------------------------------- /template/machine.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/machine.rkt -------------------------------------------------------------------------------- /template/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/main.rkt -------------------------------------------------------------------------------- /template/optimize.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/optimize.rkt -------------------------------------------------------------------------------- /template/parser.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/parser.rkt -------------------------------------------------------------------------------- /template/printer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/printer.rkt -------------------------------------------------------------------------------- /template/simulator-racket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/simulator-racket.rkt -------------------------------------------------------------------------------- /template/simulator-rosette.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/simulator-rosette.rkt -------------------------------------------------------------------------------- /template/stochastic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/stochastic.rkt -------------------------------------------------------------------------------- /template/symbolic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/symbolic.rkt -------------------------------------------------------------------------------- /template/test-search.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/test-search.rkt -------------------------------------------------------------------------------- /template/test-simulator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/template/test-simulator.rkt -------------------------------------------------------------------------------- /validator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mangpo/greenthumb/HEAD/validator.rkt --------------------------------------------------------------------------------