github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity
385 Commits 544 Branches 9 Tags
f176b8bd43e00a9a0a422f3620e232b968a47ffd
Commit Graph

385 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
f176b8bd43 Make some use of poly ids. 2023-05-04 13:15:53 +02:00
chriseth
0da312ae3d Merge pull request #223 from chriseth/add_id_to_ref 
Add id to ref
 2023-05-04 13:15:26 +02:00
chriseth
8b129c52aa Add IDs at end of analysis. 2023-05-04 12:01:56 +02:00
chriseth
1d42cf0f7b Add IDs to references. 2023-05-04 12:01:56 +02:00
chriseth
21a780eeb3 Add IDs to references. 2023-05-04 12:01:56 +02:00
chriseth
f5177edf3f More tree visit utils. 2023-05-04 12:01:56 +02:00
chriseth
fd39c2150c Merge pull request #231 from chriseth/rename_affine_constructor 
Rename affine constructor
 2023-05-02 22:12:36 +02:00
chriseth
391a39bc52 Rename constructor function for AffineExpression. 2023-05-02 22:08:09 +02:00
chriseth
c03aebd298 Merge pull request #230 from chriseth/fix_clippy 
Fix clippy.
 2023-05-02 22:00:15 +02:00
chriseth
d760a0a2de Fix clippy. 2023-05-02 21:49:39 +02:00
chriseth
2cdae21bd9 Merge pull request #209 from chriseth/complete-flag-in-executor 
Ignore identities which we know won't yield more constraints
 2023-05-02 17:18:00 +02:00
schaeff
5abfacf7c3 ignore identities which cannot yield more results, better error reporting in the executor 2023-05-02 17:03:06 +02:00
Thibaut Schaeffer
bf1b3c4fc9 Merge pull request #220 from chriseth/parallel_constant_generation 
Parallel constant generation
 2023-05-02 16:13:00 +02:00
Leo
eea877e81a Merge pull request #222 from cheethas/md/readme-patch 
docs: update readme example path
 2023-04-30 10:46:03 +02:00
Maddiaa
345268e1de Update README.md 
example compilation has moved dir
 2023-04-29 21:27:47 +01:00
chriseth
bc9033ee1c Merge pull request #219 from chriseth/opt_affine 
Use BTreeMap for AffineExpression.
 2023-04-29 18:03:16 +02:00
chriseth
77b746c5e0 Parallel constant generation. 2023-04-28 11:14:50 +02:00
chriseth
26e0bd1d9b report time 2023-04-28 11:14:42 +02:00
chriseth
94ab822824 Use HashMap for AffineExpression. 2023-04-28 10:50:32 +02:00
chriseth
543ffecc55 Merge pull request #216 from chriseth/fix_clippy 
Fix clippy
 2023-04-28 00:37:20 +02:00
chriseth
37c150b377 Merge pull request #215 from chriseth/ilog2error 
Fix ilog2 error.
 2023-04-28 00:32:05 +02:00
chriseth
ee849ff448 Fix clippy. 2023-04-28 00:26:57 +02:00
chriseth
2abcb34e4a Fix ilog2 error. 2023-04-28 00:21:26 +02:00
Leo
b02acbdbc7 Merge pull request #214 from chriseth/tree_traversal_utils 
Expression tree traversal utilities.
 2023-04-27 16:59:22 +02:00
Leo
74440c9176 Merge pull request #210 from chriseth/use-nightly-in-riscv 
Use nightly explicitly when building to riscv
 2023-04-27 16:52:56 +02:00
chriseth
199ca61c2f Expression tree traversal utilities. 2023-04-27 16:42:34 +02:00
Leo Alt
956685b6db use stable for powdr itself 2023-04-27 16:36:22 +02:00
chriseth
ab60a057ee Merge pull request #207 from chriseth/print_analyzed 
Display functions for Analyzed.
 2023-04-27 16:10:19 +02:00
schaeff
7f47f7382e use nightly explicitly when building to riscv 2023-04-27 16:10:15 +02:00
Leo
8ee504d10f Merge pull request #203 from chriseth/run_release_github 
Run ignored tests in release mode.
 2023-04-27 15:59:52 +02:00
chriseth
d472534977 Merge pull request #211 from chriseth/row_speed 
Report row speed.
 2023-04-27 14:43:54 +02:00
chriseth
cc866b3711 Report row speed. 2023-04-27 14:29:47 +02:00
chriseth
944df133e0 Run ignored tests in release mode, without pilcom verification. 2023-04-27 00:09:42 +02:00
chriseth
ef9cf29105 Merge pull request #198 from chriseth/improve_index 
Improve index
 2023-04-27 00:07:03 +02:00
chriseth
0debf739b5 Use nonzero option to improve memory layout. 2023-04-26 15:38:54 +02:00
chriseth
f154bf2341 Report index size. 2023-04-26 14:57:07 +02:00
chriseth
631c98ab21 Display functions for Analyzed. 2023-04-26 14:54:12 +02:00
chriseth
7e72fedfaf Merge pull request #205 from chriseth/restrict-pc 
Restrict pc
 2023-04-26 14:50:51 +02:00
chriseth
d636dac37b Merge pull request #202 from chriseth/no_unroll_arrays 
Do not unroll array repetitions during analysis.
 2023-04-26 14:48:57 +02:00
schaeff
9f700d7f97 restrict pc, update asm to finish with infinite loop 2023-04-26 14:20:41 +02:00
chriseth
47af62badd Do not unroll array repetitions during analysis. 2023-04-26 12:30:15 +02:00
chriseth
48f499d792 Merge pull request #204 from chriseth/replacements_for_objects 
Apply replacements to objects.
 2023-04-26 10:59:38 +02:00
chriseth
1ba7bbf486 Apply replacements to objects. 2023-04-26 10:55:59 +02:00
chriseth
73760304dc Merge pull request #195 from chriseth/count_pc 
Count PC.
 2023-04-26 10:54:27 +02:00
chriseth
6cf58899b9 Merge pull request #200 from chriseth/move_analyzer 
Move analyzer to its own crate.
 2023-04-26 10:49:34 +02:00
chriseth
17a9e8552a Count PC. 2023-04-26 10:47:56 +02:00
chriseth
2c2a55bf16 Remove unused dependencies. 2023-04-26 10:36:45 +02:00
chriseth
2cc594e123 Merge pull request #194 from chriseth/data_parser 
Better data parsing.
 2023-04-26 10:27:09 +02:00
chriseth
421bdc66ed Extract and extend reachability. 2023-04-26 10:04:39 +02:00
chriseth
c494a0838b Better data parsing. 2023-04-26 10:04:39 +02:00